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. Ha páratlan, akkor . Mivel páros, az összeg első tagja osztható -nel, ami éppen . Tehát akkor és csak akkor osztható -gyel, ha többszöröse -nek. Azt a legkisebb pozitív egész számot keressük tehát, melyre osztható -gyel, azaz amire létezik olyan egész amelyre
Ha (1)-ben pozitív, akkor is az, és (1) pozitív megoldásaira és egyszerre minimális. Keressük tehát a legkisebb olyan pozitív egész -t, melyre (1) fennáll. Vizsgáljuk a szereplő számokat a -tel való oszthatóság szempontjából. A bal oldal maradékot ad -tel osztva, így ennek a jobb oldalra is teljesülnie kell. Mivel és osztható -tel, így azt a legkisebb pozitív -t kell megtalálnunk, melyre maradékot ad -tel osztva. Könnyen ellenőrizhető, hogy ez először -ra teljesül, ekkor . A értékét (1)-be helyettesítve adódik, hogy , vagyis a legkisebb olyan pozitív egész , melyre minden páratlan -re osztható -gyel. |