11
1.3. WIELOMIANY
Twierdzenie 1.1 mówi, że liczby zespolone C są ciałem algebraicznie domkniętym. (Przypomnijmy, że liczby rzeczywiste R nie są algebraicznie domknięte, bo np. równanie x2 + 1 = 0 nie ma rozwiązań w R.)
Konsekwencją algebraicznej domkniętości C jest faktoryzacja (rozkład) wielomianu zespolonego na czynniki pierwszego stopnia. Dokładniej, stosując n-krotnie zasadnicze twierdzenie algebry oraz fakt, że jeśli £ jest pierwiastkiem wielomianu p to reszta z dzielenia p przez (• — £) jest zerowa, otrzymujemy rozkład
p(z) = an(z - zi)(z - z2) • • • (z - zn), (1.4)
gdzie Zj, 1 < j < n, są pierwiastkami p. Zakładając, że tylko m pierwiastków jest parami różnych (1 < m < n), możemy równoważnie napisać, że
p(z) = an(z - Ui)Sl(z - u2)S2 ■••(z- um)Sm,
gdzie Ui ^ Uj o ile i ^ j, oraz J2JLi sj = n• Przy tym zapisie, Sj nazywamy krotnością pierwiastka Uj.
Załóżmy teraz, że współczynniki wielomianu p są rzeczywiste, aj G R, 0 < j < n. Załóżmy też, że p(£) = 0 i ^ ^ R. Wtedy £ ^ £ i
j=0 j=0 j=o
tzn. jeśli £ jest pierwiastkiem to także liczba sprzężona £ jest pierwiastkiem; obie występują w rozwinięciu (1.4). Ale
(z - i)(z - 0 = z2 - z(i + ?)+£? = z2- + I4I2
jest trój mianem kwadratowym o współczynnikach rzeczywistych. Stąd wniosek, że wielomian rzeczywisty daje się rozłożyć na iloczyn czynników stopnia co najwyżej drugiego.