はじめに
の証明ですが、一般によく知られているものは双対性を利用したものと和公式を利用したものの2つです。一旦この2つの証明に軽く触れます。
・双対性を利用したもの
と置きます。すると、の双対インデックスはになります。
すると、が成立するのでが証明できます。□
・和公式を利用したもの
depth3,weight4の和公式を考えます。
depth3,weight4を満たす許容インデックスはのみです。
よって、が証明できます。□
今回はこれ以外にまた新しい証明を発見したので、それを書いていきます。
証明
まずはを考えます。
より、がわかります。
また、
であるから、
これでが証明されました。□
追記
同じ方法でを証明できることがわかりました。