ホッケースティック恒等式と負の二項定理
こういうの、どれくらい常識なのかわからなくて困るな そんなに新規性はないです
ホッケースティック恒等式
, を非負整数とします。このとき等式
をホッケースティック恒等式などと言います。第二引数が fix されてる和がとれて、嬉しい!
この赤い丸で囲んだ場所の和が等しいことを主張していて、その形をパスカルの三角形に書くとホッケースティックのような形をしています。私はホッケースティックなんて見たことないのでホッケースティックのような形といえばホッケースティック恒等式の形ですが……
証明は易しく、(パスカルの三角形で隣り合う数を足したものがその下の数になっていること)を使って数学的帰納法を回すのが一番楽だと思います。組合せ的解釈で証明する方法もあって、知りたければ ABC154F - Many Many Paths の公式解説を読んでください。読んでないので嘘かも。
負の二項定理
は非負整数とします。適当に二項係数の定義域を拡張してあげれば一般の整数でも成り立ちます。
です。形式的べき級数だと思っていますが、 で収束するので普通のべき級数だと思ってもいいです。第二引数が fix されてて、嬉しい!
証明は、maspy さんいつもありがとうございます。
それらの関係
見るからに似ていますね。まずは負の二項定理の方が強そうな見た目をしているので、
負の二項定理ホッケースティック恒等式
以下:形式的べき級数に対して を の の係数とします。
負の二項定理より
。
をかけることは累積和をとることに対応していたから、
。
これと
を比較することで
を得ます。
ホッケースティック恒等式負の二項定理
実は逆もほぼ同様です。
に関する数学的帰納法を使います。
が成り立ったとして、 は累積和より、
ここでホッケースティック恒等式を使えば
より、示されました。
これは絵を描くとおもしろくて、
累積和をとると係数列が右下にずれるようになってるんですね~すごくない?全然気づかなかった
おわり
おわり