Feladat: Gy.3122 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1998/február, 90 - 91. oldal  PDF  |  MathML 
Témakör(ök): Húrsokszögek, Középponti és kerületi szögek, Gyakorlat
Hivatkozás(ok):Feladatok: 1997/március: Gy.3122

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.

Megmutatjuk, hogy az állítás igaz. Jelöljük a sokszög csúcsait A1, A2, ..., A1997-tel, a csúcsoknál lévő szöget pedig α-val. Az AiAi+2 húr az Ai+1 csúcsból α szögben látszik (i=1, 2, ..., 1997, az indexeket modulo 1997 számolva), Ai+1 mindig a rövidebbik AiAi+2 íven van, mert α tompaszög, ezért az AiAi+2 húrok mind egyenlő hosszúságúak, és a rövidebb AiAi+2 körívek is mind egyenlő hosszúságúak. A továbbiakban PQ-val jelöljük a kör P és Q pontjai által meghatározott rövidebb körív hosszát.
Mivel A1A3=A2A4, azért a hosszabbik A1A3 és A2A4 ívek is egyenlő hosszúságúak, vagyis

A3A4+A4A5+...+A1996A1997+A1997A1==A4A5+...+A1997A1+A1A2,
amiből kapjuk, hogy A3A4=A1A2. Az ennek megfelelő egyenlőséget a hosszabbik AiAi+2 és Ai+1Ai+3 ívekre felírva kapjuk, hogy
Ai+2Ai+3=AiAi+1
minden i-re, vagyis minden második rövid ív hossza megegyezik. De mivel páratlan sok rövid ívünk van, ez egyúttal azt is jelenti, hogy minden rövid ív hossza megegyezik. Ebből viszont következik, hogy a körbe írható sokszögünk minden oldala egyenlő hosszúságú, tehát a sokszög szabályos.
 
Megjegyzés. A bizonyításunk minden körbe írható páratlan oldalú sokszög esetén alkalmazható. Páros oldalú sokszög esetén viszont feltételeinkből nem következik a szabályosság. A legegyszerűbb ellenpélda egy téglalap, de ellenpélda a 2. ábrán látható hatszög is, általában pedig egy olyan 2n-szög, amit úgy kapunk, hogy egy szabályos n-szöget a középpontja körül 180n-nél kisebb szöggel elforgatunk, majd pedig tekintjük az eredeti sokszög és az elforgatottja csúcsai által meghatározott konvex sokszöget.