組合せで登場する二項係数「2nCn」について、「nが4以上なら必ず平方因子を持つのか」という疑問は、数論と組合せ論が関係する興味深い問題です。
この記事では、2nCnの性質を調べながら、平方因子を持つとはどういう意味なのか、実際にどのように確認すればよいのかをわかりやすく解説します。
平方因子とは何か
まず「平方因子を持つ」という言葉の意味を確認します。
ある整数が平方因子を持つとは、その数の中に1以外の平方数が割り切れる形で含まれていることを意味します。
例えば36の場合、
36=2×2×3×3=2²×3²
なので、4や9という平方数を因子として持っています。
一方、12=2²×3なので4は含まれますが、6のような平方数ではない因子だけを見る場合とは区別されます。ここでは「1以外の平方数が約数として存在する」という意味で考えます。
2nCnの形を確認する
二項係数2nCnは、組合せの公式から、
2nCn=(2n)!/(n!×n!)
と表せます。
これは二項展開(x+y)²ⁿにおける中央の係数であり、中央二項係数とも呼ばれます。
例えばn=4の場合、
8C4=70
となります。
70を素因数分解すると、
70=2×5×7
となり、平方数の因子はありません。
したがって、「n≧4なら必ず平方因子を持つ」という主張は、この時点で反例が存在するため成り立たないことが分かります。
n=4が反例になる理由
問題の条件ではn≧4となっています。その最小の場合であるn=4を調べることが重要です。
n=4では、
2nCn=8C4=8!/(4!4!)
となります。
計算すると、
8C4=70
です。
70の約数を確認すると、1、2、5、7、10、14、35、70であり、4や9などの1より大きい平方数は含まれていません。
つまり、n=4では平方因子を持たないため、条件全体で「必ず持つ」とは言えません。
では平方因子を持つ場合もあるのか
もちろん、2nCnが常に平方因子を持たないわけではありません。nの値によっては平方因子を含む場合があります。
例えばn=5では、
10C5=252
となります。
252を素因数分解すると、
252=2²×3²×7
となり、4や9を含むため平方因子を持ちます。
このように、2nCnの素因数の現れ方はnによって変化します。
二項係数と素因数分解の関係
二項係数の素因数を調べるには、階乗に含まれる素数の個数を考える方法があります。
(2n)!にはn!より多くの素因数が含まれていますが、分母のn!²によって一部が打ち消されます。その結果、残った素因数の指数によって平方因子があるかどうかが決まります。
例えば素数pの指数が2以上なら、その素数の2乗が因子として存在することになります。
この考え方は、二項係数の整数性や素因数分解を調べる数論の重要な手法です。
まとめ｜2nCnは必ず平方因子を持つわけではない
「n≧4のとき2nCnは必ず平方因子を持つか」という問いについては、答えはいいえです。
n=4の場合、
8C4=70
となり、70は1以外の平方因子を持ちません。
したがって、この条件では反例が存在し、必ず平方因子を持つという性質は成立しません。
ただし、nの値によっては252のように平方因子を持つ場合もあり、二項係数の性質は素因数分解を使うことでより深く理解できます。
コメント