Absolute value and conjugation – "Math for Non-Geeks"

Absolute value of a complex number

Motivation of the absolute value

When dealing with real numbers, we introduced the absolute value function $|\cdot |:ℝ\to {ℝ}_{\ge 0}$, with which we could specify the distance of a certain number to zero. Visualised on the real number line, this looks as follows:

absolute values of real numbers

Also in the complex plane we can determine the distance of a complex number from the zero point. For this, we use the theorem of Pythagoras. Let $z=a+b\mathrm{i}$ be a complex number:

The complex number z with its real part a and imaginary part b

With the Pythagorean theorem, for the distance $|z|$ from zero, we have $|z{|}^2=\mathrm{Re}(z{)}^2+\mathrm{Im}(z{)}^2=a^2+b^2$. By taking roots on both sides, $|z|$ can be determined. There is:

$|z|=\sqrt{\text{Re}(z{)}^2+\text{Im}(z{)}^2}=\sqrt{a^2+b^2}$

The absolute value transfers some concepts of real numbers to the complex numbers. As $|x-y|$ in the real numbers is the distance between $x$ and $y$, so is $|z-w|$ in the complex numbers the distance between $z$ and $w$. The distance in turn can be used to define terms such as a limit: A complex number $z$ is the limit value of a sequence $(z_n{)}_{n\in \mathbb{N}}$ of complex numbers, if for every $ϵ>0$, the distance $|z-z_n|$ is below $ϵ$ for all sufficiently large $n$.

Definition of the complex absolute value

Definition (absolute value of a complex number)

Let $z=a+b\mathrm{i}\in ℂ$. Then, we define $|z|=\sqrt{\text{Re}(z{)}^2+\text{Im}(z{)}^2}=\sqrt{a^2+b^2}$ and call the number $|z|\in {ℝ}_{\ge 0}$ the absolute value of $z$.

Hint

The absolute value defined above on the complex numbers coincides with the usual absolute value for real numbers. Consider $z=a+0\cdot \mathrm{i}\in ℝ$. Then, there is:

$\begin{array}{cc}|z|& =\sqrt{\text{Re}(z{)}^2+\text{Im}(z{)}^2}=\sqrt{a^2+0^2}=\sqrt{a^2}\\ & =\{\begin{array}{cc}a,& \text{if }a\ge 0,\\ -a,& \text{if }a<0.\end{array}\end{array}$

Complex conjugation

Motivation of the conjugation

The imaginary unit $\mathrm{i}$ as a root of $-1$ fulfils the equation ${\mathrm{i}}^2=-1$. We can imagine the multiplication $x\mapsto -1\cdot x$ as a $180^{\circ }$ rotation around the zero point. Now because of the equation ${\mathrm{i}}^2=-1$, the multiplication $x\mapsto -1\cdot x$ is the same as $x\mapsto \mathrm{i}\cdot (\mathrm{i}\cdot x)$. Thus, $x\mapsto \mathrm{i}\cdot x$ is an operation that corresponds to a $180^{\circ }$ rotation when used twice.

If a double multiplication with $\mathrm{i}$ corresponds to a $180^{\circ }$ rotation, then multiplication by the chosen imaginary unit corresponds to a counterclockwise $90^{\circ }$ rotation. In particular, the imaginary unit $\mathrm{i}$ is equal to the number which results from a rotation of the number $1$ by $90^{\circ }$:

Rotation of the number 1 by 90° yields i

It is common in Mathematics to turn counter-clockwise. Thus, $\mathrm{i}$ is located where in $ℝ\times ℝ$ the $1$ lies on the $y$ axis. However, one could just as well have turned clockwise. Then $\mathrm{i}$ would lie at the point $(0,-1)$ on the $y$ axis:

Rotation of the number 1 by -90° yields -i

We could also have derived the complex numbers from this alternative rotation. In that case, we would have chosen the point below the $x$ axis as the imaginary unit $\mathrm{i}$ on the same complex plane. In this alternative set of complex numbers, the roles of $\mathrm{i}$ and $-\mathrm{i}$ are reversed. So if we swap $\mathrm{i}\leftrightarrow -\mathrm{i}$ everywhere, essential properties and structures obtained by number range expansion should be preserved. Such an interchange is shown in the figure:

$a+b\mathrm{i}\mapsto a-b\mathrm{i}$

In this figure, the imaginary part is multiplied by $-1$. This corresponds to a reflection of the complex number on the real ($x$) axis:

complex conjugation visualized

An example where this reflection is useful are the zeros of the function $f:ℂ\to ℂ,f(z)=z^2+1$. There is $f(\mathrm{i})={\mathrm{i}}^2+1=0$. Therefore $\mathrm{i}$ is a zero of $f$. On the other hand, there is also $f(-\mathrm{i})=(-\mathrm{i}{)}^2+1=0$ and therefore $-\mathrm{i}$ is another zero. Let us consider $g(z)=z^2-2z+2$ with the zero $1+\mathrm{i}$. One might think that the negative of the number, $-1-\mathrm{i}$, is another zero. Unfortunately, this is not the case. But if we exchange $\mathrm{i}$ with $-\mathrm{i}$, i.e. if we look at the complex number $1-\mathrm{i}$, we get another zero:

$\begin{array}{cc}g(1-\mathrm{i})& =(1-\mathrm{i}{)}^2-2(1-\mathrm{i})+2\\ & =(-2\mathrm{i})-(2-2\mathrm{i})+2=0\end{array}$

For the zero $z=a+b\mathrm{i}$ of a polynomial, $a-b\mathrm{i}$, reflected on the real axis, appears to be another zero point. Incidentally, this is the case for all polynomials with purely real coefficients. This indicates that the mapping $a+b\mathrm{i}\mapsto a-b\mathrm{i}$ is a special one. This mapping is called complex conjugation.

For the zero point $z=a+b\mathrm{i}$ of a polynomial, the $a-b\mathrm{i}$ mirrored on the real axis seems to be another zero point. This is the case for all polynomials with purely real coefficients. This indicates that the mapping $a+b\mathrm{i}\mapsto a-b\mathrm{i}$ might be particularly useful. As you progress with your math studies, you will see that it is useful in many more situations. So we better give it a name. Let's call it complex conjugation (since it connects/ conjugates $a+b\mathrm{i}$ and $a-b\mathrm{i}$).

Definition of the complex conjugation

Definition (complex conjugation for a complex number)

Let $z=a+b\mathrm{i}\in ℂ$. Then, the mapping $ℂ\to ℂ,z\mapsto \overline{z}$ is called complex conjugation and the number $\overline{z}=a-b\mathrm{i}$ is the complex conjugate of $z$.

Overview: Properties of the absolute value and the complex conjugation

Properties of the complex conjugation

For all $z,w\in ℂ$, the following hold:

• $z=\bar{z}⟺\mathrm{Im}(z)=0⟺z\in ℝ$
• $\overline{\stackrel{‾}{w}}=w$
• $\overline{z+w}=\bar{z}+\bar{w}$
• $\overline{z\cdot w}=\bar{z}\cdot \bar{w}$
• $\overline{\sum _{k=1}^n{z}_k}=\sum _{k=1}^n\overline{z_k}$
• $\overline{\prod _{k=1}^n{z}_k}=\prod _{k=1}^n\overline{z_k}$
• $\text{Re}(w)=\frac{1}{2}\cdot (w+\bar{w})$
• $\text{Im}(w)=\frac{1}{2\mathrm{i}}\cdot (w-\bar{w})$
• $|z|=\sqrt{z\cdot \overline{z}}$
• $z^{-1}=\frac{\bar{z}}{|z{|}^2}$ for $z\ne 0$
• $\overline{\left(\frac{z}{w}\right)}=\frac{\bar{z}}{\bar{w}}$ for $w\ne 0$

Properties of the absolute value of a complex number

For all $z,w\in ℂ$, the following hold:

• $|z|\ge 0$ and $|z|=0\iff z=0$ (positive definiteness)
• $|wz|=|w||z|$ (multiplicativity)
• $|\text{Re}(z)|\le |z|$ and $|\text{Im}(z)|\le |z|$
• $|w+z|\le |w|+|z|$ (triangle inequality)
• $|z|\le |\text{Re}(z)|+|\text{Im}(z)|$
• $||w|-|z||\le |w-z|$

Computation rules for complex conjugation

Conjugation does not change real numbers

Theorem (Conjugation does not change real numbers)

For a number $z\in ℂ$ there is $\overline{z}=z$ if and only if $z$ is purely real, i.e. $\mathrm{Im}(z)=0$.

Proof (Conjugation does not change real numbers)

Proof step: $z=\bar{z}⟹z\in ℝ$

Let $z=a+b\mathrm{i}$ with $a,b\in ℝ$ and $\bar{z}=z$. There is then

$\begin{array}{ccc}& z& =\bar{z}\\ ⟹& a+b\mathrm{i}& =a-b\mathrm{i}\\ ⟹& b\mathrm{i}& =-b\mathrm{i}\\ ⟹& 2b\mathrm{i}& =0\\ ⟹& b& =0\end{array}$

Hence $\mathrm{Im}(z)=b=0$ so $z$ is a real number.

Proof step: $z\in ℝ⟹z=\bar{z}$

Let $z=a+b\mathrm{i}$ be a real number. That means, $\mathrm{Im}(z)=b=0$. We have:

$\bar{z}=a-b\mathrm{i}=a-0\mathrm{i}=a+0\mathrm{i}=z$

Involution

Theorem (Involution)

For a complex number $w\in ℂ$ there is:

$\overline{\stackrel{‾}{w}}=w$

Proof (Involution)

Let $w=a+b\mathrm{i}$ with $a,b\in ℝ$. Then, there is:

$\overline{\stackrel{‾}{w}}=\overline{(a-b\mathrm{i})}=a+b\mathrm{i}=w$

This can also be explained as follows: $\bar{w}$ is the reflection of $w$ on the real axis. So $\overline{\stackrel{‾}{w}}$ is the reflection of the reflection, which is just the original complex number.

Compatibility with addition

Theorem (Compatibility with addition)

For complex numbers $z,w\in ℂ$ there is:

$\overline{z+w}=\bar{z}+\bar{w}$

Proof (Compatibility with addition)

Let $z\in ℂ$ be of the form $a+b\mathrm{i}$, where $a,b\in ℝ$ and $w\in ℂ$ of the form $c+d\mathrm{i}$, where $c,d\in ℝ$. Then, there is:

$\begin{array}{cc}\overline{z+w}& =\overline{(a+b\mathrm{i})+(c+d\mathrm{i})}\\ & =\overline{a+b\mathrm{i}+c+d\mathrm{i}}\\ & =\overline{(a+c)+(b+d)\mathrm{i}}\\ & =(a+c)-(b+d)\mathrm{i}\\ & =(a+c)-b\mathrm{i}-d\mathrm{i}\\ & =a-b\mathrm{i}+c-d\mathrm{i}\\ & =(a-b\mathrm{i})+(c-d\mathrm{i})\\ & =\bar{z}+\bar{w}\end{array}$

Compatibility with multiplication

Theorem (Compatibility with multiplication)

For complex numbers $z,w\in ℂ$ there is:

$\overline{z\cdot w}=\bar{z}\cdot \bar{w}$

Proof (Compatibility with multiplication)

Let $z\in ℂ$ be of the form $a+b\mathrm{i}$, where $a,b\in ℝ$ and $w\in ℂ$ of the form $c+d\mathrm{i}$, where $c,d\in ℝ$. Then, there is:

$\begin{array}{cc}\overline{z\cdot w}& =\overline{(a+b\mathrm{i})\cdot (c+d\mathrm{i})}\\ & =\overline{ac+ad\mathrm{i}+bc\mathrm{i}-bd}\\ & =\overline{(ac-bd)+(ad+bc)\mathrm{i}}\\ & =ac-bd-(ad+bc)\mathrm{i}\\ & =ac-bd-ad\mathrm{i}-bc\mathrm{i}\\ & =ac-ad\mathrm{i}-bc\mathrm{i}-bd\\ & =(a-b\mathrm{i})\cdot (c-d\mathrm{i})\\ & =\bar{z}\cdot \bar{w}\end{array}$

Compatibility of conjugation with finite sums and products

We know how the conjugation behaves with the sum and product of two numbers. What happens with sums and products with three or more numbers, like $\overline{z_1+z_2+z_3}$? We use a trick: First, we consider $(z_1+z_2)$ as a single complex number. Then, we twice use the theorem of conjugation and sum:

$\overline{(z_1+z_2)+z_3}=\overline{(z_1+z_2)}+\overline{z_3}=\overline{z_1}+\overline{z_2}+\overline{z_3}$

There is also no difference for three summands if we first sum everything and then apply conjugation to the resulting number, or if we first conjugate every number and then sum everything. This is generally true for arbitrary sums and products of complex numbers, as we will prove below via induction.

Theorem (Compatibility for arbitrarily many complex numbers)

For every $n\in \mathbb{N}$ and all complex numbers $z_1,\mathrm{...}{z}_n\in ℂ$ there is:

1. $\overline{\sum _{k=1}^n{z}_k}=\sum _{k=1}^n\overline{z_k}$
2. $\overline{\prod _{k=1}^n{z}_k}=\prod _{k=1}^n\overline{z_k}$

Proof (Compatibility for arbitrarily many complex numbers)

We prove this theorem for the sum via full induction. The proof for the finite product can be done analogously.

Theorem whose validity shall be proven for $n\in \mathbb{N}$ bewiesen werden soll:

$\overline{\sum _{k=1}^n{z}_k}=\sum _{k=1}^n\overline{z_k}$

1. Base case:

$\overline{\sum _{k=1}^1{z}_k}=\overline{z_1}=\sum _{k=1}^1\overline{z_k}$

2. Inductive step:

2a. Inductive hypothesis:

$\overline{\sum _{k=1}^n{z}_k}=\sum _{k=1}^n\overline{z_k}$

2b. Induction theorem:

$\overline{\sum _{k=1}^{n+1}{z}_k}=\sum _{k=1}^{n+1}\overline{z_k}$

2c. Proof of induction step:

$\begin{array}{cc}\overline{\sum _{k=1}^{n+1}{z}_k}& =\overline{\sum _{k=1}^n{z}_k+z_{n+1}}=\overline{\sum _{k=1}^n{z}_k}+\overline{z_{n+1}}\\ & \downarrow \text{induction assumption}\\ & =\sum _{k=1}^n\overline{z_k}+\overline{z_{n+1}}=\sum _{k=1}^{n+1}\overline{z_k}\end{array}$

Computation of the real and imaginary part

Theorem (Computation of the real and imaginary part)

For a complex number $w\in ℂ$ there is:

1. $\text{Re}(w)=\frac{1}{2}\cdot (w+\bar{w})$
2. $\text{Im}(w)=\frac{1}{2\mathrm{i}}\cdot (w-\bar{w})$

Proof (Computation of the real and imaginary part)

Let $w=a+b\mathrm{i}$ with $a,b\in ℝ$. We verify this equation by direct computation, starting from the right:

$\begin{array}{cc}\frac{1}{2}\cdot (w+\bar{w})& =\frac{1}{2}\cdot (a+b\mathrm{i}+(a-b\mathrm{i}))\\ & =\frac{1}{2}\cdot (a+a+b\mathrm{i}-b\mathrm{i})\\ & =\frac{1}{2}\cdot (2a)=a=\mathrm{R}\mathrm{e}(w)\\ \frac{1}{2\mathrm{i}}\cdot (w-\bar{w})& =\frac{1}{2\mathrm{i}}\cdot (a+b\mathrm{i}-(a-b\mathrm{i}))\\ & =\frac{1}{2\mathrm{i}}\cdot (a-a+b\mathrm{i}+b\mathrm{i})\\ & =\frac{1}{2\mathrm{i}}\cdot (2b\mathrm{i})=b=\mathrm{I}\mathrm{m}(w)\end{array}$

Computation of the absolute value via conjugation

Theorem (Computation of the absolute value via conjugation)

For all complex numbers $z\in ℂ$ there is $|z|=\sqrt{z\cdot \overline{z}}$. So $z\cdot \bar{z}=|z{|}^2$.

Proof (Computation of the absolute value via conjugation)

Let $z\in ℂ$ be an arbitrary complex number with $z=a+b\mathrm{i}$. We compute $z\cdot \overline{z}$. There is $z=a+b\mathrm{i}$ and $\overline{z}=a-b\mathrm{i}$. So there is

$\begin{array}{cc}z\cdot \overline{z}& =(a+b\mathrm{i})\cdot (a-b\mathrm{i})=a^2-(b\mathrm{i}{)}^2\\ & =a^2-(-b^2)=a^2+b^2=|z{|}^2\end{array}$

Since $|z{|}^2$ is real and the basis $|z|$ is non-negative, we can take the root and obtain the real number $|z|=\sqrt{z\cdot \overline{z}}$.

Computation of the inverse via conjugation

Theorem (Computation of the inverse via conjugation)

For all complex numbers $z\in ℂ\setminus \{0\}$ there is $z^{-1}=\frac{\bar{z}}{|z{|}^2}$.

Proof (Computation of the inverse via conjugation)

Let $z\in ℂ\setminus \{0\}$ be an arbitrary complex number. We want to show $z^{-1}=\frac{\bar{z}}{|z{|}^2}$. This is done by proving $z\cdot \frac{\bar{z}}{|z{|}^2}=1$. With $|z{|}^2=z\cdot \overline{z}$ we get

$z\cdot \frac{\bar{z}}{|z{|}^2}=\frac{z\cdot \bar{z}}{|z{|}^2}=\frac{|z{|}^2}{|z{|}^2}=1=z\cdot z^{-1}$

Because the inverse is unique in a field, $z^{-1}=\frac{\bar{z}}{|z{|}^2}$ follows. This proves that $\frac{\bar{z}}{|z{|}^2}$ is equal to the inverse of $z$.

Hint

When proving that the complex numbers form a field, we have also derived a multiplicative inverse of $z=a+b\mathrm{i}$. There we have seen $z^{-1}=\frac{a}{a^2+b^2}-\frac{b}{a^2+b^2}\mathrm{i}$. This is consistent with the new representation by complex conjugation: $z^{-1}=\frac{a}{a^2+b^2}-\frac{b}{a^2+b^2}\mathrm{i}=\frac{a-b\mathrm{i}}{a^2+b^2}=\frac{\bar{z}}{|z{|}^2}.$

Conjugation of fractions

Theorem (Conjugation of fractions)

For all complex numbers $z,w\in ℂ$ with $w\ne 0$ there is:

$\overline{\left(\frac{z}{w}\right)}=\frac{\bar{z}}{\bar{w}}$

Proof (Conjugation of fractions)

We already know that for the inverse of a complex number $w\in ℂ\setminus \{0\}$ there is: $\frac{1}{w}=\frac{\bar{w}}{|w{|}^2}$. We have also seen that real numbers are not changed by the conjugation, and that the conjugation is compatible with the multiplication. We first show: $\overline{\left(\frac{1}{w}\right)}=\frac{1}{\bar{w}}$. For this, we use that $\frac{1}{|w{|}^2}$ is real and that $|w|=|\bar{w}|$ holds.

$\begin{array}{cc}\overline{\left(\frac{1}{w}\right)}& =\overline{\left(\frac{\stackrel{‾}{w}}{|w{|}^2}\right)}=\overline{(\stackrel{‾}{w}\cdot \frac{1}{|w{|}^2})}=\overline{\left(\stackrel{‾}{w}\right)}\cdot \overline{\left(\frac{1}{|w{|}^2}\right)}\\ & =\overline{\left(\stackrel{‾}{w}\right)}\cdot \frac{1}{|w{|}^2}=\overline{\left(\stackrel{‾}{w}\right)}\cdot \frac{1}{|\bar{w}{|}^2}=\frac{\overline{\left(\stackrel{‾}{w}\right)}}{|\bar{w}{|}^2}=\frac{1}{\bar{w}}\end{array}$

This gives us for the conjugation of fractions of complex numbers $z,w\in ℂ$ with $w\ne 0$:

$\overline{\left(\frac{z}{w}\right)}=\overline{(z\cdot \frac{1}{w})}=\bar{z}\cdot \overline{\left(\frac{1}{w}\right)}=\bar{z}\cdot \frac{1}{\bar{w}}=\frac{\bar{z}}{\bar{w}}$

Properties of the complex absolute function

Positive definiteness

Theorem (Positive definiteness)

Let $z\in ℂ$ be a complex number. Then, there is:

$|z|\ge 0\wedge |z|=0⟺z=0$

Proof (Positive definiteness)

Let $z=a+b\mathrm{i}$ be given in Cartesian form. Then, there is $|z|=\sqrt{a^2+b^2}\ge 0$. Now we still have to prove the equivalence. For this, we show two implications:

Proof step: $z=0⟹|z|=0$

Let $z=0$. Then, there is $a=b=0$. So we have $|z|=\sqrt{a^2+b^2}=\sqrt{0+0}=0$.

Proof step: $|z|=0⟹z=0$

This direction is shown by contradiction. Let $z\ne 0$. This implies $a\ne 0$ or $b\ne 0$. If $a\ne 0$ then, there is $|z|=\sqrt{a^2+b^2}\ge \sqrt{a^2}=|a|>0$. For $b\ne 0$ there is $|z|=\sqrt{a^2+b^2}\ge \sqrt{b^2}=|b|>0$. In every case we have $|z|>0$ and hence $|z|\ne 0$.

Multiplicativity

Theorem (Multiplicativity)

For $w,z\in ℂ$ there is $|z\cdot w|=|z|\cdot |w|$.

Proof (Multiplicativity)

Let $w=a+b\mathrm{i}$ and $z=c+d\mathrm{i}\in ℂ$. Then, there is

$\begin{array}{cc}|z\cdot w{|}^2& =|(c+d\mathrm{i})\cdot (a+b\mathrm{i}){|}^2\\ & =|(ac-bd)+(cb+da)\mathrm{i}{|}^2\\ & =(ac-bd{)}^2+(cb+da{)}^2\\ & =a^2{c}^2+b^2{d}^2+c^2{b}^2+d^2{a}^2\\ & =(c^2+d^2)(a^2+b^2)\\ & =|z{|}^2\cdot |w{|}^2\\ & =(|z|\cdot |w|{)}^2\end{array}$

Since $|z\cdot w|$ and $|z|\cdot |w|$ are both nonnegative, we are allowed to take the root on both sides. Thus, we get $|z\cdot w|=|z|\cdot |w|$.

Estimating real and imaginary part

Theorem

For all $z\in ℂ$ there is $|\text{Re}(z)|\le |z|$ and $|\text{Im}(z)|\le |z|$.

Proof

Let $z=a+b\mathrm{i}\in ℂ$ with $a,b\in ℝ$. Then, with $b^2\ge 0$, we have:

$|z|=|a+b\mathrm{i}|=\sqrt{a^2+b^2}\ge \sqrt{a^2}=|a|=|\mathrm{R}\mathrm{e}(z)|$ Analogously, from $a^2\ge 0$, we get:

$|z|=|a+b\mathrm{i}|=\sqrt{a^2+b^2}\ge \sqrt{b^2}=|b|=|\mathrm{I}\mathrm{m}(z)|$

Triangle inequality

Theorem (Triangle inequality)

For all $w,z\in ℂ$ there is $|w+z|\le |w|+|z|$.

Proof (Triangle inequality)

Let $w$ and $z\in ℂ$. In order to estimate the absolute value, we use the relation $|v{|}^2=v\cdot \bar{v}$:

$\begin{array}{cc}|w+z{|}^2& =(w+z)\overline{(w+z)}\\ & =(w+z)(\bar{w}+\bar{z})\\ & =w\bar{w}+w\bar{z}+\bar{w}z+\bar{z}z\\ & =|w{|}^2+(w\bar{z}+\overline{w\stackrel{‾}{z}})+|z{|}^2\\ & \downarrow \text{For }v\in ℂ\text{ there is }v+\bar{v}=2\mathrm{R}\mathrm{e}(v)\\ & =|w{|}^2+2\mathrm{R}\mathrm{e}(w\bar{z})+|z{|}^2\\ & \downarrow \mathrm{R}\mathrm{e}(w\bar{z})\le |\mathrm{R}\mathrm{e}(w\bar{z})|\le |w\bar{z}|=|w||\bar{z}|=|w||z|\\ & \le |w{|}^2+2|w||z|+|z{|}^2\\ & =(|w|+|z|{)}^2\end{array}$

Both sides are nonnegative, so taking square roots gives $|w+z|\le |w|+|z|$.

Estimating the absolute value

Theorem

For all $z\in ℂ$ there is $|z|\le |\mathrm{Re}(z)|+|\mathrm{Im}(z)|$.

Proof

Let $z=a+b\mathrm{i}$. First, we show that the square of the inequality holds.

$\begin{array}{cc}|z{|}^2& =a^2+b^2=|a{|}^2+|b{|}^2\\ & \le |a{|}^2+2|a||b|+|b{|}^2\\ & =(|a|+|b|{)}^2=(|\mathrm{Re}(z)|+|\mathrm{Im}(z)|{)}^2\end{array}$

Both $|z|$ and $|\mathrm{Re}(z)|+|\mathrm{Im}(z)|$ are nonnegative, so we can take the root on both sides of the inequality. This root preserves inequalities and thus $|z|\le |\mathrm{Re}(z)|+|\mathrm{Im}(z)|$.

Inverse triangle inequality

Theorem (Inverse triangle inequality)

For complex numbers $w,z\in ℂ$ there is $||w|-|z||\le |w-z|$.

Proof (Inverse triangle inequality)

In order to prove an inequality $|x|\le y$, we can also just prove the two inequalities $x\le y$ and $-x\le y$. We will apply exactly this technique: in the following, we establish the two inequalities $|w|-|z|\le |w-z|$ and $|z|-|w|\le |w-z|$.

Let's start with the first inequality. We use the triangle inequality of the complex amount and the trick of "inserting a fruitful $0$" (which often appears together with triangle inequalities):

$|w|=|(w-z)+z|\le |w-z|+|z|$

By transformation, we obtain $|w|-|z|\le |w-z|$. We show the second inequality analogously, where the roles of $z$ and $w$ are reversed. In addition, we gradually transform $|z-w|$ into $|w-z|$:

$\begin{array}{cc}|z|& =|(z-w)+w|\le |z-w|+|w|\\ & =|(-1)(w-z)|+|w|\\ & =|(-1)||w-z|+|w|\\ & =|w-z|+|w|\end{array}$

This implies $|z|-|w|\le |w-z|$. So in all, we have proven the two inequalities $|w|-|z|\le |w-z|$ and $-(|w|-|z|)\le |w-z|$. This establishes $||w|-|z||\le |w-z|$.