For any , the difference lies in and is orthogonal to . The Pythagorean theorem for inner product spaces gives
Thus the orthogonality condition proves minimality, and equality forces .
Write the requested linear polynomial as . Orthogonality to one and gives
Odd integrals vanish, leaving and . Consequently
The weight's single zero does not destroy positive definiteness on continuous functions: a nonzero continuous function is nonzero on an interval containing points where . The preceding projection argument therefore applies to this inner product.

Articles by others on the same topic (0)

There are currently no matching articles.