>>38

 p≡1 (mod 4) は素数とする。

 p = a^2 + b^2 なる自然数{a,b}がある。

 x = p^(n/2)・T_n(a/√p),
 y = p^((n-1)/2)・b・U_n(a/√p),
とおけば
 p^n = x^2 + y^2,