メビウスの反転公式の証明と応用
前半は準備(メビウス関数の定義,簡単な性質)です。後半はメビウスの反転公式という美しい定理とその応用例を解説します。
メビウス関数
メビウス関数の性質
メビウスの反転公式
メビウスの反転公式の応用例
メビウス関数
まずメビウス関数 を定義します。正の整数を与えると のいずれかを返す関数です:
-
-
がある素数 で 回割り切れるとき
-
が相異なる 個の素数の積であるとき
例えば , , , などです。
メビウス関数の性質
以上の任意の整数 について,
とは, の全ての約数 について和を取るという意味です。 証明は定義に従って計算するだけです。
の素因数分解を とする。
左辺の和について, が同じ素因数を つ以上含む項は消えるので,
素因数を含まないもの: (値は )
素因数をちょうど つ含むもの: の 個(値は全て )
素因数をちょうど つ含むもの: の 個(値は全て )
よって,左辺は
ちなみに のとき,定理の式の左辺の値は になります。
メビウスの反転公式
を正の整数から実数(複素数でもよい)への関数とします。
メビウスの反転公式:
ならば,
「 の和」という形の式を「 の和」という形の式に「反転」できるという公式です。
のとき,
ただし,最後の式の和は「 が の約数かつ が の約数,を満たす全ての と のペア」について取る。
を固定して考えると, の動く範囲は の倍数かつ の約数。つまり の動く範囲は の約数。つまり が登場する部分からは
という項が出てくる。ただし, は の約数を動く。そして, のとき,さきほど述べたメビウスの関数の性質によりこの和は である!
よって, のときの項: が残る。
メビウスの反転公式の応用例
から までの整数の中で と互いに素なものの数 は, の素因数分解を とすると,
メビウスの反転公式はより一般の半順序集合に拡張できます。そこから包除原理を導出したりできます(奥が深い)。