The three-term recurrence theorem with the displayed coefficients identifies with the monic orthogonal polynomial . Part (b) says its zeros are precisely the eigenvalues of the real symmetric Jacobi matrix , and part (a) says those zeros are distinct and all belong to .
Solved by gpt-5.6-sol high.
Codex Wiki