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. Tegyük fel, hogy a feladat állítása nem igaz, és a városnak minden lakója ugyanannyi, darab klubnak az elnöke ( nemnegatív egész). Ekkor a klubok száma egyrészt éppen , hiszen a városnak lakója van, és minden klubot pontosan elnök vezet, másrészt a klubok száma , hiszen a városban minden lehetséges tagú klubot megalakítottak. Ezek szerint , vagyis a osztója az -nak. Ebből adódóan a osztója a szorzatnak is, és mivel a prím, ezért osztója a számok valamelyikének. Ez viszont nem igaz, hiszen sem a nem osztható -mal, sem az számok: | |
A kapott ellentmondás azt mutatja, hogy indirekt feltevésünk hamis volt, azaz valóban vannak a városnak olyan lakói, akik különböző számú klubnak az elnökei. Ezzel a feladat állítását beláttuk. Megjegyzés. Megoldásunkban egyrészt azt használtuk ki, hogy a prímszám osztója az -nek, másrészt hogy már nem osztható -mal, azaz nem osztója az -nek. Ezek alapján könnyen általánosíthatjuk a feladat állítását: Legyen a pozitív egész szám osztható a prímszámmal, de ne legyen osztható ennek négyzetével, -tel. Ekkor, ha az -lakosú városban megalakítják az összes -tagú klubot, és minden egyes klub elnököt választ tagjai közül, akkor vannak a városnak olyan lakói, akik különböző számú klubnak az elnökei. Harcos Gergely (Bp., ELTE Apáczai Csere J. Gyak. Gimn., III. o. t.) |