Maths Olympiad Prep

Library / Croatia competition problems /5 of 26

Croatia competition problems

Algebra Difficulty 5.0 AIME Prove it Croatia

Let zz be a complex number such that
∣z−5∣=∣z−1∣+4. |z - 5| = |z - 1| + 4.
Prove that zz is a real number.

Solution

Let z=x+iyz = x + iy, where x,y∈Rx, y \in \mathbb{R}.

Then
∣z−5∣=∣(x+iy)−5∣=∣(x−5)+iy∣=(x−5)2+y2 |z - 5| = |(x + iy) - 5| = |(x - 5) + iy| = \sqrt{(x - 5)^2 + y^2}
and
∣z−1∣=∣(x+iy)−1∣=∣(x−1)+iy∣=(x−1)2+y2. |z - 1| = |(x + iy) - 1| = |(x - 1) + iy| = \sqrt{(x - 1)^2 + y^2}.

The given equation is
(x−5)2+y2=(x−1)2+y2+4. \sqrt{(x - 5)^2 + y^2} = \sqrt{(x - 1)^2 + y^2} + 4.

Let a=(x−5)2+y2a = \sqrt{(x - 5)^2 + y^2} and b=(x−1)2+y2b = \sqrt{(x - 1)^2 + y^2}, so a=b+4a = b + 4.

Then
a2=b2+8b+16. a^2 = b^2 + 8b + 16.
But a2=(x−5)2+y2a^2 = (x - 5)^2 + y^2 and b2=(x−1)2+y2b^2 = (x - 1)^2 + y^2.

So
(x−5)2+y2=(x−1)2+y2+8b+16. (x - 5)^2 + y^2 = (x - 1)^2 + y^2 + 8b + 16.
The y2y^2 terms cancel:
(x−5)2=(x−1)2+8b+16. (x - 5)^2 = (x - 1)^2 + 8b + 16.
Expand:
(x2−10x+25)=(x2−2x+1)+8b+16 (x^2 - 10x + 25) = (x^2 - 2x + 1) + 8b + 16
−10x+25=−2x+1+8b+16 -10x + 25 = -2x + 1 + 8b + 16
−10x+25+2x−1−16=8b -10x + 25 + 2x - 1 - 16 = 8b
−8x+8=8b -8x + 8 = 8b
−x+1=b - x + 1 = b
But b=(x−1)2+y2b = \sqrt{(x - 1)^2 + y^2}, so
−x+1=(x−1)2+y2 - x + 1 = \sqrt{(x - 1)^2 + y^2}

Now, (x−1)2+y2≥0\sqrt{(x - 1)^2 + y^2} \geq 0, so −x+1≥0-x + 1 \geq 0, i.e., x≤1x \leq 1.

Square both sides:
(−x+1)2=(x−1)2+y2 (-x + 1)^2 = (x - 1)^2 + y^2
But (−x+1)2=(x−1)2(-x + 1)^2 = (x - 1)^2, so
(x−1)2=(x−1)2+y2 (x - 1)^2 = (x - 1)^2 + y^2
0=y2 0 = y^2
y=0 y = 0

Therefore, z=x+i⋅0=xz = x + i \cdot 0 = x is a real number.

Thus, zz is real.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.