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. Az és félegyenesek közös kezdőpontját jelöljük -vel, a két kör középpontját -gyel és -vel, e három pont vetületét az egyenesen -vel, -gyel és -vel. A vizsgálandó húrok egyenlősége helyett nyilván elegendő a felüknek, -nek és -nek az egyenlőségét kimutatni.
1. ábra Ha nem esik az egyenesre (azaz , akkor az és a derékszögű háromszögekben az -nál, illetőleg -nél levő szögek merőleges szárú hegyes szögek, ezért egyenlők, s így a két háromszög hasonló, tehát megfelelő oldalaik aránya egyenlő: ebből Ugyanígy a és háromszögek hasonlósága alapján (hacsak ) Az állítás igazolásához most már elegendő az és arányok egyenlőségét belátnunk. Ez viszont fennáll, mert tagjaik a és a derékszögű háromszögek befogói, e háromszögek pedig hasonlók, mert -nél levő szögük az és félegyenesek hajlásszögének negyedrésze. Az ábrán az háromszög -nál és -nél levő szöge hegyesszög, meggondolásunk azonban akkor is helyes marad, ha valamelyik (pl. az -nál levő) szög tompaszög. Abban az esetben viszont, ha pl. , az egyenes átmegy -en, a pont egybeesik -val, így | | tehát az (1) összefüggés ebben az esetben is fennáll. A bizonyítás további része változatlanul alkalmazható ebben az esetben is.
2. ábra Megjegyzés. Az (1) és (2) összefüggések levezetésében nem használtuk ki, hogy szögfelező; ezek még akkor is fennállnak, ha az és határolta konkáv szögtérben van. (Ekkor a két kör érintési pontja -en közrefogja -t.) , ill. általában azon szögek felének a tangense, amelyet -nek -et érintő félegyenese -val, ill. -t érintő félegyenese -vel zár be. Ezeket a félszögeket -val, ill. -nal jelölve (1) és (2) alapján a két körből kimetszett húrok hosszának arányára (ismét a húrok felével számolva)
|