p(n) に対するハーディ・ラマヌジャンの漸近公式とは何ですか？

ハーディ・ラマヌジャンの漸近公式は、n が無限大に近づくにつれ、p(n) が「exp(π × sqrt(2n/3)) / (4n × sqrt(3))」に近似的に等しくなることを述べています。1918年に G.H. ハーディとシュリニヴァーサ・ラマヌジャンによって発見されたこの公式は、分割関数の真の成長の度合いを示した最初の公式でした。後にハンス・ラーデマッハーによって、収束する厳密な級数へと拡張されました。

分割数電卓

Q: 分割関数 p(n) とは何ですか？

分割関数 p(n) は、正の整数 n を正の整数の和として表す方法の数を数えるもので、加数の順序は問いません。例えば、4は 4, 3+1, 2+2, 2+1+1, 1+1+1+1 の5通りに書けるため、p(4) は 5 に等しくなります。慣例により p(0) は 1（空の分割）とされます。

Q: ヤング図形（フェラーズ図形）とは何ですか？

ヤング図形（フェラーズ図形とも呼ばれる）は、分割を視覚的に表現したもので、各部分を箱の行として描きます。行は上から下へ、大きい順に並べられます。例えば、7の分割 4+2+1 の場合、図形は4つの箱の行、2つの箱の行、1つの箱の行で構成されます。ヤング図形により、分割の構造的性質を確認したり、共役分割などの操作を定義したりすることが容易になります。

Q: オイラーの分割定理は何を述べていますか？

オイラーの分割定理は、任意の正の整数 n について、「n を異なる部分に分割する方法の数」と「n を奇数の部分に分割する方法の数」が等しいことを述べています。例えば n = 5 の場合、異なる部分への分割は {5}, {4+1}, {3+2} の3通り、奇数の部分への分割は {5}, {3+1+1}, {1+1+1+1+1} の3通りです。この電卓は両方のカウントを表示するため、即座に一致を確認できます。

Q: ラマヌジャンの分割合同式とは何ですか？

ラマヌジャンは分割関数に関する3つの驚くべき合同式を発見しました。すべての非負の整数 k に対して、p(5k+4) は 5 で割り切れ、p(7k+5) は 7 で割り切れ、p(11k+6) は 11 で割り切れるというものです。例：p(4)=5, p(9)=30, p(14)=135 はいずれも 5 で割り切れます。この電卓は、選択した n がこれら3つのパターンのいずれかに一致する場合にフラグを表示します。

Q: p(n) はどのくらいの速さで増加しますか？

p(n) は指数関数よりは遅いですが、どの多項式よりも速く増加します。ハーディ・ラマヌジャンの公式によれば、p(n) はおおよそ exp(π × sqrt(2n/3)) のように増加します。比較として、p(10)=42、p(50)=204,226、p(100)=190,569,292 であり、p(200) はすでに4兆近くに達します。このページの成長チャートは p(n) を対数スケールでプロットしているため、その特徴的な曲線を確認できます。

正の整数の和としてnを表す方法の数、分割数p(n)を計算します。小さいnではヤング図で全分割を列挙し、異なる部分数と奇数部分数を比較し、増加曲線をプロットします。

無料で利用可能登録不要すぐに結果表示

分割数電卓今すぐ無料で試す ▼

分割数電卓を埋め込む

分割数電卓

分割数計算機へようこそ。これは、組合せ論における最も魅力的な対象の一つを詳しく探索できるツールです。任意の非負の整数 $n$ を入力すると、このツールは $p(n)$（順序を問わずに $n$ を正の整数の和として表す方法の数）を計算します。また、異なる部分への分割 $q(n)$、奇数の部分への分割 $o(n)$、ハーディ・ラマヌジャンの漸近推定値、一致するラマヌジャンの合同式を表示し、小さな $n$ に対してはすべての分割をアニメーション付きのヤング図形として描画します。

分割関数 p(n) とは何ですか？

分割関数 $p(n)$ は、順序を無視して、$n$ を正の整数の和として表す方法の数をカウントします。加数の順序だけが異なる2つの和は、同じ分割とみなされます。例えば、4の分割は以下の通りです：

4
3 + 1
2 + 2
2 + 1 + 1
1 + 1 + 1 + 1

これにより、$p(4) = 5$ となります。慣例により $p(0) = 1$ とし、これを「空の分割」と数えます。他の値の例：$p(1) = 1,\ p(5) = 7,\ p(10) = 42,\ p(50) = 204{,}226,\ p(100) = 190{,}569{,}292.$

母関数

レオンハルト・オイラーは、$p(n)$ の母関数が非常に美しいコンパクトな積の形式を持つことを発見しました：

オイラーによる p(n) の母関数

$$\sum_{n=0}^{\infty} p(n)\, x^n \;=\; \prod_{k=1}^{\infty} \frac{1}{1 - x^k}$$

各因子 $1/(1 - x^k) = 1 + x^k + x^{2k} + \ldots$ は、分割において部分 $k$ が何回現れるかの選択に寄与します。これらの因子を掛け合わせることで、すべての分割が正確に一度ずつ生成されます。

ヤング図形（フェラーズ図形）

ヤング図形（フェラーズ図形とも呼ばれる）は、左揃えに並べられた箱の配列として分割を視覚的に表現します。各行が一つの部分に対応し、行は大きい順に並べられます。例えば、7の分割 $4 + 2 + 1$ は次のようになります：

ヤング図形を用いると、分割の恒等式を「見る」ことができます。図形を主対角線に沿って反転させると行と列が入れ替わり、これは共役分割に対応します。この電卓では、$n \le 15$ の場合に $n$ のすべての分割に対してヤング図形を描画します。

オイラーの分割定理

オイラーの最もエレガントな結果の一つに、以下のものがあります：

オイラーの定理（異なる部分 = 奇数の部分）

$$\#\{n \text{ の異なる部分への分割}\} \;=\; \#\{n \text{ の奇数の部分への分割}\}$$

例えば、7を異なる部分に分割する方法は $\{7\}, \{6+1\}, \{5+2\}, \{4+3\}, \{4+2+1\}$ の5通りです。一方、7を奇数の部分に分割する方法は $\{7\}, \{5+1+1\}, \{3+3+1\}, \{3+1+1+1+1\}, \{1+1+1+1+1+1+1\}$ の5通りで、確かに一致します。電卓のサマリーパネルには $q(n)$ と $o(n)$ の両方が表示されるため、選択した $n$ についてこの恒等式を確認できます。

ハーディ・ラマヌジャンの漸近公式

1918年、G.H. ハーディとシュリニヴァーサ・ラマヌジャンは、大きな $n$ に対する $p(n)$ の真の成長率を捉えた最初の公式を証明しました：

ハーディ・ラマヌジャンの漸近公式 (1918年)

$$p(n) \;\sim\; \frac{1}{4n\sqrt{3}} \, \exp\!\left( \pi \sqrt{\tfrac{2n}{3}} \right)$$

この結果は、単位円上の特異点の周りで母関数を積分する「ハーディ・ラマヌジャンの円法」から導かれました。ハンス・ラーデマッハーは1937年にこれを洗練し、厳密に収束する級数へと発展させました。これは解析的数論における最も有名な公式の一つです。

ラマヌジャンの分割合同式

分割数の表を研究していたラマヌジャンは、3つの驚くべき整除性のパターンに気づきました：

ラマヌジャンの合同式

$$p(5k+4) \equiv 0 \pmod{5}, \quad p(7k+5) \equiv 0 \pmod{7}, \quad p(11k+6) \equiv 0 \pmod{11}$$

例えば、$p(4)=5,\ p(9)=30,\ p(14)=135,\ p(19)=490,\ p(24)=1575$ はいずれも 5 で割り切れます。電卓は、選択した $n$ がこれらのクラスのいずれかに該当する場合、自動的にフラグを表示します。

この電卓の使い方

入力ボックスに 500 までの非負の整数を入力するか、有名なクイック例（0, 4, 10, 42, 100, 200）のいずれかをクリックします。
「分割数を計算」をクリックします。ツールが $p(n)$、$q(n)$、$o(n)$、およびハーディ・ラマヌジャンの推定値を計算します。
大きな見出しとして表示される $p(n)$ のヒーローパネルを確認し、サマリーグリッドで異なる部分への分割、奇数の部分への分割、漸近推定値、および誤差率をチェックします。
ヤング図形を確認します。$n \le 15$ の場合、すべての分割がレスポンシブなグリッド内にアニメーション付きのヤング図形として描画されます。
成長チャートを探索します。$k = 0, 1, \ldots, n$ に対する $p(k)$、$q(k)$、およびハーディ・ラマヌジャン曲線がプロットされます。線形スケールと対数スケールを切り替えて、漸近的な形状を確認できます。
成長テーブルを読む。小さな $k$ に対する $p(k), q(k), o(k)$ の値を一行ずつ確認できます。各ラマヌジャン合同式の最初の出現場所を見つけるのに役立ちます。

計算例: 5の分割

$n = 5$ の場合を見てみましょう。すべての分割は以下の通りです：

$5$
$4 + 1$
$3 + 2$
$3 + 1 + 1$
$2 + 2 + 1$
$2 + 1 + 1 + 1$
$1 + 1 + 1 + 1 + 1$

したがって $p(5) = 7$ です。異なる部分への分割は $\{5\}, \{4+1\}, \{3+2\}$ の3通りなので $q(5) = 3$ です。奇数の部分への分割は $\{5\}, \{3+1+1\}, \{1+1+1+1+1\}$ の3通りなので $o(5) = 3$ です。オイラーの定理が成立しています。最後に、$n = 5 \equiv 0 \pmod 5$ は $5k+4$ の形ではないため、5の合同式は適用されませんが、$p(4) = 5$ は $p(5k+4) \equiv 0 \pmod 5$ を満たしています。

p(n) の代表的な値

n	p(n)	備考
0	1	空の分割（慣例）
1	1	唯一の分割: {1}
5	7	最初の素数インデックスの例
10	42	「究極の答え」
20	627
50	204,226
100	190,569,292	1915年にマクマホンが手計算で算出
200	3,972,999,029,388
500	2,300,165,032,574,323,995,027	約 $2.3 \times 10^{21}$

歴史

1750年代: レオンハルト・オイラーが分割を研究し、母関数の恒等式と「異なる = 奇数」の定理を発見。
1915年: パーシー・マクマホン少佐が $n=200$ までの $p(n)$ の表を出版（手計算による）。
1918年: ハーディとラマヌジャンが円法を用いて漸近公式を証明。
1919年: ラマヌジャンが有名な合同式 $p(5k+4),\ p(7k+5),\ p(11k+6)$ を発表。
1937年: ハンス・ラーデマッハーがハーディ・ラマヌジャンの公式を精緻化し、厳密に収束する級数を作成。
2011年: ケン・オノとヤン・ブルーニエが、すべての正の整数において $p(n)$ が有限の代数的和として表現できることを証明。

応用

組合せ論と表現論 — 分割は対称群 $S_n$ の既約表現のインデックスとなります。
統計力学 — 分割数は理想量子ガスのエントロピーや、弦理論の分配関数に現れます。
モジュラー形式 — $p(n)$ の母関数はデデキントのイータ関数と密接に関連しています。
計算機科学 — 部分和問題や整数計画法の列挙ベンチマークで、分割数が頻繁に使用されます。

よくある質問

分割関数 p(n) とは何ですか？

$p(n)$ は、順序を問わずに $n$ を正の整数の和として表す方法の数をカウントします。$p(4) = 5$ となるのは、4が $4$, $3+1$, $2+2$, $2+1+1$, $1+1+1+1$ と書けるためです。慣例により $p(0) = 1$ です。

ヤング図形（フェラーズ図形）とは何ですか？

ヤング図形は分割の視覚的表現です。各部分を左揃えの箱の行とし、上から下へ大きい順に並べます。$4+2+1$ の場合、4個、2個、1個の行を描きます。この電卓では、$n \le 15$ のときにすべての分割に対してヤング図形を描画します。

オイラーの分割定理は何を述べていますか？

任意の正の整数 $n$ について、$n$ を異なる部分に分割する方法の数と、奇数の部分に分割する方法の数は等しいというものです。$n = 5$ の場合：異なる部分は $\{5\}, \{4+1\}, \{3+2\}$、奇数の部分は $\{5\}, \{3+1+1\}, \{1+1+1+1+1\}$ で、どちらも3通りです。

ハーディ・ラマヌジャンの漸近公式とは何ですか？

$n \to \infty$ のとき $p(n) \sim \frac{1}{4n\sqrt{3}} \exp\!\left(\pi \sqrt{2n/3}\right)$ となることを述べています。これは1918年に G.H. ハーディとシュリニヴァーサ・ラマヌジャンによって発見された、$p(n)$ の正確な成長率を記述した最初の公式です。

ラマヌジャンの分割合同式とは何ですか？

3つの驚くべき整除性のパターン、$p(5k+4) \equiv 0 \pmod 5$、$p(7k+5) \equiv 0 \pmod 7$、および $p(11k+6) \equiv 0 \pmod{11}$ のことです。例えば $p(4)=5, p(9)=30, p(14)=135$ はいずれも 5 で割り切れます。

p(n) はどのくらいの速さで増加しますか？

p(n) は指数関数よりは緩やかですが、どの多項式よりも速く、おおよそ $\exp(\pi \sqrt{2n/3})$ のように増加します。比較として、$p(10)=42$、$p(50)=204{,}226$、$p(100)=190{,}569{,}292$、$p(200) \approx 4 \times 10^{12}$ です。チャートの対数スケール切り替えを使用して、この成長曲線を確認してください。

追加リソース

このコンテンツ、ページ、またはツールを引用する場合：

"分割数電卓"（https://MiniWebtool.com/ja/分割数計算機/）、MiniWebtool、https://MiniWebtool.com/

miniwebtool チーム作成。更新日: 2026年4月19日

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

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

分割数電卓

分割数電卓

分割関数 p(n) とは何ですか？

母関数

ヤング図形（フェラーズ図形）

オイラーの分割定理

ハーディ・ラマヌジャンの漸近公式

ラマヌジャンの分割合同式

この電卓の使い方

計算例: 5の分割

p(n) の代表的な値

歴史

応用

よくある質問

分割関数 p(n) とは何ですか？

ヤング図形（フェラーズ図形）とは何ですか？

オイラーの分割定理は何を述べていますか？

ハーディ・ラマヌジャンの漸近公式とは何ですか？

ラマヌジャンの分割合同式とは何ですか？

p(n) はどのくらいの速さで増加しますか？

追加リソース

シーケンスツール:

人気・最新のツール:

Pro なら全ファイルをまとめて 1 つの ZIP でダウンロード