Feladat: Gy.1733 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1978/április, 165 - 166. oldal  PDF  |  MathML 
Témakör(ök): Körülírt kör, Beírt kör, Terület, felszín, Síkgeometriai számítások trigonometria nélkül háromszögekben, Gyakorlat
Hivatkozás(ok):Feladatok: 1977/december: Gy.1733

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.

Jelöljük az ABC háromszög körülírt körének középpontját O-val, O-nak az a, b, c oldalaktól való távolságát rendre da, db, dc-vel, a beírt kör sugarát r-rel. Választhatjuk a jelölést úgy, hogy abc legyen.

 
 

Azt kell bizonyítani, hogy
da+db+dc3r.

Írjuk fel az ABC háromszög területének, t-nek kétszeresét kétféleképpen:
2t=2rs=r(a+b+c),(1)
másrészt
2t=ada+bdb+cdc.(2)

Ez utóbbi egyenlőség helyes, mivel a feltétel szerint a háromszög hegyesszögű, és így O a belsejében van.
A da, db, dc szakaszoknak a megfelelő oldalakkal való metszéspontjait jelöljük A', B', C'-vel. Az OAB', COA', BOC' háromszögekből
db2+(b2)2=da2+(a2)2=dc2+(c2)2=r2,
s mivel abc, innen dadbdc adódik. Az (a-b)(da-db) szorzat tehát biztosan negatív vagy 0. A szorzást elvégezve, s a másik két oldalra is felírva az egyenlőtlenségeket, kapjuk
ada+bdbbda+adb,bdb+cdccdb+bdc,(3)ada+cdccda+adc.

Az egyenlőtlenségek megfelelő oldalait összeadva és mindkét oldalhoz hozzáadva még (2) jobb oldalát
3(ada+bdb+cdc)(a+b+c)(da+db+dc).
(2) szerint a bal oldalon 6t áll, ami (1) szerint egyenlő 3r(a+b+c)-vel, azaz
3r(a+b+c)(a+b+c)(da+db+dc).
Végigosztva az (a+b+c)>0-val, éppen a bizonyítandó egyenlőtlenséget kapjuk.