Работа Эйлера «Исследования о воображаемых корнях уравнений» («Recherches sur les racines imaginares des equations»), в которой приводится доказательство основной теоремы алгебры, была опубликована в «Мемуарах» Берлинской академии наук за 1749 г. в 1751 г. Латинский вариант этой статьи (Thoremata de radicibus aequationum imaginariis) был представлен Эйлером Берлинской академии наук еще 10 ноября 1746 г. Таким образом, Эйлер проводил свои исследования почти одновременно с Даламбером. Интересно, что при этом оба ученых исходили из совершенно различных принципов.
Доказательство Даламбера достаточно хорошо известно и не имеет точек соприкосновения с работами Эйлера. Доказательство же Эйлера в противоположность доказательству Даламбера в настоящее время почти забыто. Между тем в основе его лежит именно та идея, которая потом повторялась и варьировалась при всех так называемых алгебраических доказательствах основной теоремы. Последующие доказательства могли быть короче или длиннее, более или менее остроумными, могли быть проведены вполне строго или иметь существенные пробелы, однако основная идея оставалась неизменной.
Кроме того, в процессе доказательства Эйлер впервые применил методы исследования уравнений, которые позднее были развиты Лагранжем и стали основными в его работах, посвященных вопросу решения уравнений в радикалах, а затем вошли в качестве неотъемлемой составной части в теорию Галуа.
Современное «алгебраическое доказательство» основной теоремы можно разделить на три части:
1) топологическое предложение, состоящее в том, что каждое алгебраическое уравнение f(x)=0 нечетной степени с действительными коэффициентами имеет действительный корень;
2) конструкция поля разложения многочлена f(x)=0, т.е. такого поля, над которым f(x)=0, распадается на линейные множители;
3) редукция, сводящая нахождение корня уравнения f(x)=0 степени m=2kr, где r нечетное, к нахождению корней уравнения F(x)=0 степени 2k+1r1, где r1 нечетное.
Все эти части встречаются уже в доказательстве Эйлера: топологическое предложение он формулирует и считает очевидным. Затем он предполагает, что каждый многочлен с действительными коэффициентами можно представить в виде
fm(x)=(x-б1)(x-б2)…(x-бm),
где б1,…,бm - некоторые символы или воображаемые количества, о которых нам заранее ничего не известно, кроме того, что с ними можно проводить обычные действия арифметики по тем же правилам, что и для обычных чисел (т.е. применять к ним закон коммутативности умножения и сложения, дистрибутивность умножения по отношению к сложению и т.д.). Оперируя с этими символами б1,…,бm , Эйлер провел редукцию для уравнений степени 4, 8, 16 и наметил ее для уравнений т=2k. Последнюю редукцию безупречно строго провел Лагранж, опираясь на теоремы о симметрических и подобных функциях, в статье «О видах мнимых корней уравнений». В результате было доказано, что все бi являются либо действительными, либо комплексными числами.
Страницы: 1, 2, 3, 4, 5, 6, 7, 8