Let $n \in \mathbf{N}^{*}$. Let $(z_{1}, z_{2}, \ldots, z_{n}) \in \mathbf{C}^{n}$. We define the two polynomials $P(X)$ and $Q(X)$ in $\mathbf{C}[X]$ by:
$$P(X) = \prod_{k=1}^{n}(X - z_{k}) \quad \text{and} \quad Q(X) = \prod_{(k,l) \in \llbracket 1;n \rrbracket^{2}}(X - z_{k} - z_{l})$$
Prove that if $P$ and $Q$ are in $\mathbf{R}[X]$, then we have the equivalence: $P$ is a Hurwitz polynomial if and only if the coefficients of $P$ and $Q$ are strictly positive.