Сочинение: Доказательство утверждения, частным случаем которого является великая теорема Ферма
**********
Так как данное доказательство «Общего Утверждения» в этой работе проведено мною элементарными средствами, то думаю, и своё «Утверждение» великий Ферма вполне мог доказать подобным методом.
И последнее. Я думаю, что специалистам, наверное, известны ещё некоторые конкретные примеры (частные случаи уравнения ), подпадающих под доказываемое в данной работе «Общего Утверждения». Если такие примеры имеются, то в свою очередь это будет являться дополнительным подтверждением правильности выбранного пути доказательства вышеназванного «Общего Утверждения».
≥
ОБЩЕЕ УТВЕРЖДЕНИЕ, частным случаем которого является Великая теорема Ферма
1. Уравнение (
,
- натуральные числа) не имеет решений в отличных от нуля попарно взаимно простых целых числах
,
и
таких, чтобы
- было четным,
и
- нечетными целыми числами.
2. Но есть и «исключение» из данного утверждения: среди этих чисел ,
и
может быть либо
, либо
.
***********
Чтобы доказать «ОБЩЕЕ УТВЕРЖДЕНИЕ», необходимо рассмотреть2 случая
для показателя q :
1) при
- натуральном;
2) при
- натуральном, а для этого достаточно рассмотреть случай
.
Утверждение 1, частным случаем которого является Великая теорема Ферма , для простого показателя
Часть 1
Уравнение (
,
- натуральные числа, где
при
- натуральном) не имеет решений в отличных от нуля попарно взаимно простых целых числах
,
и
таких, чтобы
- было четным,
и
- нечетными целыми числами.
Часть 2
Возможны случаи: либо , либо
.
**********
Последнее утверждение (либо , либо
) в дальнейшем будем называть «исключением» из общего правила.
*********
Часть первая (Утверждения 1)
Уравнение (
,
- натуральные числа, где
при
- натуральном) не имеет решений в отличных от нуля попарно взаимно простых целых числах
,
и
таких, чтобы
- было четным,
и
- нечетными целыми числами.
Доказательство
Понятно, что доказательство достаточно рассмотреть для - простого.
Докажем данное «Утверждение 1 » методом от противного. Предположим, что уравнение разрешимо в отличных от нуля попарно взаимно простых целых числах
,
и
. И если в конце доказательства мы придем к противоречию, доказав, что числа
,
и
не являются попарно взаимно простыми целыми числами, то это будет означать, что «Утверждение 1 » справедливо.
Из уравнения (1) следует:
(2),
где - четное целое число, т.к.
и
- нечетные;
≠ 0, т.к.
и
- взаимно простые нечетные целые числа, не равные нулю;