Feladat: B.4340 Korcsoport: 16-17 Nehézségi fok: nehéz
Megoldó(k):  Bősze Zsuzsanna 
Füzet: 2012/február, 88 - 89. oldal  PDF  |  MathML 
Témakör(ök): Feladat, Egyenlőtlenségek, Számtani közép, Harmonikus közép
Hivatkozás(ok):Feladatok: 2011/február: B.4340

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.

 
Megoldás. Legyen S=a1+a2+...+an. A bizonyítandó egyenlőtlenségben n-nel osztva és gyököt vonva:
(a1a2+...+an)2+(a2a3+...+a1)2+...(ana1+...+an-1)2n1n-1.
Bal oldalon n db pozitív szám négyzetes közepe áll, ennél nem nagyobb ugyanezen számok számtani közepe:
(a1a2+...+an)2+(a2a3+...+a1)2+...(ana1+...+an-1)2n(a1a2+...+an)+(a2a3+...+a1)+...+(ana1+...+an-1)n==(S-(a2+...+an)a2+...+an)+(S-(a3+...+a1)a3+...+a1)+...+(S-(a1+...+an-1)a1+...+an-1)n==(Sa2+...+an-1)+(Sa3+...+a1-1)+...(Sa1+...+an-1-1)n==S(1a2+...+an+1a3+...+a1+...+1a1+...+an-1)-nn==S1a2+...+an+1a3+...+a1+...+1a1+...+an-1n-1=SA-1,
ahol A jelöli a kapott emeletes törtet. A számtani és harmonikus közép közötti egyenlőtlenség alapján:
1A=n1a2+...+an+1a3+...+a1+...+1a1+...+an-1(a2+...+an)+(a3+...+a1)+...+(a1+...+an-1)n=S(n-1)n.
Tehát AnS(n-1), amit visszahelyettesítve:
(a1a2+...+an)2+(a2a3+...+a1)2+...+(ana1+...+an-1)2nSnS(n-1)-1=n-(n-1)n-1=1n-1.
Ezzel az állítást beláttuk.