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. Tegyük fel, hogy az háromszögben , és jelöljük a háromszög köré írható kört -val, sugarát -rel. Ismeretes, hogy
így (1) ekvivalens azzal, hogy Jelöljük -nak -val átellenes pontját -lal, és az háromszög -beli külső szögfelezőjének -val alkotott második metszéspontját -gyel.
felezi a nagyobbik ívet, és feltevéseink szerint a íven van. Mivel a egyenes külső szögfelező, -t -re tükrözve az egyenes -on túli meghosszabbításán levő pontot kapunk, jelöljük ezt -vel. Az egész ív a szakasz felező merőleges egyenesének -t tartalmazó oldalán van, ezért . Az háromszögben , az háromszögben pedig . Ezek alapján | | amint azt bizonyítani akartuk.
Megjegyzés. Belátható, hogy a szakaszon az monoton fogyó függvénye. Emiatt esetünkben a , , hányadosok mindegyike nagyobb -nél és így . |
|