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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть что всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет по крайней мере один корень в поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.

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

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

[править | править код]

Самое простое доказательство этой теоремы даётся методами комплексного анализа. Используется тот факт (теорема Лиувилля), что ограниченная функция, аналитическая на всей комплексной плоскости (целая функция) и не имеющая особенностей на бесконечности, — константа. Поэтому функция , где  — многочлен, не сводящийся к константе, должна иметь хоть один полюс на комплексной плоскости, а, соответственно, многочлен имеет хотя бы один корень.

Прямым следствием из теоремы является то, что любой многочлен степени над полем комплексных чисел имеет в нём ровно корней, с учётом их кратности.

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

Доказательство следствия

[править | править код]

Случай очевиден, поэтому сразу переходим к случаю . У данного многочлена тогда есть корень , что по определению корня многочлена (в школьной математике обычно ссылаются на теорему Безу, чтобы отождествлять определения многочлена и соответствующего уравнения ), означает представи́мость в виде , где  — некоторый многочлен, степень которого на 1 меньше степени и у него по основной теореме алгебры тоже будет хотя бы один корень, который может не равняться а может и совпасть с (в последнем случае корень окажется кратным). Приме́ним теорему Безу к и будем индуктивно использовать её таким же образом до тех пор, пока на месте не окажется многочлен первой степени.

История теоремы впервые получает развитие у немецкого математика Петера Рота[нем.] (?—1617). В своём трактате «Arithmetica Philosophica» (1608) он высказал предположение о том, что многочлен степени не может иметь более корней[1]. Более смелую формулировку дал Альбер Жирар в труде «Новое открытие в алгебре» (1629): уравнение степени должно иметь ровно корней, действительных (включая отрицательные) или «воображаемых» (последний термин обозначал комплексные невещественные корни, пользу от которых Жирар особо оговорил). Однако Жирар сделал оговорку: эта теорема может быть неверна, если уравнение «неполное», то есть некоторые коэффициенты равны нулю. Взгляды Рота и Жирара опередили своё время и широкой известности не получили[2].

Декарт в труде «Геометрия» (1637) использовал следующую формулировку: «Всякое уравнение может иметь столько же различных корней, или же значений неизвестной величины, сколько последняя имеет измерений»; далее он тоже делает оговорку: «хотя всегда можно вообразить себе столько корней, сколько я сказал, но иногда не существует ни одной величины, которая соответствует этим воображаемым корням»[3].

Маклорен и Эйлер уточнили формулировку теоремы, придав ей форму, эквивалентную современной: всякий многочлен с вещественными коэффициентами можно разложить в произведение линейных и квадратичных множителей с вещественными коэффициентами. Д’Аламбер первым в 1746 году представил доказательство этой теоремы, которое было опубликовано в 1748 году[4]; оно, однако, основывалось на лемме, доказанной только в 1851 году, причём доказанной с использованием основной теоремы алгебры. В 1749 году было представлено, а в 1751 году — опубликовано доказательство Эйлера[5], при этом работал он над данной проблемой почти в то же время, что и Д’Аламбер[6]. Также во второй половине XVIII века появляются доказательства Лагранжа (1772)[7], Лапласа (1795)[8] и других. Все эти доказательства тоже опирались на недоказанные предположения — например, Эйлер считал очевидным, что вещественный многочлен нечётной степени непременно имеет вещественный корень, а Лаплас предположил без доказательства, что все корни многочлена либо вещественные, либо комплексные невещественные[9].

Гаусс в 1799 году дал своё доказательство, однако использовал то же предположение, что и Эйлер; впоследствии он не раз возвращался к этой теме и дал ещё три доказательства, основанные на различных идеях, однако всегда привлекающие средства неалгебраического характера[9]. Первое полное и строгое доказательство было представлено Жаном Арганом в 1814 году; в 1816 году строгое доказательство опубликовал и Гаусс[10].

В 2007 году Джозеф Шипман показал, что любое поле, в котором многочлены простой степени имеют корни, алгебраически замкнуто[11].

Примечания

[править | править код]
  1. Rare books Архивная копия от 21 октября 2019 на Wayback Machine // e-rara.ch
  2. История математики, том II, 1970, с. 23—25.
  3. История математики, том II, 1970, с. 42.
  4. D'Alembert. Recherches sur le calcul intégral // Memoires de l'academie royale des sciences et des belles lettres. — Berlin, 1748. — Vol. 2. — P. 182—224.
  5. Euler. Recherches sur les racines imaginaires des equations // Memoires de l'academie royale des sciences et belles lettres. — Berlin, 1751. — Vol. 5. — P. 222—288.
  6. Башмакова, 1957, с. 258.
  7. Башмакова, 1957, с. 259.
  8. Башмакова, 1957, с. 263.
  9. 1 2 Математика XIX века. Том I: Математическая логика, алгебра, теория чисел, теория вероятностей / Под редакцией Колмогорова А. Н., Юшкевича А. П.. — М.: Наука, 1978. — С. 44—49.
  10. Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Основная теорема алгебры (англ.) — биография в архиве MacTutor.
  11. Shipman, Joseph (2007), "Improving the Fundamental Theorem of Algebra", Mathematical Intelligencer, vol. 29, no. 4, pp. 9—14, doi:10.1007/BF02986170, ISSN 0343-6993

Литература

[править | править код]
  • J. J. O'Connor, E. F. Robertson. The fundamental theorem of algebra. MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland (май 1996). Дата обращения: 13 ноября 2015. Архивировано 2 ноября 2015 года.