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: A hatszög bármelyik két egymás utáni oldalát ‐ három egymás utáni csúcsát ‐ az hatszög három egymás utáni oldala ‐ négy egymás utáni csúcsa ‐ határozza meg; és az első és a negyedik csúcs egy átmérőnek két végpontja.
Ezért az állítás első részében elég azt bizonyítanunk, hogy ha , , , ebben a sorrendben egy körnek egymástól különböző pontjai, a -ban átmérő, és egy a -n fekvő -ből az , , egyenesekre bocsátott merőlegesek talppontjai rendre , , , akkor és egymásra merőlegesek. Evégett megmutatjuk egyrészt, hogy egy bizonyos helyzetében és merőlegesek, másrészt hogy ha elmozdul a -n, akkor és egymással megegyező irányban ugyanakkora szöggel fordulnak el. (, , és sorrendje megfelel konvexségének.) Valóban, -ként az -en átmenő átmérőnek másik végpontját véve az -be, az -be esik, így , és ez a feltevésnél fogva derékszög.
Legyen az (előjellel vett) hajlásszöge -nek attól a élegyenesétől mérve, amely -nek ugyanazon partján van, mint . Az , , , pontok bármely helyzetében húrnégyszöget határoznak meg, ebből látható, hogy mindig egyenlő a szöggel, de avval ellentétes irányú: . Eszerint ha a helyzetből -be megy át, akkor a megfelelő -nek -be való elfordulási szögét és párhuzamossága folytán az különbség adja, és erre , vagyis elfordulása egyenlő, de ellentétes irányú elfordulásával. (Ez nem a -n fekvő -re is érvényes.) ‐ Eredményünk alapján egy -ből szerkesztett -nek egy -ből szerkesztett -hez képest való elfordulási szöge is kiadódik: , ahol és a szög megfelelő két értékét jelöli. ‐ Most már két helyzetének -n -t és -t véve , eszerint , vagyis , a , -hoz képest valóban ugyanannyival és ugyanazon irányban fordulnak el, és ezért , derékszög, amit bizonyítani akartunk.
mindegyik szemben fekvő oldalpárja egymással párhuzamos, mert végpontjaik, mint két átmérő végpontjai, egy téglalapnak a csúcsai; ezért a -ből rájuk bocsátott merőlegesek azonosak, így pl. a , , ponthármas egy egyenesbe esik. Ezért a szakasz felezőpontja egyrészt -on fekszik, másrészt az téglalapnak az -re merőleges tengelyén, amely -nak átmérője, tehát -ból az sugár derékszögben látszik, az átmérőjű Thalész-körnek pontja. (Az utóbbi akkor is áll, ha éppen -be esik.) Ugyanez áll a , szakaszok , felezőpontjára. Ezzel bebizonyítottuk az állítás második részét, és egyben a szóban forgó második kört közvetlen kapcsolatba hoztuk -val és -vel. II. megoldás: A hatszög oldalainak merőlegességét a következőképpen is igazolhatjuk. Elegendő -nek a íven felvehető helyzeteire szorítkozunk mert -nek nincs kitüntetett oldala, így a betűzés megváltoztatásával mindig elérhetjük az említett helyzetet. Másrészt elég az egymást , , , -ban metsző oldalakra megmutatni, hogy merőlegesek egymásra, mert csúcsait fordított sorrendben betűzve ( helyére rendre -t írva) és valamint és felcserélődnek. mint a háromszög magasság talppontja az oldal -n túli meghosszabbításán van, mert a szög tompaszög, szárai között -nak a és pontokat tartalmazó, és ezért félkörnél nagyobb íve fekszik; hasonlóan a oldal -n túli meghosszabbításának pontja. Ezekből a betűzés megfordításával kapjuk, hogy , a , oldalnak -n, -n túli meghosszabbításán van. viszont a és a szakaszon fekszik, mert a , háromszögekben -nél és -nél, és -nál hegyes szögek vannak. Eszerint a -höz viszonyítva a , , -nál fekvő (-nál kisebb) szögek terében fekszik, és a -nél, -nél fekvő egyik-egyik külső szög terében, ezért a szög révén két szög különbségeként írható: a , , -nál fekvő szögek pedig , , -mal két szög összegére bonthatók, pl. . Folytatólag a és ,,talpponti'' húrnégyszögek, majd a ,,-beli'' húrnégyszög révén (mivel bármelyik szög egyenlő a szemben fekvő szög külső szögével) , és ez feltevésnél fogva derékszög: a átmérő látószöge a -n fekvő pontból. ‐ Majdnem ugyanígy halad a bizonyítás a többi három szög esetében is. A megkezdett példát folytatva: , ami derékszög. (Olyan, a szereplőkkel egyenlő szögekre térünk át, melyek csúcsaival vannak meghatározva, majd amelyeknek csúcsuk és egyik száruk közös, és így összegük egyetlen szögként írható.) Ezzel az állítás első részét bebizonyítottuk. III. megoldás: Megmutatjuk, hogy -nek egy oldala a tőle számított második oldallal párhuzamos, és a harmadikra merőleges; ebből már következik, hogy a második és a harmadik oldal egymásra merőleges, vagyis az állítás első része igaz. Valóban, egyrészt pl. párhuzamos -vel, mert egyenlő szöget alkotnak a (másképpen ) félegyenessel: továbbá és a egyenesnek ugyanazon partján feküsznek. Másrészt merőleges -re. Ugyanis a -nál derékszögű és a -nál derékszögű háromszögek hasonlók, mert -nél fekvő hegyes szögeik és merőlegessége folytán egymásnak pótszögei; a háromszög egy szögű forgatva nyújtással áll elő -ból (megfelelők azok a csúcsok, amelyek a két felsorolásnak ugyanannyiadik tagjai). Ugyanez érvényes a -nél, -nél derékszögű és háromszögekre is, és így a , , négyszögekre is, mert a hasonlóság aránya mindkét esetben ugyanaz: a , átfogók aránya. Így is -os forgatva nyújtással áll elő -ből (ez többet is mond annál, mint amit állítottunk), ennélfogva merőleges -re. Megjegyzés. Egyenesek párhuzamosságára támaszkodik a következő bizonyítás is. Legyen és a egyenes második közös pontja . Ekkor , eszerint párhuzamos -vel. Hasonlóan , így a szög egyállású a szöggel, ez pedig derékszög. |