技能一覧 › 大学数学 離散数学・組合せ論

分割数と分割の母関数

整数 の分割の個数 を、ヤング図形や の係数として求められる。部分の大きさ・個数に制限のある分割の数を求め、「相異なる部分への分割の数 = 奇数の部分への分割の数」を使える

前提

この技能までの道筋(60 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる (算数 場合の数)
  2. 積の法則と和の法則 (算数 場合の数)
  3. 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
  4. 順列・円順列・重複順列 (数学A 場合の数と確率)
  5. 組合せ (数学A 場合の数と確率)
  6. 同じものを含む順列・重複組合せ (数学A 場合の数と確率)
  7. 分数のたし算・ひき算 (算数 計算と数のきまり)
  8. 小数の四則計算 (算数 計算と数のきまり)
  9. 正負の数の加法・減法 (中学数学 数と式)
  10. 分数のかけ算・わり算 (算数 計算と数のきまり)
  11. 四則の混じった計算の順序 (算数 計算と数のきまり)
  12. 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
  13. 分配法則を使った計算のくふう (算数 計算と数のきまり)
  14. 文字式の計算(同類項・分配法則) (中学数学 数と式)
  15. 乗法公式による展開 (中学数学 数と式)
  16. 因数分解 (中学数学 数と式)
  17. 3 次式までの展開と因数分解 (数学I 数と式)
  18. 微分係数と導関数の定義 (数学II 微分法と積分法)
  19. 多項式の微分 (数学II 微分法と積分法)
  20. 小数と分数のまじった計算 (算数 計算と数のきまり)
  21. 逆算(□ を求める) (算数 計算と数のきまり)
  22. 1 次方程式の解き方 (中学数学 方程式)
  23. 比例・反比例の式とグラフ (中学数学 関数)
  24. 約数の見つけ方 (算数 整数の性質)
  25. 素因数分解と約数の個数 (算数 整数の性質)
  26. 平方根の意味と根号の簡単化 (中学数学 数と式)
  27. 関数 の式と変域 (中学数学 関数)
  28. 平方完成と 2 次関数のグラフ (数学I 2次関数)
  29. 2 次不等式 (数学I 2次関数)
  30. 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
  31. 増減表と極値 (数学II 微分法と積分法)
  32. 等間隔にならんだ数の和 (算数 計算と数のきまり)
  33. 等差・等比数列の和と Σ (数学B 数列)
  34. 数列の極限 (数学III 極限)
  35. 関数の極限 (数学III 極限)
  36. 関数の連続性と中間値の定理 (数学III 極限)
  37. 平均値の定理 (数学III 微分法)
  38. 積と商の微分 (数学III 微分法)
  39. 第 2 次導関数とグラフの凹凸 (数学III 微分法)
  40. 合成関数の微分 (数学III 微分法)
  41. 円の周の長さと面積 (算数 平面図形)
  42. おうぎ形の弧の長さと面積 (算数 平面図形)
  43. 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
  44. 三角形・四角形の面積 (算数 平面図形)
  45. 三平方の定理 (中学数学 相似と三平方の定理)
  46. 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
  47. 弧度法と単位円による三角関数 (数学II 三角関数)
  48. の極限 (数学III 極限)
  49. 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
  50. 三角関数の導関数 (数学III 微分法)
  51. 根号の乗除と加減 (中学数学 数と式)
  52. 指数の拡張と指数関数 (数学II 指数関数と対数関数)
  53. 対数の定義と性質 (数学II 指数関数と対数関数)
  54. 自然対数の底 (数学III 極限)
  55. 指数関数・対数関数の導関数 (数学III 微分法)
  56. 増減・凹凸・漸近線とグラフ (数学III 微分法)
  57. テイラー展開 (大学数学 微分積分)
  58. 無限等比級数と無限級数 (数学III 極限)
  59. べき級数と収束半径 (大学数学 微分積分)
  60. 母関数と係数の取り出し (大学数学 離散数学・組合せ論)

説明

正の整数 を、順序を区別せずに正の整数の和として表す方法を の分割といい、その個数を と書きます(例: なので )。この技能を使うと、 を無限積 の の係数として求められます。「部分の大きさは 以下」「同じ部分は使わない」などの制限があっても、母関数の因子を取り替えるだけで数えられます。さらに、ヤング図形による言い換えや「相異なる部分への分割の数 奇数の部分への分割の数」を使って、数えにくい分割を数えやすい分割に置き換えられます。

なぜそうしてよいのか

分割では和の順序を区別しないので、分割は「大きさ の部分を何個使うか」で決まります。その個数を (0 以上の整数)とすると、 の分割は を満たす組 と 1 対 1 に対応します。大きさ の部分を 個使うことを で表すと、 を自由に選ぶ因子は です。これらを掛けて展開すると、各因子から 1 項ずつ選ぶ選び方の 1 つ 1 つが組 に対応し、その項は になります。よって です( とします)。 の因子は次数 以下では と同じなので、 の係数を求めるには の因子だけ掛ければ十分で、無限積でも係数はきちんと決まります。制限があるときは因子を取り替えます。部分 を使えないなら因子は 、高々 1 回なら 、使える部分を に限るなら です。

ヤング図形とは、分割の各部分を大きい順に並べ、上から 個ずつ箱を左詰めで並べた図です。この図を対角線で折り返す(行と列を入れ替える)と、別の分割の図になります。折り返しで「最大の部分」と「部分の個数」が入れ替わるので、「最大の部分が 以下の分割の数」と「部分の個数が 以下の分割の数」は等しくなります。

相異なる部分への分割の母関数は で、各因子は と書けます。 の因子をすべて掛けると、分子は偶数 についての の積、分母は についての の積になります。 の偶数の分は約分で消え、残りは です。分子に残った因子は次数 以下では と同じなので、 として の係数を比べると、 が得られます。右辺は奇数の部分だけを使う分割の母関数なので、2 つの分割の数は等しくなります。

手順

  1. 数える分割の条件を、各部分の大きさ を使う個数 の条件に言い換える(必要ならヤング図形の折り返しや「相異なる 奇数」で数えやすい形に直す)

  2. 各 に因子を対応させる。自由に使えるなら 、高々 1 回なら 、使えないなら 。 の因子は省いてよい

  3. 因子をすべて掛けて母関数を作り、求める個数を と表す

  4. 係数を計算する。小さい因子の積の係数を先に求めておき(例: )、残りの因子から選ぶ項ごとに場合分けして足し合わせる

例題

の分割のうち、どの部分も 以下であるものの個数を求めよ。

例題の解答

手順 1: 使える部分は だけです。それぞれを使う個数を (0 以上の整数)とすると、 を満たす組の個数を求めればよいことになります。

手順 2: 部分 は何個でも使えるので、因子はそれぞれ です。 の部分は使えないので因子は です。

手順 3: 求める個数は です。

手順 4: まず を求めます。これは の解の個数で、 のそれぞれに対して がただ 1 つ決まるので、 です。次に因子 から選ぶ項 で場合分けします。
- のとき、 なので 個
- のとき、 なので 個
- のとき、 なので 個

では となり解はありません。合計は 個です。

確認として書き出すと、 の 10 個です( は を 個並べたもの)。なお、ヤング図形の折り返しにより、これは「部分の個数が 以下の の分割の数」とも等しくなります。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること