Maths Olympiad Prep

Library / /5 of 27

Algebra Difficulty 5.0 AIME Prove it Croatia

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

Solution

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

Then
z5=(x+iy)5=(x5)+iy=(x5)2+y2 |z - 5| = |(x + iy) - 5| = |(x - 5) + iy| = \sqrt{(x - 5)^2 + y^2}
and
z1=(x+iy)1=(x1)+iy=(x1)2+y2. |z - 1| = |(x + iy) - 1| = |(x - 1) + iy| = \sqrt{(x - 1)^2 + y^2}.

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

Let a=(x5)2+y2a = \sqrt{(x - 5)^2 + y^2} and b=(x1)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=(x5)2+y2a^2 = (x - 5)^2 + y^2 and b2=(x1)2+y2b^2 = (x - 1)^2 + y^2.

So
(x5)2+y2=(x1)2+y2+8b+16. (x - 5)^2 + y^2 = (x - 1)^2 + y^2 + 8b + 16.
The y2y^2 terms cancel:
(x5)2=(x1)2+8b+16. (x - 5)^2 = (x - 1)^2 + 8b + 16.
Expand:
(x210x+25)=(x22x+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+2x116=8b -10x + 25 + 2x - 1 - 16 = 8b
8x+8=8b -8x + 8 = 8b
x+1=b - x + 1 = b
But b=(x1)2+y2b = \sqrt{(x - 1)^2 + y^2}, so
x+1=(x1)2+y2 - x + 1 = \sqrt{(x - 1)^2 + y^2}

Now, (x1)2+y20\sqrt{(x - 1)^2 + y^2} \geq 0, so x+10-x + 1 \geq 0, i.e., x1x \leq 1.

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

Therefore, z=x+i0=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.