Введение: Поиск уравнений и корней

История математики — это также история поиска неизвестных чисел. Когда в средней школе мы изучаем квадратные уравнения, мы узнаем формулу корней. Однако, если мы ограничимся областью действительных чисел, то быстро заметим, что существуют уравнения, не имеющие «действительных решений». Например, уравнение $x^2 + 1 = 0$ не имеет решений в системе действительных чисел. Это происходит потому, что квадрат любого действительного числа $x$ всегда больше или равен $0$, и прибавление $1$ никогда не может дать $0$.

Чтобы решить эту проблему, было введено гипотетическое число, квадрат которого равен $-1$ — а именно, мнимая единица $i$. Система чисел, включающая эту единицу, называется комплексными числами. Благодаря введению комплексных чисел решения уравнения $x^2 + 1 = 0$ можно найти как $x = \pm i$.

Здесь возникает грандиозный вопрос: «Если мы расширим систему чисел до комплексных чисел, можем ли мы сказать, что любое уравнение всегда будет иметь решение?» Или же: «Придется ли нам когда-нибудь вводить еще один новый тип чисел?»

Математика дает очень четкий и красивый ответ на этот вопрос. Именно этому и посвящена данная статья: Основной теореме алгебры. Эта теорема утверждает, что «любой многочлен степени $n$ с комплексными коэффициентами всегда имеет корень (решение) в области комплексных чисел». Иными словами, в огромном океане комплексных чисел решение любого уравнения всегда существует, что гарантирует отсутствие необходимости изобретать новые числа.

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

Исторический контекст Основной теоремы алгебры

Основная теорема алгебры не была доказана за одну ночь. Многие великие математики боролись за создание полного доказательства, никогда не сомневаясь в истинности самой теоремы.

В 17 веке такие математики, как Рене Декарт и Альбер Жирар, уже эмпирически знали, что «уравнение $n$-й степени должно иметь $n$ корней». Однако в математических рамках того времени не существовало строгого способа это доказать.

С наступлением 18 века за доказательство взялись такие гиганты математики, как Жан Лерон Д’Аламбер и Леонард Эйлер. Д’Аламбер опубликовал свое доказательство в 1746 году, и во Франции теорему иногда называют «теоремой Д’Аламбера»; однако по современным стандартам его доказательству не хватало топологической строгости в некоторых областях. Эйлер также пытался показать, что любой многочлен с действительными коэффициентами можно разложить на произведение линейных и квадратичных многочленов, но оставил логический пробел.

Первое по сути полное доказательство этой неприступной теоремы дал не кто иной, как Карл Фридрих Гаусс. В своей докторской диссертации 1799 года он указал на недостатки в доказательствах предшествующих математиков и представил доказательство, основанное на геометрической интуиции. Гаусс представил четыре различных доказательства этой теоремы в течение своей жизни, что свидетельствует о том, какое значение он ей придавал.

Сегодня самым стандартным и элегантным доказательством считается то, которое основано на теории комплексного анализа, созданной французским математиком Жозефом Лиувиллем и другими. Во второй половине этой статьи мы представим доказательство с использованием теоремы Лиувилля.

Точная формулировка теоремы

Сначала давайте опишем утверждение теоремы в математически точных терминах.

Теорема (Основная теорема алгебры) Для любого натурального числа $n \ge 1$ и комплексных коэффициентов $a_0, a_1, \dots, a_n$ (где $a_n \neq 0$), многочлен $P(z)$ определяется следующим образом:

Тогда уравнение $P(z) = 0$ имеет хотя бы одно решение на комплексной плоскости. То есть существует такое комплексное число $\alpha$, что $P(\alpha) = 0$.

На первый взгляд, здесь говорится только «хотя бы одно», но, объединив это с теоремой Безу, мы легко можем вывести более сильное утверждение о том, что «уравнение $n$-й степени имеет ровно $n$ комплексных решений с учетом кратностей». (Этот момент будет подробно объяснен в разделе «Следствие из теоремы» ниже.)

Интуитивное понимание: Топологический подход

Прежде чем углубляться в строгое доказательство, давайте сформируем интуитивное представление о том, почему эта теорема справедлива. Здесь мы представляем подход с использованием концепции «индекса кривой» (Winding number) из топологии.

Давайте представим точку на комплексной плоскости в полярной форме как $z = R e^{i\theta}$. Здесь $R$ — расстояние (радиус) от начала координат, а $\theta$ — угол.

Рассмотрим многочлен $P(z) = a_n z^n + a_{n-1} z^{n-1} + \dots + a_0$. Если $R$ очень велико, абсолютное значение $z$ становится огромным, и значение многочлена почти полностью определяется членом с наивысшей степенью $a_n z^n$. То есть, когда $R$ достаточно велико, мы можем приближенно считать, что $P(z) \approx a_n z^n$.

Теперь предположим, что мы заставляем $z$ совершить полный оборот вдоль гигантской окружности радиуса $R$. Когда $\theta$ изменяется от $0$ до $2\pi$, угол $z^n$ становится $n\theta$, изменяясь от $0$ до $2n\pi$. Это означает, что траектория, описываемая $P(z)$, становится замкнутой кривой, которая обходит вокруг начала координат комплексной плоскости ровно $n$ раз.

Далее представьте себе процесс непрерывного уменьшения этого радиуса $R$. По мере постепенного уменьшения $R$ замкнутая кривая, описываемая $P(z)$, также непрерывно деформируется. В конце концов, когда $R = 0$, кривая сжимается в одну точку, $P(0) = a_0$.

Здесь ключевым моментом является непрерывность. Большая петля, которая изначально обходила начало координат $n$ раз, в конечном итоге сжимается в одну точку, которая не содержит начало координат. Топологически невозможно, чтобы петля непрерывно сжалась в точку, удаленную от начала координат, не пересекая при этом само начало координат. Другими словами, где-то в процессе сжатия эта кривая должна пройти через начало координат ($0$).

Момент, когда кривая проходит через начало координат, означает именно то, что существует такое $z$, при котором $P(z) = 0$. Это интуитивная причина, по которой решение должно существовать всегда.

  flowchart TD
    %% Обзор отображения кривой
    A["Большая окружность радиуса R с центром в начале координат"] -->|"Отображение через многочлен P(z)"| B["Замкнутая кривая на комплексной плоскости"]
    B -->|"Когда R достаточно велико"| C["Кривая, обходящая начало координат n раз"]
    C -->|"Непрерывное уменьшение R до 0"| D["Кривая также непрерывно сжимается к началу координат"]
    D -->|"Топологическая непрерывность"| E["Должна пройти через начало координат в процессе"]
    E -->|"P(z) = 0"| F["Существование корня доказано"]

Подготовка из комплексного анализа: Теорема Лиувилля

Получив интуитивное понимание, мы теперь представим самое красивое и строгое доказательство в современной математике. Это доказательство использует мощное оружие комплексного анализа: Теорему Лиувилля.

Комплексный анализ — это область, которая занимается исчислением функций комплексных переменных. В отличие от функций действительных чисел, дифференцируемость (голоморфность) комплексных функций является чрезвычайно сильным условием; комплексная функция, дифференцируемая хотя бы один раз, обладает удивительным свойством быть бесконечно дифференцируемой и может быть разложена в ряд Тейлора.

Функция, которая дифференцируема (голоморфна) на всей комплексной плоскости, называется целой функцией. Многочлены $P(z)$ и экспоненциальная функция $e^z$ являются типичными примерами целых функций.

Теорема Лиувилля — это глубоко мощная теорема, касающаяся таких целых функций.

Теорема (Теорема Лиувилля) Всякая ограниченная целая функция является константой.

Здесь слово «ограниченная» означает, что для всех комплексных чисел $z$ абсолютное значение функции $|f(z)|$ не превышает некоторого действительного числа $M$; то есть существует такое $M$, что $|f(z)| \le M$.

В мире действительных чисел такая функция, как $f(x) = \sin(x)$, дифференцируема на всей числовой прямой и ограничена условием $-1 \le \sin(x) \le 1$. Она не является константой. Однако теорема Лиувилля утверждает, что в комплексном мире такого никогда не может произойти. Если функция голоморфна на всей комплексной плоскости и ее значение не расходится к бесконечности, она является просто плоской константой.

Строгое доказательство Основной теоремы алгебры

Теперь давайте докажем Основную теорему алгебры с помощью теоремы Лиувилля. Вы будете поражены гениальностью этого доказательства. Здесь мы используем доказательство от противного.

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

Предположим, что для любого многочлена $n$-й степени ($n \ge 1$) с комплексными коэффициентами $P(z) = a_n z^n + \dots + a_1 z + a_0$ (где $a_n \neq 0$) уравнение $P(z) = 0$ не имеет решений на комплексной плоскости.

То есть предположим, что $P(z) \neq 0$ для всех комплексных чисел $z$.

Затем определим новую функцию $f(z)$ следующим образом:

По нашему предположению, знаменатель $P(z)$ никогда не становится равным $0$, поэтому эта функция $f(z)$ нигде на комплексной плоскости не имеет особых точек (точек, где знаменатель равен $0$). Поскольку многочлен $P(z)$ везде голоморфен (дифференцируем), обратная ему функция также голоморфна, пока она не равна $0$. Следовательно, $f(z)$ является функцией, голоморфной на всей комплексной плоскости, то есть целой функцией.

Далее мы исследуем поведение $f(z)$ при стремлении $|z|$ к бесконечности. Используя неравенство треугольника, когда $|z|$ достаточно велико, величина абсолютного значения многочлена $P(z)$ доминируется членом наивысшей степени, тем самым расходясь к бесконечности.

Строго говоря, при $|z| \to \infty$,

Тот факт, что абсолютное значение $P(z)$ расходится к бесконечности, означает, что абсолютное значение его обратной величины $f(z) = 1/P(z)$ сходится к $0$.

То есть,

Предел, равный $0$, означает, что вне круга с достаточно большим радиусом $R$ значение может быть ограничено, например, $|f(z)| \le 1$. С другой стороны, внутри замкнутой области круга (ограниченной замкнутой области), включающей внутреннюю часть круга радиуса $R$, непрерывная функция должна иметь максимальное значение. Поэтому как вне, так и внутри круга абсолютное значение $f(z)$ никогда не превышает некоторого конечного верхнего предела. То есть $f(z)$ является ограниченной функцией.

До этого момента мы показали, что $f(z)$ является одновременно «целой функцией» и «ограниченной». Здесь мы применяем теорему Лиувилля. Ограниченная целая функция должна быть константой. Следовательно, существует такое комплексное число $c$, что для всех $z$

Однако, поскольку $\lim_{|z| \to \infty} f(z) = 0$, эта константа $c$ должна быть равна $0$. То есть $f(z) = 0$ для всех $z$.

Но поскольку $f(z) = \frac{1}{P(z)}$, дробная функция не может быть равна $0$ (потому что числитель равен $1$). Это явное противоречие.

Это противоречие возникло из-за нашего предположения о том, что «$P(z) = 0$ не имеет решений на комплексной плоскости». Таким образом, от противного доказано, что уравнение $P(z) = 0$ имеет хотя бы одно решение на комплексной плоскости.

(Конец доказательства)

Следствие из теоремы: Разложение на линейные множители

Основная теорема алгебры гарантирует существование «хотя бы одного решения». Объединив этот факт с Теоремой Безу для деления многочленов, мы можем доказать, что многочлен можно полностью разложить на произведение линейных членов.

Учитывая многочлен $n$-й степени $P_n(z)$, Основная теорема алгебры утверждает, что существует решение $\alpha_1$ такое, что $P_n(\alpha_1) = 0$. Согласно Теореме Безу, $P_n(z)$ имеет в качестве множителя $(z - \alpha_1)$. То есть его можно разложить на множители следующим образом:

Здесь $P_{n-1}(z)$ — многочлен степени $n-1$. Если $n-1 \ge 1$, мы можем снова применить Основную теорему алгебры, чтобы найти решение $\alpha_2$ для $P_{n-1}(z)$. Повторяя это $n$ раз, мы можем полностью разложить его на множители следующим образом:

Из этого результата мы можем вывести глубоко красивый и законченный вывод о том, что «уравнение $n$-й степени с комплексными коэффициентами имеет ровно $n$ решений с учетом кратностей». Именно поэтому она называется «Основной теоремой».

Более того, для многочленов, где все коэффициенты являются действительными числами, если $\alpha$ является решением, его комплексно-сопряженное $\overline{\alpha}$ также должно быть решением. Используя это свойство, мы также можем вывести тот факт, что «любой многочлен с действительными коэффициентами может быть полностью разложен на произведение линейных и квадратичных многочленов в области действительных чисел».

Заключение

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

На первый взгляд, это теорема об алгебраических уравнениях, но тот факт, что её самое элегантное доказательство заимствует мощь анализа (исчисления) и топологии, демонстрирует глубину математики и красоту того, как тесно переплетены различные её области.

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