A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Az , , teljesíti a feltételeket. Belátjuk, hogy más megoldás nincs. Ha , , valamelyike 1 (a szimmetria miatt föltehetjük, hogy ez ), akkor a többi is 1, hiszen miatt , végül miatt . A továbbiakban föltesszük, hogy . Teljes indukcióval bebizonyítjuk, hogy , és egyike sem osztható semmilyen prímmel. Mivel , és páratlan számok, azért , és nem osztható 2-vel. Tegyük fel, hogy egy prím esetén a -nél kisebb összes prímre igaz, hogy nem osztója , , -nek. Belátjuk, hogy ekkor sem osztója egyik számnak sem. Ezt az állítást indirekt látjuk be. Tegyük fel, hogy osztója a három szám egyikének, mondjuk -nak. Ekkor -ből következik. A kis Fermat-tétel szerint . Jelölje a legkisebb olyan pozitív egész kitevőt, amelyre teljesül. Mivel a 2-hatványok -vel való osztási maradékai periodikusan ismétlődnek, így ezekből az következik, hogy és is többszöröse -nek. A nyilván nem 1 (hiszen semmilyen prímmel osztva nem ad maradékot), tehát van prímosztója, és ez csak -nél kisebb lehet (hiszen legföljebb ). Így osztható egy -nél kisebb prímmel. Ez az indukciós föltevés miatt ellentmondás, vagyis az eredeti feltevésünk hamis volt: nem lehet osztható -vel a három szám egyike sem. Ezzel az indukciós lépést befejeztük. Tehát valóban az , , az egyetlen megoldás. Ágoston Tamás |