Feladat: F.2846 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Álmos Attila ,  Csörnyei Marianna ,  Futó Gábor ,  Hajnal József ,  Imreh Csanád ,  Kórász Tamás ,  Lente Gábor ,  Maier Norbert-Zsombor ,  Párniczky Benedek ,  Pór Attila ,  Stőhr Lóránt ,  Szalkai Ákos ,  Tóth Csaba ,  Újváry-Menyhárt Zoltán 
Füzet: 1992/január, 11 - 12. oldal  PDF  |  MathML 
Témakör(ök): Geometriai egyenlőtlenségek, Beírt kör, Magasságpont, Terület, felszín, Nevezetes egyenlőtlenségek, Síkgeometriai számítások trigonometria nélkül háromszögekben, Feladat
Hivatkozás(ok):Feladatok: 1991/március: F.2846

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.

A feladat megoldásához fölhasználjuk a következő segédtételt: Ha  a1a2a3 és b1b2b3, akkor

(a1+a2+a3)(b1+b2+b3)3(a1b1+a2b2+a3b3).(1)

Ennek bizonyításához elegendő a következő négy helyes egyenlőtlenséget összeadni:
0(a3-a2)(b3-b2),0(a3-a1)(b3-b1),0(a2-a1)(b2-b1)
és
a1b1+a2b2+a3b3a1b1+a2b2+a3b3.

Jelöljük a háromszög A,B,C csúcsával szemközti oldalt rendre a,b,c-vel, a háromszög területét pedig t-vel. Az ismert t=rs területképlet alapján a bizonyítandó állítást így írhatjuk:
A0M+B0M+C0M3ta+b+c2,
amiből
(a+b+c)(A0M+B0M+C0M)6t.

 
 

Az ábra alapján látható, hogy a háromszög kétszeres területe 2t=aA0M+bB0M+cC0M, ezért a bizonyítandó egyenlőtlenség ekvivalens a következővel:
(a+b+c)(A0M+B0M+C0M)3(aA0M+bB0M+cC0M).(2)

Az oldalak jelölését megválaszthatjuk úgy, hogy abc legyen. Ekkor például az a oldallal szemközti α és a b oldallal szemközti β szögre αβ, de így a C csúcsnál keletkező A0CM=90-β és B0CM=90-α szögekre A0CMB0CM. Tekintve, hogy az A0CM és B0CM derékszögű háromszögek átfogója közös, az előbbi reláció azt is jelenti, hogy A0MB0M. Hasonlóan igaz, hogy B0MC0M. Ezután a (2) egyenlőtlenséget (1) mintájára beláthatjuk, hiszen (2) ugyanolyan szerkezetű reláció, mint (1), és teljesülnek az abc és A0MB0MC0M feltételek.
 

 Pór Attila (Budapest, Fazekas M. Gyak. Gimn., III. o. t.)