28. Теорема Лиувилля. Основная теорема алгебры
Как хорошо известно, методы ТАФ широко используются в других разделах математики. В частности, например, при доказательстве основной теоремы алгебры.
При доказательстве основной теоремы алгебры нам потребуется теорема Лиувилля.
Теорема 5.8. (Лиувилля).
Если функция - аналитична и ограничена во всей комплексной плоскости , то она представляет собой постоянную, т.е. для
Доказательство.
Пусть - произвольная точка плоскости , а окружность радиуса с центром .
По известной интегральной формуле для производных имеем
Так как что для то
и тогда
(См. 7 свойств интеграла, где I = 2nR, § 5.1).
Так как - любое положительное число, то а значит и для а следовательно , так как
Теорема доказана.
Теорема 5.9. (Основная теорема алгебры)
Всякий многочлен над полем комплексных чисел
( ) имеет по крайней мере один корень.
Доказательство.
Проведем доказательство от противного. Пусть многочлен не имеет корней. Тогда функция является во всей комплексной плоскости аналитической. Но так как что значит, для что для
В замкнутом круге функция - непрерывна как функция аналитическая в этом круге.
Из непрерывности в замкнутом круге следует ограниченность функции в этом круге. что для из данного круга . Полагая , получим для .
А тогда в силу теоремы Лиувилля имеем что противоречит определению функции . Итак, многочлен имеет по крайней мере один корень.
Теорема доказана.
Замечание.
Как утверждается в книге В.Монтуров и др. "Толковый словарь математических терминов". Москва, 1985 г.: "Основная теорема алгебры называется так потому, что основное содержание алгебры в XVII-XVII вв. сводилось к решению уравнений. Основная теорема алгебры была доказана впервые в XVII веке французским математиком Жиро-ром, строгое же доказательство было дано в 1799 г. немецким математиком Гауссом".
- 1. Комплексные числа
- 2. Геометрическая интерпретация комплексных чисел и основных операций над ними
- 3. Тригонометрическая и показательная форма комплексного числа
- 4. Комплексной функции комплексного переменного
- 5. Действительная и мнимая части комплексной функции
- 6. Метризация комплексной плоскости. Последовательности комплексных чисел и их пределы
- 7. Предел комплексных функций
- 8.Непрерывность комплексных функций
- 9. Моногенность комплексных функций
- 10. Производная
- 11. Аналитические функции
- 12. Геометрический смысл модуля и аргумента производной
- 13. Конформные отображения
- 14. Линейная функция
- 15. Степенная функция с натуральным показателем
- 16. Показательная функция
- 17. Отображения, осуществляемые показательной функцией
- 18. Тригонометрические функции комплексного переменного
- 19. Гиперболические функции комплексного переменного
- 20. Логарифмическая функция комплексного переменного
- 21. Обратные тригонометрические функции
- 22. Интегрирование комплексных функций
- Если интегрирование по замкнутой кривой проводится в направлении противоположном рассматриваемому ("по часовой стрелке") , то для обозначения интеграла употребляют символы.
- 23. Теорема Коши для односвязной области
- 24. Первообразная. Аналог формулы Ньютона-Лейбница для комплексных функций
- 25. Теорема Коши для многосвязной области
- 26. Формула Коши
- 27. Бесконечная дифференцируемость аналитической функции
- 28. Теорема Лиувилля. Основная теорема алгебры
- 30. Числовые комплексные ряды
- 31. Функциональные комплексные ряды
- 32. Степенные комплексные ряды
- 33. Разложение аналитической функции в степенной ряд Тейлора