拉格朗日插值公式的证明及其应用