4
$\begingroup$

Let $ \displaystyle{ z_1, z_2 \in \mathbb{C} }$ where $ z_1, z_2 \neq 0$

Prove that: $\displaystyle |z_1 +z_2| \geq \frac{1}{2} \left( |z_1|+|z_2| \right) \left|\frac{z_1}{|z_1|} + \frac{z_2}{|z_2|}\right| $.

P.S I think that I have to use the inequality $ Re(z_1z_2) \leq |z_1||z_2| $ but I don't know how.

  • 0
    We need the assumption that $z_1$ and $z_2$ are nonzero; otherwise, $\frac{z_i}{|z_i|}$ is not well-defined.2012-04-20
  • 0
    @Paul: Yes you are right! Thank's for noticing this. I edit it.2012-04-20

1 Answers 1

4

Write $z_1=r_1e^{i\theta_1}$ and $z_2=r_2e^{i\theta_2}$. Since $z_1, z_2\neq 0$, we have $r_1, r_2>0$. Then $$\tag{1}\left(\frac{1}{2} \left( |z_1|+|z_2| \right) \left|\frac{z_1}{|z_1|} + \frac{z_2}{|z_2|}\right|\right)^2 =\left(\frac{1}{2}(r_1+r_2)|e^{i\theta_1}+e^{i\theta_2}|\right)^2=\frac{1}{4}(r_1+r_2)^2|e^{i\theta_1}+e^{i\theta_2}|^2$$ $$=\frac{1}{4}(r_1+r_2)^2(2+e^{i(\theta_1-\theta_2)}+e^{i(\theta_2-\theta_1)})$$ since $$\tag{2} |e^{i\theta_1}+e^{i\theta_2}|^2=(e^{i\theta_1}+e^{i\theta_2})(e^{-i\theta_1}+e^{-i\theta_2})=2+e^{i(\theta_1-\theta_2)}+e^{i(\theta_2-\theta_1)}.$$ Note also that $$\tag{3}|z_1+z_2|^2=|r_1e^{i\theta_1}+r_2e^{i\theta_2}|^2= r_1^2+r_2^2+r_1r_2e^{i(\theta_1-\theta_2)}+r_1r_2e^{i(\theta_2-\theta_1)}.$$ Subtract $(3)$ by $(1)$, we obtain $$|z_1+z_2|^2-\left(\frac{1}{2} \left( |z_1|+|z_2| \right) \left|\frac{z_1}{|z_1|} + \frac{z_2}{|z_2|}\right|\right)^2=\frac{1}{2}(r_1-r_2)^2-\frac{1}{4}(r_1-r_2)^2\big(e^{i(\theta_1-\theta_2)}+e^{i(\theta_2-\theta_1)}\big)$$ $$=\frac{1}{4}(r_1-r_2)^2(2-e^{i(\theta_1-\theta_2)}-e^{i(\theta_2-\theta_1)}) =\frac{1}{4}(r_1-r_2)^2|e^{i\theta_1}-e^{i\theta_2}|\geq 0.$$ where the last equality follows from a caluculation similar to $(2)$. So this implies that $$\displaystyle |z_1 +z_2| \geq \frac{1}{2} \left( |z_1|+|z_2| \right) \left|\frac{z_1}{|z_1|} + \frac{z_2}{|z_2|}\right|.$$

  • 1
    I think that you proved $\displaystyle |z_1 -z_2| \geq \frac{1}{2} \left( |z_1|+|z_2| \right) \left|\frac{z_1}{|z_1|} + \frac{z_2}{|z_2|}\right| $ since you calculate $ |z_1 -z_2| $ but it's o.k2012-04-20
  • 0
    @passenger: Oh yes, hahaha. I will try to edit it.2012-04-20
  • 1
    You don't need to do this. I can edit the question! It's o.k since the only thing that I have to change is to calculate $|z_1+z_2|$.2012-04-20
  • 0
    @passenger: I edited it before I read your comment. Anyway, hope that this is clearer.2012-04-20
  • 0
    Yes it very clear! Thank you very much for your time!2012-04-20