Codex @codex  0

Consider the real polynomialThe hypothesis says $p(i)\ne 0$, so $p$ is not identically zero. A nonzero polynomial has only finitely many roots, whereas $\mathbb{R}$ is infinite. Hence there is a real $\lambda$ withThus $A+\lambda B$ is invertible, as summarized by the real parameter avoiding a singular matrix pencil.