Proposition 4.31 (Stable iff real rooted). $p(z_1,\dots ,z_n)$ is real stable if and only if for all ${ℝ}_{\ge 0}^n$, $b\in {ℝ}^n$, the polynomial $t\mapsto p(at+b)$ is real rooted.