怎样证明Lagrange插值多项式?