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. A és egyenesek közti szög derékszög, mert a felezett szögek együtt egyenesszöget alkotnak. Továbbá megfelezi az háromszög köré írt körnek az szög szárai közé eső ívét is, mert az íven levő pontját -gyel jelölve az és kerületi szögek egyenlők, tehát a száraik közti , ívek is.
Ezekből Thalész tételének megfordítása alapján következik, hogy a szakasz meghosszabbítása átmegy az -ből kiinduló átmérő végpontján. Ez az átmérő viszont felező merőlegese az oldalnak, és így azt ban metszi. ( miatt a szögfelezőre ismert tétel szerint , és . Így a pontok sorrendje , , .) Ezek alapján a szerkesztés a következőképpen végezhető. Egy csúcsú derékszög két szárára fölmérjük a , szakaszt, a egyenest metsszük a körüli, sugarú körrel, és -nak vesszük a szakasz en túli meghosszabbítására eső metszéspontot. -ban merőlegest állítunk -re, ennek metszéspontja a , egyenessel , ill. . Végül az átmérő fölötti Thalész‐körrel a egyenesből kimetsszük -t és -t, közülük a -hez közelebbi metszéspont. Az háromszög megfelel a követelményeknek, mert felezi -t, áthalad -n, hiszen derékszög, ezért a körbe írt háromszög, , mint a húr pontja, belsejében van, viszont -n kívül. felezi az ívet, és így , azaz felezi az szöget, pedig külső (mellék-) szögeit, mert derékszög. Végül a , , szakaszokat közvetlenül fölmértük. és létrejön, ha a egyenes -t nem tartalmazó partján adódik, aminek feltétele, hogy legyen. Ha ez teljesül, a megoldás egyértelmű. Bauer Katalin (Budapest, Berzsenyi D. g. I. o. t.)
Megjegyzés. A , , , pontok fenti előállítása után befejezhetjük a szerkesztést a szögfelező osztásarányára ismert , valamint a külső szögfelezőre ugyanúgy bizonyítható tétel alapján is. Ezekből, fölhasználásával
vagyis az oldal fele mértani középarányos a , szakaszok között. Eszerint a átmérő fölötti Thalész‐kör és a -ben -re állított merőleges metszéspontját -vel jelölve, -t és -t a közepű, sugarú kör metszi ki a egyenesből. ‐ Másképpen: -t megadja a -ból a átmérőjű körhöz húzott érintő hossza.
|