>>657
すばらしい。答えもあってるようなんだけど、その式で間違いないことを
言うには、
「x^2 + y^2 = z^2」を満たすような自然数x, yは、かならず
x = a^2 - b^2
y = 2a*b
(a, bはともに自然数)であらわせる」
っていうことが証明できないといけないような。