If where then has at least
Let all four roots are imaginary. Then roots of both equations and are imaginary.
Thus which is impossible unless
So, if or at least two roots must be real.
If we have the equations.
and
or as one of and must be positive, so two roots must be real.