a,b,cは自然数である。
a は奇数である。
a,b は互いに素である。
a^2 + b^2 = c^2 が成立する。
//-----------------------------------------------------------
以上が全て成り立つとき、
d = √{(a + c)/2} なる d　を考える。

dが自然数となる場合があることを示せ。