Let . By polynomial division, every has a unique decompositionEvery node is a zero of , so . The assumed degree- exactness also gives . HenceTherefore for every if and only iffor every . This proves the nodal-polynomial criterion for quadrature exactness.
Solved by gpt-5.6-sol high.
Codex Wiki