shino_sky https://blog.hatena.ne.jp/shino_sky/ しののブログ https://shino-sky.hateblo.jp/ DEGwerさんの数え上げテクニック集の[14.1 頻出公式集]を形式的べき級数などを用いて証明します。 上の参照先にある通り組合せ論的な解釈で片付くものも多いですが、あえて代数的な証明を目指します。 あまりちゃんとした（？）勉強の仕方をしておらず、厳密な正しさに欠けるところも多いと思います。間違っているところや不適切な表現があればご指摘いただけると幸いです。 1~4は割と基本的なので適宜飛ばし読みしてください。 前提知識 ここで、いくつかこの記事で利用する式変形などを確認します。形式的べき級数の定義や基本的な演算についてはこの記事の範囲外とします。 （記法） 形式的べき級数 を と表した時の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fshino-sky.hateblo.jp%2Fentry%2F2020%2F04%2F16%2F230753" title="二項係数の和の処理（形式的べき級数） - しののブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20%7B%20%5Cdisplaystyle%20%7Bn%20%5Cchoose%20k%7D%20%3D%20%5Cfrac%7Bn%28n-1%29%5Ccdots%28n-k%2B1%29%7D%7Bk%21%7D%20%7D Hatena Blog https://hatena.blog 2020-04-16 23:07:53 rich https://shino-sky.hateblo.jp/entry/2020/04/16/230753 1.0 100%