Christoffel–Darboux Formula

Identity for a sequence of orthogonal polynomials by E. Christoffel and J. Darboux.