Feladat: Pontversenyen kívüli P.175 Korcsoport: 18- Nehézségi fok: -
Megoldó(k):  Kiss Emil ,  Kollár János ,  Kópházi József ,  Lévai Miklós ,  Páles Zsolt ,  Vörös Zoltán 
Füzet: 1974/március, 120 - 121. oldal  PDF  |  MathML 
Témakör(ök): Komplex számok tulajdonságai, Komplex számok konjugáltja, Algebra alaptétele, Komplex együtthatós polinomok, Valós együtthatós polinomok, Polinomok négyzetösszege, Pontversenyen kívüli probléma
Hivatkozás(ok):Feladatok: 1973/április: Pontversenyen kívüli P.175

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 c(f2+g2)=(cf)2+(cg)2 és 1=(22)2+(22)2 azonosságok alapján feltehetjük, hogy legalább elsőfokú polinomról van szó és a legmagasabb fokú tag együtthatója 1. Az algebra alaptétele szerint minden ilyen n-edfokú f(x) polinom felírható a következő alakban:

f(x)=(x-α1)(x-α2)...(x-αn),(1)
ahol α1,α2,...,αn az f(x) gyökei, egymástól nem feltétlenül különböző komplex számok.
Ha f(x)0, akkor bármely valós gyökének megfelelő gyöktényező páros sokszor szerepel (1)-ben, mert különben f(x) előjelet váltana az illető gyök-helyen áthaladva. Így
f(x)=g2(x)h(x),(2)
ahol g(x) és h(x) valós együtthatós polinomok, h(x)0 és h(x)-nek nincs valós gyöke.
A továbbiakban felhasználjuk a következő egyszerű összefüggéseket:
z1+z2¯=z1¯+z2¯,z1z2¯=(z1¯)(z2¯)(3)
zz¯=(Rez)2+(Imz)2,(4)
ahol z1, z2 tetszőleges komplex számok, továbbá z¯, Re z ill. textIm z, rendre a z konjugáltját, valós részét, ill. képzetes részét jelöli.
 

(3) alapján könnyen belátható, hogy ha az α komplex szám gyöke h(x)-nek, akkor α¯ is gyöke h(x)-nek, tehát h(x) gyöktényezős felbontását (3) alapján átalakítva h(x)=r(x)r(x)¯, ahol r(x) komplex együtthatós polinom. Felhasználva (4)-et
h(x)=[Rer(x)]2+[Imr(x)]2.
Így (2) alapján
f(x)=[g(x)Rer(x)]2+[g(x)Imr(x)]2,
ami a feladat állítását adja, hiszen g(x), Rer(x) és Imr(x) valós együtthatós polinomok.