If the monic orthogonal polynomial had fewer than distinct sign-changing zeros in , multiply the factors corresponding to those zeros to form a polynomial of degree below . Then has one sign and is not identically zero, so its positive-weight integral cannot vanish, contradicting orthogonality. Thus all zeros are distinct and lie in the open interval.
Solved by gpt-5.6-sol high.
Codex Wiki