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. Megmutatjuk, hogy az üdülő egyetlen lakójának sem lehet 6-nál több ismerőse, ebből pedig a feladat állítása már következik. Bármelyik nyaraló ismerősei ‐ ha vannak ilyenek ‐ egymást nem ismerhetik, ellenkező esetben két ilyen és közül bármely kettő ismerné egymást, a feladat szövege pedig ezt kizárja. A másik feltétel szerint bármely 7 ember között már vannak ismerősök, így ismerősei ‐ mint egymást kölcsönösen nem ismerő emberek ‐ valóban legfeljebb hatan lehetnek. Így viszont az üdülés darab résztvevője egyenként legfeljebb 6 másikat ajándékoz meg, az ajándékok száma ezért valóban nem több, mint .
Megjegyzések. 1. Be lehet látni, hogy 28 nyaraló között már biztosan van vagy három olyan, akik kölcsönösen ismerik egymást, vagy 7 olyan, akik közül senki sem ismeri a többi 6-ot, így a feladatbeli üdülőnek legfeljebb 27 lakója lehetett. Általában is igaz, hogy ember között vagy van olyan, hogy közülük bármely kettő ismeri, vagy van olyan, hogy közülük semelyik kettő sem ismeri egymást. 2. Ha a feladat szövegében a "hét'' helyett tetszőleges számot írunk, akkor a bizonyítás szerint legföljebb lehet az ajándékok száma. Érdemes meggondolni, mi történik, ha az első feltételt gyengítjük, azaz például csak annyit teszünk fel, hogy bármely négy lakó között van olyan kettő, akik nem ismerik egymást, de bármely között már vannak ismerősök. Vajon nem segít-e most az idézett tétel? |