Feladat: Gy.1744 Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1978/november, 136 - 137. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Nevezetes azonosságok, Irracionális egyenlőtlenségek, Gyakorlat
Hivatkozás(ok):Feladatok: 1978/február: Gy.1744

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 középen álló különbség első tagját a és b kvadratikus közepének, a másodikat a és b mértani közepének nevezik. Jelöljük őket Q-val és M-mel

Q=a2+b22,M=ab.
Ezek is pozitívak, és
(a+b)2=a2+b2+2ab=2(Q2+M2),(a-b)2=a2+b2-2ab=2(Q2-M2).


Az utóbbi összefüggés miatt két pozitív szám kvadratikus és mértani közepe csak akkor egyenlő, ha maguk a számok egyenlőek, különben a kvadratikus közép a nagyobb közülük. Így a=b esetén (1) minden tagja 0-val egyenlő. Megmutatjuk, hogy különben mindkét helyen az egyenlőtlenség jele érvényes.
Helyettesítsük a bizonyítandó egyenlőtlenségbe a Q, M mennyiségeket.
Q2-M22(Q2+M2)<Q-M<2Q2-M22(Q2+M2).
Mivel most Q>M, ha minden tagot (Q-M)-mel osztunk, majd Q2+M2-nel szorzunk, az egyenlőtlenség iránya nem változik meg.
Q+M2<Q2+M2<(Q+M)2.(2)
Mivel Q és M pozitív, vehetjük e tagok négyzeteit is.
Q2+2QM+M22<Q2+M2<2(Q2+M2+2QM).
Az első két tag különbsége 12(Q-M)2, ami valóban pozitív. A második két tag különbsége még a kettes szorzó nélkül is a pozitív 2QM. Ezzel a feladat állításánál többet mondó
(a-b)22(a+b)a2+b22-ab(a-b)2(a+b)
egyenlőtlenséget is beláttuk.
 

Megjegyzés. Ha (2) első egyenlőtlenségét 2-vel osztjuk, a
Q+M2<Q2+M22
egyenlőtlenséget kapjuk. Eszerint különböző pozitív számok számtani közepe kisebb a kvadratikus közepüknél. Belátható a bizonyítandó egyenlőtlenség csupán ennek felhasználásával is.