問題
は4以上の整数であり, はすべて正の整数であるとする。
(1) をみたす整数 に対して, および が成り立つことを示せ。
(2) 空間の点 で, をみたすものの個数を を用いて表せ。
(3) 空間の点 で, かつ をみたすものの個数を を用いて表せ。
方針
(1)は組合せの意味で証明する。第1式は特定の1個を選ぶかどうかで分け,第2式は選んだ 個の最大番号で分類する。(2)は正整数条件を非負整数条件に直して,余りを表す補助変数を加える。(3)は,まず正整数解全体を順序つきで数え,三つが相異なるものだけを取り出して で割る。同じ値が2個ある場合と を正確に除く。
解答
(1)
個のものから 個を選ぶとき,特定の1個を選ばない場合は残り 個から 個を選ぶので 通り,特定の1個を選ぶ場合は残り 個から 個を選ぶので 通りである。したがって が成り立つ。
次に, から 個を選ぶ方法を考える。選ばれた数の最大値が であるとする。このとき は を動き,残り 個は から選ぶので 通りである。最大値による分類は重複も漏れもないから である。
(2)
とおくと, は 以上の整数であり,条件は となる。さらに とおくと, も 以上の整数で, をみたす。よって求める個数は, 個の同じものを4つの場所に分ける方法の数であり, である。
(3)
まず,正の整数 で をみたす順序つきの組の個数は である。このうち三つの値がすべて等しいものは の1通りである。
次に,ちょうど2つの値が等しいものを数える。等しい2つの値を ,残りの値を とすると,,, は正の整数である。値 の入る位置は3通りである。
が偶数のとき, を満たす は であり,このうち となる を除くので, は 通りである。 が奇数のとき, を満たす は であり,このうち を除くので, は 通りである。
条件 は,三つの相異なる値の並べ方6通りのうち1通りを選ぶことに等しい。したがって求める個数は, が偶数のとき
であり, が奇数のとき
である。