For a measure with moments , a quadrature rule is exact through polynomial degree precisely whenNecessity follows by testing each monomial; sufficiency follows by linearity for any polynomial. These equations turn an integration requirement into algebraic constraints on the quadrature nodes and quadrature weights.
For ordinary integration on , the first moments are , , and . Symmetric nodes with equal quadrature weights therefore require and , giving and . Symmetry supplies the odd moments, producing the two-node Gaussian quadrature rule exact through degree three.
New to topics? Read the docs here!