A B. 4049. feladat (2007. december) |
B. 4049. Az a, b, c pozitív valós számokra . Bizonyítsuk be, hogy
(5 pont)
A beküldési határidő 2008. január 15-én LEJÁRT.
Megoldás: A nevezőkben 1 helyére a 3t=3(ab+bc+ca) kifejezést beírva, az u=a(a+b+c), v=b(a+b+c), z=c(a+b+c) jelölésekkel a bizonyítandó egyenlőtleséget átírhatjuk
alakba, amit felszorzás és rendezés után
uvz+t(uv+uz+vz)4t3
alakra hozhatunk. Az eredeti változókat visszaírva az
vagy egyszerűbb formában az
(a2+b2+c2)(ab+bc+ca)2+(a+b+c)3abc2(ab+bc+ca)3
egyenlőtlenséget kell igazolnunk. A műveletek elvégzése után ezt
S(a4,b2)+3S(a4,b,c)2S(a3,b3)+S(a3,b2,c)+3a2b2c2
alakra hozhatjuk, ahol
S(a4b2)=a2b2+a2b4+a4c2+a2c4+b4c2+b2c4,
S(a4,b,c)=a4bc+ab4c+abc4, S(a3,b3)=a3b3+a3c3+b3c3
és
S(a3,b2,c)=a3b2c+a3bc2+a2b3c+a2bc3+ab3c2+ab2c3.
Mivel tetszőleges x,y pozitív számokra x2+y22xy miatt x4y2+x2y4x3y3, könnyűszerrel kapjuk, hogy S(a4b2)2S(a3,b3), ahol egyenlőség csak a=b=c esetén lehetséges. Az S(a4,b,c)3a2b2c2 egyenlőtlenség a számtani és mértani közepek közötti egyenlőtlenség közvetlen következménye. Már csak azt kell igazolnunk, hogy 2S(a4,b,c)S(a3,b2,c), vagy ami ezzel ekvivalens:
2(a3+b3+c3)a2b+ab2+a2c+ac2+b2c+bc2.
Ez pedig azonnal következik a tetszőleges x,y pozitív számokra teljesülő x3+y3x2y+xy2 egyenlőtlenségből, amit (x+y)(x-y)20 átrendezésével igazolhatunk. Megoldásunkból az is kiderül, hogy egyenlőség pontosan az a=b=c=1/3 esetben áll fenn.
Statisztika:
23 dolgozat érkezett. 5 pontot kapott: Aczél Gergely, Dudás 002 Zsolt, Huszár Kristóf, Nagy 648 Donát, Perjési Gábor, Somogyi Ákos, Szabó 895 Dávid, Tossenberger Anna, Varga 171 László. 4 pontot kapott: Csáforda Tamás, Kiss 243 Réka, Konkoly 001 Csaba, Kovács 729 Gergely, Pasztuhov Anna, Réti Dávid, Wang Daqian. 3 pontot kapott: 1 versenyző. 2 pontot kapott: 3 versenyző. 1 pontot kapott: 3 versenyző.
A KöMaL 2007. decemberi matematika feladatai