整数の性質の問題
は を満たす整数とする。 と の最大公約数が より大きくなるような の個数を求めよ。
この問題で使うもの
- ユークリッドの互除法(説明と入口の問題)
- 不定方程式の正の整数解の個数と選び出し(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
ユークリッドの互除法の考え方を使い、 と の最大公約数を、もっと簡単な 2 数の最大公約数に言い換えてみよう。
ヒント 2
と の最大公約数は と の最大公約数に等しい。たとえば となる。このような引き算を繰り返して、 を含まない定数を作ろう。
ヒント 3
最大公約数は と の最大公約数に等しくなる。 は素数なので、 が の倍数になる を の範囲で数えればよい。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
整数 について「 と の最大公約数は、 と の最大公約数に等しい」という性質(ユークリッドの互除法の原理)を繰り返し使う。最大公約数は符号を無視して考える。
より、 と の最大公約数は、 と の最大公約数に等しい。
より、これは と の最大公約数に等しい。
より、これは と の最大公約数に等しい。
したがって、 と の最大公約数は と の最大公約数に等しい。 は素数であるから、この値は か である。よって、最大公約数が より大きくなるのは、最大公約数が のとき、すなわち が の倍数のときである。
( は整数)とおくと となる。 を に置き換えて ( は整数)と表す。
より であるから、 となる。このとき
である。
確認として のとき、、 となり、最大公約数は である。
よって、求める個数は 個である。
別解
とおく。 より は の約数である。 は素数なので または となる。
よって となるのは のとき、すなわち かつ のときである。
とする。 である。 の逆元は ()なので、 となる。
このとき なので、 も成り立つ。したがって条件は と同値である。
でこれを満たすのは の 個である。次の候補 は範囲外。
検算: のとき 、 で、最大公約数は である。