Выдающаяся роль Леонарда Эйлера в развитии алгебры, геометрии и теории чисел - рефераты, скачать рефераты, бесплатно рефераты

Рефераты. Выдающаяся роль Леонарда Эйлера в развитии алгебры, геометрии и теории чисел

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

Эйлер весьма обстоятельно занялся вышеупомянутым специальным случаем целочисленного решения так называемого уравнения Пелля, с которым, как мы видели, он встретился рано. Он установил, что для преобразования трехчлена ах2+bх+с в квадрат y2 необходимо решение уравнения Пелля, и посвятил ему поэтому несколько статей. В последней из них, появившейся в Nov. Comm. Ac. Petr., 1765 (1767), он, наконец, привел общий способ его решения, показав, каким образом приводит к цели вычисление подходящих дробей разложения в цепную дробь. Сам по себе его метод не оставлял желать ничего лучшего, но обоснование его страдало множеством недостатков. Лагранж, начавший тогда же работать над этим вопросом и вначале не знавший о статье Эйлера, дал в четвертом томе Misc. Taur. (1766/69) первое строгое доказательство того, что уравнение всегда разрешимо, и сообщил метод его решения. Ознакомившись с работой Эйлера, он видоизменил и упростил свой способ в Mem. Ac. Berl., 1768 (1770) так, что в основном он уже несущественно отличался от приема Эйлера. Метод Лагранжа тот же, который употребляли еще индусы, не пытаясь, конечно, строго его обосновать. В самой ясной и простой форме метод Эйлера -- Лагранжа был изложен затем Лежандром в его знаменитом «Опыте теории чисел» (Essai sur la theorie des nombres, Париж), впервые опубликованном в 1797/8.

Из сказанного видно, что систематическое изучение вопросов неопределенного анализа начато было только Эйлером и достигло известного завершения в его работах и работах Лагранжа. Эйлер поэтому поспешил сделать свои исследования в этой области доступными более широким кругам, включив их во вторую часть своего руководства по алгебре. Во французском переводе этого первого курса теории неопределенных уравнений, выпущенном в 1774, Лагранж снабдил отдельные главы дополнениями, еще значительно увеличившими ценность и полезность книги.

До сих пор рассматривались решения неопределенных уравнений, интерес к которой возбудили Диофант и Баше. Теперь обратимся к задачам, возникшим, главным образом, из оставшихся без доказательства теорем Ферма. Эйлер неоднократно обращался к утверждению Ферма, что уравнение хп+уп =zп при n>2 неразрешимо в целых числах. Эйлер сделал еще один шаг вперед, доказав с помощью того же метода справедливость теоремы при п=3. Не вполне аккуратное доказательство для этого случая он сообщил еще в 1753 Гольдбаху. Точное доказательство им было впервые напечатано в Nov. Comm. Ac. Petr., 1760/61 (1763) и подробнее проведено в «Алгебре». Тщетно пытаясь найти доказательство теоремы в общем виде, Эйлер натолкнулся на ряд прекрасных теорем о делимости чисел, имеющих форму степенных двучленов; они находятся в Nov. Comm. Ac. Petr., 1747/48 (1750) и в 9-й главе посмертного «Трактата по теории чисел» (Tractatus de numerorum doctrina, опубликовано во 2-м томе Comment, arithmeticae, Петербург, 1849).

Другие утверждения Ферма привели Эйлера к исследованию чисел, которые могут быть представлены некоторыми специальными формами второй степени вида тх2 + пу2 [см. Comm. Ac. Petr., 1744/46 (1751), Mem. Ac. Petr., 1812 (1815) и Nov. Act. Ac. Petr., 1783 (1787)]. Так он доказал теорему Ферма, гласящую, что всякое простое число вида 4п+1 можно единственным образом представить как сумму двух квадратов, и теорему Ваше о том, что всякое неквадратное число можно представить как сумму двух, трех или четырех квадратов. Однако он не дал ни общей трактовки задачи о представлении числа в виде некоторой данной формы, ни метода, позволяющего a priori устанавливать свойства таких чисел.[12]

§4.2. Теорема Эйлера

Мощным побудительным стимулом явилась для него так называемая теорема Ферма о сравнении ат1 (mod p), значение которой он оценил сразу. Эйлеру принадлежат два доказательства этой теоремы, покоящихся на разных основаниях. Первое [Comm. Ac. Petr., 1736(1741)] использовало тот факт, что все биномиальные коэффициенты, соответствующие показателю степени р, делятся на р, и было проведено с помощью индукции. Второе и третье доказательства появились в Nov. Comm. Ac. Petr. за 1758/59 (1761) и 1760/61 (1763).

В последней статье Эйлер обобщил теорему Ферма, установив (в обозначениях, ведущих свое происхождение от Гаусса), что

а(m) 1 (mod m),

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

где р, р',... -- простые делители числа т. Если т само есть простое число, то числа 1, 2, 3,..., (р - 1) будут с ним взаимно простыми, и получается важная теорема, высказанная Дж. Вильсоном и опубликованная в 1770 Варингом в его «Алгебраических размышлениях». Теорема эта гласит, что величина 1, 2, 3... (р - 1)+1 делится без остатка на р, где р, как и всюду здесь, -- простое число. Эта теорема, как и теорема Ферма, заключается в установленном Лагранжем [Mem. Ac. Bed., 1771 (1773)] общем сравнении

xp-l - l=(x + l)(x + 2)...(x+p - 1) (mod р)

при x = 0. Она была также доказана Эйлером («Аналитические сочинения», I, 1783) и Гауссом («Арифметические исследования», 1801). Упрощенное доказательство теоремы Ферма дал еще И. Г. Ламберт, охотно занимавшийся и теорией чисел (Nov. Acta Erud., 1769).

§4.3. Вычеты

К важнейшим достижениям в исследовании целых чисел Эйлера привели старания доказать другую, упоминавшуюся уже, теорему Ферма о том, что всякое простое число вида 4п + 1 разбивается на сумму двух квадратов. Эйлер многократно и с различных сторон подходил к этой теореме и при этом нашел ряд интересных предложений. Окончательно доказать ее Эйлеру удалось лишь в 1749 [Nov. Comm. Ac. Petr., 1754/55 (1760)], воспользовавшись тем ходом мыслей, которым он шел в первом доказательстве теоремы о сравнении ат = 1 (mod р). Это привело его к рассмотрению остатков от деления квадратов 12, 22, 32,..., (р - 1)2 на простое число р. Эйлер немедленно увидел, что при этом получаются «многие замечательные свойства, изучение которых проливает немало света на природу чисел». Таким образом, он впервые поставил вопрос о квадратичных вычетах и понял их значение. Здесь уже встречаются и термины: вычеты (residua) и невычеты, (non residua). В том же месте и в позднейших статьях, в которых он занялся степенными вычетами вообще и рассмотрел полные и неполные системы вычетов, он установил важнейшие относящиеся к ним теоремы. В Nov. Comm. Ac. Petr., 1773 (1774) он ввел также понятие и слово «первообразный корень». Поэтому Эйлера справедливо называют творцом теории степенных вычетов, тем более что ему принадлежит и открытие «закона взаимности» квадратичных вычетов, который Гаусс называл «основной теоремой» (theorema fundamentale) и который до недавнего времени приписывали Лежандру. Закон взаимности Эйлер установил еще в 1772, а опубликован он был, правда, без доказательства, в 1783 в первом томе «Аналитических сочинений».

§4.4. Разложение на простые множители

Нужно еще добавить кое-что о разложении чисел на множители и о связанных с этим теоремах о простых числах. Уже Валлис в своем «Рассуждении о соединениях» (Discourse of Combinations, 1685) высказал теорему, гласившую, что всякое число можно разложить на простые множители единственным образом. Он выразил словесно важную формулу, согласно которой число делителей числа т=..., где р, q, r,... - простые числа, равно (+1) (+l)(+1)..., и нашел, что сумма всех этих делителей равна

благодаря этому Валлис решил некоторые задачи, поставленные перед ним Ферма. Для нахождения самих делителей, именно простых делителей больших чисел, Эйлер предложил метод, основанный на представлении этих делителей в виде квадратичной формы mx2+ny2 [Nov. Comm. Ac. Petr., 1768 (1769) и Nouv. Mem. Ac. Bed., 1776 (1779)]. Исследования Лагранжа о подобных квадратичных формах также смогли быть применены к определению простых делителей. Ник. де-Бегелен разработал в Nouv. Mem. Ac. Bed., 1775 (1777) метод отыскания простых делителей вида 4х2+1. Эйлер в письме к Бегелену обратил его внимание на то, что эти делители можно получить из более общей формы nх2 + у2, и указал правило подходящего выбора числа п, давшее ему целый ряд больших простых чисел [Nouv. Mem. Ac. Berl., 1776 (1779)]. Наконец, десять лет спустя Эйлер указал общий признак, позволяющий решать, является данное число простым или составным [Nov. Act. Ac. Petr. 1797/98 (1805)].

Вместе с тем математики того времени тщетно искали общее, аналитическое выражение для представления простых чисел. Лежандр, которому удалось доказать, что это выражение не может быть рациональным, потерял всякую надежду на то, что его когда-либо удастся найти. Вероятно, такое аналитическое выражение не существует вообще. Столь же мало вероятно существование функции (х), составленной конечным образом и точно представляющей число простых чисел, не превосходящих числа х. Теорему о том, что эта функция (х) при возрастании х асимптотически приближается (строго доказанную лишь Ж.. Адама-ром и. Валле-Пуссеном в 1896), предвидел еще Лежандр, не имея, впрочем, никакого представления о ее доказательстве. Он именно нашел (в «Опыте», 1798 и, точнее, во втором издании 1808) эмпирическую формулу

К разложению чисел на множители примыкает их разбиение на слагаемые, которые можно отнести к области аналитической теории чисел, т. е. к теоретико-числовым исследованиям, опирающимся на рассмотрения аналитического характера. Эйлер, посвятивший исследованиям этого рода 15-ю и 16-ю главы первого тома «Введения» (1748), и здесь опять указал путь вперед. Он исходил из разложения произведения

(1+x z)(1+x z)(1+x z)

где , , -- положительные целые числа, в ряд

1+Pz+Qz2+Rz3+…

Отсюда немедленно следовало, что

Р = x +x +x +…, Q = x+ + x++ …

и т. д., и было видно, что если показатель одной и той же степени может представлять сумму двух или нескольких членов ряда , , различными способами, то такая степень имеет коэффициент, заключающий в себе столько единиц, сколько существует таких способов. Поэтому, если требуется узнать, сколькими способами можно представить число п в виде суммы т неравных членов ряда, , ,..., то это укажет коэффициент имеющегося в разложении члена хnzm. Аналогичным образом Эйлер рассмотрел дробь

и вывел теорему, что коэффициент члена хпzm указывает, сколькими различными способами можно получить целое число я в виде суммы т равных или неравных чисел ряда, , ... Из этих двух главных теорем при тех или иных частных значениях z был получен ряд отдельных теорем об аддитивном разбиении чисел. Эйлер построил также таблицу, продолженную затем в Nov. Comm. Ac. Petr. [1750/51 (1753), см. также 1769 (1770)], в которой можно было прочесть, сколькими способами можно представить число п в виде сумм чисел 1, 2, 3, ...,т. В указанных томах Nov. Comm. Ac. Petr. [см. также 1754/55 (1760)] он вывел отсюда так называемую пентагональную теорему, гласящую, что число разбиений числа п на четное число различных слагаемых равно числу разбиений на нечетное число слагаемых, кроме случая п , когда для т четного (нечетного) оно на единицу больше (соответственно, меньше). Тот же метод дал Эйлеру важную формулу

левая часть которой распространена на все простые, а правая на все натуральные числа; правая часть теперь известна как «дзета-функция Римана». Из этой формулы получается также, что ряд натуральных чисел содержит бесчисленное множество простых чисел, что, впрочем, было известно еще из доказательства Евклида. Но теорему о том, что всякая неограниченная арифметическая прогрессия, первый член и разность которой взаимно простые, также содержит бесчисленное множество простых чисел, Эйлер смог высказать лишь в качестве предположения («Аналитические сочинения», т. II, 1783). Это предположение высказал и Лежандр в Mem. Ac. Paris, 1785 (1788). Доказано оно было лишь Дирихле в 1837. Наконец, Эйлер занимался дружественными и совершенными числами, известными еще древним, причем для обозначения суммы делителей числа п он ввел символ , сохранившийся и в последующее время (Nov. Act. Erud., 1747 и «Сочинения различного содержания», т. II, 1750).

Заключение

Всякая попытка жизнеописания, будь оно коротким или обстоятельным всегда открывает глаза автора на многие моменты. Так и случилось и при написании этой дипломной работы. Ведь когда имеешь дело с таким ученым, как Леонард Эйлер, очень трудно выбрать самое существенное из почти неизмеримого количества монографий и сочинений. Я старалась при этом перебросить мост через два столетия, которые отделяют нас от Эйлера, и давать разъяснения всякий раз, когда это было возможно.
Я хочу привести одну мысль К.А. Труесделла, высказанную им в торжественной речи при праздновании в Базеле 250-летия со дня рождения Леонардо Эйлера: «Эйлер представлял собой большое и широкое явление, каким был, например, Шекспир. Каждый, кто прочитает произведения того или другого, составит себе свое собственное, может быть и верное, но не всегда полное представление о них. В работах Эйлера можно найти прекрасные примеры разнообразных математических мыслей и, возможно, что читатель, выбрав какие-то иные эйлеровы исследования, придет и к иному их восприятию».
Сведения могут быть использованы при подготовке и проведении спецкурсов для студентов педвузов, педуниверситетов. Они окажутся полезными и для учителей математики в их профессиональной деятельности.

Список литературы

1. Biography in Dictionary of Scientific Biography (New York 1970-1990).

2. Biography in Encyclopaedia Britannica.

3. Condorcet M J, Eulogy for Euler

4. Calinger R, Leonhard Euler: The first St Petersburg years (1727-1741), Historia Mathematica 23 (1996), 121-166.

5. Boyer C B, The Age of Euler, in A History of Mathematics (1968).

6. Леонард Эйлер, введение в анализ бесконечно малых, том I, издание 2, М.: государственное издание, 1961.

7. Леонард Эйлер, введение в анализ бесконечно малых, том II, издание 2, М.: государственное издание, 1961.

8. Рюдигер Тиле, Леонард Эйлер, перевод с немецкого языка. Киев: «Вища школа», 1983.

9. Юшкевич. Ю.А. Леонард Эйлер. М. : Знание, 1982.

10. Юшкевич А.П. История математики в России. М.: Наука,1968 г.

11. Вилейтнер Г.В. История математики от Декарта до середины XIX столетия. М.: государственное издание, 1960.

12. Математика XIX века. М.: Наука, 1978.

Страницы: 1, 2, 3, 4, 5, 6, 7, 8