今回書くのは結論を言うと予想です。
まず次の冪級数を考えます。
これの母関数を考えます。
一々導出しようとすると、わたしが持たないのでWolfram Alphaを使います。
表
n | 1 | 2 | 3 | 4 |
---|---|---|---|---|
母関数 |
で、ここに出てくる多項式の法則性を掴みたい。
ここでパスカルの三角形の拡張がでてきます!
多項式の係数の対称性に注目します。多項式の係数を図1のように並べ、
図1
二項係数のような対応をとる。
図2
本題の予想はこれが次の等式を満たすかです。
見ていただきありがとうございます。
間違いなどかありましたら、教えてくださると嬉しいです。