Feladat: Gy.2887 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Burcsi Péter ,  Elek Péter ,  Hegyi Barnabás ,  Pap Gyula ,  Szabó Dénes ,  Szobonya László ,  Tóth Gábor Zsolt ,  Vörös Zoltán 
Füzet: 1994/október, 356 - 357. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Számtani-mértani egyenlőtlenségek, Hatványközepek közötti egyenlőtlenség, Gyakorlat
Hivatkozás(ok):Feladatok: 1994/január: Gy.2887

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.

Pozitív számokról van szó, tehát vonhatunk n-edik gyököt:

(1+1a1)(1+1a2)...(1+1an)nn+1.

A bal oldalon az (1+1/ai)(i=1,2,...,n) számok mértani közepe áll, ami nagyobb vagy egyenlő, mint a harmonikus közepük:
(1+1a1)(1+1a2)...(1+1an)nn11+1/a1+11+1/a2+...+11+1/an.

Alakítsuk át az egyenlőtlenség jobb oldalát:
n11+1/a1+11+1/a2+...+11+1/an=na11+a1+a21+a2+...+an1+an=

=na1+11+a1+a2+11+a2+...+an+11+an-(11+a1+11+a2+...+11+an)=nn-(11+a1+11+a2+...+11+an).

Az (11+a1+11+a2+...+11+an) összeg becsülhető a számtani és harmoniukus közepek közti egyenlőtlenséggel:
n11+1/a1+11+1/a2+...+11+1/ana1+1+a2+1+...+an+1n=n+1n

(Itt felhasználtuk, hogy a1+a2+...+an=1.) Vagyis:
(11+a1+11+a2+...+11+an)n2n+1.

Ezt behelyettesítve kapjuk, hogy
(1+1a1)(1+1a2)...(1+1an)nnn-(11+a1+11+a2+...+11+an)nn-n2n+1=nn2+n-n2n+1=nnn+1=n+1.

Ezzel igazoltuk az egyenlőtlenséget.