Господа,дана система двух уравнений:
(1)
(2)
Числа
-Пифагорова тройка, поэтому уравнение (1)
имеет решение в целых числах.
Числа
взаимно простые и имеют разную четность.
Вопрос: будет ли число
, определяемое
по формуле (2), целым числом при тех же самых значениях чисел
, при которых уравнение (1) имеет целочисленное решение?
Отрицательный ответ на этот вопрос был получен еще самим Ферма: разность двух четвертых степеней не может быть полным квадратом. См. изложение, например, в книге Эдвардса, раздел 1.6,
или в гл. 4 'Диофантовых Уравнений ' Морделла,
или, например, в книге
Adler A., Coury J. The Theory of Numbers. A Text and Source Book of Problems(1995), стр. 241