Цитата из: Симагин Гендо on 24-07-2004, 05:44:58
Вряд ли. А насчет "примитивности" - Великая теорема Ферма очень просто формулируется, а попробуйте доказать...
Доказательство леммы 1 (Жермен)
Если произведение двух взаимно простых натуральных чисел является n-ой степенью, то каждый из сомножителей также будет n-ой степенью:
ab = cn; НОД(a; b) = 1; a, b I N
Доказать: a = xn; b = yn
Доказательство: Если разложить cnна простые множители, то: cn = d1 * … * d1 * d2 * … * d2 * … * dm * … * dm, где каждого множителя поn. Если же разложить на простые множители числа aи b, то какие-то из чисел d1 … dm уйдут к a, какие-то – к b, причём одинаковые уйти и туда, и туда не могут в силу того, что НОД(a; b) = 1, т. е. a есть произведение n-х степеней неких простых чисел, и b также – произведение n-х степеней каких-то чисел, следовательно: a = xn; b = yn.
Доказательство леммы 2 (вспомогательной)
x2 + y2 = z2 (1)
Если(x; y; z) – решение, то (y; x; z) также будет решением, потому что xи yсимметричны в данном уравнении. Предположим, что z = 2k, тогда z2 = 4k, если же z = 2k – 1, то z2 = (2k – 1)2 = 4k2 – 4k + 1 = 4(k2 – k) + 1, следовательно, хотя бы одно из чисел x и y чётно, т. к. если бы оба они были нечётными, то x2 + y2 = (2k – 1)2 + (2d – 1)2 = 4k2 – 4k + 1 + 4d2 – 4d + 1 = 4(k2 + d2 – k – d) + 2, чего быть не может, т. к. x2 + y2 = z2. Кроме того (±x; ±y; ±z)также является решением уравнения, т. к. x2 = (-x)2; y2 = (-y)2; z2 = (-z)2.
Из этих замечаний непосредственно следует, что нам достаточно найти лишь состоящие из положительных чисел примитивные решения (x; y; z)уравнения (1), т. е. исключим все следующие решения: (±x; ±y; ±z), кроме (x; y; z), (y, x, z), для которых x = 2a.
Лемма 2: «Любое состоящее из положительных чисел примитивное решение (x, y, z)уравнения (1), для которого x = 2a, выражается формулами:
x = 2mn; y = m2 – n2; z = m2 + n2,
где n < m, НОД(m; n) = 1, m и n – числа разной чётности».
Доказательство: Пусть (x; y; z) – произвольное, состоящее из положительных чисел примитивное решение уравнения (1), где x =2a. Из уравнения 4a2 + y2 = z2следует (z – y)(z + y) = 4k2. Чётность чисел z – yи z + y совпадают и произведение их равно 4k2, следовательно, z – yи z + y чётные. Пусть z + y = 2b; z – y = 2c, где bи cположительны, т. к. y < z, исходя из уравнения (1). Каждый общий делитель lчисел bи cявляется также общим делителем z = b + c и y = b – c.
НОД(y; z) = 1, т. к. (x; y; z) – примитивное решение уравнения (1), следовательно, НОД(b; c) = 1. С другой стороны 4a2 = x2 = z2 – y2 = (z – y)(z + y) = 4bc, т. е. a2 = bc. Следовательно, согласно лемме 1, применённой к случаю, когда n = 2, существуют такие взаимно простые положительные числа разной чётности mи n, что b = m2; c = n2. Тогда a2 = (mn)2, т. е. a = mnи
x = 2a = 2mn; y = b – c = m2 – n2; z = b + c = m2 + n2.
Для завершения доказательства остаётся лишь добавить, что n < m, т. к. x, y > 0.
Доказательство теоремы Ферма для показателя 4
x4 + y4 = z4
Докажем ещё более общий случай:
«Уравнение
x4 + y4 = z2 (2)
не имеет решений в целых отличных от нуля числах».
Доказательство: Предположим, что существует решение уравнения (2) в целых отличных от нуля числах. Ясно, что, не теряя общности, мы можем считать, что оно состоит из попарно взаимно простых положительных чисел (если (x; y; z)является решением уравнения (2), то, сразу же видно, что (lx; ly; lz)также является его решением). Так как в любом множестве натуральных чисел существует наименьшее из них, то среди всех таких решений найдётся решение (x; y; z)с наименьшим z. Рассмотрим именно это решение:
Так же, как и при доказательстве леммы 2 немедленно доказывается, что одно из чисел xи y должно быть чётным. Предположим, что чётно число x. Это предположение также общности не ограничивает.
Так как числа x2, y2 и zположительны и взаимно просты, а число x2 чётно, то, согласно лемме 2, существуют такие взаимно простые числа mи n < mразной чётности, что x2 = 2mn; y2 = m2 – n2; z2 = m2 + n2. Если m = 2kи n = 2f +1, то y = 4(k2 – f2 – f – 1) + 3, что невозможно, ибо, как выше было уже отмечено, любой квадрат должен иметь вид 4k + 1, или 4k. Следовательно, m – нечётно, а n – чётно.
Пусть n = 2q. Тогда x2 = 4mqи потому mq = (x/2)2. Поскольку НОД(m; q)= 1, а x чётно, то, исходя из леммы 1, m = z12; q = t2, где z1 и t – некоторые целые взаимно простые положительные числа. В частности, уравнение y2 = m2 – n2то же самое, что и y2 = (z12)2 – (2t2)2, т. е. (2t2)2 + y2 = (z12)2.
Так как НОД(t; z1) = 1, то к этому неравенству снова применима лемма 2. Следовательно, существуют такие положительные взаимно простые числа aи b < aразличной чётности, что 2t2 = 2ab, т. е. t2 = ab; y2 = a2 – b2; z12 = a2 + b2. Так как НОД(a; b) = 1, из равенства t2 = ab по лемме 1 вытекает, что существу целые числа x1и y1, для которых a = x12; b = y12. Поэтому z12 = a2 + b2то же, что и x14 + y14 = z12. Это означает, что числа x1, y1, z1 составляют примитивное решение уравнения (2), состоящее из положительных чисел. Поэтому в силу выбора решения (x; y; z),должно иметь место неравенство z1 ? z, а потому и неравенство z12 ? z, т. е., учитывая, что z = m2 + n2, m ? m2 + n2, чего быть не может, т. к. m, n > 0.
Таким образом, предположение о существовании у записанного выше уравнения (2) целочисленных решений приводит к противоречию. Следовательно, это уравнение не имеет решений в целых отличных от нуля числах.
Примечания к доказательствам
Доказательство леммы 1 здесь дано не то, которое было известно ещё из средневековья, а то, что придумал я сам, основанное в большей степени на логических выводах. Теорема Ферма для показателя 4 (и все прилагающиеся для её доказательства леммы) – это единственная теорема, доказанная здесь, т. к. доказательство её считается элементарным, т. е. основанным на простых алгебраических преобразованиях чисел, известнымещё индусам. Доказательство же это было здесь необходимо, т. к. ещё даже у Ферма оно было, только в несколько иной форме.
Во Франции не так давно появилась книга, являющаяся, вроде как, полным доказательством Великой теоремы Ферма, но в ней использовано столько новых в математике абстрактных понятий, что проверить эти труды, кроме автора, никто не может.
Список литературы
1.) М. М. Постников «Теорема Ферма», М., 1978
2.) Б. В. Болгарский «Очерки по истории математики», Минск, 1979
3.) М. Я. Выгодский «Справочник по элементарной математике», М., 1974.
4.) Сеть Internet
