Господа,дана система двух уравнений:
![$A^2+B^2=C^2$ $A^2+B^2=C^2$](https://dxdy-02.korotkov.co.uk/f/d/c/5/dc531ae75ba3169aadfd2551ae5c9c3382.png)
(1)
![$A^2-B^2=D^2$ $A^2-B^2=D^2$](https://dxdy-04.korotkov.co.uk/f/b/6/f/b6fc498f4e5f72c90abf2c99bc82860b82.png)
(2)
Числа
![$A, B, C$ $A, B, C$](https://dxdy-04.korotkov.co.uk/f/3/d/d/3dde922ef7af0f94b6c5c96835fc9e5482.png)
-Пифагорова тройка, поэтому уравнение (1)
имеет решение в целых числах.
Числа
![$A, B$ $A, B$](https://dxdy-04.korotkov.co.uk/f/b/9/e/b9ebfc5473fcab62450e73397e4d098b82.png)
взаимно простые и имеют разную четность.
Вопрос: будет ли число
![$D$ $D$](https://dxdy-04.korotkov.co.uk/f/7/8/e/78ec2b7008296ce0561cf83393cb746d82.png)
, определяемое
по формуле (2), целым числом при тех же самых значениях чисел
![$A, B$ $A, B$](https://dxdy-04.korotkov.co.uk/f/b/9/e/b9ebfc5473fcab62450e73397e4d098b82.png)
, при которых уравнение (1) имеет целочисленное решение?
Отрицательный ответ на этот вопрос был получен еще самим Ферма: разность двух четвертых степеней не может быть полным квадратом. См. изложение, например, в книге Эдвардса, раздел 1.6,
или в гл. 4 'Диофантовых Уравнений ' Морделла,
или, например, в книге
Adler A., Coury J. The Theory of Numbers. A Text and Source Book of Problems(1995), стр. 241