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 jobb oldalon álló szorzat tényezőit rendre , , -vel jelölve nyilván , és , a bizonyítandó állítás pedig az alakot ölti. Az új változók összege, , ami pozitív és mind -nál, mind -nél, mind pedig -nél nagyobb, hiszen , és pozitív számok. Ez azt jelenti, hogy , és közül legalább kettő pozitív. Ha tehát (2) jobb oldalán van nem pozitív tényező, akkor pontosan egy van, így ilyenkor (2) jobb oldala nem pozitív, a bizonyítandó egyenlőtlenség igaz. Ha , és mindegyike pozitív, akkor (2)-t alkalmasan rendezve az | | (3) | egyenlőtlenséghez jutunk, ami pedig nyilván teljesül. Az is kiolvasható, hogy (3)-ban pontosan akkor van egyenlőség, ha , azaz , és egyenlők.
Megjegyzések. 1. Abban az esetben, amikor , és pozitív mennyiségek, (2) a számtani és mértani közepek közti egyenlőtlenség felhasználásával is belátható, ha összeszorozzuk az | | egyenlőtlenségeket. 2. Pozitív , és esetén geometriai jelentés tulajdonítható az (1) két oldalán álló mennyiségeknek. A feltétel ugyanis azt jelenti, hogy az , , hosszúságú szakaszokból háromszög szerkeszthető, a bizonyítandó állítás pedig a jól ismert összefüggések felhasználásával a | | ( a körülírt kör sugara, a háromszög területe, pedig a kerület fele.) A összefüggés felhasználásával rendezés után az egyenlőtlenséget kapjuk ( a beírt kör sugara), ez pedig minden háromszögben igaz, és egyenlőség akkor teljesül, ha a háromszög szabályos, azaz . |