メビウス関数電卓

任意の正の整数に対してメビウス関数 μ(n) を計算します。素因数分解、平方因子をもたない数の分析、ステップごとの解説、メルテンス関数 M(n)、および近傍の整数を示すカラーコード化された μ 値ヒートマップと共に、−1、0、+1 の値を即座に返します。

メビウス関数電卓

Embed メビウス関数電卓 Widget

メビウス関数電卓

メビウス関数電卓は、10¹³ までの任意の正の整数 n に対して $ \mu(n) $ を計算します。数値を入力すると、即座にその μ 値（−1、0、または +1）、詳細な素因数分解、平方因子の有無、メルテンス関数 $ M(n) = \sum_{k=1}^{n}\mu(k) $、近傍整数の μ 値を色分けしたヒートマップ、および詳細なステップバイステップの解説を表示します。数論を学ぶ学生、競技数学の学習者、そして平方因子を持たない整数、メビウスの反転公式、あるいはリーマンゼータ関数との関連性を探求するすべての人向けに設計されています。

メビウス関数とは？

メビウス関数（$ \mu(n) $ と表記）は、正の整数に対して以下のように定義されます：

$$\mu(n) = \begin{cases} +1 & \text{if } n = 1 \\ +1 & n \text{ が平方因子を持たず、素因数の個数が偶数の場合} \\ -1 & n \text{ が平方因子を持たず、素因数の個数が奇数の場合} \\ \phantom{+}0 & n \text{ が平方因子を持つ場合 (ある素数 } p \text{ に対して } p^2 \mid n \text{)} \end{cases}$$

1832年にドイツの数学者アウグスト・フェルディナント・メビウスによって導入されたこの一見単純な関数は、解析的および乗法的数論において最も重要なツールの1つです。この関数は乗法的であり、$ \gcd(m, n) = 1 $ のとき常に $ \mu(mn) = \mu(m)\mu(n) $ が成り立ちます。

3つのケースの概要

平方因子なし · 偶数 k

例: 1, 6=2·3, 10=2·5, 15=3·5, 21=3·7

−1

平方因子なし · 奇数 k

例: 2, 3, 5, 7, 30=2·3·5, 42=2·3·7

平方因子あり

例: 4=2², 8=2³, 9=3², 12=2²·3, 18=2·3²

▦

密度

正の整数の約 6/π² ≈ 60.8% が平方因子を持ちません

小さい n に対する μ(n) の値

n	素因数分解	μ(n)	理由
1	1	+1	基本ケース（空積）
2	2	−1	素数1個 · 平方因子なし
3	3	−1	素数1個 · 平方因子なし
4	2²	0	2² で割り切れる
5	5	−1	素数1個 · 平方因子なし
6	2·3	+1	素数2個 · 平方因子なし
7	7	−1	素数1個 · 平方因子なし
8	2³	0	2² で割り切れる
9	3²	0	3² で割り切れる
10	2·5	+1	素数2個 · 平方因子なし
12	2²·3	0	2² で割り切れる
30	2·3·5	−1	素数3個 · 平方因子なし
210	2·3·5·7	+1	素数4個 · 平方因子なし
2310	2·3·5·7·11	−1	素数5個 · 平方因子なし

主要な恒等式と定理

名称	公式	意義
約数和の恒等式	$ \sum_{d \mid n} \mu(d) = [n = 1] $	μ は定数関数 1 のディリクレ逆元
メビウスの反転公式	$ g(n) = \sum_{d \mid n} f(d) \iff f(n) = \sum_{d \mid n} \mu(d)\,g(n/d) $	約数和 g から元の関数 f を復元
オイラーの φ 関数との関係	$ \varphi(n) = \sum_{d \mid n} \mu(d)\,\frac{n}{d} $	φ を μ を用いて表現
リーマンゼータ関数	$ \dfrac{1}{\zeta(s)} = \sum_{n=1}^{\infty} \dfrac{\mu(n)}{n^{s}} $	μ をゼータ関数と直接結びつける
メルテンス関数	$ M(n) = \sum_{k=1}^{n} \mu(k) $	その成長率はリーマン予想と同値
平方因子を持たない整数の密度	$ \lim_{n \to \infty} \dfrac{Q(n)}{n} = \dfrac{6}{\pi^2} $	Q(n) は n 以下の平方因子を持たない整数の数

メビウス関数電卓の使い方

正の整数 n を入力フィールドに入力します。最大 $10^{13}$ までの値をサポートしています。数字のみを入力してください。カンマやスペースは自動的に取り除かれます。
「μ(n) を計算する」をクリックします（またはクイック例を選択します）。ツールはミリ秒単位で因数分解を行い、μ を決定します。
メインカードを確認します。μ(n) の値（−1、0、または +1）、平方因子の有無、および異なる素因数の数 ω(n) が表示されます。
素因数分解チップを調べます。各素因数が丸いチップとして表示されます。赤い枠で「!」マークが付いたチップは、その素因数が2乗以上で含まれている（μ = 0 となる理由）ことを示します。
μ ヒートマップをスキャンします。n 付近の整数の値を一覧できます。緑色のセルは +1、紫色のセルは −1、灰色のセルは 0 です。セルをクリックすると、その整数の計算を再実行できます。
ステップバイステップ解説を確認します。因数分解、平方因子のチェック、素因数のカウント、そして最終的な公式 $ \mu(n) = (-1)^k $ の適用プロセスが表示されます。

メビウス関数の応用

純粋数論以外でも、μ(n) は組合せ論（円分多項式、ネックレスの数え上げ、リンドンワード）、暗号学（原始根のテスト、素数判定のヒューリスティック）、物理学（分配関数やウィッテンゼータ関数）、そして計算機科学（約数束上の包含排除、高速メビウス変換）に現れます。約数和を「元に戻す」必要がある場合や、平方因子を持たない制約を課す必要がある場合、常に μ が鍵となります。

よくある質問 (FAQ)

メビウス関数 μ(n) とは何ですか？

メビウス関数 μ(n) は、1832年にアウグスト・メビウスによって導入された、正の整数に対して定義される数論的関数です。3つの値を取ります：n = 1 のとき、または n が偶数個の異なる素因数を持つ平方因子を持たない正の整数のとき μ(n) = 1。n が奇数個の異なる素因数を持つ平方因子を持たない整数のとき μ(n) = −1。n が素数の2乗で割り切れる（平方因子を持つ）とき μ(n) = 0 です。

n が平方因子を持たない（squarefree）とはどういう意味ですか？

正の整数 n が平方因子を持たない（平方フリーとも呼ばれます）とは、その素因数分解においてどの素数も2回以上現れないことを意味します。言い換えれば、n はいかなる素数の平方でも割り切れません。例えば、30 = 2 × 3 × 5 は平方因子を持ちませんが、12 = 2² × 3 は 2² = 4 で割り切れるため平方因子を持ちます。平方因子を持たない整数の密度は正確に 6/π² ≈ 60.79% です。

なぜ平方因子を持つ n に対して μ(n) = 0 なのですか？

メビウス関数は、n が繰り返される素因数を持つ場合にゼロになるように設計されており、「乗法的な包含排除」の指標として機能します。この定義により、μ は定数関数 1 のディリクレ逆元となり、メビウスの反転公式の基礎となり、Σμ(d) = [n = 1]（d は n の約数）のような重要な恒等式が成立することを保証します。ゼロのケースがないと、これらの中心的な定理は成立しません。

数学においてメビウス関数はどのように使われますか？

μ(n) は解析的数論の中心的な存在です。メビウスの反転公式（約数和から元の関数 f を復元する）、リーマンゼータ関数と結びつける 1/ζ(s) = Σ μ(n)/nˢ という公式、オイラーの φ 関数の表現 φ(n) = Σ μ(d)·(n/d)、平方因子を持たない整数のカウントなどに現れます。メルテンス関数 M(n) = Σ μ(k) (k ≤ n) の挙動は、リーマン予想と密接に関連しています。

メルテンス関数 M(n) とは何ですか？

メルテンス関数 M(n) はメビウス関数の累積和です：M(n) = μ(1) + μ(2) + … + μ(n)。μ(k) は3つの値しか取りませんが、M(n) は不規則に変動します。小さい n では正の値を取りますが、最終的には任意に大きな負の値や正の値を取ります。M(n) = O(n^(1/2 + ε)) を証明することは、リーマン予想を証明することと同値です。このツールでは、n ≤ 200,000 の場合に M(n) を μ(n) と共に表示します。

メビウス関数は乗法的ですか？

はい。メビウス関数は乗法的です：gcd(m, n) = 1 のとき常に μ(mn) = μ(m)·μ(n) が成り立ちます。ただし、完全乗法的ではありません。例えば μ(4) = 0 ですが、μ(2)·μ(2) = 1 であるため、μ(4) ≠ μ(2)·μ(2) となります。この区別は、μ の乗法性が互いに素な引数に対してのみ保持されるため重要です。

この電卓がサポートする最大の n は？

この電卓は 10¹³ までの n を受け付けます。因数分解には √n までの試し割りを使用し、ほとんどの入力で13桁の数値を1秒未満で処理します。非常に大きな半素数（近い値の2つの素数の積）は最も時間がかかりますが、応答性は維持されます。メルテンス関数 M(n) は、高速なレスポンスを維持するため、n ≤ 200,000 の場合にのみ計算されます。

なぜ μ(1) = 1 なのですか？

μ(1) = 1 という値は、1 を素数の「空積」として扱うことから来ています。異なる素因数の数は 0 個であり、(−1)⁰ = 1 となります。また、μ が乗法的であるため（μ(1·n) = μ(1)·μ(n) より μ(1) = 1 が強制される）、および n の約数 d に対するディリクレ恒等式 Σμ(d) が n = 1 のときのみ 1 になるようにするためにも必要です。

このコンテンツ、ページ、またはツールを引用する場合は、次のようにしてください：

"メビウス関数電卓"（https://MiniWebtool.com/ja/メビウス関数電卓/） MiniWebtool からの引用、https://MiniWebtool.com/

by miniwebtool チーム. 更新日: 2026-04-18

また、AI 数学ソルバー GPT を使って、自然言語による質問と回答で数学の問題を解決することもできます。

その他の関連ツール:

メビウス関数電卓

メビウス関数電卓

メビウス関数とは？

3つのケースの概要

小さい n に対する μ(n) の値

主要な恒等式と定理

メビウス関数電卓の使い方

メビウス関数の応用

よくある質問 (FAQ)

その他の関連ツール:

基本的な数学操作:

おすすめ:

名称	公式	意義
約数和の恒等式	\( \sum_{d \mid n} \mu(d) = [n = 1] \)	μ は定数関数 1 のディリクレ逆元
メビウスの反転公式	\( g(n) = \sum_{d \mid n} f(d) \iff f(n) = \sum_{d \mid n} \mu(d)\,g(n/d) \)	約数和 g から元の関数 f を復元
オイラーの φ 関数との関係	\( \varphi(n) = \sum_{d \mid n} \mu(d)\,\frac{n}{d} \)	φ を μ を用いて表現
リーマンゼータ関数	\( \dfrac{1}{\zeta(s)} = \sum_{n=1}^{\infty} \dfrac{\mu(n)}{n^{s}} \)	μ をゼータ関数と直接結びつける
メルテンス関数	\( M(n) = \sum_{k=1}^{n} \mu(k) \)	その成長率はリーマン予想と同値
平方因子を持たない整数の密度	\( \lim_{n \to \infty} \dfrac{Q(n)}{n} = \dfrac{6}{\pi^2} \)	Q(n) は n 以下の平方因子を持たない整数の数