Christoffel–Darboux formula
In mathematics, the Christoffel–Darboux theorem is an identity for a sequence of orthogonal polynomials, introduced by and. It states that
where fj is the jth term of a set of orthogonal polynomials of squared norm hj and leading coefficient kj.
There is also a "confluent form" of this identity:
