◄ WORLD V · SONNY 5DART 295 · a helldive at the net

NEWTON DIVIDED DIFFERENCES reconstruct the polynomial one point at a time — add a sample, extend the fit

Given samples of an unknown function, Newton's divided differences reconstruct the interpolating polynomial incrementally: each new point adds one more term without disturbing the ones already found. The coefficients are the divided differences — slopes of slopes of slopes — and the polynomial is f[x₀] + f[x₀,x₁](x−x₀) + f[x₀,x₁,x₂](x−x₀)(x−x₁) + …. Because the Vandermonde system (dart 294) is solvable, this reconstruction is unique — whatever order you add the points, you land on the same polynomial. It is the numerically graceful way to recover a function from a table, and the ancestor of finite-difference methods.

THE TECHNIQUE coefficients = divided differences; add a point, add a term

Three samples of an unknown function. The demo builds the divided-difference coefficients and reconstructs the polynomial's value at a new point: live demo


HISTORY & CREDIT Isaac Newton, 1670s

“Adding a data point means refitting from scratch.” — a divided-difference table extends: the old coefficients stand, and the new point contributes exactly one new term. Reconstruction that grows instead of restarting. cited

1670s · Isaac Newton — the divided-difference (and forward-difference) interpolation formulas.
uniqueness · guaranteed by the Vandermonde determinant (dart 294): the same polynomial, whatever the order.
now · the root of finite-difference calculus, numerical differentiation, and Newton–Cotes quadrature.

Slopes of slopes, banked as you go: each sample deepens the table by one, and the reconstruction is unique because the nodes are distinct. Recovery that accumulates. Newton

RECOMMEND FOR I-13 polynomial reconstructed from a table, computed

On the canonical compiler, samples (0,1),(1,3),(2,9) give divided differences 1, 2, 2, reconstructing the polynomial to 19 at x=3 (the function was 2x²+1):

$ i13 run rec_newton.i13 # divided differences -> reconstruct at x=3 dd0 = 1 dd1 = 2 dd2 = 2 recon = 19 -- the unique polynomial through the three samples, at x=3
Recommend: Newton's method is reconstruction i13 enacts directly, and it leans on dart 294's structure to be well-posed. i13 computes the divided differences 1, 2, 2 from the three samples and evaluates the Newton form to 19 — recovering the exact polynomial (2x²+1) the samples came from. The recovery is unique only because the nodes are distinct (the Vandermonde determinant is nonzero); collide two samples and the divided difference divides by zero. Same reconstruction, three ways — Newton here, Neville and barycentric next — all resting on the one load-bearing structure.