«стандартным» выводом: «… мы указали бесконечную убывающую последовательность положительных целых чисел, существование которой невозможно.»

Теорема Ферма доказана? Ерунда, конечно – это еще один пример «никуда негодности» метода спуска.

Но если в доказательстве Уайлса есть «спуск» (о такой возможности сказано в публикации [2]), то каков вывод? Приведенное «доказательство» даже короче.

Но будем считать, что в доказательстве Уайлса «спуска» нет. Означает ли это, что попыток доказательства больше не будет? Полагаю, что нет, их, конечно, станет намного меньше. Человек не удовлетворится таким сложным и «заумным» доказательством, будет искать другие.

И что за диво! Теорема Ферма, в сущности, как видится, не представляет большой научной и практической ценности. В [2] доказательство Уайлса поставлено в один ряд с открытием закона тяготения и законов сохранения. Но через закон тяготения мы узнали, почему падают яблоки и не разлетаются планеты от солнца, а без законов сохранения до сих пор бы шли perpetuum mobile. А что дает или даст доказательство теоремы Ферма, в чем «прорыв», что в нем вселенского?

Почему же она имеет такую огромную популярность? «Маслом в огонь», конечно, явилось заявление самого Ферма о том, что им получено простое и короткое доказательство. Но почему «все ринулись»? Дело, наверно, не только в премии за ее доказательство (премия невелика, да и учреждена она только в 20-м веке). Причина, повидимому, в извечной пытливости человеческого ума, стремлении все познать. Загадки его мучают и привлекают.

Итак, поиски менее сложных доказательств не прекратятся. Элементарная математика (с указанными выше обобщениями) не может иметь предела своего развития, как и любая область знаний.

На базе материала предыдущего подраздела были получены некоторые возможности – предпосылки, которые, на взгляд автора, могут «пригодиться» в указанных поисках.

Было показано, что исходное (1.1) можно свести к выражениям (4.1.3) (достаточно учитывать «чет» только в левой части (1.1)). Будем учитывать только n – простое число.

Для n=3 формулам (4.1.3) соответствуют выражения (4.1.1) и (4.1.2)

1.  ,     2.      (4.2.3)