0

Locate the points for which $|z-1|=|z-2|=|z-i|$.

My approach is that the equality can be formed between any of the 3 terms (don't know of better way to call), i.e.:
(i) $|z-1|=|z-2|$,
(ii) $|z-1|=|z-i|$,
(iii) $|z-2|=|z-i|$

Have following 6 combinations / orderings of these 3 equalities:

(a) (i) (ii) (iii),
(b) (i) (iii) (ii),
(c) (ii) (i) (iii),
(d) (ii) (iii) (i),
(e) (iii) (i) (ii),
(f) (iii) (ii) (i)

Have raised two questions below, with request to vet:

Q.1. How to 'theoretically' show that all of these ordering are equivalent in terms of finding the solution point.
Soln. 1: Will find the solutions in terms of equalities of complex terms, and would get the same solution irrespective of orderings.

Q.2. Have worked out the first two orderings.

(a) (i) (ii) (iii):
Taking $z = x +iy$,
$|z−1|$ is the distance to $(1,0)$, & is given like for modulus by $\sqrt{(x-1)^2+y^2}$;
$|z−2|$ is the distance to $(2,0)=\sqrt{(x-2)^2+y^2}$;
$|z-i|$ is the distance to $i$ i.e $(0,1)$, with distance as $\sqrt{x^2+(y-1)^2}$.

(i) $\sqrt{(x-1)^2+y^2}=\sqrt{(x-2)^2+y^2}$
$\implies (x-1)^2+y^2=(x-2)^2+y^2$
$\implies 1 -2x = 4 -4x\implies 2x = 3\implies x = \frac 32$.
This gives the perpendicular bisector of the line midway between the points $x= 1$, and $x=2$.

(ii) $\sqrt{(x-1)^2+y^2}=\sqrt{x^2+(y-1)^2}$
$\implies (x-1)^2+y^2=x^2+(y-1)^2$
$\implies 1 -2x = 1-2y\implies x = y$.
This gives the perpendicular bisector of the line midway between the points $x= 1$, or $(1,0)$, and $y=1$, or $(0,1)$; given by: $x-y=0$.

(iii) $\sqrt{(x-2)^2+y^2}=\sqrt{x^2+(y-1)^2}$
$\implies (x-2)^2+y^2=x^2+(y-1)^2$
$\implies 4 -4x = 1-2y\implies -4x +2y +3 =0 $.
This gives linear equation as solution.

For finding pair-wise intersection, compute the 3 pairs' solution below:
(1) (i), (ii) : Substituting $x = \frac 32$ in (ii) gives $y = \frac32$
(2) (ii), (iii) : Substituting $x,y = \frac 32$ in (iii) gives $-4*\frac32 +2*\frac32 +3 = -6 +6 = 0$
The significance of the tautology $0=0$ arrived at: it shows that the point $(\frac 32, \frac32) $ lies on the line $-4x+3y+3=0$.

The solution set is $x =y = \frac 32$, also plotted at : https://www.desmos.com/calculator/hlgnkgjio1.

The complex number $z = \frac32 + \frac32i$.

jiten
  • 4,524
  • 1
    I'm not sure I understand why you think the order in which the equations are considered could affect the set of solutions. Could you elaborate more on what confuses you? – Jalex Stark Jun 09 '18 at 04:19
  • @JalexStark I am beginner; it is what I think when focus on the problem. I request vetting of the solution, while am also showing the thought process. – jiten Jun 09 '18 at 04:21
  • 1
    $z$ is the circumcenter of the triangle defined by points $1,2,i,$. See here one way to calculate it. – dxiv Jun 09 '18 at 04:53
  • @dxiv Thanks a lot for that. – jiten Jun 09 '18 at 05:03
  • Once you know that $|z-1|=|z-2|$ and $|z-1|=|z-i|$ then $|z-2|=|z-i|$ logically follows. So the intersection of the lines $x=\frac{3}{2}$ and $x=y$ automatically lies on your third line $-4x+2y+3=0$. You don't need to calculate the equation of the third line - you just need to find the first two lines and their intersection. – gandalf61 Jun 12 '18 at 11:24

3 Answers3

3

You are looking for the points which are equi-distance from three points,$ i, 1, 2$$

The perpendicular bisectors of segments joining $i$ and $1$ is the line $y=x$ and the perpendicular bisector of $1$ and $2$ is $x= 3/2$

These two lines intersect at the point $z=3/2 +3/2 i$ which is the only solution to your equations.

2

What the equation $$|z - 1| = |z - 2| = |z - i|$$ means in a geometric sense, is that $z$ is equidistant from $1$, $2$, and $i$. This suggests finding a positive real $r$ for which the circles with centers at $1$, $2$, and $i$ and radius $r$ intersect at a common point.

To this end, we observe that the circles with centers at $1$ and $2$ and common radius $r$ always have their points of intersection on the line $\Re(z) = 3/2$, or parametrized in rectangular coordinates, $z = 3/2 + yi$. Similarly, the circles with centers at $1$ and $i$, by symmetry, always have their points of intersection on the line $\Re(z) = \Im(z)$, or $z = x(1+i)$. Consequently, the intersection of these two lines must also be the common point of intersection of all three circles; namely, $z = x+yi = \frac{3}{2} + \frac{3}{2}i$, which characterizes the unique solution.

Of note is that the value of $r$ corresponding to this solution is $\sqrt{5/2}$.

heropup
  • 135,869
  • I hope your value for radius $r = \sqrt{5/2}$ is arrived by : $r=|z-1| = |z-2| = |z-i|$, i.e. the given equation is of radius of the circle having $3$ points as $(1,0, (2,0), (0,1)$. Thanks for making me recognize that. Hence, the distance $r = \sqrt{(x-1)^2+y^2}=\sqrt{(x-2)^2+y^2}=\sqrt{x^2+(y-1)^2}$. For $x=\frac32, y=\frac32$, $r= \sqrt{\frac14 + \frac94}= \sqrt{\frac14 + \frac94}= \sqrt{\frac94 + \frac14}=\sqrt{\frac{10}4} = \sqrt{\frac52}$. – jiten Jun 09 '18 at 04:50
1

If you recognize that the problem is asking for the circumcenter of three points in the plane, then you can use the determinant of a $\,4 \times 4\,$ matrix to find the equation of the circle determined by the three points $\, (1,0),\,(2,0),\,(0,1).\,$ The determinant and the equation of the circle is

$$ \begin{vmatrix} x^2+y^2 & x & y & 1 \\ 1 & 1 & 0 & 1 \\ 4 & 2 & 0 & 1 \\ 1 & 0 & 1 & 1 \end{vmatrix} = x^2 + y^2 - 3x - 3y + 2 = (x-3/2)^2 + (y-3/2)^2 - 5/2 = 0. $$

The center point $\,z = 3/2 + 3/2 i \,$ and the radius $\, \sqrt{5/2} = |z-1|=|z-2|=|z-i|.\,$

The general problem of "Get the equation of a circle when given 3 points" is solved in several ways in MSE question 213658.

Somos
  • 35,251
  • 3
  • 30
  • 76
  • Sorry, but could not form the determinant as given.I could only find three equations as : (1) $\sqrt{x^2+y^2-2x+1}$, (2) $\sqrt{x^+y^2-4x+4}$, (3) $\sqrt{x^2+y^2-2iy-1}$. Each is equal to $= $ radius of circumcircle, let $r_c$. I can at max. think of squaring each term, as that would denote $r_c^2$. – jiten Jun 12 '18 at 04:44
  • Yes, your link above points to a lot of ways ( https://math.stackexchange.com/q/213658/424260). – jiten Jun 12 '18 at 15:34