Nad stranicama trokuta ABC površine P nalaze se rombovi ABED,BCGF i CAIH tako da je ∠ABE=∠BAC, ∠BCG=∠CBA, ∠CAI=∠ACB.
Dokaži da je zbroj površina triju rombova veći ili jednak 6P.
Dokaži da se jednakost postiže ako i samo ako je trokut ABC jednakostraničan.
Rješenje
Prvo rješenje.
Označimo redom površine rombova BCGF,CAIH,ABED s Pa,Pb,Pc, a kutove trokuta ABC s α,β,γ.
Tada je
Pa=a2sinβ,Pb=b2sinγ,Pc=c2sinα.
Koristeći sinusov poučak sinαa=sinβb=sinγc=2R, pri čemu je R polumjer kružnice opisane trokutu ABC, dobivamo
Pa+Pb+Pc=a2sinβ+b2sinγ+c2sinα=2Ra2b+2Rb2c+2Rc2a=2R1(a2b+b2c+c2a)
Iz A-G nejednakosti slijedi
a2b+b2c+c2a≥33a2b⋅b2c⋅c2a=3abc
a odatle slijedi tvrdnja
Pa+Pb+Pc=2R1(a2b+b2c+c2a)≥2R1⋅3abc=2R3abc=6P.
Jednakost se u korištenoj A-G nejednakosti postiže ako i samo ako je a2b=b2c=c2a.
Ako je a2b=b2c=c2a, onda vrijedi a2=bc i ab=c2. Množenjem tih uvjeta dobivamo a3b=bc3, odakle slijedi a=c, a onda lako zaključujemo a=b=c.
Obratno, ako je a=b=c, onda je a2b=b2c=c2a, pa je Pa+Pb+Pc=6P.
Drugo rješenje.
Označimo površine rombova s Pa,Pb,Pc kao u prvom rješenju.
Vrijedi Pa=P(BCGF)=∣BF∣⋅vc, gdje je vc visina iz vrha C u trokutu ABC.
Osim toga, ∣BF∣=∣BC∣=a, pa je Pa=avc.
Na sličan način je Pb=bva, Pc=cvb.
Koristeći ava=bvb=cvc=2P dobivamo
Pa+Pb+Pc=avc+bva+cvb=a⋅c2P+b⋅a2P+c⋅b2P=2P(ca+ab+bc)
Iz A-G nejednakosti slijedi:
ca+ab+bc≥33ca⋅ab⋅bc=3,
a odatle slijedi tvrdnja
Pa+Pb+Pc=2P(ca+ab+bc)≥2P⋅3=6P.
Jednakost se u korištenoj A-G nejednakosti postiže ako i samo ako je ca=ab=bc.
Odatle slijedi a2=bc i ab=c2, pa množenjem dobivamo a3b=bc3, odakle slijedi a=c, i dalje lako zaključujemo a=b=c.
Obratno, ako je a=b=c, onda je ca+ab+bc=3, pa je
Pa+Pb+Pc=avc+bva+cvb=2P(ca+ab+bc)=6P.
Napomena. Postoje mnogi načini da se nejednakost Pa+Pb+Pc≥6P svede na nejednakost ca+ab+bc≥3 ili njoj ekvivalentnu a2b+b2c+c2a≥3abc. Npr.
Pa+Pb+Pc=a2sinβ+b2sinγ+c2sinα=sinα(a2⋅ab+b2⋅ac+c2)=bcsinα(ca+ab+bc)=2P(ca+ab+bc)PPa+Pb+Pc=PPa+PPb+PPc=21acsinβa2sinβ+21absinγb2sinγ+21bcsinαc2sinα=2(ca+ab+bc)