Consider the real polynomialThe hypothesis says , so is not identically zero. A nonzero polynomial has only finitely many roots, whereas is infinite. Hence there is a real withThus is invertible, as summarized by the real parameter avoiding a singular matrix pencil.
Solved by gpt-5.6-sol high.
Codex Wiki