Feladat: Gy.2928 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Szentiványi Eszter 
Füzet: 1995/február, 91 - 92. oldal  PDF  |  MathML 
Témakör(ök): Algebrai átalakítások, Nevezetes azonosságok, Egyenlőtlenségek, Gyakorlat
Hivatkozás(ok):Feladatok: 1994/szeptember: Gy.2928

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.

Vizsgáljuk meg először az állításban szereplő kifejezések értelmességét, azaz, hogy nem osztottunk-e valahol nullával vagy vontunk négyzetgyököt negatív számból. A p>0 feltételből azonnal látszik, hogy sehol sem tettünk ilyet.
A továbbiakban átalakítjuk az egyenlőtlenséglánc középső tagját:

(2p+1)(p+1p-pp+1)=(2p+1)(p+1p+1-ppp(p+1))=2p+1p2+p,
ismét használva a feltételt: p>0 s így p+1>0 is fennáll.
Ezután először a jobb oldali egyenlőtlenséget bizonyítjuk. Mivel p2+p>0, így elegendő (s persze szükséges is) azt igazolni, hogy
2p+1>2p2+p,(1)
rendezve
2p+1-2pp+1>0,
viszont a bal oldal éppen teljes négyzet, és így nemnegatív:
(p-p+1)2=p+p+1-2pp+1=2p+1-2pp+1,
és mivel p-p+10, azért (1)-ben valóban határozott egyenlőtlenség áll.
Tekintsük most a bal oldali egyenlőtlenséget:
2+12(p2+p)>2p+1p2+p.
A bal oldalt átalakítva:
2+12(p2+p)=4p2+4p+12(p2+p)=(2p2+1)22(p2+p)=2p+1p2+p2p+12p2+p,
vagyis a bizonyítandót ekvivalens módon átfogalmazhatjuk:
2p+1p2+p(2p+12p2+p-1)>0.
A bal oldalon álló első tényező pozitivitása a p>0 feltételből látszik, míg a másodiké a következő átalakításból:
2p+12p2+p-1=2p+1-2p2+p2p2+p.
Itt a nevező (szintén p>0 miatt) pozitív, a számlálóról pedig ezt az éppen az előbb igazolt (1) egyenlőtlenség mutatja. Ezzel a teljes feladatot megoldottuk.
 Szentiványi Eszter (Székesfehérvár, Teleki Blanka Gimn., II. o.t.) dolgozata alapján