Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 318 / 5 / 2 / a / Solution

The integral form of the Taylor theorem about the left endpoint iswhere $q_{k-1}\in {\mathcal{P}}_{k-1}$. Apply the order-$k$ divided difference at $x_i,\dots ,x_{i+k}$. The polynomial term vanishes, and linearity permits interchange with the integral:By the definition $M_i(t)=k[x_i,\dots ,x_{i+k}](\cdot -t{)}_{+}^{k-1}$,This is the Peano kernel theorem for the divided-difference functional.