Доказательство утверждения, частным случаем которого является великая теорема Ферма

= , где c2 + b2 ≠ 0, т.к. c ≠ 0, b ≠ 0, т.е.

(5),

где k – целое число, отличное от нуля, т.к. cи b взаимно простые целые числа

(при – целое числоk - четное число, т.к. пропорционально 4 (явно) при b и с – нечетных числа => 2l-2k– четное число при).

Из соотношений (4) и (5) определяем b2 и c2:

=> =>

Откуда β = b2 + 2l-2k (8) - нечетное число (из (4)) при b– нечетном и 2l-2k- четном.

*********

Вывод:

1. Из соотношения (4) имеем:

(9) - нечетное число.

2. Из соотношения (5) имеем:

(10) пропорционально 2 (явно), т.е. - четное число.

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

*******

Теперь попробуем выразить сумму четвертых степеней чисел c и . Учитывая соотношения (6) и (7), получим:

,

т.е. (11),

где - целые числа, которые, в свою очередь, как мы знаем из предыдущего доказательства «Утверждения 1» (для ), могут быть выражены через другие целые числа следующим образом:

(12) - нечетное число при - нечетном;

(13) - нечетное число при - нечетном;

(14) - нечетное число при - нечетном;

(15) - четное число.

Примечание: во всех последующих исследованиях (Случаях) нас не будут интересовать t =0 иr=0 (при t =0 и - четные из (12) и (13), при r=0 = 0 (из (15)) => а = 0 (из (3)), что противоречит нашему допущению). .

*******

Для простоты опять обозначим правые части уравнений (12), …, (15) буквами С, В, N, К, т.е.

= С

= В

= N

= К,

и рассмотрим случай, когда в правых частях уравнений (12), …, (15) перед С, В, N, К, стоят «плюсы» и выполняется Условие1.

********

Условие1 (начало)

с2 = С

b2 = B

= N

Случай «+».

(12+) - нечетное число при - нечетном;

(13+) - нечетное число при - нечетном;

(14+) - нечетное число при - нечетном;

(15+) - четное число.

Казалось бы, все нормально: четность чисел в (12+),…, (15+) совпадают при - нечетном с нашими предыдущими рассуждениями.

Однако не все так просто.

Помимо всего прочего, у нас есть еще две дополнительные информации (9) и (10) (о четности, заключенной в «Выводе» (стр.36)), вытекающие из предположения о том, что, вопреки условию «Утверждения 2», допустим, существуют попарно взаимно простые целые числа .

Попробуем найти сумму , воспользовавшись их выражениями (12+) и (13+):

,

т.е. => () пропорционально 4, откуда следует, учитывая (9) в «Выводе» (стр.36),

!

Т.е., вопреки «Выводу», является не нечетным, а четным числом, что возможно (из (14)) при - четном.

Однако, если - четное, то (в (12+) и (13+)) являются четными, т.е. в уравнениях (2) и (1) числа - четные, а потому не являются попарно взаимно простыми целыми числами.

 Скачать реферат