Feladat: B.4292 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Herczeg József ,  Kecskés Boglárka 
Füzet: 2011/október, 406 - 407. oldal  PDF  |  MathML 
Témakör(ök): Feladat, Beírt kör, Húrnégyszögek, Középponti és kerületi szögek
Hivatkozás(ok):Feladatok: 2010/október: B.4292

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.

I. megoldás. A szögfelezők a háromszögbe írható kör O középpontjában metszik egymást. A D, E és F pontok mindegyikéből a CO szakasz derékszögben látszik, tehát ezek a pontok mind rajta vannak a CO szakasz k Thalész-körén.

 
 
1. ábra
 
Az ABC háromszög szögeit jelölje 2α, 2β és 2γ (1. ábra). Ekkor felhasználva, hogy bármely háromszög külső szöge megegyezik a nem mellette lévő két belső szög összegével kapjuk, hogy
EOC=α+γ   és  FOC=β+γ.
Mivel α+β+γ=90, ebből
EOF=(α+γ)+(β+γ)=90+γ

következik. Tehát a k körben az EF húrhoz tartozó egyik kerületi szög
 

90+γ, így a hozzá tartozó másik kerületi szög 180-(90+γ)=90-γ.
A COD háromszög D-nél lévő szöge derékszög, ezért
COD=90-DCO=90-γ.
Tehát a k körben a CD és EF húrhoz egyaránt 90-γ nagyságú kerületi szög tartozik, ezért a két húr ugyanolyan hosszú.
 
II. megoldás. Legyen a beírt körnek az AB, illetve BC oldalon lévő érintési pontja K, illetve J, jelölje továbbá a CE és CF egyenesek AB egyenessel való metszéspontját H és I (2. ábra), az ABC háromszög oldalainak a hosszát pedig a, b és c.
 
 
2. ábra
 
A HCA háromszögben az A csúcshoz tartozó AE belső szögfelező merőleges a HC oldalra, ezért a háromszög egyenlőszárú, HA=AC=b. Ezért AE felezi a háromszög alapját, tehát HE=EC. Ugyanígy kapjuk, hogy az IBC háromszög is egyenlőszárú, IB=BC=a és IF=FC. A HIC háromszögben tehát EF középvonal, aminek hossza a megfelelő oldal hosszának fele, azaz EF=HI/2. Mivel HI=HA+BI-AB=b+a-c, azért EF=(a+b-c)/2.
Tudjuk, hogy egy körhöz bármely külső pontból két egyenlő hosszúságú érintőszakasz húzható, ezért AD=AK, CD=CJ és BK=BJ. Így
CD=AC-AD=AC-AK=AC-(AB-BK)=AC-AB+BJ=
 
=AC-AB+(BC-CJ)=b-c+a-CD,

amiből átrendezéssel kapjuk, hogy CD=(a+b-c)/2.
Tehát CD=EF, ami épp a bizonyítandó állítás.