Feladat: Gy.3002 Korcsoport: 16-17 Nehézségi fok: könnyű
Füzet: 1996/február, 83 - 84. oldal  PDF  |  MathML 
Témakör(ök): Geometriai egyenlőtlenségek, Gyakorlat
Hivatkozás(ok):Feladatok: 1995/szeptember: Gy.3002

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.

Mivel x+y+z=0, a három szám között biztosan van két olyan, amelyek szorzata nemnegatív. Az egyenlőtlenség szimmetriája miatt feltehetjük, hogy xy0. A háromszög-egyenlőtlenség szerint 0<c<a+b. Ezért

c2xy(a+b)2xy.(1)

A bizonyítandó egyenlőtlenséget z=-(x+y) felhasználásával a következő módon írhatjuk:
a2yz+b2zx+c2xy=-a2xy-a2y2-b2x2-b2xy+c2xy0.
Vagyis:
c2xya2xy+a2y2+b2x2+b2xy.
Ehelyett (1) miatt elegendő belátnunk, hogy
(a+b)2xya2xy+a2y2+b2x2+b2xy.
A bal oldalon elvégezve a négyzetreemelést, majd rendezve az egyenlőtlenséget, kapjuk a
0a2y2+b2x2-2abxy=(ay-bx)2
egyenlőtlenséget, ami nyilvánvalóan igaz.
Ezzel a feladat állítását beláttuk. A felhasznált háromszög-egyenlőtlenség szigorú volta miatt egyenlőség csak akkor állhat, ha x, y, z valamelyike nulla. Ha például x=0, akkor a2yz=0-ból y vagy z nulla, ekkor viszont a harmadik szám is nulla. Egyenlőség tehát csak a triviális x=y=z=0 esetben áll fenn.