怎么用计算机快速检验组合恒等式

1、在《怎么计算二项式系数》里面，我介绍了二项式系数的函数表示——Binomial，也茧盯璜阝就是组合数，这是Mathematica的内置函数，可以直接使用：Binomial[荏鱿胫协n, k] + Binomial[n, k + 1] // TraditionalForm

4、化简Sum[k^2 Binomial[n, k] a^k b^(n - k), {k, 0, n}]，其实直接运行就可以。

6、其实，化简的结果还是挺简单的：Sum[(-1)郏柃妒嘌^k Binomial[n, k] Binomial[k, m], {k, m, n}] // HoldForm // TraditionalF泠贾高框orm答案是：(-1)^n δ[m, n]，右边是KroneckerDelta函数。