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. Nevezzük az és számokat (ebben a sorrendben) szomszédosnak, ha az eljárás folyamán előáll egy olyan szakasz, melynek bal oldali végpontjában , a jobb oldaliban pedig áll. Így például az 1. ábra alapján 1 és 2, 3 és 2, 3 és 5 mind szomszédosak. Elsőként belátjuk, hogy a szomszédos számok relatív prímek. Ezt az összegükre vonatkozó teljes indukcióval tesszük. Az eljárás folyamán pozitív egész számok összegét írjuk a szakasz egy‐egy pontja fölé (1. ábra). Így ha és szomszédosak és , akkor csak lehetséges, és ezek valóban relatív prímek.
1. ábra Tegyük fel most, hogy és szomszédosak, és az -edik lépésben álltak elő. Ez csak kétféleképpen lehetséges: vagy és az ()-edik lépésben és szomszédosak voltak (2/a ábra), vagy pedig és az ()-edik lépésben és volt szomszédos (2/b ábra). Mivel , és és szomszédosak [illetve és és szomszédosak], azért az indukciós feltevésünk szerint és (illetve és ) relatív prímek, amiből azonnal adódik, hogy és is relatív prímek. Meggondolásunkból az is adódik, hogy minden () számpár legfeljebb egyszer fordulhat elő szomszédosakként. Valóban, az (1, 1) számpár egyszer szerepel, és ha az () számpár kétszer szerepelne, akkor az () pár illetve az () pár is kétszer szerepelne.
2a. ábra | 2b. ábra |
Végül megmutatjuk, hogy ha és relatív prímek, akkor és szomszédosak (és az előbbi megjegyzésünk szerint ekkor pontosan egyszer szerepelnek). Ezt ismét ()-re vonatkozó indukcióval látjuk be. Az esetben ha és relatív prímek, akkor , ezek pedig szomszédosak. Ha , akkor és különböző, például . Ekkor és is relatív prímek, és összegükre . Indukciós feltevésünk szerint és szomszédosak, s az eljárás során az általuk meghatározott szakasz felezőpontjához az összegük, kerül, tehát és is szomszédosak. Hasonlóan intézhető el az eset. Az 1978 szám annyiszor szerepel, ahányféleképpen elő lehet állítani egymáshoz relatív prím számok összegeként (természetesen és különböző előállításnak számít). Ez pedig megegyezik az 1978-nál kisebb, hozzá relatív prímek számával, vagyis 924-gyel. Az egymilliomodik felezés után csak milliónál nagyobb számok kerülhetnek a szakasz végpontjaihoz, így mind a 924 számpár szerepel az eddig felírtak között. Tehát a felírt számok között az 1978 szám 924-szer fog szerepelni.
|