こんにちは。今回は合同式を用いた不定方程式の解法です。整数問題に使うと便利ですかね。それでは例題を見ていきましょう。
【例】を満たすすべての整数解を求めなさい。
係数の小さい方を法としたとき,
はで割り切れるので, を法とすると,
をで割ると余りはなので,
とは互いに素なので, 両辺で割って,
これよりはで割ると余る整数。
したがって,
は整数)となる。これをに代入し,
以上より,
は整数)
係数の大きい方を法としてやってみようと思う。
を法とすると,
はで割ると余りはと解釈できるので,
とは互いに素なので, 両辺で割って
なので,
はで割って余りがの整数。
ゆえに
は整数)
これをに代入すると,
以上より,
は整数)
※から, としても問題ない。その場合のは, となる。