Location of zeros of the "real part" of a polynomial

This is very simple if you think about how $a$ and $b$ are related to the factored form of $p$. Note first that for the result to be true, you must assume that $p$ is not constant (if $p$ is a real or purely imaginary constant then one of $a$ and $b$ is identically zero). Let $r_1,\dots,r_n$ be the roots of $p$, so $p(z)=c\prod(z-r_k)$ for some nonzero constant $c$. Let $q(z)=\overline{c}\prod (z-\overline{r_k})$, and observe that the coefficients of $q$ are conjugate to the coefficients of $p$ so $a(z)=\frac{p(z)+q(z)}{2}$ and $b(z)=\frac{p(z)-q(z)}{2i}$.

Now observe that if $\operatorname{Im}(z)>0$ then $|z-r_k|>|z-\overline{r_k}|$ for each $k$ since $\operatorname{Im}(r_k)<0$. Thus $|p(z)|>|q(z)|$ (here we use the assumption that $p$ is not constant). In particular, $p(z)$ cannot be equal to $\pm q(z)$, so $a(z)$ and $b(z)$ must be nonzero. Similarly, if $\operatorname{Im}(z)<0$, then $|p(z)|<|q(z)|$ so $a(z)$ and $b(z)$ must be nonzero. Thus any zero of $a$ or $b$ must be real.

Assume $p\in \Bbb{C}[z]$ is monic, all its zeros are in the lower half-plane and $p(z)=a(z)+ib(z),a,b\in \Bbb{R}[z]$.

• For $r> 0$ let $p_r(z)=a(z)+rib(z)$

  For $x$ real, $p_r(x)=0 \implies \Re(p_r(x))=\Im(p_r(x))=0\implies p(x)=0$ which is a contradiction.

• Take $T$ large enough so that $p_r(z)=0\implies |z|<T$. Let $U = \{ z,|z|<2T,\Im(z)< 0\}$. We get that

$$\frac1{2i\pi }\int_{\partial U} \frac{p_r'(z)}{p_r(z)}dz = \# \{ z\in U, p_r(z)=0\}$$

is continuous in $r$, ie. all the zeros of $p_r$ are in $U$.

An arbitrary small perturbation of the coefficients of $p_0$ move its zeros in $U$: thus all the zeros of $p_0$ are in $\overline{U}$. Since $p_0$ has real coefficients, a non-real zero would give a pair of zeros whose one is outside $\overline{U}$, and hence all the zeros of $p_0$ are real.