Представление чисел в виде суммы двух квадратов и ...

Представление чисел в виде суммы двух квадратов и ...

Министерство общего и профессионального образования

Российской Федерации

!!!!!!!!!!!!!!!! Государственный университет

Имени Ярослава Мудрого. [pic]

Кафедра «Прикладная математика и информатика».

Реферат

ПРЕДСТАВЛЕНИЕ ЧИСЕЛ В ВИДЕ СУММЫ ДВУХ

КВАДРАТОВ И В ВИДЕ [pic]

Преподаватель:

Неустроев Н.В.

Студент группы № 3311

Russo Fascisto

!!!!!!!!!!!!!!!!!!!!!!!!!!!!

2004

план:

ВВЕДЕНИЕ

3

ТЕОРЕМА ФЕРМА-ЭЙЛЕРА

5

Доказательство (Лагранжа)

5

Единственность представления простого

числа в виде суммы двух квадратов

6

КОЛИЧЕСТВО представЛЕНИЙ ЧИСЛА в виде суммы двух

квадратов

8

ПРЕДСТАВЛЕНИЕ ЧИСЛА В ВИДЕ [pic]

9

ЗАКЛЮЧЕНИЕ

11

ЛИТЕРАТУРА

12

ВВЕДЕНИЕ

Быть может, потомство будет признательно мне за

то, что я показал ему, что

Древние знали не все.

Пьер Ферма

Лишь

один математик удостоился того, что имя его стало нарицательным. Если

произносится слово "ферматист", значит, речь идет о человеке, одержимом до

безумия какой-то несбыточной идеей. Но это слово ни в какой мере не может

быть отнесено к самому Пьеру Ферма (1601--1665), одному из самых светлых

умов Франции. Ферма - человек удивительной судьбы: один из величайших

математиков всех времен, он не был, в современной терминологии,

"профессиональным" математиком. По профессии Ферма был юристом. Он получил

великолепное гуманитарное образование и был выдающимся знатоком искусства и

литературы. Всю жизнь он проработал на государственной службе, последние 17

лет был советником местного парламента в Тулузе. К математике его влекла

бескорыстная и возвышенная любовь (это иногда случается с людьми), и именно

эта наука дала ему все, что может дать человеку любовь: упоение красотой,

наслаждение и счастье. В те годы не было еще математических журналов, и

Ферма почти ничего не напечатал при жизни. Но он много переписывался со

своими современниками, и посредством этой переписки некоторые его

достижения становились известными. Пьеру Ферма повезло с детьми: сын

обработал архив отца и издал его."Я доказал много исключительно красивых

теорем", - сказал как-то Ферма. Особенно много красивых фактов удалось ему

обнаружить в теории чисел, которую, собственно, он и основал. В бумагах и в

переписке Ферма было сформулировано немало замечательных утверждений, о

которых он писал, что располагает их доказательством. И постепенно, год за

годом, таких недоказанных утверждений становилось все меньше и меньше. И

наконец, осталось только одно. Хорошо известно, что квадраты некоторых

чисел можно разложить в сумму двух квадратов. Таков египетский треугольник

со сторонами 3, 4 и 5: 32+42=52. Можно описать все целочисленные решения

уравнения x2+y2=z2. Это было сделано Диофантом, греческим математиком,

жившим (вероятно) в III веке нашей эры, во второй книге его трактата

"Арифметика" (до нас дошли 6 книг из 13). На полях около решения Диофанта

Ферма написал: "Нельзя разложить куб на два куба, ни квадрато-квадрат (т.

е. четвертую степень числа) на два квадрато-квадрата, ни вообще никакую

степень выше квадрата и до бесконечности нельзя разложить на две степени с

тем же показателем. Я открыл этому поистине чудесное доказательство, но эти

поля для него слишком узки". Иначе говоря, уравнение xn+yn=zn при

натуральном n>2 в целых числах неразрешимо.

В бумагах Ферма было найдено доказательство этого утверждения для n=4 (это

единственное подробное доказательство теоремы из теории чисел, обнаруженное

в бумагах Ферма). Для n=3 теорему Ферма доказал Эйлер в 1768 году. В

течение XIX века для доказательства теоремы Ферма были предприняты огромные

усилия. Особенных успехов добился немецкий математик Куммер. После его

работ теорема Ферма оказалась доказанной для всех простых n (а доказать ее

только для них), меньших 100, кроме 37, 59 и 97. В нашем веке теорема Ферма

была доказана для простых чисел, меньших 100,000, но окончательное решение

так и не было найдено.

В 1908 году любитель математики Вольфскель завещал 100,000 марок тому, кто

докажет теорему Ферма. Это стало бедствием для математиков многих стран.

Потекли сотни и тысячи писем с доказательствами теоремы Ферма. Как правило,

они содержали элементарные ошибки, но на их нахождение тратились немалые

силы многих математиков.

Во время Первой мировой войны эта премия обесценилась. Поток

псевдодоказательств сократился, но не иссяк.

И уже казалось, что эта проблема перейдет через новую грань веков, но все-

таки пять лет тому назад английский математик Уайлс "залатал последнюю

дыру" в своем доказательстве этой великой теоремы, с которым он впервые

предстал перед математическим миром в 1993 году.

Мир признал: Великая теорема Ферма доказана!

Однако, тем, кто интересуется математикой, имя Ферма говорит очень многое

независимо от его Великой теоремы. Он был, без всякого сомнения, одним из

самых проницательных умов своего времени - времени Гигантов. Его по праву

считают основоположником теории чисел, он внес огромный вклад в

зарождающиеся новые направления, определившие последующее развитие науки:

математический анализ, аналитическую геометрию. Мы признательны Ферма за

то, что он приоткрыл для нас мир, полный красоты и загадочности.

ТЕОРЕМА ФЕРМА-ЭЙЛЕРА

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

математики XVII--XVIII веков.

Взгляните на несколько первых нечетных простых чисел:

3, 5, 7, 11, 13, 17, 19, ...

Числа 5, 13, 17 представимы в виде суммы двух квадратов: 5=22+12, 13=22+32,

17=12+42, а остальные числа (3, 7, 11, 19) этим свойством не обладают.

Можно ли объяснить этот феномен? Ответ на этот вопрос дает следующая

теорема:

Теорема: Для того, чтобы нечетное простое число было представимо в виде

суммы двух квадратов, необходимо и достаточно, чтобы оно при делении на 4

давало в остатке 1.

Доказательство (Лагранжа)

Это доказательство опирается на следующую лемму Вильсона: если p ---

простое число, то число (p-1)!+1 делится на p.

Чтобы не отвлекаться на доказательство этого вспомогательного факта,

продемонстрирую лишь основную идею этого доказательства на примере простого

числа 13. Для любого числа x, 2 [pic]x[pic] 11, найдется такое число y,

2[pic] y[pic] 11, что x* y при делении на 13 дае в остатке 1.

Действительно,

(13-1)!=12!=(2* 7)(3* 9)(4* 10)(5* 8)(6* 11)* 12,

и при этом все произведения в скобках при делении на 13 дают в остатке 1, а

значит, 12! при делении на 13 даст в остатке 12, откуда (для выбранного

нами числа 13) следует утверждение леммы Вильсона.

Из леммы Вильсона извлечем такое следствие: если p=4n+1, где n ---

натуральное число, то ((2n)!)2+1 делится на p. Действительно, из леммы

Вильсона следует, что (4n)!+1 делится на p, и теперь необходимое

утверждение вытекает из следующей выкладки:

(4n)!+1=(2n)!(2n+1)*...*(4n)+1=

=(2n)!(p-2n)(p-2n-1)*...*(p-1)+1=

=(2n)!(-1)2n(2n)!+pk+1 [pic]((2n)!)2+1(mod p).

Обозначим (2n)! через N. Мы доказали, что N2[pic] -1(mod p).

Теперь нам предстоит преодолеть основную трудность. Рассмотрим все пары

целых чисел (m,s), такие что 0 [pic]m[pic] [ [pic]], 0[pic] s[pic] [[pic]],

через [[pic]] обозначена целая часть числа [pic]--- наибольшее целое число,

не превосходящее [pic]. Число таких пар ([ [pic]]+1)2>p. Значит, по крайней

мере для двух различных пар (m1,s1) и (m2,s2) остатки от деления m1+Ns1 и

m2+Ns2 на p одинаковы, т. е. число a+Nb, где a=m1-m2, b=s1-s2, будет

делиться на p. При этом |a|[pic][[pic]], |b| [pic][[pic]]. Но тогда число

a2-N2 b2=(a+Nb)(a-Nb) делится на p, и значит, учитывая, что N2[pic] -1(mod

p), получим, что a2+b2 делится на p, т. е. a2+b2=rp, где r --- натуральное

число (r[pic]0, ибо иначе пары были бы одинаковы). С другой стороны,

a2+b2[pic] 2[[pic]]20 (не равно нулю). Тогда

получаем, что число форм {N, B, C} с дискриминантом (=-8, таких, что

0[pic]B<2N, равно v.

Далее докажем, что все формы с дискриминантом (=-8 эквивалентны форме

{0, 1, 2}.

Действительно если у приведенной положительно определенной формы {a,b,c}

дискриминант (=[pic]=-8, то, поскольку [pic] , имеем [pic], т.е. ac=2,

a=1, c=2, b=0.

Таким образом, при (=-8, так же как при (=-4 и при (=-3 имеется один класс

положительно определенных форм. Для каждой из v форм вида {a,b,c}

существуют два унимодулярных линейных преобразования, переводящих {a,b,c} в

{N, B, C}, и тогда получаем, что уравнение (1) имеет 2v решений с взаимно

простыми значениями x, y. Число решений сравнения (2) определяется

теоремой. Согласно этой теореме, если N= [pic] где все [pic]—простые числа

вида 8+1 и 8n+3, то v=[pic] и число представлений N в виде (1) равно

[pic]. В частности, отсюда вытекает, что любое простое число р вида 8n+1

или 8n+3 единственным образом может быть представлено в виде суммы

квадрата и удвоенного квадрата натуральных чисел.

Примечание. При четном N=2[pic] могут быть два случая:

1) Если [pic] нечетное, то, заменяя в уравнении (1) x через 2[pic] и

сокращая на 2, мы возвращаемся к случаю, рассмотренному в вышеуказанной

теореме.

2) Если [pic] четно, т. е. 4[pic],то из равенства (1) следует 2\х, 2\у, т.

е. не существует решений уравнения (1) с взаимно простыми x и y.

Число решений уравнений (1) и [pic] , рассмотренного в первой части

реферата, было легко определить благодаря тому, что для дискриминантов (=-4

и (=-8 существует всего только по одному классу квадратичных форм. Легко

видеть, что если {a,b,c} —положительно определенная форма с взаимно

простыми a,b,c и если существует только один класс примитивных форм с

дискриминантом (=[pic], то можно определить число собственных решений

уравнения:

[pic]=N. Известно, что для следующих значений -([pic]100:

-(=3, 4, 7, 8, 11, 12, 16, 19, 27, 28, 43, 67

существует только по одному классу таких квадратичных форм.

ЗАКЛЮЧЕНИЕ

На Рождество 1640 года в письме от 25 декабря Пьер Ферма извещал

знаменитого Мерсенна, друга Декарта и главного посредника в переписке

ученых того времени, о том, что "всякое простое число, которое при делении

на четыре дает единицу, единственным способом представимо как сумма двух

квадратов".

В ту пору математических журналов еще не существовало, информацией

обменивались в письмах, и как правило, результаты лишь анонсировались, но

не сопровождались детальными доказательствами.

Правда, спустя почти двадцать лет после письма Мерсенну в письме к Каркави,

отправленном в августе 1659 года, Ферма приоткрывает замысел доказательства

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

в методе спуска, позволяющем из предположения, что для какого-то простого

числа вида 4n+1 заключение теоремы неверно, получить, что оно неверно и для

меньшего числа того же и т. д., пока мы не доберемся до числа 5, когда

окончательно придем к противоречию.

Первые доказательства, которые впоследствии были опубликованы, найдены

Эйлером между 1742 и 1747 годами. Причем, желая утвердить приоритет Ферма,

к которому он испытывал чувства глубочайшего уважения, Эйлер придумал

доказательство, соответствующее описанному выше замыслу Ферма.

Воздавая должное обоим великим ученым, мы называем эту теорему теоремой

Ферма-Эйлера.

ЛИТЕРАТУРА:

1. Бухштаб А.А. Теория чисел.-М.: Государственное учебно-педагогическое

издательство Министерства просвещения РСФСР, 1960.- 375 с.

2. http://www.cryptography.ru

3. http://mech.math.msu.su

4. http://courier.com.ru