数学A / 整数の性質

1次不定方程式の一般解

★★ 標準1次不定方程式

問題

次の方程式の整数解をすべて求めよ。

ヒントを見る

まず特殊解を1組(小さい数を試す)。 を満たす が見つかれば、 ずつ・ ずつ(符号に注意)ずらして全解を書ける。

解答・解説

方針

小さい数を試して特殊解を1組見つけ、そこから全解を文字で表す。係数が互いに素なので、必ず解がある。

解答

⓪ 発想 — どう考え始めるか。 係数が 程度なら、特殊解は目で探せる。 倍して、 との差が の倍数になる瞬間を待てばよい。

。見つかった。 だ。

特殊解から全解へは「ずれ」で書く。 増やすと 増える分を、 減らして打ち消す。この交換が解のすべてである。

公式互除法で まで割り、割り算の式を逆にたどって特殊解を作る

特殊解を1組見つける。 試すと が当てはまる()。

全部の解を表す。 もとの式から を辺々引くと

左辺は の倍数、 は互いに素なので、 の倍数。 とおくと 。戻して

(ずれ幅は、 の係数 の係数 。係数がそのまま入れかわる。)

発展 — 一歩先へ。 「解のずれが の倍数に限る」ことの根拠には、 が互いに素であることが効いている。互いに素でない係数(例: )では、そもそも解が存在しない(左辺は必ず偶数)。解の存在条件は「右辺が最大公約数の倍数」だ。

別解の「係数つぶし」は、変数の置き換えを繰り返して係数を互除法の要領で縮める方法で、どんなに大きい係数でも確実に特殊解へ着く。手品のような逆算が苦手なら、こちらを主砲にしてよい。

( は整数)

別解

目で見つからないときのために、「係数を小さくつぶす」機械的な方法も知っておくとよい。

に注目して、 と書き直す。 と置けば

係数が から に縮んだ。この式なら が見える()。

だから 。特殊解 が復元できた。

まだ大きければ、同じ置き換えを繰り返して係数をどんどん縮めればよい。実はこれ、互除法の逆算と同じ計算を「前向きに」やっている。どんな係数でも必ず終わる、安心の避難路だ。

ポイント

  • 特殊解を1組見つけてから全解を で表す
  • 係数が互いに素なら、片方の変数が相手の係数の倍数ずつ動く
  • で特殊解に戻ることを確認

よくある間違い

  • 特殊解だけで止める(全解を で表すところまでが答え)
  • ずれ幅の符号を取り違える( なら )
  • 一般解を書いたあと、 に具体値を入れて元の式で検算しない