Feladat: Gy.2647 Korcsoport: 16-17 Nehézségi fok: átlagos
Megoldó(k):  Csiki Szabolcs ,  Csörnyei Marianna ,  Futó Gábor ,  György András ,  Imreh Csanád ,  Kemény Dániel ,  Kis Gábor ,  Marx Gábor ,  Molnár-Sáska Gábor ,  Róka Dániel ,  Surányi András ,  Szeidl Ádám ,  Veres Tamás 
Füzet: 1991/április, 165 - 166. oldal  PDF  |  MathML 
Témakör(ök): Szorzat, hatványozás azonosságai, Egyenlőtlenségek, Gyakorlat
Hivatkozás(ok):Feladatok: 1990/október: Gy.2647

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. Belátjuk, hogy ha a pozitív a, b, c számokra abc, akkor

a2+3b2+5c2(a+b+c)2.(1)

Innen a bizonyítandó állítás már következik, hiszen a feltétel szerint a+b+c1, így (1) jobb oldala sem lehet 1-nél nagyobb.
A feltétel szerinti egyenlőtlenségekből
ab>0miattabb2,bc>0miattbcc2,végülac>0miattacc2következik.

A három egyenlőtlenséget összeadva
ab++bc+acb2+2c2,
azaz
(a+b+c)2=a2+b2+c2+2(ab+bc+ca)a2+b2+c2+2(b2+2c2)=a2+3b2+5c2,
és ezt kellett bizonyítani.
A bizonyításból kiolvasható, hogy a bizonyítandó állításban pontosan akkor áll egyenlőség, ha a=b=c, másfelől a+b+c=1, azaz a=b=c=13.
 

Szeidl Ádám (Miskolc, Földes Ferenc Gimn., I. o. t.) dolgozata alapján.

 

Megjegyzés. Általában igazoljuk, hogy ha a pozitív a1, , an számokra
a1a2an,akkor

(a1+a2++an)2i=1n(2i-1)ai2.

Végezzük el az (a1++an)2 négyzetre emelést: így n2 darab kéttényezős auav szorzatot kapunk (1unés1vn). Készítsünk n darab csoportot ezekből a szorzatokból! Azok az auav szorzatok kerüljenek az i edik csoportba, ahol az u,v indexek nagyobbika éppen i. Az i -edik csoportban ekkor 2i-1 darab szorzat lesz, ezek a következők: a1ai, a2ai, ..., aiai, aiai-1, ..., aia1. Az ai számok rendezése és pozitív volta miatt e szorzatok mindegyike legalább ai2, így az i-edik csoportban álló számok összege valóban legalább (2i-1)ai2.
 

György András (Budapest, Árpád Gimn., I. o. t.) dolgozata alapján.