オイラーの分割恒等式

オイラーの分割恒等式

オイラーの分割恒等式は、数論および組合せ論において非常に重要な定理です。この定理は、ある自然数を「互いに異なる自然数に分割する方法の個数」と「奇数の自然数に分割する方法の個数」が等しいことを示しています。これが成立することは、数学的理論の構築や組合せ的考察において大きな意味を持ちます。

分割の具体例

例えば、自然数 8 を互いに異なる自然数に分割する方法はいくつか存在します。以下のような分割方法が考えられます：

• - 8 = 1 + 2 + 5
• - 8 = 1 + 3 + 4
• - 8 = 1 + 7
• - 8 = 2 + 6
• - 8 = 3 + 5
• - 8 = 8

これらの分割はすべて異なる自然数を使用しています。また、同じ8を奇数に分割する方法も下記の通りであり、これもまた数が同じく6通り存在します：

• - 8 = 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1
• - 8 = 1 + 1 + 1 + 1 + 1 + 3
• - 8 = 1 + 1 + 1 + 5
• - 8 = 1 + 1 + 3 + 3
• - 8 = 1 + 7
• - 8 = 3 + 5

これらの数をまとめると、自然数 n を異なる数で分割する方法の個数は Q(n) という記号で表され、次のように続きます：

• - Q(1) = 1
• - Q(2) = 1
• - Q(3) = 2
• - Q(4) = 2
• - Q(5) = 3
• - Q(6) = 4
• - Q(7) = 5
• - Q(8) = 6
• - Q(9) = 8
• - Q(10) = 10

母関数による表現

オイラーは、これら2つの分割方法の個数が等しいことを母関数を用いて証明しました。異なる自然数に分割する方法の個数を Pd(n)、奇数に分割する方法の数を Po(n) とすると、以下のように定義されます。

異なる数の分割を表す母関数

$$
1 + \sum_{n=1}^{\infty} P_d(n)x^{n} = \prod_{m=1}^{\infty}(1+x^{m})
$$

奇数の分割を表す母関数

$$
1 + \sum_{n=1}^{\infty} P_o(n)x^{n} = \prod_{m=1}^{\infty} \left(1 + \sum_{k=1}^{\infty} x^{k(2m-1)}\right)
$$

オイラーの分割恒等式は次のように書かれます。

$$
\prod_{m=1}^{\infty}(1+x^{m}) = \prod_{m=1}^{\infty}\frac{1}{1-x^{2m-1}}
$$

証明の概要

この恒等式を証明するためには、母関数の左辺を変形して右辺を得る過程が必要です。この過程では、異なる数の分割における偶数を半分に分割する変換と、奇数の分割における変換が用いられます。このようにして、両者の間に一対一の対応を見出し、その結果、分割方法の個数が等しいことが示されます。

例：分割の変換

例として、8を分割する場合、以下のような変換が行えます。

• - 8を異なる数で分割する際には、数をみてそれを変換する手順があり、同様に奇数の分割にも変換が適用されます。これにより、異なる数の分割の方法と奇数の分割の方法が対照的に現れ、最終的にそれらが等しいことが示されます。

このように、オイラーの分割恒等式は単に数に関する理解を深めるだけではなく、数学的思考を促し、数理的真実を探求するための手段として機能します。

もう一度検索