とぽろじい　～大人の数学自由研究～

前々回、poset におけるメビウスの反転公式を証明しました。 (前々回の記事に関しては下にあるリンクをご利用ください。) 前回は応用例として古典的なメビウスの反転公式と差分と和分の関係を紹介しました。 今回は包除原理(inclusion-exclusion principle)の証明を前半で行い、後半でオイラーの多面体定理との関連を紹介…