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 gróf észrevétele nem véletlen, hanem következménye annak, hogy bármely négy meghívott között van olyan, aki a másik három mindegyikével találkozott már. Lássuk ennek az állításnak a bizonyítását. Ha a vendégek közül mindenki találkozott már egymással korábban, akkor az állítás nyilvánvalóan teljesül. Tegyük föl ezután, hogy vannak olyan vendégek, akik még nem találkoztak egymással. Válasszunk két ilyet, jelölje őket és . Tekintsünk tetszőleges két további vendéget, -at és -et. Ekkor a , , , négyesben ‐ a feltétel szerint ‐ van olyan vendég, aki már találkozott a többi hárommal. Ez csak vagy lehet, hiszen és még nem találkoztak. Így tehát és már találkozott egymással, és legalább az egyikük -gyel és -vel is. Mivel és tetszőlegesen választott két vendég volt, a következőket mondhatjuk: a vendégek közül bármely kettő, ha és nincs köztük, ismeri egymást, és közülük legalább az egyik még -et és -t is. Ha tehát választunk négy tetszőleges vendéget, akkor lesz köztük két, -től és -től különböző meghívott, és ezek közül legalább az egyik találkozott már mindenkivel. Ezzel az állítást igazoltuk.
Fejős Ibolya (Szekszárd, Garay J. Gimn., II. o.t.) dolgozata alapján |
|