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. Ha a csúcsok száma 3, akkor az állítás nyilvánvaló. Egyébként tekintsük az 1. ábrát, melyen bizonyos átlók be vannak húzva. (Az ábrán , ahol a csúcsok számát jelöli.)
1. ábra A szabadon választott csúcs két szomszédja legyen és , a többi csúcsot jelölje . Ez utóbbi csúcsok száma osztható 3-mal. -ból minden olyan csúcsba fut él, amelyre a 3-mal osztva 0 vagy 1 maradékot ad. Azok a csúcsok, amelyekbe -ból fut átló, az ábrának megfelelően szintén össze vannak kötve: ‐, ‐ stb. Így , és az olyan -ek, melyekre a 3-mal osztva 2 maradékot ad, pontosan egy háromszögnek a pontjai, ezek rendre , és . , és azok a csúcsok, melyekre a 3-mal osztva 0, illetve 1 maradékot ad, három, vagyis páratlan sok háromszögben vannak benne. Ezek rendre: , , ; , , ; , , ; , , . Végül az csúcs a csúcsok részével van összekötve, így háromszögben van benne. Mivel osztható 3-mal, páros, így is páratlan sok háromszögnek csúcsa.
II. megoldás. A feladatot a teljes indukció módszerével oldjuk meg. Legyen a sokszög csúcsainak száma . -re a sokszög háromszög, amire az állítás 0 átló behúzásával teljesül. Tegyük fel, hogy az állítás igaz -re. Tekintsünk egy csúcsú sokszöget. Ennek egy csúcsú része a vastag vonallal jelölt sokszög, melyre a feltevés szerint igaz az állítás. (Ezt a részt úgy kaptuk az eredeti sokszögből, hogy levágtunk belőle három szomszédos csúcsot.) Húzzuk be a szaggatott vonallal jelölt átlókat. Ekkor az és az csúcsoknál történt változás, és keletkezett három új csúcs.
2. ábra Az és csúcsnál 2-vel több háromszög van, mint eddig, tehát most is páratlan sok háromszögnek a csúcsai. A és csúcsok egy háromszögnek a pontjai. Végül a csúcs három háromszögben van benne. Tehát az állítás -re is, vagyis minden csúcsa páratlan sok háromszögnek pontja. |