Feladat: Gy.2940 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Burcsi Péter ,  Kucsera Judit ,  Megyeri Csaba ,  Nagy Ilona 
Füzet: 1995/április, 209 - 210. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Geometriai egyenlőtlenségek, Gyakorlat
Hivatkozás(ok):Feladatok: 1994/október: Gy.2940

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.

Tudjuk, hogy egy háromszögben nagyobb oldallal szemben nagyobb szög van, ezért α-β és a-b ugyanolyan előjelű, tehát (α-β)(a-b)0. Ugyanígy kapjuk, hogy (β-γ)(b-c)0 és (γ-α)(c-a)0. A három egyenlőtlenséget összeadva és rendezve:

(2α-β-γ)a+(2β-α-γ)b+(2γ-α-β)c0.
Felhasználva, hogy α+β+γ=π, kapjuk, hogy
(3α-π)a+(3β-π)b+(3γ-π)c0.
Ebből átrendezéssel és 3(a+b+c)-vel való osztással kapjuk a bizonyítandó egyenlőtlenség egyik felét:
π3aα+bβ+cγa+b+c.

A másik egyenlőtlenség bizonyításához azt használjuk fel, hogy a háromszög két oldalának összege nagyobb a harmadik oldalnál. Ezért
α(b+c-a)+β(a+c-b)+γ(a+b-c)>0.
Rendezve és ismét használva, hogy α+β+γ=π:
a(π-2α)+b(π-2β)+c(π-2γ)>0.
Ebből adódik a bizonyítandó egyenlőtlenség másik fele:
aα+bβ+cγa+b+c<π2.

 Kucsera Judit (Komárom, Szlovákia, Selye J. Gimn., III. o.t.)