Feladat: 1991. évi Nemzetközi Matematika Diákolimpia 22. feladata Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Kőszegi Botond 
Füzet: 1991/november, 340 - 341. oldal  PDF  |  MathML 
Témakör(ök): Szögfüggvények, síkgeometriai számítások, Számtani-mértani egyenlőtlenségek, Jensen-féle egyenlőtlenség, Nemzetközi Matematikai Diákolimpia
Hivatkozás(ok):Feladatok: 1991/szeptember: 1991. évi Nemzetközi Matematika Diákolimpia 22. feladata

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.

Használjuk az ábra jelöléseit.

 
 

Vegyük észre, hogy
sinα1sinβ1sinγ1sinα2sinβ2sinγ2=d2e1d3e2d1e3d3e1d1e2d2e3=1.

Tegyük fel, hogy a feladat állítása nem igaz, tehát α1,β1,és γ1 is nagyobb, mint 30. Ha például α150,βés γ is kisebb, mint 30, így máris ellentmondásra jutottunk. Ha pedig α,βésγ mindegyike kisebb 150-nál, akkor sinαsinβsinγ>18. Ugyanakkor a számtani és a mértani közepek közti egyenlőtlenség szerint
sinα2sinβ2sinγ2(sinα2+sinβ2+sinγ23)3.
A Jensen-egyenlőtlenséget felhasználva (hisz a sin függvény a [0,π] intervallumon konkáv)
sinα2+sinβ2+sinγ23sinα2+β2+γ23.
De mivel 0<α2+β2+γ2<90,3sinα2+β2+γ23<32, így
sinα2sinβ2sinγ2<(323)3=18,
vagyis
sinα1sinβ1sinγ1sinα2sinβ2sinγ2>1.
Ezzel ellentmondásra jutottunk, tehát bizonyítottuk a feladat állítását.