Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
We need the assumption that $z_1$ and $z_2$ are nonzero; otherwise, $\frac{z_i}{|z_i|}$ is not well-defined. – Paul Apr 20 '12 at 12:02
@Paul: Yes you are right! Thank's for noticing this. I edit it. – passenger Apr 20 '12 at 12:03
up vote 3 down vote accepted

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|.$$

share|cite|improve this answer
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.k – passenger Apr 20 '12 at 12:37
@passenger: Oh yes, hahaha. I will try to edit it. – Paul Apr 20 '12 at 12:39
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|$. – passenger Apr 20 '12 at 12:41
@passenger: I edited it before I read your comment. Anyway, hope that this is clearer. – Paul Apr 20 '12 at 12:46
Yes it very clear! Thank you very much for your time! – passenger Apr 20 '12 at 12:47

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.