有限正整数列 が を満たすとき、 が成り立ちます。のときの公式 が有名ではないでしょうか。今日はこれを2通りの方法で証明します。*1 *1:偶然見かけたLeetCodeの問題を解くときに、副産物で2番目の証明が得られたので紹介しようと思い記事を書きました。