Xét khai triển:
[TEX](1+x)^n.(1+x)^m= \sum\limits_{i=0}^{n}C_n^ix^i. \sum\limits_{j=0}^{m}C_m^jx^j[/TEX]
[TEX]= \sum\limits_{i=0}^{n} \sum\limits_{j=0}^{m}C_n^iC_m^jx^{i+j}[/TEX]
Hệ số của [TEX]x^p[/TEX] trong khai triển thoả mãn i+j=p
\Rightarrow Hệ số của [TEX]x^p[/TEX] là:
[TEX]C_n^0C_m^p+C_n^1C_m^{p-1}+...+C_n^{p-1}C_m^1+C_n^pC_m^0[/TEX]
Mặt khác ta có:
[TEX](1+x)^n.(1+x)^m=(1+x)^{m+n}= \sum\limits_{k=0}^{m+n}C_{m+n}^kx^k[/TEX]
\Rightarrow hế số của [TEX]x^p[/TEX] là: [TEX]C_{m+n}^p[/TEX]
Đồng nhất 2 khai triển trên ta có ĐPCM