Господа,дана система двух уравнений:

(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