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. I. megoldás. Az gyöktényezők kiemelésével az polinom | | (1) | alakban írható fel, ahol , , , valós, ill. komplex számok, azaz (1) ből beszorzással kapjuk, hogy
(3)-ból és (6)-ból fejezzük ki -t és -t, majd helyettesítsük be (4)-be és (5)-be:
-ből kifejezzük -et, és behelyettesítjük -be: | |
| | (5") | Ezt -nél megszorozva kapjuk, hogy
miatt ez éppen a bizonyítandó állítás.
Kárpáti Attila (Fazekas M. Főv. Gyak. Gimn. II. o. t.)
II. megoldás. A feladat állításánál valamivel többet bizonyítunk be. Tekintsünk egy negyedfokú polinomot, amelynek (valós, ill. komplex) gyökei , , , . Az együtthatói segítségével konstruálunk egy olyan hatodfokú polinomot, amelynek gyökei , , , , , és lesznek. Nyilván feltehetjük, hogy főegyütthatója 1, azaz alakú, ahol a Viete-formulák szerint
Legyen
ahol ugyancsak a Viete-formulák szerint
Egyszerű számolással igazolható, hogy
k1=c2;(6)k2=c1c3-c4;k3=c32+c4(c12-2c2);k4=c4(c1c2-c4);k5=c42c2;k6=c43.
Alkalmazzuk a kapott összefüggéseket a feladatban szereplő f(x)=x4+x3-1 polinomra: c1=-1,c2=c3=0,c4=-1;ezekből (6) alapjánk1=0,k2=1,k3=-1,k4=-1,k5=0ésk6=-1,azazF(x)=x6+x4+x3-x2-1.
Megjegyzés Ha α1α2,...,α3α4 páronként különbözők, akkor F (konstans szorzótól eltekintve) egyértelmű. Ehhez nem elég az, hogy α1, α2, α3, α4 páronként különbözők, hiszen pl. az x4+x3+x2+x+1 polinom gyökei (az 1-től különböző komplex ötödik egységgyökök) is páronként különbözők, mégis van két olyan gyökpár, amelyek szorzata egyaránt 1.
Futó Gábor (Fazekas M. Főv. Gyak. Gimn., II. o. t.) |