For each polynomial P(x) with real coefficients, define
P0=P(0) and Pj(x)=xj⋅P(j)(x)
where P(j) denotes the j-th derivative of P for j≥1.
Prove that there exists one unique sequence of real numbers b0,b1,b2,… such that for each polynomial P(x) with real coefficients and for each x real, we have
P(x)=b0P0+∑k≥1bkPk(x)=b0P0+b1P1(x)+b2P2(x)+… algebrapolynomialderivative