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. Legyen a -val osztható szám , szomszédai és . Ha -et az -edik hatványra emeljük, tulajdonképpen -et -szer vesszük tényezőül. Ha végiggondoljuk, hogy miből tevődik össze két többtagúnak egy harmadik többtagúval való szorzata, majd egy 4-ik, 5-ik és végül egy -edikkel való szorzata; beláthatjuk, hogy darab többtagú kifejezés szorzatát úgy kapjuk, hogy az -számú többtagú mindegyikéből kiválasztunk egy-egy tagot minden lehetséges módon, ezeket összeszorozzuk és az összes szorzatok algebrai összegét képezzük. Ha egy szorzatnak minden egyes tényezője , akkor a tagok között csak egyetlenegy -val nem osztható tag lesz, tudniillik az, amelyet csupa 1-es összeszorzásából nyertünk. Tehát alakú, ahol valamilyen egész szám. Ennek bal szomszédja (megelőzője) valóban osztható -val. Ha pedig kifejezést fejtjük ki, akkor az előbbihez hasonló megfontolás alapján , ha páros, , ha páratlan. Ebből nyilvánvaló, hogy -nek is mindig van alakú szomszédja. |