ピタゴラスの定理ってあったなぁ

任意のa<b<cとなる3つの整数について、最大公約数が1のとき
a^2+b^2=c^2 となる組み合わせのうちaが偶数となるものは0となること
aが奇数の場合のb,cの組み合わせは最大1個となることは多分証明できるはず
たぶんきっと