Feladat: F.2294 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1981/október, 63 - 64. oldal  PDF  |  MathML 
Témakör(ök): Geometriai egyenlőtlenségek, Feladat, Síkgeometriai bizonyítások
Hivatkozás(ok):Feladatok: 1981/január: F.2294

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.

Jelöljük az a, b, c oldalú háromszög c-hez tartozó súlyvonalának hosszát sc-vel. Bizonyítandó, hogy

c2-(a-b)22(a+b)a+b-2sc<c2+(a-b)24sc.(1)

Megoldás. A feladat eredeti kitűzésében sajtóhiba volt. Itt a fenti állítást bizonyítjuk. (Az eredetiben a jobb oldali számláló tagjai között + jel állt, és ez az egyenlőtlenség jobb oldali felének bizonyítását még könnyítette. Bemutatjuk egy könnyű számpéldán, milyen torzítást jelent ez. A 34, 56, 78 oldalakkal bíró háromszög esetében c-nek 56-ot véve a számláló helyesen 1200, tévesen 5072, vagyis több mint 4-szer akkora.)
Tükrözzük az ABC háromszöget az AB=c oldal F felezőpontjára a BAC' helyzetbe. Így paralelogrammát kapunk, átlói c és CC'=2sc, oldalai a és b.

Ismeretes, hogy paralelogramma átlóinak négyzetösszege egyenlő az oldalak négyzetösszegével. Ebből a
c2=2a2+2b2-4sc2
kifejezést a számlálókba helyettesítve, egyszerű átrendezéssel ez adódik:
(a+b)2-4sc2=(a+b-2sc)(a+b+2sc),
vagyis az első tényező azonos a kettős egyenlőtlenség közepén álló kifejezéssel.
Írjuk föl a háromszög-egyenlőtlenséget a CC'A háromszög CC' oldalára:
a+b>2sc(2)
Eszerint az (1) közepén álló kifejezés minden valódi háromszögben pozitív. Ezzel osztva (1)-et, elég bizonyítanunk a vele ekvivalens következőt:
(a+b)+2sc(a+b)+(a+b)1<(a+b)+2sc2sc+2sc.

Ez pedig (2) szerint helyes, és egyenlőség nem állhat fenn, hiszen a bal oldali számláló csökkentéssel állt elő a nevezőjéből, a jobb oldali számláló pedig növeléssel a maga nevezőjéből.