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. Jelöljük -nel az -nél nem nagyobb természetes számok közül azoknak a halmazát, amelyeknek van -nél nagyobb közös osztójuk -nel, és jelöljük -nel a halmaz elemeinek a számát. Feladatunk állítása azt jelenti, hogy nincs olyan természetes szám, melyre értéke volna. Ezt fogjuk bizonyítani, és rögtön feltesszük, hogy , hiszen . Ha prímszám, vagy egy prímszám hatványa, azaz , ahol prímszám, és , akkor tehát , ami ugyancsak prímszámhatvány ‐ vagy . Ilyen -ekre tehát értéke nem lehet . Minden más természetes szám felbontható két egymáshoz prím, -nél nagyobb természetes szám szorzatára. Legyen az -nek ilyen ‐ de különben tetszőleges ‐ felbontása. Ekkor a | | halmazoknak egyetlen közös elemük az szám, hiszen ha , ahol , , akkor minden osztója -nek is osztója, és minden osztója -nek is osztója, vagyis csak és lehet. A , halmazok egyesítésében tehát szám van, és ezek mind elemei -nek is. Emiatt Itt akkor és csakis akkor lehet az egyenlőség jele érvényes, ha is és is, prímszám, hiszen -nak és -nek -nél nagyobb, de -nál, illetve -nél kisebb osztói elemei -nek, de nincsenek benne a , halmazokban. Ha viszont is, is prímszámok, akkor minden eleme vagy -val, vagy -vel osztható, tehát vagy -nak, vagy -nek eleme. Ha itt és prímszámok, akkor ezek szerint csak akkor lehetne, ha volna, viszont a -et nem lehet két prímszám összegeként előállítani. Ezek szerint már csak azokat az számokat kell vizsgálni, amelyek alakúak, ahol és relatív prímek, -nél nagyobbak, nem mind a kettő prímszám, és . Csak két ilyen szám van: a és a , ezekre
tehát , , így értéke ezekre sem . Feladatunk állítását ezzel bebizonyítottuk.
Reviczky János (Budapest, I. István Gimn.) |
|