Feladat: 1959. évi Arany Dániel matematikaverseny 2. forduló kezdők (speciális) 3. feladata Korcsoport: 16-17 Nehézségi fok: átlagos
Füzet: 1959/november, 87 - 88. oldal  PDF  |  MathML 
Témakör(ök): Műveletek polinomokkal, Nevezetes azonosságok, Arany Dániel
Hivatkozás(ok):Feladatok: 1959/szeptember: 1959. évi Arany Dániel matematikaverseny 2. forduló kezdők (speciális) 3. feladata

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 (2) feltételi egyenlőség négyzete alkalmas rendezéssel így írható:

1=x2a2+y2b2+z2c2+2(xyab+yzbc+zxca)==x2a2+y2b2+z2c2+2xyzabc(cz+ax+by).
A második zárójelbeli kifejezésben ráismerünk (1) bal oldalára, amely 0-val egyenlő. Ennek figyelembevételével kapott egyenlőségünk azonos (3)-mal, a bizonyítandó állítással.
Az (1) és (2) feltevéseknek csak úgy van értelmük, ha az a, b, c, x, y, z számok 0-tól különbözők, így pedig az alkalmazott átalakítások megengedett azonos átalakítások voltak.
Megjegyzés. A látottaknál valamivel több ismeret felhasználásával az állítás így is bizonyítható. x/a, y/b, z/c-t u, v, w-vel jelölve ezek 0-tól különböző valós számok, feltételeink szerint
u+v+w=1,1u+1v+1w=0,amibőlvw+wu+uv=0,(4)
és u2+v2+w2-et kell meghatároznunk. (4) első és harmadik kifejezése együtthatóként szerepel a T=(t-u)(t-v)(t-w) kifejezésnek t hatványai szerint rendezett polinomalakjában, eszerint uvw-t d-vel jelölve
T=t3-(u+v+w)t2+(uv+vw+wu)t-uvw=t3-t2-d.(5)
Hozzuk most két módon polinomalakra a T*=(t2-u2)(t2-v2)(t2-w2) szorzatot. Egyrészt
T*=(t-u)(t-v)(t-w)[-(-t-u)(-t-v)(-t-w)]=TT',
ahol T' annak a kifejezésnek (-1)-szerese, amely T-ből t-nek -t-vel való helyettesítésével áll elő; ennélfogva T'=-[(-t)3-(-t)2-d]=t3+t2+d, és így T*=(t3-t2-d)(t3+t2+d)=t6-t4-2dt2-d2.
Másrészt az (5)-höz hasonló kifejtéssel
T*=t6-(u2+v2+w2)t4+(u2v2+v2w2+w2u2)t2-u2v2w2.
A két polinomalakból az egyező fokú tagok együtthatóinak összehasonlításából kapjuk a bizonyítandó
(x2a2+y2b2+z2c2=)u2+v2+w2=1
egyenlőséget, továbbá leolvashatjuk az
(x2y2a2b2+y2z2b2c2+z2x2c2a2=)u2v2+v2w2+w2u2=-2d=-uvw(=-2xyzabc)(6)
összefüggést is. Ebből az is látszik, hogy u, v, w közül kettő pozitiv és egy negatív kell hogy legyen. Ez valóban leolvasható a (4) feltételi egyenletekböl is: a második szerint nem lehet mindhárom egyező előjelű; ha pedig kettő, pl. v és w negatív, akkor az első egyenlet szerint mindkettő abszolút értéke kisebb, mint u-é, tehát 1u kisebb |1v| és |1w|-nél, így 1u+1v negatív, és ez méginkább áll 1u+1v+1w-re.
A (6) azonosság közvetlenül is nyerhető a feltételi egyenletekből:
u2v2+v2w2+w2u2=(uv+vw+wu)2-2uvw(u+v+w)=-2uvw.