整数の性質の問題
は , を満たす整数とする。2 つの整数 と の最大公約数が となるような整数の組 の個数を求めよ。
この問題で使うもの
- ユークリッドの互除法(説明と入口の問題)
- 最大公約数と最小公倍数(説明と入口の問題)
この問題を解けるようになるまで(5 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
, と書き直し、 と の最大公約数を互除法で調べましょう。
ヒント 2
を使うと、 が分かります。
ヒント 3
条件は と同値です。ここから , とおくと となり、, の範囲で互いに素な組を数えればよいことになります。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
1. 補題を示す。 正の整数 に対して
が成り立つ。
のとき
である。互除法の原理( ならば )より
となる。つまり、指数の組 を に置き換えても最大公約数は変わらない。
これは指数どうしに引き算型のユークリッドの互除法を行っていることと同じである。この操作をくり返すと、指数の組は最終的に (ただし )になる。したがって
である。 のときは明らかに成り立つ。
2. 条件を言い換える。 , なので、補題より
である。 は について単調に増加し、 であるから、条件は
と同値である。
3. の形を決める。 ならば なので であり、 なので である。そこで , ( は正の整数)とおくと
となる。よって条件は と同値である。
範囲は、 より 、 より である。
4. 互いに素な組を数える。 の値ごとに、 で と互いに素な の個数を数える。
- :すべての で 個
- : が奇数のとき 個
- : の倍数 を除いて 個
- : が奇数のとき 個
- : を除いて 個
- : でも でも割り切れない の 個
合計は である。
したがって、求める組の個数は である。
別解
を用いる。、 なので、最大公約数は となる。これが に等しいのは のとき。
より 、 より である。そこで とおくと、、 である。
このとき なので、条件は となる。
各 について、条件を満たす の個数を数える。
- : 10 個
- : が奇数で 5 個
- : が 3 の倍数でなく、 個
- : が奇数で 5 個
- : が 5 の倍数でなく、 個
- : の 3 個
合計は 。
検算として を確かめる。、 なので最大公約数は 63 で、条件を満たす。