Let z be a complex number such that ∣z−5∣=∣z−1∣+4. Prove that z is a real number.
Solution
Let z=x+iy, where x,y∈R.
Then ∣z−5∣=∣(x+iy)−5∣=∣(x−5)+iy∣=(x−5)2+y2 and ∣z−1∣=∣(x+iy)−1∣=∣(x−1)+iy∣=(x−1)2+y2.
The given equation is (x−5)2+y2=(x−1)2+y2+4.
Let a=(x−5)2+y2 and b=(x−1)2+y2, so a=b+4.
Then a2=b2+8b+16. But a2=(x−5)2+y2 and b2=(x−1)2+y2.
So (x−5)2+y2=(x−1)2+y2+8b+16. The y2 terms cancel: (x−5)2=(x−1)2+8b+16. Expand: (x2−10x+25)=(x2−2x+1)+8b+16 −10x+25=−2x+1+8b+16 −10x+25+2x−1−16=8b −8x+8=8b −x+1=b But b=(x−1)2+y2, so −x+1=(x−1)2+y2
Now, (x−1)2+y2≥0, so −x+1≥0, i.e., x≤1.
Square both sides: (−x+1)2=(x−1)2+y2 But (−x+1)2=(x−1)2, so (x−1)2=(x−1)2+y2 0=y2 y=0
Therefore, z=x+i⋅0=x is a real number.
Thus, z 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.