朱世杰恒等式是组合数的一阶求和公式。元朝數學家朱世傑在《四元玉鑒》中,利用垛積術、招差術給出:
或以m−1代n再與上式作差,寫成:
欲證
可以反覆使用帕斯卡法則合併左式首兩項。
从n元集S={a1,a2,a3,...,an}选r个元素,有(nr)种方法。
必有a1时,在n−1个元素中选r−1个元素,排除a1,必有a2时,在n−2个元素中选r−1个元素,排除a2,如此类推,直到必有an−r+1时,在r−1个元素中选r−1个元素。
∑k=rn(k−1r−1)=(nr)[2]
朱世杰恒等式可应用于等幂求和问题。例如:
Template:Reflist