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. Olyan töröttvonal létezését bizonyítjuk, amelyik nem záródik. Világos, hogy nem változtat a feladaton, ha azt tesszük fel, hogy legalább átló van berajzolva. A feladat állítását szerinti teljes indukcióval bizonyítjuk. esetén 1 átló van berajzolva, és ez megfelel a feltételnek. Tegyük most fel, hogy adott (elegendő nagy) esetén az -oldalú sokszögekre -nak valamilyen értékével igaz az állítás, és egy -szögben átló van berajzolva. Ekkor az olyan csúcsoknál (ha vannak), amelyekből egy berajzolt átló indul, hagyjuk egyelőre figyelmen kívül ezt az átlót, amelyekből pedig egynél több átló indul, ott a hozzá a két oldalon legközelebbi csúcshoz vezető átlót. Ezzel legfeljebb átlót hagyunk el. Ekkor legalább berajzolt átló marad meg, tehát kiválasztható közülük egy átlóból álló töröttvonal. Jelöljük ebben az első és utolsó átlót , illetve -gyel. A töröttvonal az , illetőleg az egyenesek egyik oldalára esik, hiszen nem megy át egy ponton egynél többször, és a sokszög konvex. Miután maradt még a végpontokból induló, behúzott átló, így azokban két-két átlót hagytunk figyelmen kívül. Ekkor azonban hozzácsatolhatjuk mindegyik végponthoz azt az eddig figyelmen kívül hagyott átlót, amelyik a szélső szakasz egyenesének a másik oldalára esik, mint a töröttvonal. Ezzel szakaszból álló töröttvonalat kapunk. A bizonyítandó állítás helyessége tehát öröklődik átló berajzolása esetére is, így minden -ra igaz. A feladat második állítására térve az általánosság csorbítása nélkül feltehetjük, hogy a sokszög szabályos. A könnyebb tárgyalásmód kedvéért mondjunk egy átlót hosszúságúnak, ha az egyik oldalára a sokszögnek oldala esik, a másikra ennyi vagy ennél több. Megjegyezzük, hogy egy oldalú sokszögbe akkor rajzolható be átló, ha páratlan esetén , páros esetén pedig . Belátjuk, hogy az állítás igazolására alkalmas a következő konstrukció: páratlan esetén minden csúcsból meghúzzuk a leghosszabb átlót, páros esetén pedig a leghosszabb átlót a ,,legesleghosszabb'' (a szemközti csúcsokhoz vezető) kivételével. Így minden csúcs átló végpontja, tehát átlóvégpont, azaz átló jön létre. Tegyük fel, hogy kiválasztható szakaszból álló, nyílt töröttvonal, amelyik egy ponton sem megy át egynél többször. Az egyenes határolta egyik félsíkba esik az egész töröttvonal, így nem mehet át a töröttvonal az ellenkező oldalra eső félsík belsejében levő sokszögcsúcsokon, és ugyanez mondható az egyenesről is (4. ábra). Ez a két átló nem metszi egymást, így az csúcsok a sokszög kerületének az egyeneseik közti két szakaszán helyezkednek el. Ha páratlan, , akkor a kizárt sokszögcsúcsok száma legalább , a töröttvonalak száma legfeljebb , és így a töröttvonal szakaszból áll. Ha az oldalszám páros, , akkor a berajzolt leghosszabb átló hossza , a legrövidebbé . A fenti gondolatmenettel ezért csak adódik, így gondosabban szemügyre kell venni a konstrukciót. Ha valamelyik íven van két szomszédos csúcs, akkor az ezeken átmenő egyenesnek a másik oldalán, mint amelyiken a másik ív van, nem lehet csúcsa a töröttvonalnak. Ekkor | | az előrebocsátott megjegyzés szerint. Ha viszont a csúcsok felváltva a két íven vannak (a töröttvonal ,,cikkcakkban'' halad), és pl. az egyenesnek a töröttvonalat nem tartalmazó oldalára a sokszög kerületének a felénél nagyobb része, tehát legalább csúcsa esik, akkor a töröttvonal csúcsainak száma legfeljebb , mivel az egyenesnek a töröttvonalat nem tartalmazó oldalán legalább csúcs van (5. ábra). Ha a sokszög középpontja a két átló egyenese közt, tehát valamelyik háromszögben van (6. ábra), akkor az -vel szemközti sokszögcsúcs nem lehet a töröttvonal csúcsa, így a töröttvonalnak legfeljebb csúcsa lehet, s így legfeljebb átlóból állhat.
Megjegyzés. A gondolatmenet pontosabb elemzésével belátható, hogy zárt töröttvonalat is megengedve az eljárás csak hatszög és esetén enged meg hosszúságú töröttvonalat, ekkor azonban a 7. ábrán látható ellenpélda szolgáltat megoldást.
|