タイトルの通りです。 自然数a,b,cを、ピタゴラス数、つまりa^2+b^2=c^2とするとき、 (a+c)^2+(b+c)^2=(a+b+c)^2+(a-b)^2 (a-c)^2+(b-c)^2=(a+b-c)^2+(a-b)^2 (a-c)^2+(b+c)^2=(a-b-c)^2+(a+b)^2 (a+c)^2+(b-c)^2=(a-b+c)^2+(a+b)^2 が成り立ちます。 証明は…