On an Argand diagram, the point representing \( z \) satisfies both:
\( |z - 3| = |z + i| \) and \( \arg\left(\dfrac{z-3}{z+i}\right) = \dfrac{\pi}{2} \)
Find the exact value of \( z \).
\( |z-3| = |z+i| \) is the perpendicular bisector of \( (3,0) \) and \( (0,-1) \).
Midpoint: \( \left(\dfrac{3}{2}, -\dfrac{1}{2}\right) \). Direction of segment: \( (-3, -1) \), so perpendicular has direction \( (1, -3) \) or equation:
Let \( z = x+yi \): \( (x-3)^2 + y^2 = x^2 + (y+1)^2 \)
\( x^2 - 6x + 9 + y^2 = x^2 + y^2 + 2y + 1 \Rightarrow -6x + 9 = 2y + 1 \Rightarrow 2y = -6x + 8 \Rightarrow y = -3x + 4 \)
\( \arg\left(\dfrac{z-3}{z+i}\right) = \pi/2 \) means the vector from \( -i \) to \( z \) to the vector from 3 to \( z \) differs by \( \pi/2 \) — i.e. the directed angle is a right angle, and \( z \) lies on the circle with diameter from \( (3,0) \) to \( (0,-1) \) (Thales), specifically the arc where the oriented angle is \( +\pi/2 \).
Circle diameter \( (3,0) \) to \( (0,-1) \): centre \( \left(\dfrac{3}{2}, -\dfrac{1}{2}\right) \), radius \( \dfrac{\sqrt{10}}{2} \).
Equation: \( \left(x-\dfrac{3}{2}\right)^2 + \left(y+\dfrac{1}{2}\right)^2 = \dfrac{10}{4} \)
Intersect with \( y = -3x + 4 \): substitute and solve — the line is the perpendicular bisector, which passes through the centre, so intersection with the circle is at the two ends of the diameter… wait.
Actually \( |z-3|=|z+i| \) is the perp bisector; the arg condition selects points on the circle with that diameter where the turn is anticlockwise \( \pi/2 \). The intersection of the line (perp bisector) with that circle: the centre is on the line, so intersections are the two points at radius distance along the line from centre.
Direction of line \( y = -3x+4 \) has direction vector \( (1, -3) \), unit vector \( \dfrac{(1,-3)}{\sqrt{10}} \).
Points: \( \left(\dfrac{3}{2}, -\dfrac{1}{2}\right) \pm \dfrac{\sqrt{10}}{2} \cdot \dfrac{(1,-3)}{\sqrt{10}} = \left(\dfrac{3}{2}, -\dfrac{1}{2}\right) \pm \left(\dfrac{1}{2}, -\dfrac{3}{2}\right) \)
\( = (2, -2) \) or \( (1, 1) \)
Check arg: for \( z = 1+i \), \( \dfrac{z-3}{z+i} = \dfrac{-2+i}{1+2i} \). Multiply by conjugate: etc. One of these will give \( +\pi/2 \).
Testing \( z = 1+i \): \( z-3 = -2+i \), \( z+i = 1+2i \). Argument difference… \( \arg(-2+i) - \arg(1+2i) \). \( \arg(1+2i) = \tan^{-1}2 \), \( \arg(-2+i) = \pi - \tan^{-1}(1/2) \). Difference is \( \pi/2 \). Yes.
So \( z = 1 + i \).