Xét tích [tex](1+x)^{2n}=(1+x)^n(1+x)^n[/tex]
Ta có hệ số của $x^n$ trong khai triển $(1+x)^{2n}$ là [tex]C_{2 n}^{n}[/tex]
Hơn nữa, hệ số của số hạng chứa $x^n$ trong khai triển $(1+x)^n(1+x)^n=(C_n^0+xC_n^1+x^2C_n^2+...+x^nC_n^n)(C_n^0+xC_n^1+x^2C_n^2+...+x^nC_n^n)$ là: [tex](C_n^0)^2+(C_n^1)^2+...+(C_n^n)^2[/tex]
Từ đó đồng nhất hệ số của $x^n$ ta được đpcm