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. Bocsássunk merőlegeseket a és csúcsokból az egyenesre, jelöljük ezek talppontját -vel, illetve -vel (1. ábra). Ha , akkor nyilván , ha pedig , akkor a és a derékszögű háromszögek egybevágóak, mert az -nél lévő szögeik csúcsszögek és . Ezért mindig igaz, hogy és . Az állításban szereplő szögfüggvényeket az , és ‐ esetleg elfajuló ‐ derékszögű háromszögek befogóival kifejezve: | | ahol , és irányított szakaszokat jelöl úgy, hogy az egyenesen az -ból -be mutató irány a pozitív; és pedig pozitívak (2. ábra). A bizonyítandó állítás tehát: Felhasználva, hogy és , (1) pontosan akkor igaz, ha Ez az összefüggés az irányított szakaszok közt nyilván teljesül, s mivel ekvivalens a bizonyítandó állításunkkal, ezért az is igaz.
|