Основная теорема алгебры

Основная теорема алгебры — это фундаментальное утверждение в области комплексного анализа и алгебры, которое гласит, что любой непостоянный многочлен с комплексными коэффициентами имеет хотя бы один комплексный корень. В более развёрнутой формулировке: всякий многочлен степени \(n \geq 1\) с комплексными коэффициентами имеет ровно \(n\) комплексных корней с учётом их кратности. Теорема устанавливает, что поле комплексных чисел является алгебраически замкнутым, то есть в нём любой многочлен раскладывается на линейные множители.

История

Первые попытки доказать, что каждый многочлен имеет корень, восходят к работам математиков XVI—XVII веков. В 1608 году нидерландский математик Петер Рот опубликовал утверждение, что многочлены степени \(n\) имеют не более \(n\) корней, но вопрос о существовании корней оставался открытым. В 1629 году Альберт Жирар в своей книге «Новое открытие в алгебре» предположил, что многочлен степени \(n\) имеет \(n\) корней, включая комплексные, однако не привёл строгого доказательства.

В XVIII веке проблемой занимались крупнейшие математики. Леонард Эйлер в 1749 году опубликовал работу, в которой пытался доказать теорему для многочленов с действительными коэффициентами, но его доказательство содержало пробелы. Жан Лерон Д’Аламбер в 1746 году также предложил доказательство, основанное на аналитических соображениях, которое впоследствии было признано неполным.

Первое строгое доказательство основной теоремы алгебры было дано Карлом Фридрихом Гауссом в его докторской диссертации 1799 года. Гаусс использовал геометрический подход, основанный на свойствах кривых на плоскости. Впоследствии он опубликовал ещё три различных доказательства (в 1815, 1816 и 1849 годах), каждое из которых вносило вклад в развитие математического анализа и топологии. В 1814 году швейцарский математик Жан Робер Арган опубликовал доказательство, использующее комплексные числа и принцип максимума модуля, которое считается одним из самых элегантных.

Формулировки

Основная формулировка

Пусть \(P(z) = a_n z^n + a_{n-1} z^{n-1} + \dots + a_1 z + a_0\) — многочлен степени \(n \geq 1\) с комплексными коэффициентами \(a_i \in \mathbb{C}\), причём \(a_n \neq 0\). Тогда существует такое комплексное число \(z_0 \in \mathbb{C}\), что \(P(z_0) = 0\).

Расширенная формулировка

Если учитывать кратность корней, то многочлен степени \(n\) имеет ровно \(n\) комплексных корней (не обязательно различных). То есть существуют комплексные числа \(z_1, z_2, \dots, z_n\) (среди которых могут быть совпадающие) такие, что \[ P(z) = a_n (z - z_1)(z - z_2)\dots(z - z_n). \]

Следствие для многочленов с действительными коэффициентами

Если все коэффициенты многочлена являются действительными числами, то его комплексные корни входят сопряжёнными парами: если \(z_0 = a + bi\) — корень, то \(\overline{z_0} = a - bi\) также является корнем той же кратности. Это следует из того, что комплексное сопряжение коммутирует с арифметическими операциями и сохраняет многочлен с действительными коэффициентами.

Доказательства

Существует множество различных доказательств основной теоремы алгебры, использующих методы анализа, топологии, алгебры и теории функций. Ниже приведены основные подходы.

Аналитическое доказательство (с использованием теоремы Лиувилля)

Одно из наиболее коротких доказательств основано на теореме Лиувилля из комплексного анализа. Предположим, что многочлен \(P(z)\) не имеет корней. Тогда функция \(f(z) = 1/P(z)\) является целой (аналитической во всей комплексной плоскости) и ограниченной, так как \(|P(z)| \to \infty\) при \(|z| \to \infty\). По теореме Лиувилля, целая ограниченная функция постоянна, что противоречит непостоянству \(P(z)\). Следовательно, \(P(z)\) имеет хотя бы один корень.

Топологическое доказательство (Гаусс, 1799)

Гаусс рассмотрел два семейства кривых на комплексной плоскости: кривые, где действительная часть многочлена равна нулю, и кривые, где мнимая часть равна нулю. Он показал, что эти кривые пересекаются, что соответствует корню многочлена. Доказательство опиралось на свойства непрерывных кривых и принцип аргумента.

Алгебраическое доказательство (с использованием теории Галуа)

В рамках современной алгебры основная теорема алгебры может быть доказана с использованием теории полей и группы Галуа. Для этого показывается, что поле комплексных чисел \(\mathbb{C}\) является алгебраически замкнутым, поскольку оно является конечным расширением поля действительных чисел \(\mathbb{R}\), а \(\mathbb{R}\) — это поле, в котором каждый многочлен нечётной степени имеет корень (по теореме о промежуточном значении). Это доказательство требует привлечения анализа для обоснования существования корня у многочлена нечётной степени.

Значение и следствия

Основная теорема алгебры является краеугольным камнем многих разделов математики. Её следствия включают:

• Разложение на множители: любой многочлен с комплексными коэффициентами может быть однозначно разложен на линейные множители (с точностью до порядка и умножения на константу).
• Алгебраическая замкнутость: поле комплексных чисел \(\mathbb{C}\) является алгебраически замкнутым, в отличие от поля действительных чисел \(\mathbb{R}\).
• Спектральная теорема: в линейной алгебре основная теорема алгебры гарантирует, что любой линейный оператор над \(\mathbb{C}\) имеет собственное значение, что является основой для спектральной теории.
• Теория матриц: характеристический многочлен квадратной матрицы всегда имеет комплексные корни, что позволяет приводить матрицы к жордановой форме.
• Комплексный анализ: теорема используется при доказательстве многих фундаментальных результатов, таких как теорема о вычетах и принцип аргумента.

Критика и ограничения

Несмотря на название «основная теорема алгебры», её доказательство невозможно без привлечения методов математического анализа или топологии. Чисто алгебраического доказательства не существует, так как само определение комплексных чисел включает аналитическое понятие предела. Поэтому некоторые математики, например, Николя Бурбаки, считали название неточным и предлагали называть её «теоремой Гаусса» или «теоремой об алгебраической замкнутости поля комплексных чисел».

Кроме того, теорема не даёт конструктивного способа нахождения корней — она лишь утверждает их существование. Для практического вычисления корней многочленов используются численные методы, такие как метод Ньютона или алгоритм Дженкинса — Трауба.

Интересные факты

• Гаусс в своей диссертации 1799 года критиковал доказательства предшественников, в частности Д’Аламбера, за использование необоснованных предположений о непрерывности.
• Существует шутливое утверждение, что «основная теорема алгебры» на самом деле относится к анализу, а «основная теорема анализа» (теорема о промежуточном значении) — к топологии.
• В 1940 году американский математик Стивен Коул Клини предложил доказательство, основанное на теории гомотопий и степени отображения.

Источники

• Гаусс К. Ф. Доказательство основной теоремы алгебры (1799). В кн.: «Математические работы Гаусса». — М.: Наука, 1957.
• Титчмарш Э. Теория функций. — М.: Наука, 1980. — Глава 3.
• Ленг С. Алгебра. — М.: Мир, 1968. — Глава 9.
• Алексеев В. Б. Теорема Абеля в задачах и решениях. — М.: МЦНМО, 2001. — С. 12–15.
• Привалов И. И. Введение в теорию функций комплексного переменного. — М.: Высшая школа, 1999. — Глава 6.