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 a megadott egész számokat , , , -cel és tegyük fel, hogy például és -zal osztva nem ugyanazt a maradékot adja. Megmutatjuk, hogy ez feltételeinkkel nem egyeztethető össze; ez fogja bizonyítani állításunkat. Tekintsük a következő számot: , , , , . A feladat szövege szerint ezek egyike sem osztható -zal, továbbá -zal osztva csupa különböző maradékot adnak. Ez utóbbi azért igaz, mert ha volna két egyforma maradék, a két szám különbsége, ami megint a megadott számaink közül néhánynak az összege, -zal osztható lenne. Mivel sem osztható -zal, maradékának meg kell egyeznie a fenti szám valamelyikének maradékával. Ez a szám nem lehet , hiszen feltettük, hogy és különböző maradékot ad. A többi számban összeadandóként is szerepel. Ezt elhagyva megint találtunk adott számaink között néhányat, melyek összege -zal osztható. Így is ellentmondásra jutottunk. Ezzel éppen a feladat állítását igazoltuk. Somogyi András (Budapest, I. István Gimn., III. o. t.) Megjegyzés. Megoldásunkban a ,,néhány tagú összeg''-be az egytagú összeget is beleértettük. Ezért mondtuk, hogy az | | különbségek nem oszthatók -zal. Az állítás csak emellett az értelmezés mellett igaz. |