不同余项型泰勒公式的证明与应用