Show: $ z_4 = -\frac{z_2\cdot z_3}{z_1} $ Let $S$ be a circle centered at the origin in the Argand Plane. Let A($z_1$), B($z_2$) and C($z_3$) be 3 distinct points on the circle $S$. In $\Delta ABC$, let the altitude from A on BC be extended to cut the circle $S$ at the point D$(z_4)$ . Then show:-
$$ z_4 = -\frac{z_2\cdot z_3}{z_1} $$
My attempt:
I tried to use the fact that AD is perpendicular to BC, so by complex slope:
$\frac{z_4-z_1}{\bar{z_4} - \bar{z_1}} + \frac{z_3-z_2}{\bar{z_3} - \bar{z_2}} = 0  $, but this just rearranges to get $(z_4 - z_1) \odot (z_3 - z_2) = 0$ where $a\odot b$ represents the dot product of $a$ and $b$.
 A: Without restriction, the circle is the unit circle.
Write $z_k=\exp(it_k)$, $1\le k\le 4$, $0\le t_k\le 2\pi$.
Let us assume $z_1,z_2,z_4,z_3$ are coming in this cyclic order. Then the measure of the angle between the line $z_1z_4$ and the line $z_2z_3$ is half the sum of the measures of the arcs $z_1z_2$ and $z_4z_3$. The condition is thus 
$$ \frac 12\Big(\  (t_2-t_1)+(t_3-t_4)\ \Big) = \frac \pi2\ .
$$
Multiply with $2$ and apply $x\to\exp(ix)$ on both sides to get
$$
\frac {z_2z_3}{z_1z_4}=-1\ .
$$
(The relation is symmetric w.r.t. the two pairs, $(z_1,z_4)$ and $(z_2,z_3)$, so the ordering is not important, switch $x_2, x_3$ if the oder order is needed.)
Later edit:
Here, we have used the following property of an "interior angle" delimited by two chords in a circle. Let $X$ be the intersection of the two chords $AC$ and $BD$. Then the marked red angle in $X$ is exterior w.r.t. the triangle $\Delta AXD$, so its measure is the sum of the two green marked angles in $A$ and $D$. These two angles are inscribed in the circle, their measure is each half of the measure of the arc delimited on the circle, $\overset\frown{CD}$ (for $\hat A$) and $\overset\frown{AB}$ (for $\hat D$)...

A: Besides assuming that it's the unit circle, note that rotating the circle (i.e. multiplying everything by $e^{i\theta}$ for some $\theta$) makes no difference. Since $AD$ and $BC$ are perpendicular, we can assume that $z_1$ and $z_4$ have the same $x$ value while $z_2$ and $z_3$ have the same $y$ value. Then for some $\alpha$ we have $z_1 = e^{i\alpha}, z_4 = e^{-i\alpha}$, so $z_1z_4 = 1$; and for some $\beta$ we have $z_2 = -e^{i\beta}, z_3 = e^{-i\beta}$, so $z_2z_3 = -1$.
A: Let $\angle ABC=\theta$
$\Rightarrow \angle COA=2\theta$
Also, $\angle BAD=90^{\circ}-\theta$$\Rightarrow \angle BOD=180^{\circ}-2\theta$
$$\vec{OD}=\vec{OB}e^{i(180^{\circ}-2\theta)}\Rightarrow z_4=z_2e^{i(180^{\circ}-2\theta)}$$
Similarly,$$\vec{OA}=\vec{OC}e^{i(2\theta)}\Rightarrow z_1=z_3e^{i(2\theta)}$$
Multiplying, we get $z_4z_1=-z_2z_3$
