Feladat: B.3300 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Ivaskó György 
Füzet: 2000/március, 161 - 162. oldal  PDF  |  MathML 
Témakör(ök): Euler-féle poliédertétel alkalmazásai, Feladat
Hivatkozás(ok):Feladatok: 1999/szeptember: B.3300

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.

Tegyük fel ‐ a bizonyítandó állítással szemben ‐, hogy minden kék színű csúcsból legalább 6, és minden piros színűből legalább 4 él indul ki. A konvex poliéder éleinek számát jelölje e, a lapok számát l, a piros és kék csúcsok számát pedig rendre cp és ck. Az Euler-féle poliéder-tétel szerint

cp+ck+l=e+2.(1)
Az egyes csúcsokból kiinduló élek számát összegezve az összes élek számának kétszeresét kapjuk, hiszen minden él két csúcsot köt össze. Indirekt feltevésünk értelmében a csúcsokból kiinduló élek számának összege legalább 4cp+6ck, ezért
e12(4cp+6ck)=2cp+3ck.(2)
Minden él két lapot határol, így a lapok oldalszámának összege is az élek számának a kétszerese. A piros csúcsokkal rendelkező lapnak cp, a többi lapnak legalább 3 oldala lévén, 2ecp+(l-1)3, azaz
l1+2e-cp3.(3)
A (3) és (1) összevetésével
e+2-cp-ck=l1+2e-cp3,
innen pedig
e2cp+3ck-3;
ez ellentmond (2)-nek, ami a feladat állítását bizonyítja.
 Ivaskó György (Baja, III. Béla Gimn., 12. o.t.) megoldása alapján

 
Megjegyzés. Ambrus Gergely (Szeged, Radnóti M. Kísérl. Gimn., 11. o.t.) megjegyezte, hogy a bizonyításból az is következik, hogy nemcsak egy, hanem legalább két csúcs létezik, amely az előírt tulajdonságú. Egy példával azt is megmutatja, hogy általában ennél több már nem követelhető meg.