证明 sum _(k=0)^n \binomnk^2 = \binom2nn ( 时的范德蒙德恒等式)。