carrauntoohil ([personal profile] carrauntoohil) wrote2024-01-13 10:10 am

Рождественская теорема ферма и крылатые квадраты

Из коментариев в интернете:
Я ни на грамм не ферматист, но после ТАКИХ доказательств, как не начать допускать, что, может, и было у Ферма доказательство его Теоремы!

Подробнее:
Несколько лет назад появилось графическое доказательство рождественсокй теоремы ферма.
Простое число вида p=4k+1 представимо в виде суммы квадратов x^2+y^2
Автор доказательства Спивак Александр Васильевич.

Я не мог понять один момент в этом доказательстве
https://elementy.ru/nauchno-populyarnaya_biblioteka/436592/Rozhdestvenskaya_teorema_Ferma_i_Krylatye_kvadraty_Spivaka

пока не посмотрел вот это видео
https://youtu.be/DjI1NICfjOk?si=j2MKw6mSTdmkYm1A
то что мне было непонятно объясняется на 19:10. Крест может быть только один. если крест не один, то чиcло p не простое. ( x+4xz=x(1+4z) может простым только если x=1, во всех других случаях число раскладывается на множители)

Автор доказательства тоже указывает на этот факт в своём доказательстве.
https://youtu.be/PUH5IbDlpbs?si=riP8MDE71830srb_
на 6:30, но не разжевывает.
juan_gandhi: (Default)

[personal profile] juan_gandhi 2024-01-13 12:15 pm (UTC)(link)

Очень красиво. И не слыхивал про такое. Непонятно, правда, как это доказывать формально (не на картинках); ну да ничего, главное - идея.