См.
A147854 и
A147856:
Цитата:
Euler proved that if n^2 = (x^4 - y^4)*(z^4 - t^4) then a,b,c (if n is even) or 4a,4b,4c (if n is odd) form a triple of integers with all pairwise sums and differences being squares, where a=(x^4+y^4)*(z^4+t^4)/2, b=(n^2+(2xyzt)^2)/2 and c=(n^2-(2xyzt)^2)/2. Note that a,b,c are pairwise distinct if and only if (x,y) and (z,t) are not proportional.