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. I. megoldás: Nézzük először azt az esetet, ha az olvasók közül bármelyik kettő találkozik a könyvtárban. Ekkor az utolsó érkezésétől az első távozásáig bármely időpontban az olvasók mindegyike a könyvtárban van. Ebben az esetben az először távozó olvasó is bevárja az utoljára érkezőt. Ha nem találkozik mindegyik mindegyikkel a könyvtárban, akkor válasszunk ki két olyan olvasót, akik nem találkoznak, legyenek ezek és . A többi olvasót csoportra oszthatjuk. Az első csoportba tartoznak azok, akik találkoznak -val, de -vel nem. Ez legyen az csoport. A másodikba tartoznak azok, akik nem találkoznak -val, csak -vel. Ez legyen a csoport. A harmadikba azok tartoznak, akik mindkettővel találkoznak. Ez legyen a csoport. Minden könyvtárlátogató beletartozik e csoportok valamelyikébe, mert ha lenne olyan látogató, aki sem -val sem -vel nem találkozna, így , , nem találkoznak a könyvtárban, de ez a feltevés szerint nem fordul elő. Most azon egyedeit, kik minden egyedével találkoznak osszuk az csoportba, akik minden egyedével, azokat osszuk -hez. Akik az csoportnak is, csoportnak is minden tagjával találkoznak, azokat bármelyikhez oszthatjuk. Az eredeti csoportban bármely látogatónak kellett találkoznia, mert ha ketten nem találkoztak volna, akkor ők -vel oly hármast alkotnának, akik nem találkoznak a könyvtárban. A csoport tagjai szintén mind találkoznak egymással, hisz az eltávozása és megérkezése közötti időben mind bent kell hogy legyenek a könyvtárban. Viszont a csoport azon tagjai, akikkel az csoportot kibővítettük, mind találkoznak az csoport tagjaival, így a kibővített csoport minden tagja találkozik egymással, tehát van oly időpont, amint már láttuk; mikor mindnyájan a könyvtárban vannak. Ugyanígy látható be, hogy van egy oly időpont is, amikor a kibővített csoport tagjai mind a könyvtárban vannak. E két időpont olyan, hogy bármely egyén e két időpontnak legalább egyikében a könyvtárban tartózkodik. A csoport minden egyede találkozik vagy az vagy a csoport minden egyedével. Mert ha lenne a csoportnak egy olyan egyede, aki az csoport egyik egyedével -vel és a csoport egyik egyedével -vel nem találkozna, akkor sem találkozhatna -vel ‐ hiszen, mivel nem találkozik sem -vel, sem -vel, előbb menne el, mint megérkezik, és később érkezne meg, mint elmenne ‐ így volna olyan egyed, ugyanis , , , akik egyáltalában nem találkoznának.
II. megoldás: Tekintsük azt a pillanatot, mikor az első olvasó eltávozik és azt a pillanatot, mikor az utolsó megérkezik. Ha valaki e két időpillanat egyikében sem volna ott, az csak úgy lehetne, ha az első eltávozása után érkezne ‐ hiszen előtte nem távozhat ‐ és az utolsó érkezése előtt távozna el ‐ hiszen utána nem érkezhet. Ez esetbén azonban ő, az első távozó és az utolsó érkező nem találkozna, ami ellentmond a feltevésnek.
III. megoldás: Képzeljük el a feladatot úgy, hogy a könyvtár portása utasítást kapott, hogy egy hirdetést olvasson fel két ízben, de úgy, hogy mégis minél többen hallják. Mikor válik szükségessé az első felolvasás? Nyilván akkor, amikor az első egyén távozni akar. És mikor kell másodszor felolvasni? Világos, hogy akkor, amikor azok közül, akik az első felolvasást nem hallották (tehát az első távozó után érkeztek) valaki távozni akar. Ha emellett teljesül a feladat kikötése is, akkor nem lehet, hogy valaki is ne hallotta volna a hirdetést, mert annak e két felolvasás után kellett volna jönnie, de ez esetben, ő, az első távozó, és az azután érkezők közül először távozó látogató közül senki senkivel sem találkozott volna.
Megjegyzés: E harmadik megoldás készen adja a feladat általánosításának bizonyítását is: ha tetszőleges pozitív egész szám és azt tesszük fel, hogy ( helyett) bármely látogató közül találkozik legalább kettő a könyvtárban, akkor létezik olyan időpont, hogy minden látogató ezek valamelyikében a könyvtárban van. |