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. Jelölje a csúcsokat rendre , , , , , a melléjük írt számokat pedig ugyanebben a sorrendben , , , és . Három összeg egész voltáról nincs még tudomásunk, feltehető, hogy ezek egyike az élre írt . Megmutatjuk, hogy is egész. Az ötszög élén kívüli többi élt és átlót soroljuk három darab hármas csoportba úgy, hogy az egyes csoportokba kerülő élek mentén, minden élen egyszer haladva át, -ból -be jussunk. Ez a felosztás látható az ábrán. Mivel a kilenc él közül csak -ről nem tudjuk, hogy egész szám áll-e rajta, így van olyan élsorozat, amelynek mindhárom élére egész számot írtunk. Legyen ez például az , , . Ez azt jelenti, hogy az összegek egészek. Egész számok összege és különbsége is egész, így valóban egész szám. A bizonyítás alkalmas betűzéssel a kérdéses három él bármelyikére elmondható, így az állítást igazoltuk. Megjegyzések. 1. Az nem igaz, hogy maguk a számok is egészek, hisz nyilván megfelelő kitöltést kapunk, ha minden csúcshoz -et írunk. Könnyen látható azonban, hogy minden szám kétszerese egész, hisz pl. . 2. Ha csak hat összegről tudjuk, hogy egész, akkor lehetséges, hogy a továbbiak nem azok. Ilyen kitöltést kapunk, ha egy csúcsra törtszámot, a további négyre pedig egész számot írunk. |