方程式x+y+z=nの整数解の組数

スポンサーリンク
の式を満たす整数解の組は何通りあるか. \\[1zh] \hspace{.5zw}$ (1)\ \ x+y+z=8 (x\geqq0,\ \ y\geqq0,\ \ z\geqq0)$ \\[.8zh] \hspace{.5zw}$ (2)\ \ x+y+z=8 (x\geqq1,\ \ y\geqq1,\ \ z\geqq1)$ \\[.8zh] \hspace{.5zw}$ (3)\ \ x+y+z\leqq8 (x\geqq0,\ \ y\geqq0,\ \ z\geqq0)$ \\ \bm{x+y+z=n}$を満たす整数解の組数}}}} \\\\[.5zh]  (1)\ \ $\textcolor{cyan}{異なる3種類のものから,\ 重複を許して8個取る組合せの総数}に等しい. x,\ y,\ zは整数なので,\ \bm{8個のものをx,\ y,\ zにそれぞれ何個ずつ分配するか}を考えることに等しい. \\[.2zh] これは以下のように○と|の並びとみなせるから,\ 結局は前項で学習した\bm{重複組合せ}に他ならない. \\[1zh] 8個の○と2本の|の並べ方に帰着するから \bunsuu{10\kaizyou}{8\kaizyou2\kaizyou}=45\ (通り) (\bm{同じものを含む順列}) \\[.8zh] もちろんこれで答えても何ら問題ないが,\ 重複組合せの公式を用いた解答を示した. \\[.2zh] n種類のものから重複を許してr個選ぶ組合せの総数は \bm{\Kumiawase nr=\kumiawase{r+n-1}{r}} \\[1zh] 本問が初見であっても,\ 以下のように\bm{しらみつぶし}する気概をもってほしい. \\[.2zh] 後に示す応用問題のように条件が複雑になるほどその姿勢は重要になる. \\[.5zh] 数\text B:数列を学習済みならば,\ この過程を別解のように多少スマートに記述できる. 異なる3種類のものから,\ 重複を許して5個取る組合せの総数}に等しい. {8個の○の間の7ヶ所から2ヶ所選んでに2本の|を入れる場合の数}に等しい.$先にx,\ y,\ zに1ずつ配分すると,\ 後は残りの5の配分である.}$ 異なる3種類のものから,\ 重複を許して5個取る組合せの総数}に等しい.$ \\[1zh] \bm{x,\ y,\ zが0以上の整数}のとき,\ x+y+z=nを満たす整数解の組数は重複組合せとなる. \\[.2zh] x,\ y,\ zが0以上でない場合,\ \bm{0以上になるように変数変換する}ことが有効である. \\[.2zh] 簡潔さは別解が上だが,\ 応用性が高く機械的な処理が可能になるので,\ 本解の方法も習得してほしい. \\[1zh] x\geqq1\ \Longleftrightarrow\ x-1\geqq0\ より,\ x-1=X\ とすれば,\ X\geqq0\ となる. \\[.2zh] y,\ zも同様の変換を行い,\ X,\ Y,\ Zのみの条件にすると,\ (1)と同様に重複組合せに帰着する. \\[.2zh] \bm{(x,\ y,\ z)と(X,\ Y,\ Z)は1対1で対応する}から,\ (X,\ Y,\ Z)の組数を求めればよいわけである. \\[1zh] 実は,\ ○と|に置き換えて考えるとあっさりと解決する(別解1). \\[.2zh] 各文字が1以上は,\ \bm{2本の|が連続していたり端にあったりしてはいけない}ことを意味する. \\[.2zh] よって,\ \bm{○\land○\land○\land○\land○\land○\land○\land○\ の\land に2本の|を入れる}だけでよい. \\[1zh] 別解2は,\ \bm{あらかじめ8個の○から3個を取り,\ x,\ y,\ zに1個ずつ配分しておく}ものである. \\[.2zh] すると,\ \bm{残りの5個の○の配分の仕方が何通りあるか}に帰着する. \\[.2zh] このとき,\ ○○|○|○○\ は,\ x=3,\ y=2,\ z=3\ を意味することになる. \\[.2zh] 本質的には本解と同じであり,\ 数式で考えるか○と|で考えるかの違いでしかない. 異なる4種類のものから,\ 重複を許して8個取る組合せの総数}に等しい.$ \\[1zh] 本解の方法を知らなければ,\ \bm{右辺の値で場合分け}することになるだろう. \\[.2zh] つまり,\ x+y+z=0,\ x+y+z=1,\ \cdots,\ x+y+z=8\ の解の組数をそれぞれ求めて足す. 本問には,\ 極めてうまい解法が存在する.\ 応用性も高いので,\ 是非とも習得しておいてほしい. \\[.2zh] \bm{x+y+zと8の差を文字でおくと,\ 不等式を等式に変換できる.} \\[.2zh] 下の左の9つの方程式の整数解と,\ 右の方程式(すべて同じ式)の整数解は1対1で対応する. \\[1zh]  x+y+z=0\ \Longleftrightarrow\ x+y+z+w=8\ \ (w=8) \\[.2zh]  x+y+z=1\ \Longleftrightarrow\ x+y+z+w=8\ \ (w=7) \\[.2zh]  x+y+z=8\ \Longleftrightarrow\ x+y+z+w=8\ \ (w=0) \\[1zh] 例えば,\ x+y+z=4の整数解(3,\ 1,\ 0)は,\ x+y+z+w=8の整数解(3,\ 1,\ 0,\ 4)と対応する. \\[.2zh] 結局,\ \bm{x+y+z\leqq8の整数解の組数は,\ x+y+z+w=8の整数解の組数と一致する.} 次の式を満たす整数解の組は何通りあるか. \\[1zh] \hspace{.5zw}$ (4)\ \ 3x+y+z=8 (x\geqq0,\ \ y\geqq0,\ \ z\geqq0)$ \\[.8zh] \hspace{.5zw}$ (5)\ \ x+y+z=8 (0\leqq x\leqq4,\ \ 0\leqq y\leqq4,\ \ 0\leqq z\leqq4)$ \\[.8zh] \hspace{.5zw}$ (6)\ \ x+y+z=8 (x\geqq0,\ \ y\geqq0,\ \ z\geqq0,\ \ x,\ y,\ zに奇数が含まれる)$ \\[.8zh] \hspace{.5zw}$ (7)\ \ xyz=400 (x\geqq1,\ \ y\geqq1,\ \ z\geqq1)$ \\ 各文字の係数が異なる場合,\ 計算で簡潔に求めることは難しいので\bm{しらみつぶし}する. \\[.2zh] \bm{係数が大きい文字に着目する}と,\ 整数解の組数は一気に絞られる. \\[.2zh] 本問の場合,\ 3xに着目すると,\ y\geqq0,\ z\geqq0よりx\geqq3はありえないことがわかる. 整数解の組に5以上の値が含まれるとすれば,\ $x,\ y,\ z$のうちの1つだけ}である. \\[1zh] x\geqq5,\ y\geqq0,\ z\geqq0}$のときの$x+y+z=8$の整数解の組数を求める. ]\,は排反}なので,\ 5以上の値を含む整数解の組数は\ \ $10+10+10=30\ (通り 求める整数解の組数は 45-30=\bm{15\ (通り)}$} \bm{上限がある場合,\ 総数から上限を超える値を含む整数解の組数を除く方針}が有効である. \\[1zh] よって,\ 本来は次の個数定理を用いて求める必要が生じる.\ 重複を考慮する必要があるわけである. \\[.2zh]  n(A\cup B\cup C)=n(A)+n(B)+n(C)-n(A\cap B)-n(B\cap C)-n(C\cap A)+n(A\cap B\cap C) \\[.2zh] しかし,\ 本問の場合,\ 合計でも8なので2つ以上の文字が同時に5以上になることはない. \\[.2zh] この場合,\ x\geqq5,\ 0\leqq y\leqq4,\ 0\leqq z\leqq4を満たす解とx\geqq5,\ y\geqq0,\ z\geqq0を満たす解は同じである. \\[.2zh] 結局,\ (2)と同様に\bm{変数変換}することが有効なタイプに帰着する. \\[.2zh] 最後,\ (1)で求めた総数から引く. 求める整数解の組数は 45-15=\bm{30\ (通り)}$} \\\\\\  \betu\ \ 条件を満たすのは,\ \textcolor{cyan}{$x,\ y,\ z$のうちちょうど2つが奇数}の場合だけである. \\ \phantom{ (1)}\ \ 同様に, $yとz$が奇数のときおよび$zとx$が奇数のときも10通りずつある. \\\\ 「少なくとも1つが奇数」なので,\ \bm{総数の45通りから「すべてが偶数」を除く}と簡潔に済む. \\[.2zh] 偶数条件を数式で表す(\bm{変数変換する})と,\ (1)に帰着する. \\[.2zh] \bm{(x,\ y,\ z)と(x’,\ y’,\ z’)は1対1で対応する}から,\ (x’,\ y’,\ z’)の組数を求めればよいのである. \\[1zh] 別解は奇数を含む解を直接的に求めるものである. \\[.2zh] x+y+zが偶数なので,\ 実は(x,\ y,\ z)=(奇,\ 奇,\ 偶),\ (奇,\ 偶,\ 奇),\ (偶,\ 奇,\ 奇)の場合しかない. \\[.2zh] \bm{変数変換}により(1)に帰着するが,\ そのためにはx=2x’-1と設定してはならない. \\[.2zh] x\geqq0よりx=1,\ 3,\ 5,\ \cdots\ であり,\ x=2x’-1とするとx’\geqq1となってしまうからである. \bm{4個の素因数2と2個の素因数5をx,\ y,\ zに配分する方法が何通りあるか}を求めればよい. \\[.2zh] 条件を数式で表現してみると,\ 結局は(1)と同様の問題であることに気付く. \\[.2zh] (a,\ b,\ c)と(p,\ q,\ r)は互いに影響しないから,\ それぞれの整数解の組数を求めて掛ければよい. \\[.2zh] なお,\ 2^0=3^0=5^0=1である(詳しくは数\text{I\hspace{-.1em}I}で学習).