15. Многочлени над полем комплексних чисел. Алгебраїчна замкненість поля комплексних чисел
Припущення, що кожен многочлен з числовими коефіцієнтами розкладається в полі комплексних чисел на лінійні множники було висловлено ще в 1629р Жираром. Строге доведення цього факту було запропоновано Карлом Гаусом аж у 1799р а сам факт сьогодні носить назву основної теореми алгебри комплексних чисел.
Лема. Будь-який многочлен f(x) ненульового степеня з дійсними коефіцієнтами має принаймні 1 комплексний корінь.
Д-ня. Нехай deg f(x)=n, тоді n=2k*q, де k≥0, (q, 2)=1.
Доведемо твердження леми індукцією по к.
1. Нехай к=0, тоді n=q – непарне число, і за лемою1 f(x) має дійсний (комплексний ) корінь.
2. Припустимо, що твердження вірне для всіх натуральних чисел менших за к, тобто для многочленів степінь яких ділиться на 2к-1 і не ділиться на 2к .
3. Доведемо, що твердження вірне для многочленів степінь яких ділиться на 2к.
Нехай f(x) такий многочлен тобто
deg f(x) =2kq=n. У полі розкладу Δ f(x) має корені α1, α2,…, αn. Сконструюємо елемент βij виду: αiαj+C(αi+αj) де C - довільне число єR, i<j. таких елементів буде
=2k-1q(2kq-1)=
=2k-1q1, де q1=q(2kq-1)-непарне число.
Розглянемо многочлен
φ(х)=, степеня2k-1q1 коренями якого є βij і тільки вони. Зауважимо, що при перестановках αk ↔ αm і навпаки многочлени βij не змінюються і тому φ(х) є симетричним відносно α1, α2,…, αn.
Враховуючи, що α1, α2,…, αn корені многочлена з дійсними коефіцієнтами та застосовуючи теорему, яка є наслідком з формули Вієта одержимо, φ(х) також матиме дійсні коефіцієнти. За припущенням індукції ( оскільки deg f(x) =2k-1q1 ) многочлен φ(х) з дійсними коефіцієнтами матиме принаймні 1 комплексний корінь βijєС Таким чином, для будь-якого дійсного числа С можна вказати пару індексів i та j, (1≤i<j≤n) при яких βij=αiαj+C(αi+αj) є комплексним числом. Зрозуміло також, що різним дійсним числам С1 і С2 відповідають різні пари індексів. Проте, оскільки множина дійсних чисел нескінченна, а множина пар (i, j) (таких що1≤i<j≤n ) скінченна, то можна вибрати пару чисел С1 і С2 (С1 ≠ С2), яким відповідатиме одна і та ж пара індексів, тобто
βij =αiαj+C1(αi+αj)
ij = αiαj+C2(αi+αj)
βij ij – комплексні числа.
Очевидно, що αi та αj є коренями квадратного рівняння з комплексними коефіцієнтами
Z2 - (αi + αj ) Z + αiαj=0
Отже αі та αj є комплексними коренями многочлена f(х) ▲.
Теорема. Будь-який многочлен з числовими (комплексними) коефіцієнтами степінь яких ≥1 має принаймні один комплексний корінь
Д-ня. Нехай многочлен
f(x)=anxn+an-1xn-1+…+a1x+a0 належить полю комплексних чисел, причому deg f(x) ≥1. Розглянемо многочлен =коефіцієнти якого є комплексними спряженими до коефіцієнтівf(x). Тоді
f(x) =anх2n+(an+
+an-1)x2n-1+…+(a1+a0)x+ +a0 має дійсні коефіцієнти . Дійсно ai=(c+bi)(c-bi)=c2+b2 єR
ak+am=(c+bi)(d-li)+(d+li)(c-bi) = cd+bl-cli+bdi+dc-dbi+lci+lb=2(cd+bl) – дійсне число.
(ak= c+bi, am=d+li)
За лемою, многочлен f(x) має комплексний корінь α, тобтоf(α) =0. В силу цілісності кільця комплексних чисел абоf(α)=0 і α – корінь f(х), або =0. Тоді
=0 ↔
=
.
Отже є коренем многочленаf(x), тобто многочлен з комплексними коефіцієнтами ненульового степеня має принаймні один комплексний корінь. ▲
Наслідки з теореми.
1. Многочлен додатного степеня з числовими коефіцієнтами має над полем комплексних чисел стільки коренів, якого є його степінь
Д-ня. Нехай f(x) – многочлен з числовими коефіцієнтами і deg f(х)>0. За основною теоремою алгебри f(x) має комплексний корінь αi, тоді
f(x)(х-α1)↔ f(x)=(х-α1)g(х). Якщо degg(х)=0, то g(х)=an, тобто f(x)=an(х-α1) і в полі комплексних чисел f(x) має рівно один корінь.
Нехай degg(х)>0, тоді, за основною теоремою існує α2 (комплексне число), яке є коренем g(х), тобто
g(х)=(х-α2)*g1(х), тоді
f(x)=(х-α1)*(х-α2)*g1(х). Продовжуючи цей процес далі, та розкладаючи многочлени gi(х) одержимо:
f(x)=an(х-α1)*(х-α2)*…*(х-αn), тобто числа α1, α2,…αn є коренями многочлена f(x). Цих коренів більше ніж n за доведеним раніше бути не може. ▲
2. Поле комплексних чисел є полем розкладу будь-якого многочлена додатного степеня з числовими коефіцієнтами (Випливає з попереднього наслідку)
3. Поле комплексних чисел є алгебраїчно замкненим, тобто є полем розкладу будь-якого многочлена з комплексними коефіцієнтами.
4. Над полем комплексних чисел незвідними є лише многочлени першого степеня і тільки вони.
5. Над полем комплексних чисел умова існування кратних множників многочлена еквівалентна умові існування кратних коренів.
6. Над полем комплексних чисел многочлени f(х) та g(х) мають спільні множники тоді і тільки тоді, коли вони мають спільні корені.
7. Якщо многочлен f(х) з дійсними коефіцієнтами має комплексний корінь α=a+bi, то його коренем буде і число спряжене до α, = a - bi.
Д-ня. Нехай многочлен
f(x)=anxn+an-1xn-1+…+a1x+a0 є R має комплексний корінь α. Тобто f(α)=anαn+an-1αn-1+…+a1α+a0=0.
Візьмемо комплексне спряжене від многочленів останньої рівності
=0 →
=0
аі – дійсні числа, вони співпадають з своїми спряженими:
f()=0, тобто - корінь f(х) ▲
8. Якщо многочлен f(х) з дійсними коефіцієнтами має комплексний корінь α кратності к, то він має коріньтієї ж кратності.
9. Над полем дійсних чисел незвідними можуть бути многочлени першого або другого степеня і тільки вони.
Д-ня. Нехай f(х) є незвідним многочленом над дійсним полем. Припустимо, що deg f(х)>2. За лемою наслідком 7 він матиме комплексний корінь α і , тодіf(x)=(x-α)(x-)*g(x) причому
deg g(x) ≥1
f(x)=(x2 – αx -x + α)*g(x), або
f(x)=(x2 - (α +)x+ α)*g(x), де
(α +) є R, αє R таким чином многочлен в дужках має дійсні коефіцієнти і враховуючи що deg g(x)≥1 робимо висновок, що f(x) буде незвідним над R ▲
- 1.Групи, підгрупи. Приклади. Найпростіші властивості груп.
- 2Кільця,підкільця.Прикла-ди.Найпростіші властивості кілець.
- 3.Критерії сумісності і визначеності си-ми лін. Р-нь.
- 4.Векторні простори над полем.Приклади.Лінійна залежність векторів. Базис і ранг с-ми векторів.
- 5. Прості і складені числа. Нескінчена множина всіх простих чисел. Основна теорема арифметики.
- 6. Подільність цілих чисел, ділення з остачею.
- 7. Найбільший спільний дільник двох чисел. Алгоритм Евкліда Найменше спільне кратне і його зв’язок з найбільшим спільним дільником.
- 8. Конгруентність цілих чисел.
- 9. Функція Ейлера та її властивості. Теорема про мультиплікативність функції Ейлера.
- 10. Конгруенції 1-го степеня з одним невідомим у кільці цілих чисел.
- 11. Многочлени над числовим полем. Найбільший спільний дільник двох многочленів. Алгоритм Евкліда.
- 12. Звідність многочленів над полем. Основна теорема подільності многочленів.
- 13. Многочлени над полем раціональних чисел. Цілі раціональні корені многочленів з цілими коефіцієнтами.
- 14. Многочлени над полем дійсних чисел.
- 15. Многочлени над полем комплексних чисел. Алгебраїчна замкненість поля комплексних чисел