Proving complex numbers 
Let $z_1,z_2$ be two complex numbers such that $z_1 + z_2$ and
  $z_1\dot\ z_2$ are each negative real numbers. Prove that $z_1$ and
  $z_2$ must be real numbers.

My attempt at a solution follows,
Let $z_1 = a+bi$ and $z_2=c+di$. The hypotheses states that $a+c<0$, $b+d = 0$, $ac-bd <0$, and $ad + bc=0$. And I get stuck here since I do not know the logic to proceed in which I can prove that $z_1$ and $z_2$ must be real numbers.
 A: From $b+d=0$, get $d=-b$. Then from $ad+bc=0$ get $b(c-a)=0$.
So either $b=0$, from which $d=0$ making $z_1,z_2$ real, or else $c=a$ (and $d=-b$ still holds). Now put those into $ac-bd<0$ and it becomes $a^2+b^2<0$, contradiction.
NOTE: Give credit to "Lord of the Flies", whose comment came in while I was writing this.
A: $b+d=0 \implies d=-b \implies ad+bc=-ab + bc = 0\implies b(c-a)=0$.


*

*So either $b=0$, from which $d= b = 0$, and thus $z_1,z_2$ are real, 

*or else $c-a= a-c = 0$ which contradicts the fact that $a - c < 0.$


Therefore  $z_1, z_2 \in \mathbb{R}$.
A: Alternately, since $z_1+z_2$ is real and $z_1z_2$ is negative real, and
$$(z_1-z_2)^2=(z_1+z_2)^2-4z_1z_2,$$
we conclude that $(z_1-z_2)^2$ is positive. Thus $z_1-z_2$ is real. Since $z_1+z_2$ is real, it follows by addition that $2z_1$, and therefore $z_1$, is real. 
A: $ (x\!-\!z_1)(x\!-\!z_2) = x^2\! - (z_1\!+\!z_2) x + z_1 z_2\in \Bbb R[x]$ has discriminant $\,(z_1\!+\!z_2)^2\!-4z_1z_2 > 0,$ since $z_1z_2 < 0,$ hence the roots $z_1,z_2$ are real (by the quadratic formula).
Remark $\ $ The proof works more generally for $\ z_1,z_2$ elements of any (integral) domain $\,\Bbb D\supset \Bbb R,$ assuming only that $\,z_1\!+z_2,\, z_1 z_2\,$ are both in $\Bbb R,$ and $\,z_1 z_2 < 0$. The hypothesis that $\Bbb D $ is a domain ensures that the list of roots $z_1,z_2 \in \Bbb R$ obtained by the quadratic formula persists as the unique list of roots in $\Bbb D$ (if the quadratic polynomial had an additional root $z_3\in \Bbb D$ then it would have more roots than its degree, which cannot occur in a domain). The claim may fail in extension rings not domains, e.g. $ f(x) = (x+2)(x-1) = x^2+x-2 = (x-w)(x+w+1)\, $ over $\,\Bbb R[w]/(w^2+w-2),\,$ where $f$ has  non-real roots $\ w,\, -w-1 \not\in \Bbb R,\,$ contra to the claim. 
Notice that said extension ring is not a domain since there $\,(w+2)(w-1) = 0,\,$ but $\,w \ne -2,1$. Informally, one may think of $w$ as an algebraic representation of a "generic" root of $f$, sharing all  $(\Bbb R -)$algebraic properties of the roots $-2,1,$ i.e. $w$ satisfies $f(w) = g(w)$ for polynomials $f,g\in\Bbb R[x]\,$ iff  $\,-2$ and $1$ also do:  $f(-2) = g(-2)$ and $f(1) = g(1).\,$ While we can always construct extension rings containing such generic roots, generally the construction does not preserve the property of being a domain, and the consequent uniqueness of the list/multiset of roots (which, suitably formulated, is a characteristic property of domains among rings). Yet another example that uniqueness theorems provide powerful tools for deducing equalities.
A: To add something none of the other answers have added explicitly....
You have chosen to splitting the complex numbers into real and imaginary parts. To that end, you have faithfully translated the givens of your problem into this form.
What you've overlooked is that you haven't translated your goal into this form. Doing this isn't always the simplest way to proceed, but it's almost always a correct and straightforward way to proceed. The translation of your goal is that you seek to prove $b=d=0$.
Finally, even without an idea of how to proceed, you do know something you can do with a system of equations and inequations: you can simply / solve it! Sometimes, the simplified/solved form will suggest what to do next. So without knowing where you're going, we can still do the following:


*

*Solve $b+d = 0$ to determine $d = -b$

*Simplify $ad+bc = 0$ to $b(c-a) = 0$

*Solve that equation by splitting into cases:

*Case $b=0$:

*

*Then $d=0$ too.

*The remaining inequalities are $a+c < 0$ and $ac - bd < 0$

*The latter simplifies to $ac < 0$

*We can solve this by cases:

*Case $a < 0$ and $c > 0$:

*

*The remaining inequation yields $a < -c < 0$


*Case $a > 0$ and $c < 0$:

*

*The remaining inequation yields $0 < a < -c$



*Case $(c-a)=0$:

*

*Then $c = a$

*The remaining inequalities are $a+c < 0$ and $ac - bd < 0$

*Thes latter simplifies to $a^2 < -b^2$

*This is a contradiction! (the r.h.s is nonpositive and the l.h.s. is nonnegative)



So the complete solution to the givens is the union of the cases:


*

*$a < 0$ and $c > 0$ and $|c| < |a|$ and $b=d=0$

*$a > 0$ and $c < 0$ and $|a| < |c|$ and $b=d=0$


And then once you've reached this point, you could return to the problem to see how you could use this information to show $z_1$ and $z_2$ are real numbers.
(Of course, if you translated the goal, you wouldn't have had to do any of the work in the $b=0$ case)
