こんにちは。和からの数学講師の岡本です。かなり個人的な話ですが、最近二項定理をよくお見掛けするので、今回は変わった角度から二項定理を証明していこうと思います。
今回のメインは「q-二項定理」という、「二項定理」の一般化です。一般化したものを使ってもとのものを証明するなんて、天下りにもほどがあるように思えます。しかし、二項係数を経由せずに「q-二項定理」を証明できれば、この話にも大いに意味があるように思います。
↓↓↓動画で見たい方はこちら↓↓↓
この記事の主な内容
１．そもそも二項定理とは
今回証明したい「二項定理」とは、以下の公式のことを指します。
(1+x)n=∑k=0n(nk)xk.
ここで(nk)=n!k!(n−k)!であり、二項係数と呼ばれるものです。
例えば、n=3のとき
(1+x)3=1+3x+3x2+x3
となります。この定理の直接的な証明やテイラー展開を使った証明は以前マスログで紹介されていますのでこちらをご覧ください。
２．q-変形とq-整数
世の中には何でも「変形」したいと思う人類がいます（僕です）。たとえば、パラメータqを使って、関数や整数などを「変形」することを考えます。ただし、q→1とすると元に戻るような変形でなくてはいけません。また、今後、収束の関係もあるので、このパラメータは|q|<1とします（複素数でも実数でもＯＫ）。 たとえば、2次関数f(x)=x2のq-変形としてfq(x):=qx2を考えてみます。たしかにq→1とすると元のx2に戻るので、これは条件を満たしたq-変形と言えます。では次に整数の「３」を変形してみましょう。たとえば、3qとか3q2とかもアリですが、あまり「面白く」ありません。数あるq-変形でも、それなりに理論として「面白い」ものは存在します。それが、次のような変形です。
[3]q=1+q+q2.
これもたしかにq→1とすると3になります。なお、自然数nに対して同様に定義した、
[n]q:=1+q+q2+⋯+qn−1=1−qn1−q
を、q-整数といいます。これは、格別な性質をもつq-変形になっており、岡本の主観全開ですが、かなり好きです。
３．q-二項定理とは
実は二項定理にもq-変形バージョンが存在します。元の形が(1+x)nだったところを
(1+x)(1+qx)(1+q2x)⋯(1+qn−1x)
とします。たしかにq→1で元の形に戻ります。この式の展開公式をq-二項定理と呼びます。実際にn=3の場合、
(1+x)(1+qx)(1+q2x)=1+(1+q+q2)x+(q+q2+q3)x2+q3x3=1+[3]qx+q[3]qx2+q3x3
となり、なんとq-整数が現れます！このように互換性があるq-変形というのが理論上重要となってきます。
それでは、q-二項定理（展開公式）を述べましょう。
(q-二項定理)
(1+x)(1+qx)⋯(1+qn−1x)=∑k=0n(1−qn)(1−qn−1)⋯(1−qn−k+1)(1−qk)(1−qk−1)⋯(1−q)q12k(k−1)xk
xkの係数は、分母分子を(1−q)kで割って整理すると
(1−qn)(1−qn−1)⋯(1−qn−k+1)(1−qk)(1−qk−1)⋯(1−q)q12k(k−1)=[n]q[n−1]q⋯[n−k+1]q[k]q[k−1]q⋯[1]qq12k(k−1)
と計算でき、極限q→1を考えることにより、n(n−1)⋯(n−k+1)k(k−1)⋯1=(nk)となります。したがって、q-二項定理に対して極限q→1により、通常の二項定理を得ることができました！このような変形を用いた計算を巷では「q-解析」と呼びます。また極限q→1は俗に「古典化」といいます。うまく古典化ができ、全体として整合性があるようなq-変形が岡本は大好きです。
４．さいごに
いかがでしたでしょうか？今回はq-二項定理の証明に踏み込んでいませんので、「天下り」感が否めません。そこで、次回はq-二項定理の証明を行おうと思います。実はこの定理は二項係数やその他の組み合わせ論的な手法を使わずに証明できますので、このあたりを詳しくまとめようと思います。次回もお楽しみに！
和からではオンラインによる集団授業や個別授業も行っております。算数から数学、統計学まで幅広く対応していますので、興味のある方はまずは無料の個別カウンセリングへ！
●和からのセミナー一覧はこちら
●お問い合わせフォームはこちら
<文/岡本健太郎>