# How to prove that $-|z| le Re (z) le |z|$ and $-|z| le Im (z) le |z|$?

I am reading Ahlfors’ "Complex Analysis". Early in the book, he uses the fact that for $$z in mathbb{C}$$ we have
$$-lVert zrVert le Re (z) le lVert zrVertqquad text{and} qquad -lVert zrVert le Im (z) le lVert zrVert$$
He says that these can inequalities can be derived from the definitions of the real and imaginary parts, as well as the definition of the absolute value of a complex number. These definitions are as follows:
$$Re (z) = frac{z + overline{z}}{2} qquad Im (z) = frac{z -overline{z}}{2i} qquad rVert z rVert^2 = z overline{z}$$

I managed to prove the statement using the following method. I write out $$z$$ explicitly as $$z = x + iy$$ for some $$x, y in mathbb{R}$$. Using this I can show that these definitions are equivalent to
$$Re (z) = x qquad Im (z) = y qquad lVert zrVert^2 = x^2 + y^2$$
Using these new definition, that fact that $$a^2 ge 0 forall a in mathbb{R}$$, and knowing that the real-valued function $$f(x) = sqrt{x}$$ is monotonically increasing on $$[0, infty)$$, I can show that
$$sqrt{x^2 + y^2} ge sqrt{x^2} = |x| qquad sqrt{x^2 + y^2} ge sqrt{y^2} = |y|$$
which is equivalent to saying
$$lVert zrVert ge |Re (z)| qquad lVert zrVert ge |Im (z)|$$
proving the statement.

I don’t like the proof I got because I feel like it "backtracks" into doing grunt work. All the definitions given are written in such a way that you don’t need to write out a complex number $$z$$ as $$x + iy$$, so I feel like going back to this is not a "clean" proof.

Up to this point, the book has proven previously that the absolute value of a complex number is distributive over addition and multiplication of complex numbers, that $$overline{overline{z}} = z$$, and the following properties (for $$a,b in mathbb{C}$$):
$$lVert a + b rVert ^2 = lVert a rVert ^2 + lVert b rVert ^2 + 2 Releft(a overline{b}right) qquad quad lVert a – b rVert ^2 = lVert a rVert ^2 + lVert b rVert ^2 – 2 Releft(a overline{b}right)$$
I tried using these properties to give a proof of the statement where I didn’t have to write out $$z = x+iy$$ explicitly, but I didn’t seem to be able to get anywhere. Does anyone know a way to prove this statement without backtracking as I did? Thank you!

Mathematics Asked on November 12, 2021

So we need to prove $$|Re(z)|leq |z|$$ and $$|Im(z)|leq |z|$$. Notice $$boxed{rm Chatetusleq Hypothenus}$$ Answered by Aqua on November 12, 2021

Using the definitions $$Re (z) = frac{z + overline{z}}{2} , , , Im (z) = frac{z -overline{z}}{2i}$$ you can compute $$bigl(Re (z)bigr)^2 + bigl(Im (z)bigr)^2 = left(frac{z + overline{z}}{2}right)^2 + left(frac{z -overline{z}}{2i} right)^2 = z overline{z} = lVert z rVert^2$$ so that $$bigl(Re (z)bigr)^2le lVert z rVert^2 implies |Re (z)| le lVert z rVert$$ and similarly for the imaginary part.

Answered by Martin R on November 12, 2021

## Related Questions

### The minimizers of energy and length of a curve

1  Asked on August 4, 2020 by w-mu

### prove or give counter example, for every holomorphic function on the unit disc there is $f(z)=z$

1  Asked on August 4, 2020 by hash-man

### Is there an easier prime factorization method for the sum of a prime’s powers?

1  Asked on August 3, 2020 by ifn47

### How does the quotient ring $Bbb Z[x]/(x^2-x,4x+2)$ look like?

2  Asked on August 3, 2020 by 2132123

### Calculus of Variations: Looking for theorem that ensures that a given variational problem has maxima and minima

1  Asked on August 3, 2020 by user

### Primality testing using cyclotomic polynomials

1  Asked on August 2, 2020

### Sequence of integers $S_n$ where all elements that $n$ divides increment by one

1  Asked on July 31, 2020 by twentyyears

### Compositeness testing using Jacobi polynomials

1  Asked on July 30, 2020 by pea-terzi

### Branch cut of square root

2  Asked on July 30, 2020

### Nimber multiplication

2  Asked on July 30, 2020 by yberman

### What is the radius of convergence of $a_n$ where $a_{n+1}=frac{n-5}{n+1}a_n$?

2  Asked on July 28, 2020 by lucas

### Discretization formula for a system of two differential equations. “Solution to one of these is the initial condition of the other”. In which sense?

0  Asked on July 27, 2020 by strictly_increasing

### Calculating distance when velocity is given

1  Asked on July 27, 2020 by aruha

### dimension of intersection of subspaces, one of which of dimension $n-1$

1  Asked on July 27, 2020 by gulzar

### Let $A$ be a subset of $mathbb{R}$ such that $A$ is bounded below with inf $A = L > 0$.

2  Asked on July 26, 2020 by outlier