数学A / 整数の性質
1次不定方程式の一般解
問題
次の方程式の整数解をすべて求めよ。
ヒントを見る
まず特殊解を1組(小さい数を試す)。 を満たす 、 が見つかれば、 を ずつ・ を ずつ(符号に注意)ずらして全解を書ける。
解答・解説
方針
小さい数を試して特殊解を1組見つけ、そこから全解を文字で表す。係数が互いに素なので、必ず解がある。
解答
⓪ 発想 — どう考え始めるか。 係数が と 程度なら、特殊解は目で探せる。 を 倍して、 との差が の倍数になる瞬間を待てばよい。
で 。。見つかった。 だ。
特殊解から全解へは「ずれ」で書く。 を 増やすと 増える分を、 を 減らして打ち消す。この交換が解のすべてである。
特殊解を1組見つける。 試すと 、 が当てはまる()。
全部の解を表す。 もとの式から を辺々引くと
左辺は の倍数、 と は互いに素なので、 が の倍数。 とおくと 。戻して 、、。
(ずれ幅は、 が の係数 、 が の係数 。係数がそのまま入れかわる。)
発展 — 一歩先へ。 「解のずれが の倍数に限る」ことの根拠には、 と が互いに素であることが効いている。互いに素でない係数(例: )では、そもそも解が存在しない(左辺は必ず偶数)。解の存在条件は「右辺が最大公約数の倍数」だ。
別解の「係数つぶし」は、変数の置き換えを繰り返して係数を互除法の要領で縮める方法で、どんなに大きい係数でも確実に特殊解へ着く。手品のような逆算が苦手なら、こちらを主砲にしてよい。
、( は整数)
別解
目で見つからないときのために、「係数を小さくつぶす」機械的な方法も知っておくとよい。
に注目して、 と書き直す。 と置けば
係数が から に縮んだ。この式なら が見える()。
だから 。特殊解 が復元できた。
まだ大きければ、同じ置き換えを繰り返して係数をどんどん縮めればよい。実はこれ、互除法の逆算と同じ計算を「前向きに」やっている。どんな係数でも必ず終わる、安心の避難路だ。
ポイント
- 特殊解を1組見つけてから全解を で表す
- 係数が互いに素なら、片方の変数が相手の係数の倍数ずつ動く
- で特殊解に戻ることを確認
よくある間違い
- 特殊解だけで止める(全解を で表すところまでが答え)
- ずれ幅の符号を取り違える( が なら は )
- 一般解を書いたあと、 に具体値を入れて元の式で検算しない