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. Írjuk a bizonyítandó egyenlőtlenséget
alakba. Először bebizonyítjuk, hogy
majd pedig azt, hogy
Ezekből már következik a feladat állítása.
1. ábra A (2) állítás belátásához használjuk az 1. ábrát. Az ábra jelöléseivel , ami adott esetén csak -től függ, és akkor maximális, ha . Ezért akkor lesz a legnagyobb, ha átmegy a körülírt kör középpontján, azaz ha háromszög egyenlő szárú. A 2. ábra alapján a maximális amiből m=cosγ22sinγ2⋅c. Ezért általában m⩽cosγ22sinγ2⋅c.
2. ábra
3. ábra A (3) egyenlőtlenség igazolásához tekintsük a 3. ábrát. A BDS derékszögű háromszögből BS<BD, és ha a=b, akkor BS=BD, ezért bármely háromszög esetén BS⩽BD. Hasonlóan kaphatjuk, hogy AT⩽AD. Ezért BS+AT⩽BD+AD=AB=c. Ebből, és a BS=a⋅sinγ2, valamint AT=b⋅sinγ2 összefüggésekből
a⋅sinγ2+b⋅sinγ2⩽c,(4)
és itt egyenlőség csak egyenlő szárú háromszög esetén áll fenn. Látjuk, hogy (4) ekvivalens (3)-mal, tehát igaz a feladat állítása. Egyenlőség pontosan akkor lesz, ha a=b.
Zsenei András (Bp., ELTE Radnóti M. Gyak. Gimn., IV. o. t.)
II. megoldás. Legyen a+b+m=k⋅c. Az a=2r⋅sinα összefüggés alapján m=2r⋅sinα⋅sinβ, és így
| k=a+b+mc=2rsinα+2rsinβ+2rsinαsinβ2rsinγ=sinα+sinβ+sinαsinβsinγ. |
Közismert összefüggésekkel:
k=2sinα+β2⋅cosα-β2+cos(α-β)-cos(α+β)2sinγ==2cosγ2⋅cosα-β2+2⋅cos2α-β2-1+cosγ2sinγ==2⋅cos2α-β2+4cosγ2⋅cosα-β2+cosγ-12sinγ.
Ez a kifejezés a pozitív cosα-β2-nek szigorúan monoton növő másodfokú függvénye. Tekintve, hogy cosα-β2⩽1,k akkor lesz legnagyobb, ha cosα-β2=1, azaz ha a háromszög egyenlő szárú. Így azt nyertük, hogy | k⩽4⋅cosγ2+1+cosγ2⋅sinγ=4⋅cosγ2+2⋅cos2γ22⋅2⋅sinγ2⋅cosγ2=2+cosγ22⋅sinγ2. |
Tehát valóban
|
|