Feladat: B.3930 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Miklós Rozália ,  Molnár Márton 
Füzet: 2007/szeptember, 335 - 336. oldal  PDF  |  MathML 
Témakör(ök): Síkgeometriai bizonyítások, Konvex sokszögek, Teljes indukció módszere, Feladat
Hivatkozás(ok):Feladatok: 2006/szeptember: B.3930

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 k=12, ahol k a csúcsok számát jelöli.)

 
 

1. ábra
 

A szabadon választott A csúcs két szomszédja legyen B és C, a többi csúcsot jelölje Pn. Ez utóbbi csúcsok száma osztható 3-mal.
A-ból minden olyan Pn csúcsba fut él, amelyre n a 3-mal osztva 0 vagy 1 maradékot ad. Azok a Pn csúcsok, amelyekbe A-ból fut átló, az ábrának megfelelően szintén össze vannak kötve: P1P3, P4P6 stb.
Így B, C és az olyan Pn-ek, melyekre n a 3-mal osztva 2 maradékot ad, pontosan egy háromszögnek a pontjai, ezek rendre ABP1, ACPk-3 és Pn-1PnPn+1.
P1, Pk-3 és azok a Pn csúcsok, melyekre n a 3-mal osztva 0, illetve 1 maradékot ad, három, vagyis páratlan sok háromszögben vannak benne. Ezek rendre: ABP1, AP1P3, P1P2P3; ACPk-3, APk-3Pk-5, Pk-3Pk-4Pk-5; APn-2Pn, Pn-2Pn-1Pn, APnPn+1; APn-1Pn, APnPn+2, PnPn+1Pn+2.
Végül az A csúcs a Pn csúcsok 23 részével van összekötve, így 23(k-3)+1=23k-1 háromszögben van benne. Mivel k osztható 3-mal, 23k páros, így A 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 3n.
n=1-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 n-re. Tekintsünk egy 3n+3 csúcsú sokszöget.
Ennek egy 3n 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 A és az E csúcsoknál történt változás, és keletkezett három új csúcs.
 
 

2. ábra
 

Az A és E 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.
B és D csúcsok egy háromszögnek a pontjai.
Végül a C csúcs három háromszögben van benne.
Tehát az állítás (n+1)-re is, vagyis minden csúcsa páratlan sok háromszögnek pontja.