Доказательство великой теоремы Ферма методом деления

Размещено на http://www.allbest.ru/

ДОКАЗАТЕЛЬСТВО ВЕЛИКОЙ ТЕОРЕМЫ ФЕРМА МЕТОДОМ ДЕЛЕНИЯ

Ведерников Сергей Иванович - пенсионер,

г. Москва

Аннотация: великая теорема Ферма доказана двадцать лет назад. Как показал С. Сингх [1], от Пифагора до П. Ферма, от П. Ферма до Э. Уайлса знаменитое уравнение развивало математику.

Казалось бы, тема закрыта, но многим, не только математикам, не даёт покоя тот факт, что ещё в 1637 году Пьер Ферма заявил, что нашёл «удивительное» решение своей теоремы, несмотря на то, что математические знания того времени были далеки от знаний нашего времени. В предлагаемой работе на базе школьных знаний показана невозможность разложения и на целочисленные множители в уравнениипри n > 2. Это значит, что теорема Ферма не имеет целочисленных решений.

Ключевые слова: великая, теорема, Ферма, метод деления.

The proof of fermat's great theorem by the method of division

Vedernikov S.I.

Abstract: Fermat's Great Theorem was proven twenty years ago. As shown by Singh [1], from Fermat to Wiles, this famous equation developed math. It would seem that the topic is closed, but many people, not just mathematicians, is haunted by the fact that in 1637 Pierre de Fermat stated that he found "amazing" solution to his theorem, despite the fact that the mathematical knowledge of that time were far from the knowledge of our time. In this paper, on the basis of school knowledge, shows the inability of the decomposition of and for integer multipliers in the equation when n > 2. This means that Fermat's Great Theorem has no integer solutions

Keywords: Fermat's Great Theorem. Division method.

Теорема: для целого натурального числауравнениене имеет решений в целых положительных числах X, Y, Z.

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

Имеется

,

где X, Y, Z, n - натуральные положительные числа. Z > X >Y - взаимно простые числа, n > 2.

Исходя из того, что уравнение является частным случаем уравнения и в нём выделяются целочисленные значения X, Z и Y, можно утверждать, что если уравнение при n > 2 не имеет целочисленных множителей дляили, то оно не имеет решений в целых положительных числах.

Рассмотрим порядок выделения множителей числа и целочисленных Z, X на примере Пифагоровой тройки (5; 12; 13). [2]

Имеем:.

Преобразуем выражение:

Разложим ф. (1) на множители:

Сложим почленно ф. (2) и ф. (3): откуда:

Вычтем почленно ф. (3) из ф. (2):

X откуда:

Из ф. ф. (2) и (3), а также из ф. ф. (4) и (5) видно, что в случае n = 2 уравнения возможно выделение целочисленных множителей и целочисленных значенийи

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

Известно, что Z в исходном уравнении при чётном n не может быть чётным числом, а X и Y одновременно нечётными, поэтому примем Z, X - нечётными числами, Y - чётным числом, поскольку принципиальной разницы между X и Y в данном случае нет.

Рассмотрим первый случай, когда n > 2 чётное число.

Случай 1.

Z, X - нечётные, Y - чётное, n - чётное. Имеется:

Преобразуем исходное уравнение:

Разложим на множители ф. (1).

Поясним суть разложения, заключающуюся в том, что сумма двух нечётных чисел и разность этих же чисел - числа чётные, но одно из них имеет множителем только одно число 2, другое - множителем а в общем случае. Разложение на множители при чётном соответствует ф. (2) и ф. (3), но имеются два случая: первый, когдаимеет множитель 2, а имеет множитель, и когда имеет множитель , а только один множитель 2. Вариантов разложения может быть несколько, но все они соотносятся с этими двумя случаями, отдельно друг от друга рассмотренными здесь. (См. ф. (6) и ф. (11))

Из почленного сложения ф. (2) и ф. (3) имеем:

а из почленного вычитания ф. (3) из ф. (2) имеем:

Из ф. ф. (4) и (5) видно, что при соблюдении условия о нечётности Z и X необходимо, чтобы одно из чётных чисел илиимело множителем только одно число 2. Тогда другое число должно иметь множителем поскольку - число чётное и имеет множителем минимум одно число При этом ине могут иметь общих множителей, кроме оговорённых выше кратных 2, поскольку в противном случае такие множители должны иметь такжеи что противоречит условию о взаимной простоте Z, X и Y.

Поэтому и должны состоять из различных множителей числа в той же степени, в степени n.

Поскольку из ф. (4) и ф. (5) следует, что одно из чисел или должно иметь множителем только одно число 2, а оба должны быть в степени n, то примем ф. (2) и ф. (3) в виде:

имея в виду, что - число нечётное.

Из ф. ф. (4) и (5) выразим значение подставив вместо значениеа вместо значение

Итак, имеем:

Поскольку является степенью числа приРазмещено на http://www.allbest.ru/

чётном, то его можно разложить на множители. Разложим выражение (9) на множители по формуле для разности n - х степеней.

Нечётное число в степени n можно представить разностью квадратов чётного и нечётного чисел столько раз, сколько найдётся сочетаний пар множителей, составляющих это число. При этом для каждой пары множителей возможен только один вариант разложения, только с одной определённой парой чисел, составляющих разность и сумму, где разность этих чисел - один множитель, а сумма - другой. На примерепокажем возможность такого разложения.

Разложим на два множителя 5 и 675.

Сложим эти множители: 675 + 5 = 680. Поделим это число пополам: 680 : 2 = 340. Вычтем из полученного числа 5: 340 - 5 = 335. Имеется: 340 - 335 = 5; 340 + 335 = 675.

Подобным образом можно сделать разложение для 3 и 1125, а также для любого другого сочетания двух множителей числаДля данного конкретного случая интересно разложение на сочетание n - х степеней множителей, т. е.и. Произведём это разложение

Сложим 27 и 125: 27 + 125 = 152. Поделим пополам: 152 : 2 = 76. 76 - 49 = 27; 76 + 49 = 125. = (76 - 49)(76 + 49).

Итак, для каждой пары множителей, составляющих нечётное число, возможен только один вариант разложения, с одной определённой парой чисел.

Рассмотрим разложение на множители по формуле разности двучлена n - х степеней.

Предположим, чтосоставляет целый множитель, кратный Учитывая, что разложение на целочисленные множители возможно только в одном варианте для этого множителя, запишемкак разность квадратов.

При равенстве первых множителей ф. (11) и ф. (12) делаем вывод, что второй множитель ф. (11) равен второму множителю ф. (12), т. е. сумма слагаемых второго множителя ф. (11) равна второму множителю ф. (12).

Сократим ф. (13) на (b - c). Откуда имеем:

Это значит, что разложениепо формуле разности квадратов и формуле разности n - х степеней не равнозначно, и, следовательно, ф. (10) показывает невозможность целых положительных множителей X илиследовательнои (Думается, это то самое, «чудесное», в доказательстве Ферма.) Допустим:

Из почленного сложения и вычитания ф. ф. (14) и (15), аналогичным вышеизложенным имеем:

Разложим ф. (14) на множители.

Доказано, что корень k из целого числа является рациональным числом только тогда, когда число под корнем является k - ой степенью другого целого числа, в остальных случаях такой корень есть иррациональное число. Поэтому- число иррациональное, поскольку другим, меньшим может быть только 1.

Следовательно,невозможно разложить на целочисленные множители, что однозначно и не допускает другой трактовки, а значит здесьРазмещено на http://www.allbest.ru/

жеявля тсяРазмещено на http://www.allbest.ru/

степень Размещено на http://www.allbest.ru/

иррациональногоРазмещено на http://www.allbest.ru/

числаиРазмещено на http://www.allbest.ru/

уравнениепри чётном n >

2 не имеет решения в целых положительных числах.

При этом особо нужно отметить, что дляпри нечётномхарактерен следующий ряд показателей:

где первый показатель -соответствует уравнению

что делает возможным его целочисленные решения при невозможности таковых для остального ряда показателей. Случай 2.

Z; X - нечётные, Y - чётное, n - нечётное. Имеем:

Возведём левую и правую часть исходной формулы в квадрат.

Преобразуем полученную формулу следующим образом:

ф. (1)

Разложим ф. (1) на множители.

- чётное число, поэтому выразим его как Запишем ф. (2) и ф. (3) следующим образом:

где - нечётное число, поскольку целое положительное число можно выразить n - ой степенью другого положительного числа, пусть даже иррационального. Итак, имеем:

Сложим почленно ф. ф. (4) и (5).

Откуда:

ф. (6)

Вычтем почленно из ф. (4) ф. (5).

ф.

Из ф. ф. (6) и (7) видно, чтоине могут иметь общих множителей при сохранении условия о взаимной простоте; а ф. (6) и ф. (7), аиможно разложить на множители по формулам разложения на множители разности n-х и суммы n-х степеней при нечётном n=2k+1. Разложим на множители ф. (6) и ф. (7).

Как видно из ф. ф. (8) и (9),инельзя разложить на целочисленные множители, (см. Случай 1), а значит уравнениене имеет решений в целых положительных числах при нечётном

Случай 3.

- нечётные, - чётное, - нечётное.

Кроме известного доказательства, что Z в уравнении не может быть чётным числом при чётном n, заключающемся в неравенстве суммы квадратов двух нечётных чисел и квадрата чётного числа, возможно ещё одно доказательство

этого случая. Имеется:

Вычтем из левой и правой частей уравнения (1)

где

Поскольку n чётное по условию, томожно разложить, как разность квадратов. Пусть поскольку X и Y нечётные числа.

Тогда:

Сравним ф. (2) и ф. (3). или т. к. a - нечётное число.

Итак: доказано, чтовРазмещено на http://www.allbest.ru/

уравнениине может быть чётным числом при чётноми целочисленных решениях уравнения.

Рассмотрим доказательство невозможности чётного Z при нечётном n. X > Y - нечётные, Z - чётное, n - нечётное.

Преобразуем уравнение вычтя из левой и правой его частей

Имеем:

Отметим, что- нечётное число.

Примем

Тогда ф. (4) примет вид:

Представим уравнение (1) и уравнение (5) в качестве сомножителей разницы квадратови

Произведём почленное сложение и вычитание уравнения (1) и уравнения (5)

доказательство теорема ферма деление

Разложим ф. (6) на множители по формуле разложения на множители суммы нечётных n- х степеней.

Разложим ф. (7) на множители по формуле размножения на множители n-х степеней.

Из ф. ф. (8) и (9) следует, что разложениеина целочисленные множители невозможно (см. Случай 1), а значитне может быть чётным числом в уравнении (1).

Общий вывод: для рационального числауравнениене имеет решений в целых положительных числах

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

1. Сингх C. Великая теорема Ферма. М.:МЦНМО, 2000. 286 с.

2. Серпинский В. Пифагоровы треугольники. М.: Учпедгиз, 1959. 112 с.

3. Гусев В.А., Мордкович А.Г. Математика: Учеб. Пособие. М. Высшая школа, 1984. 311 с.

Размещено на Allbest.ru