数学A / 整数の性質

オイラー関数の値(互いに素な数の個数)

実戦編整数の性質オイラー関数包除原理数え上げ単元横断

問題

以下の自然数のうち、 と互いに素なものの個数 を求めよ。

ヒントを見る

。互いに素 のどれでも割り切れない。包除原理で数えるか、公式 を使う。

解答・解説

方針

の素因数は のいずれでも割り切れない数を包除原理で数える。これは に等しい。

解答

⓪ 発想 — どう考え始めるか。 と互いに素とは、 の素因数 のどれでも割り切れないことだ。

だから数えるべきは「 でも でも でも割り切れない数」。裏返して、 または または で割り切れる数を包除原理で数え、全体 から引けばよい。

この計算を整理すると、素因数 ごとに「割り切れない割合 」を掛ける形にまとまる。 という積の公式だ。

定理オイラー関数 ( の相異なる素因数)

① 素因数分解。 。相異なる素因数は

② 公式にあてはめる。 ③ 計算する。 順に 。よって (包除でも:。)

まとめ 互いに素 素因数 で割り切れない。包除原理を整理した公式 。整数(オイラー関数)と数え上げの融合。

発展 — 一歩先へ。 には、 が互いに素なら という乗法性があり、 とも計算できる。さらに約数全体で足すと という美しい等式が成り立つ(分数 を約分して分母で仕分けると見える)。

。包除原理(または積の公式)で

別解

別解 — ごとの繰り返しで数える(苦手な人向け)。 と互いに素かどうかは、 で割り切れるかだけで決まる。そしてこの割り切れ方は ごとに同じパターンを繰り返す。

まず で、 のどれでも割り切れない数を書き出す。

だから、このパターンが 回繰り返される。

包除原理の式を経由しなくても、周期性と手の数え上げだけで同じ に届く。素因数が小さいときは、この“ 周期だけ数える”方法が確実で速い。

ポイント

  • 互いに素 素因数 のどれでも割り切れない。
  • 包除原理を整理すると

よくある間違い

  • 包除で 重の重なり( の倍数)を足し戻し忘れる。
  • 積の公式の に素因数のべき()を入れて などとする( は素因数そのもの )。
  • 「互いに素」を「どちらかが素数」と混同する( は素数でないが と互いに素。共通の素因数がない、が定義)。