Chứng minh các hệ thức
(0n)(pn)+(1n)(p−1n−1)+(2n)(p−2n−2)+⋯+(pn)(0n−p)=2p(pn),
(0n)(pn)−(1n)(p−1n−1)+(2n)(p−2n−2)−⋯+(−1)p(pn)(0n−p)=0.
(Xét các tập con gồm p phần tử của [1,n] chứa một tập con đã cho gồm k phần tử (0⩽k⩽p), và dùng Bài tập 2 cho công thức thứ hai.)