3辺の長さが整数で、斜辺でない1辺の長さが素数pの直角三角形の残りの2辺の長さを求めよ

答えは(p^2+1)/2と(p^2-1)/2になるようなのですが、公式を知らないと導けないのでしょうか？