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. Tudjuk, hogy a háromszögben az -ból induló szögfelező és a oldal felező merőlegese a háromszög köré írt körön metszi egymást. Jelöljük ezt a pontot -vel. A egyenlőségből és az közös szögből látható, hogy az és háromszögek hasonlóak, a csúcspárok a felsorolás rendjében felelnek meg egymásnak (1. ábra).
1. ábra
Ebből | | és rövid átrendezéssel
A szerkesztés első lépéseként az adott sugarú k körbe beillesztjük az adott oldalt mint húrt. (Ha , akkor természetesen eleve nincs megoldás.) Behúzva a szakasz felező merőlegesét, ez -ból kimetszi a szerepére szóba jövő és pontokat (legyen a ,,felső'' íven, vagyis amelyiken -t elsősorban ,,várjuk''). esetén és különbözők, ezért a továbbiakban szerepére a két hosszúságot külön-külön figyelembe kell majd vennünk. Ha viszont , akkor egyértelműen kaptuk meg hosszát. Ezután egy segéd-derékszögű háromszöget szerkesztünk és befogókból. Átfogóját -vel csökkentve (1) szerint hosszát kapjuk, ugyanannyival növelve pedig hosszát. Ezekből a egyenest akár , akár pontjával meghatározhatjuk, vagyis megkapjuk a háromszög hátra levő csúcsát (2. ábra).
2. ábra
3. ábra Könnyíti a további vizsgálódást, ha az említett derékszögű háromszöget magában az ábrában szerkesztjük meg előbb a , majd a húrra mint befogóra, és úgy, hogy derékszöge -nél legyen (3. ábra). A -re merőlegest Thalész tétele szerint éppen a egyenes szolgáltatja, erre -től felmérjük a szakaszt, majd ugyanezt -tól a egyenesre is mindkét irányban: úgy, hogy . Ekkor és , tehát a körüli, -n átmenő körrel kimetszhetjük -ből -et (-ot), valamint -ból -t (-ot) a körüli, -n átmenő körrel. E köröknek -vel, ill. -val 2 vagy 1 vagy 0 közös pontja lehet. Ha 2 közös pont van, ez a 2 megoldás nem lényegesen különböző: egymás tükrös párjai a tengelyre. Az háromszög megfelel a követelményeknek, mert körülírt körének sugara az adott , oldala is az előírt hosszúság, továbbá (1) és (2) alapján az előírt szakasszal egyenlő. Azt kell csak belátnunk, hogy a és félegyenesek azonosak, a és szögek egyenlők. Ez abból következik, hogy számításunk és szerkesztésünk szerint a és háromszögek hasonlók. (Természetesen a tengelynek ugyanazon a partján vesszük az és metszéspontokat.) Elvileg általában helytelen, hogy a egyenest kétféleképpen határozzuk meg. Most mégis mellette szól az, hogy a megoldhatóság föltételét keresve látható lesz, hogy a két úton ugyanarra az eredményre jutunk. Tulajdonképpen variánsoknak tekinthetjük a két utat. A számítást -ra mutatjuk be. Mindkét követelményből felső korlátot kapunk az szögfelezőszakaszra. , ill. akkor jön létre, ha | | ‐ ahol a oldal felezőpontja ‐ , azaz (2), ill. (1) behelyettesítésével | | Pozitív szakaszokról lévén szó, ezekkel az egyenlőtlenségekkel ekvivalenseket kapunk, ha mindkét oldalt négyzetre emeljük:
és a jobb oldal mindkét esetben , ti. a derékszögű háromszögre alkalmaztunk ismert mértani középarányos-tételeket. Hasonlóan, -ból kiindulva, a -ot tartalmazó íven akkor van megoldás, ha . Alsó korlát nincs az szakaszra, nyilvánvaló, hogy a szerkesztés tetszés szerinti kicsi (pozitív) mellett végrehajtható. A 3. ábrán -ból kiindulva van megoldás, -ból kiindulva viszont nincs, mert .
Összefoglalva: esetén nincs megoldás; esetén a háromszög derékszögű lesz az csúcsnál, hacsak ; ha , akkor a továbbiak céljára , ha , akkor 1 megoldás van, egyenlőség esetén a háromszög egyenlő szárú; ha pedig és , akkor mindkét íven van egy megfelelő pont. Megjegyzés. Hasonlóan megy a szerkesztés, ha helyett az szakasz van előírva, ahol az -ból induló külső szögfelezőnek (-nak) a egyenessel való metszéspontja. |