整数解の問題
を満たす正の整数 を求めよう。
をについての2次方程式とみる。判別式は平方数となる必要がある。
ピタゴラスの三つ組は一般に、で表すことができる。したがって、
として、解の公式より、となる。
は正の整数なので、である。より、となるので、と表せる。
を満たす2以上の正の整数(は素数)は、のみである。はてなブログでTeX - k56737kagawa’s blog
したがっては正である。
の最大公約数はのいずれかである。が互いに素のとき、より、となって矛盾する。
の最大公約数はである。以下の場合を考えればよい。
- かつ この場合
- かつ この場合
- かつ この場合は解なし
答えは2つしかない。
と である。