Question 13 Marks
If $z_1, z_2, z \in C$, then prove that:
(i) $\left|z_1-z_2\right| \leq\left|z_1\right|+\left|z_2\right|$
(ii) $\left|z_1+z_2\right| \geq\left|z_1\right|-\left|z_2\right|$
(i) $\left|z_1-z_2\right| \leq\left|z_1\right|+\left|z_2\right|$
(ii) $\left|z_1+z_2\right| \geq\left|z_1\right|-\left|z_2\right|$
Answer
$\begin{aligned} &\text {(i)}\quad z_1-\left.z_2\right|^2=\left(z_1-z_2\right)\left(\overline{z_1-z_2}\right) \quad\left(\because|z|^2=z \bar{z}\right) \\ & =\left(z_1-z_2\right)\left(\bar{z}_1-\bar{z}_2\right) \quad\left[\because \overline{z_1-z_2}=\bar{z}_1-\bar{z}_2\right] \\ & =z_1 \bar{z}_1-z_1 \bar{z}_2-z_2 \bar{z}_1+z_2 \bar{z}_2 \\ & =\left|z_1\right|^2-\left(z_1 \bar{z}_2+z_2 \bar{z}_1\right)+\left|z_2\right|^2 \\ & =\left|z_1\right|^2-\left(z_1 \bar{z}_2+\left(\overline{z_1 \bar{z}_2}\right)\right)+\left|z_2\right|^2 \quad \quad[\because \overline{(\bar{z})}=z] \\ & =\left|z_1\right|^2-2 \operatorname{Re}\left(z_1 \bar{z}_2\right)+\left|z_2\right|^2 \quad[\because z+\bar{z}=2 \operatorname{Re}(z)] \\ & \leq\left|z_1\right|^2+2\left|z_1 \bar{z}_2\right|+\left|z_2\right|^2 \quad[\because-2 \operatorname{Re}(z) \leq|z|] \\ & \Rightarrow\left|z_1-z_2\right|^2 \leq\left|z_1\right|^2+2\left|z_1\right|\left|\bar{z}_2\right|+\left|z_2\right|^2 \\ & \Rightarrow\left|z_1-z_2\right|^2 \leq\left|z_1\right|^2+2\left|z_1\right|\left|z_2\right|+\left|z_2\right|^2 \quad[\because|z|=|\bar{z}|] \\ & \Rightarrow\left|z_1-z_2\right|^2 \leq\left[\left|z_1\right|+\left|z_2\right|\right]^2 \\ & \therefore\left|z_1-z_2\right| \leq\left|z_1\right|+\left|z_2\right| \quad \text { Hence proved. }\end{aligned}$
$\begin{aligned} &\text {(ii)}\quad\left|z_1+z_2\right|^2=\left(z_1+z_2\right)\left(\overline{z_1+z_2}\right) \quad\left(\because|z|^2=z \bar{z}\right) \\ & =\left(z_1+z_2\right)\left(\bar{z}_1+\bar{z}_2\right) \quad\left[\because \overline{z_1+z_2}=\bar{z}_1+\bar{z}_2\right] \\ & =z_1 \bar{z}_1+z_1 \bar{z}_2+z_2 \bar{z}_1+z_2 \bar{z}_2 \\ & =\left|z_1\right|^2+\left[z_1 \bar{z}_2+\left(\overline{z_1 \bar{z}_2}\right)\right]+\left|z_2\right|^2 \quad[\because \overline{(\bar{z})}=z] \\ & =\left|z_1\right|^2+2 \operatorname{Re}\left(z_1 \bar{z}_2\right)+\left|z_2\right|^2 \quad[\because z+\bar{z}=2 \operatorname{Re}(z)] \\ & \geq\left|z_1\right|^2-2\left|z_1 \bar{z}_2\right|+\left|z_2\right|^2 \\ & \Rightarrow\left|z_1+z_2\right|^2 \geq\left|z_1\right|^2-2\left|z_1\right|\left|\bar{z}_2\right|+\left|z_2\right|^2 \\ & \Rightarrow\left|z_1+z_2\right|^2 \geq\left|z_1\right|^2-2\left|z_1\right|\left|z_2\right|+\left|z_2\right|^2\end{aligned}$
$\begin{array}{l}\Rightarrow\left|z_1+z_2\right|^2 \geq\left[\left|z_1\right|-\left|z_2\right|\right]^2 \\ \therefore\left|z_1+z_2\right| \geq\left|z_1\right|-\left|z_2\right| \quad \text { Hence proved. }\end{array}$
View full question & answer→$\begin{aligned} &\text {(i)}\quad z_1-\left.z_2\right|^2=\left(z_1-z_2\right)\left(\overline{z_1-z_2}\right) \quad\left(\because|z|^2=z \bar{z}\right) \\ & =\left(z_1-z_2\right)\left(\bar{z}_1-\bar{z}_2\right) \quad\left[\because \overline{z_1-z_2}=\bar{z}_1-\bar{z}_2\right] \\ & =z_1 \bar{z}_1-z_1 \bar{z}_2-z_2 \bar{z}_1+z_2 \bar{z}_2 \\ & =\left|z_1\right|^2-\left(z_1 \bar{z}_2+z_2 \bar{z}_1\right)+\left|z_2\right|^2 \\ & =\left|z_1\right|^2-\left(z_1 \bar{z}_2+\left(\overline{z_1 \bar{z}_2}\right)\right)+\left|z_2\right|^2 \quad \quad[\because \overline{(\bar{z})}=z] \\ & =\left|z_1\right|^2-2 \operatorname{Re}\left(z_1 \bar{z}_2\right)+\left|z_2\right|^2 \quad[\because z+\bar{z}=2 \operatorname{Re}(z)] \\ & \leq\left|z_1\right|^2+2\left|z_1 \bar{z}_2\right|+\left|z_2\right|^2 \quad[\because-2 \operatorname{Re}(z) \leq|z|] \\ & \Rightarrow\left|z_1-z_2\right|^2 \leq\left|z_1\right|^2+2\left|z_1\right|\left|\bar{z}_2\right|+\left|z_2\right|^2 \\ & \Rightarrow\left|z_1-z_2\right|^2 \leq\left|z_1\right|^2+2\left|z_1\right|\left|z_2\right|+\left|z_2\right|^2 \quad[\because|z|=|\bar{z}|] \\ & \Rightarrow\left|z_1-z_2\right|^2 \leq\left[\left|z_1\right|+\left|z_2\right|\right]^2 \\ & \therefore\left|z_1-z_2\right| \leq\left|z_1\right|+\left|z_2\right| \quad \text { Hence proved. }\end{aligned}$
$\begin{aligned} &\text {(ii)}\quad\left|z_1+z_2\right|^2=\left(z_1+z_2\right)\left(\overline{z_1+z_2}\right) \quad\left(\because|z|^2=z \bar{z}\right) \\ & =\left(z_1+z_2\right)\left(\bar{z}_1+\bar{z}_2\right) \quad\left[\because \overline{z_1+z_2}=\bar{z}_1+\bar{z}_2\right] \\ & =z_1 \bar{z}_1+z_1 \bar{z}_2+z_2 \bar{z}_1+z_2 \bar{z}_2 \\ & =\left|z_1\right|^2+\left[z_1 \bar{z}_2+\left(\overline{z_1 \bar{z}_2}\right)\right]+\left|z_2\right|^2 \quad[\because \overline{(\bar{z})}=z] \\ & =\left|z_1\right|^2+2 \operatorname{Re}\left(z_1 \bar{z}_2\right)+\left|z_2\right|^2 \quad[\because z+\bar{z}=2 \operatorname{Re}(z)] \\ & \geq\left|z_1\right|^2-2\left|z_1 \bar{z}_2\right|+\left|z_2\right|^2 \\ & \Rightarrow\left|z_1+z_2\right|^2 \geq\left|z_1\right|^2-2\left|z_1\right|\left|\bar{z}_2\right|+\left|z_2\right|^2 \\ & \Rightarrow\left|z_1+z_2\right|^2 \geq\left|z_1\right|^2-2\left|z_1\right|\left|z_2\right|+\left|z_2\right|^2\end{aligned}$
$\begin{array}{l}\Rightarrow\left|z_1+z_2\right|^2 \geq\left[\left|z_1\right|-\left|z_2\right|\right]^2 \\ \therefore\left|z_1+z_2\right| \geq\left|z_1\right|-\left|z_2\right| \quad \text { Hence proved. }\end{array}$