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. A társaságban mindenkiről felírjuk, hányszor győzött, legyen e számok legnagyobbika . Ilyen van, mert a társaság véges, és tagjainak számát -nel jelölve . Azt mutatjuk meg, hogy szerepére alkalmas az a tag, aki -szer győzött (ill. ha többen is vannak ilyenek, akkor bármelyikük alkalmas). Tulajdonképpen csak az olyan további tagokhoz kell a b)-ben kívánt létezését belátnunk, kiket nem győzött le. ( esetében ilyen nincs, mert , ekkor csak az a) állítás igaz nyilvánvalóan; tovább tehát föltesszük, hogy legalább 3-an játszottak.) Így győzte le -t, mert befejezett pingpong mérkőzés eredménye nem döntetlen; de nem győzte le mindazokat, akiket legyőzött, mert különben győzelme volna. Van tehát az által legyőzöttek között, akit nem győzött le, tehát ő győzte le -t; ez megfelel szerepére. Fulmer László (Székesfehérvár, Teleki Blanka Gimn.) II. megoldás. Egy megfelelő személyt a következő "szűréssel'' keresünk ki az együtt ülő társaságból. Felszólítunk találomra valakit, hogy távozzon és vigye magával mindazokat, akiket legyőzött. Nevezzük ezt egy brigádnak és a felszólított személyt a brigád vezetőjének. (Az is lehetséges persze, hogy a brigád csak a vezetőből áll.) Távozásuk után ezt annyiszor és addig ismételtetjük, míg a terem kiürül. Ez előbb-utóbb bekövetkezik, hiszen a társaság véges. Ekkor az utoljára távozott brigád vezetője megfelelő -ként (mindjárt -nak nevezzük). Ha ugyanis a társaság egy tagja maga is brigádvezetőként ment ki ‐ tehát előbb, mint ‐, akkor nem győzte le -t, tehát kettőjük közt az a) állítás teljesül. Akkor is ez a helyzet, ha az brigádjában ment ki. Ha pedig egy korábban távozott brigádban ment ki mint legyőzött, akkor a brigádvezetője megfelel -ként, tehát teljesül a b) állítás. (Az is lehetséges, hogy a társaság bizonyos tagjaira az a), b) állítások mindegyike teljesül.) Breuer Péter (Eger, Gárdonyi G. Gimn.) Megjegyzések. 1. Az itt kiválasztott személy nem tartozik szükségképpen a legsikeresebb játékosok közé. Egyetlen győzelemmel is megfelelhet, ha azt győzte le, aki rajta kívül mindenkit legyőzött (természetesen ha van ilyen; egyébként csak egy lehet). Fordítva: is ott lehet a legtöbb győzelmet elért játékosok közt. 2. Bizonyítható az állítás teljes indukcióval is. 3. Végtelen sok tagú társaságot gondolva az állítás nem igaz. |