<s>[INST] Proving all roots of a sequence of polynomials are real Let the sequence of polyominoes $R_n(z)$ be defined as follows for $n\geqslant1$:
$$R_n(z)\;=
\;\sum_{r=0}^{\lfloor\frac{n-1}{2}\rfloor}
\tbinom{n}{2r+1}(4z)^r.$$
I would like to prove that all the roots of $R_n(z)$ are real (and thus negative since the coefficients are all positive). Perhaps there's some way of getting the result by using Sturm’s theorem, but that seems too computationally intensive to be practical. Also, Kurtz’s condition on the coefficients only holds for small $n$.
Any ideas?
In case it helps, $R_n(z)$ satisfies the following recurrence:
\begin{align*}
  R_1(z)&\;=\;1 \\
  R_2(z)&\;=\;2 \\
  R_n(z)&\;=\;2R_{n-1}(z)+(4z-1)R_{n-2}(z)\qquad \text{for } n>2,
\end{align*}
and also has the following closed form:
$$
R_n(z)\;=\;\frac{(1+2\sqrt{z})^n-(1-2\sqrt{z})^n}{4\sqrt{z}}.
$$
Thanks.
 [/INST] Let $z$ be a complex root of $R_n$ and let $\sqrt z$ denote a fixed square root of $z$.
Then $$\frac{(1+2\sqrt{z})^n - (1-2\sqrt{z})^n}{4\sqrt{z}} = 0.$$
We can assume $z \neq 0$, hence
$$(1+2\sqrt{z})^n = (1-2\sqrt{z})^n.$$
Now there is an $n$th root of unity $\zeta$ s.t. 
$$1+2\sqrt{z} = \zeta (1-2\sqrt{z}).$$
Solve for $\sqrt{z}$ to find
$$\sqrt{z} = \frac{\zeta-1}{2(\zeta+1)},$$
thus
$$z = \frac{(\zeta-1)^2}{4(\zeta+1)^2}.$$
Now consider the complex conjugation of $z$. Since $1 = |\zeta|^2 = \zeta \overline \zeta$, we have $\overline \zeta = \zeta^{-1}$ and 
$$\overline z = \frac{(\zeta^{-1}-1)^2}{4(\zeta^{-1}+1)^2} = \frac{(1-\zeta)^2}{4(1+\zeta)^2} = \frac{(\zeta-1)^2}{4(\zeta+1)^2} = z.$$
Since $z$ is fixed by complex conjugation it has to be an real number.
</s>