Feladat: F.3265 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Csiszár Gábor ,  Pataki Péter 
Füzet: 1999/december, 535 - 536. oldal  PDF  |  MathML 
Témakör(ök): Trigonometrikus egyenletek, Háromszögek geometriája, Trigonometrikus függvények, Síkgeometriai bizonyítások, Síkgeometriai számítások trigonometria nélkül, Feladat
Hivatkozás(ok):Feladatok: 1999/január: F.3265

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 B és C csúcsokból az AF egyenesre, jelöljük ezek talppontját D-vel, illetve E-vel (1. ábra). Ha AB=AC, akkor nyilván DFE, ha pedig ABAC, akkor a BDF és a CEF derékszögű háromszögek egybevágóak, mert az F-nél lévő szögeik csúcsszögek és BF=FC. Ezért mindig igaz, hogy BD=CE és FD=FE.
Az állításban szereplő szögfüggvényeket az AEC, BDA és FDB ‐ esetleg elfajuló ‐ derékszögű háromszögek befogóival kifejezve:

ctgFAC=AECE,ctgFAB=ADBDésctgAFB=DFBD,
ahol AE, AD és DF irányított szakaszokat jelöl úgy, hogy az AF egyenesen az A-ból F-be mutató irány a pozitív; BD és CE pedig pozitívak (2. ábra). A bizonyítandó állítás tehát:
AECE-ADBD=2DFBD.(1)
Felhasználva, hogy BD=CE és 2DF=DE, (1) pontosan akkor igaz, ha
AE-AD=DE,vagyisAE=AD+DE.
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.