数学A / 整数の性質
オイラー関数の値(互いに素な数の個数)
問題
以下の自然数のうち、 と互いに素なものの個数 を求めよ。
ヒントを見る
。互いに素 のどれでも割り切れない。包除原理で数えるか、公式 を使う。
解答・解説
方針
の素因数は 。 のいずれでも割り切れない数を包除原理で数える。これは に等しい。
解答
⓪ 発想 — どう考え始めるか。 と互いに素とは、 の素因数 のどれでも割り切れないことだ。
だから数えるべきは「 でも でも でも割り切れない数」。裏返して、 または または で割り切れる数を包除原理で数え、全体 から引けばよい。
この計算を整理すると、素因数 ごとに「割り切れない割合 」を掛ける形にまとまる。 という積の公式だ。
定理オイラー関数 ( は の相異なる素因数)
① 素因数分解。 。相異なる素因数は 。
② 公式にあてはめる。 ③ 計算する。 順に 、、。よって (包除でも:。)
まとめ 互いに素 素因数 で割り切れない。包除原理を整理した公式 で 。整数(オイラー関数)と数え上げの融合。
発展 — 一歩先へ。 には、 が互いに素なら という乗法性があり、 とも計算できる。さらに約数全体で足すと という美しい等式が成り立つ(分数 を約分して分母で仕分けると見える)。
答
。包除原理(または積の公式)で 。
別解
別解 — ごとの繰り返しで数える(苦手な人向け)。 と互いに素かどうかは、 で割り切れるかだけで決まる。そしてこの割り切れ方は ごとに同じパターンを繰り返す。
まず で、 のどれでも割り切れない数を書き出す。
だから、このパターンが 回繰り返される。。
包除原理の式を経由しなくても、周期性と手の数え上げだけで同じ に届く。素因数が小さいときは、この“ 周期だけ数える”方法が確実で速い。
ポイント
- 互いに素 素因数 のどれでも割り切れない。
- 包除原理を整理すると 。
- 。
よくある間違い
- 包除で 重の重なり( の倍数)を足し戻し忘れる。
- 積の公式の に素因数のべき()を入れて などとする( は素因数そのもの )。
- 「互いに素」を「どちらかが素数」と混同する( は素数でないが と互いに素。共通の素因数がない、が定義)。