Диофант решал самые разные уравнения. Некоторые он сформулировал, но был не способен решить. А точнее, решения некоторых из них не найдены в первых 6 томах. Мы ничего не знаем про оставшиеся 7 томов, и я не удивлюсь, если в них было всё, что потом открывали в XVII, XVIII, XIX веках. В частности, Эйлер стал рассматривать одно из тех уравнений, которые Диофант не решил. Может, ли быть так, что квадрат некоторого натурального числа отличается от куба другого натурального числа на единицу? То есть требуется решить в целых числах уравнение

а² = b³ ± 1.

То, что квадрат одного числа просто равен кубу другого, очень легко представить себе, если а = с³ и b = с², при некотором целом с. В самом деле, тогда

а² = (с³)² = c⁶ = (с²)³ = b³.

Возьмем, например, с = 3. Тогда а = 27, b = 9: 27² = 9³ = 729. Так что эта задача неинтересная. Правда, число 729 напоминает мне один разговор.

Однажды два математика беседовали в кафе. Один другому говорит: «На свете нет ни одного числа, которое не было бы чем-то удивительным, просто ни одного». А второй отвечает: «Ну, как же? Ну, я возьму навскидку 1729. Что интересного в числе 1729?» А второй посмотрел на него и сказал: «Ты сам не догадываешься, насколько удивительное число ты назвал! Это первое из натуральных чисел, которое двумя разными способами представляется в виде суммы двух кубов».

Пальцем в небо ткнул и попал в число 1729. И вот что оказалось. Действительно, 1729 = 9³ + 10³, и 1729 = 12³ + 1³. Второй математик был сражен этим аргументом.

Так вот, бывает ли, чтобы куб и квадрат отличались на единичку?

Допустим, ваш ребенок играет в кубики. Он сложил из них большой куб, а вы украли у него один кубик. Тогда ребенок взял, развалил куб и сложил большой огромный квадрат. Может ли такое быть? Эйлер полностью решил эту задачу (а² = b³ ± 1).