Если бы существовали такие взаимно простые
, большие нуля, что выполнялось бы равенство
, то среди множества решений уравнения
было бы и такое, которое для
давало бы
.
Как это уравнение решается, можно посмотреть по следующим ссылкам:
https://sites.google.com/site/tpiezas/006https://www.emis.de/journals/GM/vol13nr2/andrica/andrica.pdfЗапишем решения этого уравнения:
, где
произвольные целые числа.
Подставив в первых двух выражениях вместо
, далее перенести член с
из правой части в левую в первом равенстве, во втором равенстве перенести член с
, затем перемножив левые и правые части и сократив на
можно получить в итоге такое выражение:
Видно, что при целых
и
не получить целое
,
или
нулевые не подходят в качестве решений, так как
по условию должны быть больше нуля. То есть нет таких натуральных
и
, чтобы первое уравнение было возможно.
Пока не понял одного, все ли решения даются для уравнения
, или приводятся только те, которые несложно получить. Например в книге Серпинского "О решении уравнений в целых числах" на странице 62 можно прочесть "Ещё Эйлер знал, что все решения уравнения
, где числа
и
взаимно простые, можно получить из тождества
, где
и
натуральные взаимно простые числа, из которых одно чётное." Члены с числом i очевидно после раскрытия скобок сократятся. Далее по тексту можно прочесть "А Шинцель доказал элементарно, что все решения уравнения
в натуральных числах
, где
и
взаимно простые числа, можно получить из тождества
, в котором
и
взаимно просты."
Ну и по ссылке
https://math.stackexchange.com/questions/2062185/prove-that-the-equation-ax2by2-z3-in-integers-has-infinitely-many-solution можно увидеть подобную запись для уравнения
Решения этого уравнения для взаимно простых
и
можно получить из тождества
, где
и
взаимно просты.