Iosif1 писал(а):
Мы ищем доказательство, понятное нам, в надежде на то, что что-то подобное было понятно и Пьеру Ферма.
Мне кажется, подобные поиски обречены на провал. Люди искали доказательство ВТФ на протяжении 357 лет, и очень маловероятно, чтобы все "просмотрели" такое простое доказательство, которое могло бы прийти в голову П. Ферма.
Скорее всего, Ферма предложил ошбочное доказательство. Может быть оно было похоже на "доказательства" Коши и Ламе, основанные на единственности факторизации.