Elem...dalje...
Joca kaze da ne zna od cega je sastavljen njegov proizvod, dakle, dva trazena broja nisu OBA prosta (jer kad bi bila, znao bi koja su)... DkJm kaze da takodje ne zna od cega je sastavljen njegov zbir, ali sto je jos bitnije, kaze da je vec unapred znao da Joca ne zna njegov proizvod....
drugim recima, bio mu je dovoljan samo jedan pogled na svoj zbir da utvrdi da Joca ne zna svoje cinioce, tj. da oba broja nisu prosta... A takav zakljucak je mogao da donese samo ako je njegov zbir neparan... to je zato sto, kad bi bio paran, uvek bi mogao da se sastoji iz zbira dva prosta broja (iako ova hipoteza nije u celosti dokazana, dokazano je da vazi za prvih nekoliko miliona brojeva, a samim tim i za prvih 50, 100 ...rekao nam profa XD)... a ako bi se sastojao iz zbira dva prosta broja, ne bi mogao da zakljuci da Joca ne zna od cega je sastavljen njegov proizvod...
odatle sledi da je zbir neparan.
E sad na scenu stupa broj 2!
DkJm ne moze uzimati tek bilo koje neparne brojeve, vec samo one koji se ne mogu zapisati kao zbir dva prosta broja...
pa znaci, trebaju nam
neparne sume koje se pritom
mogu zapisati kao zbir dva prosta broja a to su upravo oni zbirovi koji se dobijaju kada se sabere broj 2 sa bilo kojim drugim prostim brojem...
to je zato sto je 2 jedini parni prost broj... kada bi oba prosta broja bila razlicita od 2, zbir bi bio paran, ali parne zbirove smo vec odstranili iz razmatranja, pa je jedini nacin da se zbir koji je neparan moze predstaviti kao zbir dva prosta broja tako da se ona sastoji iz 2 i jos nekog prostog broja razlicitog od 2...
zato iz razmatranja treba izbaciti, pored parnih brojeva, i sve one neparne koji su za 2 veci od nekog prostog broja...
sto znaci da zbir u svom obliku treba (mora...) da bude oblika m*n + 2 (gde su m i n bilo koja dva prosta broja razlicita od 1 i 2, mogu da budu isti...)
i zapravo jedino tacno resenje za zbir mora biti oblika mn+2 ... jer kada se proizvod rastavi, od svih mogucih zbirova tacno jedna treba da bude oblika mn+2
elem...proizvod!
kako je zbir neparan, proizvod mora biti oblika 2^a*A, gde je A proizvod konacno mnogo prostih clanova razlicitih od 2... prisustvo clana 2^a je neophodno jer bi u protivnom svaka kombinacija clanova dao paran zbir...
Joca, buduci da je savrsen logicar

samo iz DkJm-ove izjave zakljucuje koji brojevi sacinjavaju njegov proizvod... drugim recima, zakljucuje samo iz saznanja da je zbir oblika mn+2 ...
ono do cega se dolazi samo ako ispisete na papiru sve brojeve koji dolaze u obzir je da je bitno primetiti da clan 2^a mora da je stalno na okupu, jer kad bi se te dvojke razdvojile na oba trazena broja, zbir bi bio paran.
ono u cemu ja nisam toliko vicna je da sve ovo uokvirim...
ali (po meni...), bilo bi ako su A i B proizvodi konacno mnogo neparnih prostih brojeva i ako su m i n bilo koji neparni prsti brojevi, i ako je proizvod jednak 2^a*A*B tada je izraz 2^a*A*B = mn+2 i tada su brojevi A i B odredjeni...jedinstveno...
