-
eq1:
- proof
-
eq2:
- proof
-
eq3:
- proof
- from eq1, eq2
- kが奇数の時には打ち消し合うため
-
eq4: ホッケースティック恒等式
-
eq5:
- パスカルの三角形的解釈
-
eq6: Vandermondeの恒等式
- special case(k=n, m=n)
-
eq6-2 ARC110D
- ボール的解釈
-
eq6-3
-
eq7:
-
-
eq8:
ref
eq1:
eq2:
eq3:
eq4: ホッケースティック恒等式
eq5:
eq6: Vandermondeの恒等式
eq6-2 ARC110D
eq6-3
eq7:
eq8:
ref