style="font-size:15px;"> Проблема Варинга – это утверждение о том, что любое натуральное число N представимо в виде суммы одинаковых степеней xin, т.е. в виде N=x1n+ x2n+…+ xkn. Впервые её доказал Гилберт в 1909 году, а в 1920 г. математики Харди и Литлвуд упростили доказательство, но их методы ещё не относилось к элементарным. И только в 1942 г. советский математик Ю. В. Линник опубликовал арифметическое доказательство, применив метод Шнилермана. Теорема Варинга – Гилберта имеет фундаментальное значение с точки зрения сложения степеней и не противоречит ВТФ, т.к. в ней нет ограничений количества слагаемых.
22
Контрпример, опровергающий гипотезу Эйлера, представляется как
958004 + 2175194 + 4145604 = 4224814
Другой пример
26824404 +153656394+187967604=206156734.
Для пятой степени всё значительно проще
275+845+1105+1335 = 1445.
Возможно также, что может быть разработан и общий метод подобных вычислений, если удастся получить соответствующее конструктивное доказательство проблемы Варинга.
23
Конечно же, это вовсе не означает, что компьютерщики лучше разбираются в этой проблеме, чем Гилберт. У них просто не было иного выхода. Ведь замкнутые ссылки зацикливаются, а это приведёт к зависанию компьютера.
24
Аксиома о том, что сумма двух целых положительных чисел может быть равна нулю, явно не относится к арифметике, т.к. с натуральными или производными от них числами это явно невозможно. Но если есть только алгебра, а арифметики нет, то и не такое станет возможным.
25
Любопытно, что даже Эйлер, (видимо по оплошности), назвал извлечение корня операцией обратной по отношению к возведению в степень [4], хотя и отлично знал, что это не так. Но ведь это и не секрет, что даже особо одарённые люди часто путаются в очень простых вещах. Эйлер явно не испытывал тяги к формальным построениям основ науки, поскольку у него всегда было в избытке всяких других идей. Он-то думал, что с формальностями разберутся и другие, а получилось так, что именно отсюда и выросла самая большая проблема.
26
Это очевидно хотя бы по факту того, в какой мощный толчок для развития науки воплотились бесчисленные попытки доказать ВТФ. Кроме того, доказательство ВТФ, полученное Ферма, открывает путь к решению уравнения Пифагора новым способом (см. п. 4.3) и волшебным числам типа a + b – c = a2 + b2 – c2 (см. п. 4.4).
27
В русскоязычном разделе «Википедии» эта тема названа «Гипотеза Била». Но поскольку имя автора в оригинале Andrew Beal, то мы будем использовать название «Гипотеза Биэла», чтобы избежать путаницы между именами Beal (Биэл) и Bill (Бил).
28
В письме Ферма к Мерсенну от 15.06.1641г. сообщается следующее: «Я пытаюсь как можно более полно удовлетворить любопытство г. де Френикля… Однако он просил меня прислать решение одного вопроса,
