2010年から · 毎月200万回以上のツール利用を支えています
2010年から
Chrome に追加

私のツールボックス

自動モード

保存したツールはまだありません。

プレミアムバージョンにアップグレード
関連ツール
オイラーのトーシェント関数電卓分割数電卓素因数分解電卓素因数電卓素数判定ツールゴールドバッハ予想検証ツール群論の位数電卓
ホームページ > 数学 > 基本的な数学操作
 

メビウス関数電卓

任意の正の整数についてメビウス関数を計算し、-1、0、+1のいずれかを素因数分解と平方自由性の分析、段階的な説明、メルテンス関数、近隣の整数の色分けヒートマップとともに返します。

無料で利用可能登録不要すぐに結果表示
メビウス関数電卓今すぐ無料で試す ▼
クイック例:
μ(
1 以上の正の整数 n を入力してください（最大 1013）。数字のみを入力してください。カンマやスペースは自動的に除去されます。
μ(n) の定義
+1: n が平方因子を持たず、素因数の数が偶数の場合
−1: n が平方因子を持たず、素因数の数が奇数の場合
0: n が素数の2乗で割り切れる場合
平方因子なし · 偶数 k 平方因子なし · 奇数 k 平方因子あり

メビウス関数電卓を埋め込む

メビウス関数電卓

メビウス関数電卓は、1013 までの任意の正の整数 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つのケースの概要

+1
平方因子なし · 偶数 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
0
平方因子あり
例: 4=2², 8=2³, 9=3², 12=2²·3, 18=2·3²
▦
密度
正の整数の約 6/π² ≈ 60.8% が平方因子を持ちません

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

n素因数分解μ(n)理由
11+1基本ケース（空積）
22−1素数1個 · 平方因子なし
33−1素数1個 · 平方因子なし
42²02² で割り切れる
55−1素数1個 · 平方因子なし
62·3+1素数2個 · 平方因子なし
77−1素数1個 · 平方因子なし
82³02² で割り切れる
93²03² で割り切れる
102·5+1素数2個 · 平方因子なし
122²·302² で割り切れる
302·3·5−1素数3個 · 平方因子なし
2102·3·5·7+1素数4個 · 平方因子なし
23102·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 以下の平方因子を持たない整数の数

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

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

開発者向け API が利用できます: このツールをアプリ、自動化、エージェントから 1 回の JSON HTTP リクエストで実行できます。 API ドキュメントを見る

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

基本的な数学操作:

人気・最新のツール:

天井関数と床関数 電卓誤差関数電卓ガンマ関数電卓すべて見る →
ホームページ > 数学 > 基本的な数学操作 > メビウス関数電卓