組分けの問題は,\ 主に次の4条件で求め方が変わり,\ 非常にややこしい. \\[1zh] [1]\ \ \textbf{「\textcolor{magenta}{モノが区別できるか否か}」} \\[.5zh] [2]\ \ \textbf{「\textcolor{cyan}{組が区別できるか否か}」} \\[.5zh] [3]\ \ \textbf{「\textcolor[named]{ForestGreen}{組の要素の個数が決まっているか否か}」} \\[.5zh] [4]\ \ \textbf{「\textcolor{purple}{要素の個数が0個の組があってもよいか}」} \\\\ 出題する意味があるのは以下の6パターンであり,\ 大筋では右のように求めることができる. \\[.2zh] しかし,\ 必ずしも単純ではないので,\ 実際の問題で求め方を確認してほしい. \\\\ モノの区別}} & \textbf{\textcolor{cyan}{組の区別}} & \textbf{\textcolor[named]{ForestGreen}{要素の個数}} & & \\\hline ○ & ○ & ○ & $\bm{\textcolor{blue}{組合せ}}$ & $\bm{\textcolor{red}{\kumiawase nr}}$ \\ ○ & × & ○ & $\bm{\textcolor{blue}{組合せ\div 重複度}}$ & $\bm{\textcolor{red}{\kumiawase nr\div p\kaizyou}}$ \\ ○ & ○ & × & $\bm{\textcolor{blue}{重複順列}}$ & $\bm{\textcolor{red}{n^r}}$ \\ ○ & × & × & $\bm{\textcolor{blue}{重複順列\div 重複度}}$ & $\bm{\textcolor{red}{n^r\div p\kaizyou}}$ \\ × & ○ & × & $\bm{\textcolor{blue}{重複組合せ}}$ & $\bm{\textcolor{red}{\Kumiawase nr}}$ \\ × & × & × & $\bm{\textcolor{blue}{重複組合せ\div 重複度}}$ & $\bm{\textcolor{red}{\Kumiawase nr\div p\kaizyou}}{異なる}\,9個の玉を次のように分ける方法は何通りあるか. \\[1zh] \hspace{.5zw} (1)\ \ 3個ずつ3人に分ける. \\[.8zh] \hspace{.5zw} (2)\ \ 4個,\ 3個,\ 2個の3組に分ける. \\[.8zh] \hspace{.5zw} (3)\ \ 3個ずつ3組に分ける. \\[.8zh] \hspace{.5zw} (4)\ \ 5個,\ 2個,\ 2個の3組に分ける. \\ 場合の数分野では,\ 特に断りがない限り,\ 人は区別できると考える. \\[.2zh] よって,\ (1)は\bm{「モノ(玉)の区別可」「組(人)の区別可」「要素の個数固定」}型である. \\[.2zh] 組分けの中で最も単純な型であり,\ \text{\textbf{A君,\ B君,\ C君に順番に3個ずつ分ける}と考えればよい.} \\[1zh] まず,\ \text{A}君には\dot{異}\dot{な}\dot{る}\,9個の玉から3個選んで分けるから \kumiawase93=84\ (通り) \\[.2zh] \dot{異}\dot{な}\dot{る}\,n個のものの中からr個を選ぶときの組合せの総数が\,\kumiawase nr\,なのであった. \\[.2zh] \text{B}君には残りの6個の玉から3個選んで分けることになるから \kumiawase63=20\ (通り) \\[.2zh] \text{B君に分ける3個を選んだ時点で,\ C}君に分ける3個が自動的に決まる. \\[.2zh] つまり,\ \text C君への分け方は\,\kumiawase33=1通りなので,\ 考慮してもしなくても同じである. \\[1zh] (2)は3人ではなく単に3組に分けるなので,\ 「組の区別不可」型のように思える. \\[.2zh] しかし,\ \bm{要素の個数が違えば組は区別できる}から,\ 実は(1)と同じ型である. \\[.2zh] 簡単のため,\ 異なる3個の玉を2個と1個の2つの組に分けるとしよう. \\[.2zh] 3個から2個選べば残りの1個は自動的に決まるから,\ \kumiawase32=3通りの分け方がある. \\[.2zh] この3通りをすべて書き出してみると (\maru1\maru2,\ \maru3),\ \ (\maru1\maru3,\ \maru2),\ \ (\maru2\maru3,\ \maru1) \\[.2zh] このように,\ \bm{要素の個数が異なる場合,\ 順番に選んでいけば組分けが一致する可能性はない.} \\[.2zh] これは,\ (1)と同じく,\ 組が区別できると考えてよいことを意味している. \\[.2zh] なお,\ 少ない個数の組になるものから選んだ方が計算が楽である. \\[.2zh] そこで,\ 解答ではまず9個から2個を選び,\ さらに残りの7個から3個選んでいる. \\[1zh] 一方,\ (3)のように,\ \bm{要素の個数が同じ組は区別できない.} \\[.2zh] よって,\ (3)は\bm{「モノ(玉)の区別可」「組の区別不可」「要素の個数固定」}型である. \\[.2zh] 簡単のため,\ 異なる6個の玉を2個ずつの3組に分けるとしよう. \\[.2zh] 順番に2個ずつ選んでいくと,\ \kumiawase62\times\kumiawase42=15\times6=90通りの分け方がある. \\[.2zh] この90通りの中には,\ 以下の6通りが含まれているはずである. この6通りは,\ \text{A君,\ B君,\ C君に分ける(組が区別できる)場合には当然別物として数える.} \\[.2zh] しかし,\ 単に3組に分けるだけの組分けならば,\ どれも同じで1通りの扱いとなる. \\[.2zh] このように,\ \bm{要素の個数が等しい組がある場合には重複が生じる}のである. \\[.2zh] 本問のように,\ 要素の個数が等しい組が3つある場合,\ その並べ方である3\kaizyou=6通りが重複する. \\[.2zh] つまり,\ \bm{組が区別できる場合とできない場合が常に3\kaizyou:1=6:1で対応}する. \\[.2zh] 結局,\ \bm{一旦組が区別できると考えて3個ずつ選び,\ 後で重複度3\kaizyou\,で割ればよい.} \\[1zh] (4)\ \ 以下のように,\ \bm{2個の2組のみに重複度2\kaizyou\,が生じる.} \\[.5zh] {異なる}\,6個の玉を次のように分ける方法は何通りあるか. \\[1zh] \hspace{.5zw} (1)\ \ 2人に分ける.\ ただし,\ 0個の人がいてもよい. \\[.8zh] \hspace{.5zw} (2)\ \ 2人に分ける.\ ただし,\ 0個の人はいないものとする. \\[.8zh] \hspace{.5zw} (3)\ \ 3人に分ける.\ ただし,\ 0個の人がいてもよい. \\[.8zh] \hspace{.5zw} (4)\ \ 3人に分ける.\ ただし,\ 0個の人はいないものとする. \\[.8zh] \hspace{.5zw} (5)\ \ 2組に分ける. ただし,\ 0個の組があってもよい. \\[.8zh] \hspace{.5zw} (6)\ \ 2組に分ける. ただし,\ 0個の組はないものとする.\\[.8zh] \hspace{.5zw} (7)\ \ 3組に分ける. ただし,\ 0個の組があってもよい. \\[.8zh] \hspace{.5zw} (8)\ \ 3組に分ける. ただし,\ 0個の組はないものとする.\\ (1)\,～\,(4)は,\ \bm{「モノの区別可」「組の区別可」「要素の個数不定」}型である. \\[.2zh] (5)\,～\,(8)は,\ \bm{「モノの区別可」「組の区別不可」「要素の個数不定」}型である. \\[.2zh] 解答では数式のみ示したが,\ 記述試験ではなぜその式になるのかを日本語で説明しておくべきである. \\[1zh] (1)\ \ 要素の個数が不定の場合,\ 1人1人にモノを対応させていくことができない. \\[.2zh] \phantom{(1)}\ \ そこで,\ 逆に\bm{1つ1つのモノに人を対応させていく}ことを考える.\ 人数は固定されている. \\[.2zh] \phantom{(1)}\ \ \text{A,\ B}の2人に分ける場合,\ \bm{1個の玉につき\textbf{AかB}かの2通り}がある. \\[.2zh] \phantom{(1)}\ \ 6個の玉があるから,\ 2\cdot2\cdot2\cdot2\cdot2\cdot2=2^6\,通りとなる. \\[.2zh] \phantom{(1)}\ \ これは,\ 以下のように\text{AとB}\,(計6個)の並べ方が何通りあるかを考えることに等しい. \\[.2zh] \phantom{(1)}\ \ つまりは,\ 異なる2個(\text{A,\ B})のものから重複を許して6個取って並べる\bm{重複順列}である. (2)\ \ 要素の個数が不定の場合,\ 0個の組が許されるか否かという観点からも出題される. \\[.2zh] \phantom{(1)}\ \ 0個の組不可の場合は,\ \bm{0個の組許可の場合(重複順列)から0個の組ができる場合を除く.} \\[.2zh] \phantom{(1)}\ \ 本問の場合,\ 6個の玉すべてを\text{Aに分ける場合とBに分ける場合}の2通りを除く必要がある. \\[1zh] (4)\ \ \bm{[1]\ ちょうど2人が0個の場合}\ と\ \bm{[2]\ 1人のみが0個の場合}\ を除く必要がある. \\[1zh] \phantom{(1)}\ \ [1]\ \ ちょうど2人が0個ということは,\ \bm{6個の玉すべてを1人に分ける}ということである. \\[.2zh] \phantom{(1)}\ \ \phantom{[1]}\ \ \,6個の玉すべてを\text{Aに分ける場合とBに分ける場合とCに分ける場合}の3通りがある. \\[1zh] \phantom{(1)}\ \ [2]\ \ 1人のみが0個ということは,\ \bm{6個の玉をちょうど2人に分ける}ということである. \\[.2zh] \phantom{(1)}\ \ \phantom{[1]}\ \ (2)より,\ \bm{2^6-2}通りである. \\[.2zh] \phantom{(1)}\ \ \phantom{[1]}\ \ 2通りを除くのを忘れると,\ [1]と重複してしまうので注意してほしい. \\[.2zh] \phantom{(1)}\ \ \phantom{[1]}\ \ さらに,\ \textbf{A,\ B,\ Cのどの2人に分けるかが3通り}ある(\text{AとB,\ BとC,\ CとA)}. \\[1zh] (5)\ \ \bm{組が区別できない場合,\ 一旦組が区別できると考えて求めた後,\ その重複度で割る.} \\[.2zh] \phantom{(1)}\ \ ここで,\ 以下のような2つの組分けは,\ \text{A,\ B}の区別をなくすと同一の組分けになる. つまり,\ (1)の2^6\,通りの中には,\ \bm{\textbf{AとB}の要素を入れ替えた組分けが2つずつペアで存在する.} \\[.2zh] \phantom{(1)}\ \ よって,\ (1)の2^6\,を\bm{重複度2\kaizyou\,で割る}だけで求まる.\ \ (6)も同様である. \\[1zh] (8)\ \ (3)と(4)は(4)の方が面倒だったが,\ (7)と(8)は(7)の方が面倒なので,\ (8)を先に考える. \\[.2zh] \phantom{(1)}\ \ \bm{0個の組がない場合,\ 組が区別できる場合とできない場合が常に3\kaizyou:1=6:1で対応する.} \\[.2zh] \phantom{(1)}\ \ 以下のような6つの組分けは,\ \text{A,\ B,\ C}の区別をなくすと同一の組分けになる. \ (7)\ \ (8)とは異なり,\ 安易に(3)を3\kaizyou\,で割ってはならない.\ そもそも,\ 729\div6は割り切れない. \\[.2zh] \phantom{(1)}\ \ 以下のように\bm{0個の組が2組ある場合のみ,\ 重複度が3\kaizyou\,ではなく3になる.} \\[.5zh] \phantom{(1)}\ \ \bm{0個の2組は元々区別できないから,\ その並び換えの分の重複が生じていない}のである. \\[.2zh] \phantom{(1)}\ \ 一方,\ 0個の組が1組だけならば,\ 重複度は0個の組がない場合と同様に3\kaizyou\,となる. \phantom{(1)}\ \ 結局,\ (3)の\bm{729通りのうちの3通りは3で割り,\ 残りの726通りを3\kaizyou\,で割る}ことになる. \\[1zh] \phantom{(1)}\ \ 注意すべきは,「要素の個数固定」型と「要素の個数不定」型で重複度の基準が変わることである. \\[.2zh] \phantom{(1)}\ \ \bm{「要素の個数固定」型では,\ 「要素の個数が同じ組の数」が重複度の判断基準}となるのであった. \\[.2zh] \phantom{(1)}\ \ \bm{「要素の個数不定」型では,\ 「要素が0個の組の数」が重複度の判断基準}である. \\[1zh] 「要素の個数不定」型には,\ \bm{各組の要素の個数で場合分けする}という最終手段がある. \\[.2zh] 面倒だが,\ 「要素の個数固定」型となり\,\kumiawase nr\,で求められるようになるので,\ わかりやすく確実である. \\[.2zh] 以下に要素の個数で場合分けする(7)の別解を示しておく.\ \ (7)以外も同様に求められる. \\[1zh] \phantom{(7)}\ \ \therefore 7つの場合は\bm{互いに排反}であるから 1+6+15+15+10+60+15=\bm{122\ (通り)} 区別できない}\ 6個の玉を次のように分ける方法は何通りあるか. \\[1zh] \hspace{.5zw} (1)\ \ 3人に分ける.\ ただし,\ 0個の人がいてもよい. \\[.8zh] \hspace{.5zw} (2)\ \ 3人に分ける.\ ただし,\ 0個の人はいないものとする. \\[.8zh] \hspace{.5zw} (3)\ \ 3組に分ける.\ ただし,\ 0個の組があってもよい. \\[.8zh] \hspace{.5zw} (4)\ \ 3組に分ける.\ ただし,\ 0個の組はないものとする. \\ 6個の○と2本の|の順列の総数に等しい}から \textcolor{red}{\kumiawase82}=\bm{28\ (通り)}$ \\\\ (2)\ \ $\textcolor{cyan}{6個の○の間に2本の|を入れればよい}から \textcolor{red}{\kumiawase52}=\bm{10\ (通り)}$ \\\\ \betu\ \ \textcolor{magenta}{3組とも同じ個数}になる分け方は $(2,\ 2,\ 2)$の\textcolor{cyan}{1通り}. \\[.5zh] \phantom{ (1)}\ \ \textcolor{magenta}{2組が同じ個数}になる分け方(\textcolor{magenta}{組を区別しない})は \\[.2zh] 3組が全て異なる個数}になる分け方(\textcolor{magenta}{組を区別する})は $28-1-\textcolor{forestgreen}{3\cdot3}=\textcolor{red}{18}\ (通り)$ 求める場合の数は 3組とも同じ個数}になる分け方は $(2,\ 2,\ 2)$の\textcolor{cyan}{1通り}. \\[.5zh] \phantom{ (1)}\ \ \textcolor{magenta}{2組が同じ個数}になる分け方(\textcolor{magenta}{組を区別しない})は $(1,\ 1,\ 4)$の\textcolor{forestgreen}{1通り}. \\[.5zh] \phantom{ (1)}\ \ \textcolor{magenta}{3組が全て異なる個数}になる分け方(\textcolor{magenta}{組を区別する}) (1)(2)は,\ \bm{「モノの区別不可」「組の区別可」「要素の個数不定」}型である. \\[1zh] (1)\ \ 本問は,\ \bm{x+y+z=6\ (x\geqq0,\ y\geqq0,\ z\geqq0)を満たす整数解の組数を求める}ことに等しい. \\[.2zh] \phantom{(1)}\ \ つまりは\bm{重複組合せ}である.\ \ \bm{○と|の並びに対応}させて求めるとよいのであった. \\[.5zh] \phantom{(1)}\ \ \rei\ \ ○|○○○|○○ ⇔ x=1,\ y=3,\ z=2 \\[.5zh] \phantom{(1)}\ \ 6個の○と2本の|の並べ方に帰着するから,\ \bunsuu{8\kaizyou}{6\kaizyou2\kaizyou}\ (\bm{同じものを含む順列})として求められる. \\[.8zh] \phantom{(1)}\ \ □□□□□□□□\ (8ヶ所)のうちの2個の□に2本の|を入れると考えて,\ \kumiawase82\,としてもよい. \\[1zh] (2)\ \ \bm{x+y+z=6\ (x\geqq1,\ y\geqq1,\ z\geqq1)を満たす整数解の組数を求める}ことに等しい. \\[.2zh] \phantom{(1)}\ \ これは,\ \bm{○\land ○\land ○\land ○\land ○\land ○\ の5つの\land に2本の|を入れる}ことに等しいのであった. \\[1zh] \phantom{(1)}\ \ 各文字が0以上となるように\bm{変数変換}する方法も重要なのであった. \\[.2zh] \phantom{(1)}\ \ X=x-1,\ Y=y-1,\ Z=z-1とおくと X+Y+Z=3\ \ (X\geqq0,\ \ Y\geqq0,\ \ Z\geqq0) \\[.2zh] \phantom{(1)}\ \ 3個の○と2本の|の並べ方に帰着するから,\ \bunsuu{5\kaizyou}{3\kaizyou2\kaizyou}\ または\ \kumiawase52\,となる. \rei\ \ ○○||○ \\\\ (3)(4)は,\ \bm{「モノの区別不可」「組の区別不可」「要素の個数不定」}型である. \\[.2zh] この型は,\ \bm{玉の個数が少なければしらみつぶしした方が早い.} \\[.2zh] このとき,\ x\geqq y\geqq z\ または\ x\leqq y\leqq z\ を満たすように書き出していくと重複を防げる. \\[1zh] (3)\ \ 一般化可能な解法を別解として示しておいたので,\ 上級者は確認しておいてほしい. \\[.2zh] \phantom{(1)}\ \ \bm{組が区別できる場合の(1)の28通りを重複度で割る}ものである. \\[.2zh] \phantom{(1)}\ \ この型では,\ \bm{「要素の個数が同じ組の数」が重複度の判断基準}となる. \\[.2zh] \phantom{(1)}\ \ ただし,\ 以下のように\bm{分け方によって重複度が変わる.} \\[1zh] \phantom{(1)}\ \ [1]\ \ 3組の要素の個数が等しいとき,\ 組を区別する場合としない場合は\bm{1:1で対応}する. \\[.2zh] \phantom{(1)}\ \ \rei\ \ \text{(A,\ B,\ C)}=(○○,\ ○○,\ ○○) \\[1zh] \phantom{(1)}\ \ [2]\ \ 2組の要素の個数が等しいとき,\ 組を区別する場合としない場合は\bm{3:1で対応}する. \phantom{(1)}\ \ [3]\ \ 要素の個数が異なるとき,\ 組を区別する場合としない場合は\bm{3\kaizyou:1=6:1で対応}する. \phantom{(1)}\ \ 重複度が変わるため,\ まず28通りの中に以上の各場合が何通りずつあるかを考える必要がある. \\[.2zh] \phantom{(1)}\ \ [1],\ [2],\ [3]\,のうち,\ [1]と[2]の場合は\dot{直}\dot{接}\dot{的}に求めることができる. \\[1zh] \phantom{(1)}\ \ [1]\ \ \bm{玉の総数が3の倍数の場合は1通り,\ 3の倍数でない場合には0通り}である. \\[1zh] \phantom{(1)}\ \ [2]\ \ 先に\bm{組を区別しない分け方(△,\ △,\ △\ \text{or}\ □)が何通りあるか}を考える. \\[1zh] \phantom{(1)}\ \ \phantom{[1]}\ \ \bm{玉の総数が2n\ (偶数)個}ならば,\ 次のように\bm{n+1通り}ある. \\[.5zh] \phantom{(1)}\ \ \phantom{[1]}\ \ (0,\ 0,\ 2n),\ (1,\ 1,\ 2n-2),\ (2,\ 2,\ 2n-4),\ \cdots,\ (n,\ n,\ 0) \\[1zh] \phantom{(1)}\ \ \phantom{[1]}\ \ \bm{玉の総数が2n-1\ (奇数)個}ならば,\ 次のように\bm{n通り}ある. \\[.5zh] \phantom{(1)}\ \ \phantom{[1]}\ \ (0,\ 0,\ 2n-1),\ (1,\ 1,\ 2n-3),\ (2,\ 2,\ 2n-5),\ \cdots,\ (n-1,\ n-1,\ 1) \\[.5zh] \phantom{(1)}\ \ \phantom{[1]}\ \ \rei\ \ 玉の総数が7個(n=4)のとき (0,\ 0,\ 7),\ (1,\ 1,\ 5),\ (2,\ 2,\ 3),\ (3,\ 3,\ 1) \\[1zh] \phantom{(1)}\ \ \phantom{[1]}\ \ ただし,\ \bm{玉の総数が3の倍数のときはこの中に[1]の1通りが含まれるので,\ これを除く.} \\[.2zh] \phantom{(1)}\ \ \phantom{[1]}\ \ (区別する):(区別しない)=3:1で対応するから,\ 3倍すると組を区別する分け方が求まる. \\[1zh] \phantom{(1)}\ \ 後は,\ 総数の28通りから[1]と[2]の場合を除くと,\ [3]の組を区別する分け方が求められる. \\[.2zh] \phantom{(1)}\ \ これを3\kaizyou\,で割ると[3]の組を区別しない分け方も求まり,\ 最後に[1]\,～\,[3]の場合を足し合わせる. \\[1zh] \phantom{(1)}\ \ [1]は玉の総数が3の倍数か否か,\ [2]は玉の総数が2の倍数か否かに依存する. \\[.2zh] \phantom{(1)}\ \ よって,\ 一般化する場合には玉の総数mを以下の4パターンに分けて考える必要がある. \\[.5zh] \phantom{(1)}\ \ \begin{array}{lll} (\hspace{.25zw}\text{I}\hspace{.25zw}) & 2の倍数\ かつ\ 3の倍数 & (m=6k) \\[.2zh] (\hspace{.15zw}\text{I\hspace{-.1em}I}\hspace{.15zw}) & 2の倍数\ かつ\ 3の倍数でない & (m=6k+2,\ 6k+4) \\[.2zh] (\text{I\hspace{-.1em}I\hspace{-.1em}I}) & 2の倍数でない\ かつ\ 3の倍数 & (m=6k+3) \\[.2zh] (\text{\scalebox{.9}[1]{I\hspace{-.1em}V}}) & 2の倍数でない\ かつ\ 3の倍数でない & (m=6k+1,\ 6k+5)
