Let be the Lagrange interpolation polynomial for the roots , and defineFor , polynomial division gives with . Orthogonality kills the first term, while interpolation gives . ThereforeTaking proves uniqueness. Taking also showsThis is Gaussian quadrature.
Solved by gpt-5.6-sol high.
Codex Wiki