To understand some of the interpretations, we consider first
ratios of the form (uz)/vz) for complex numbers u,v and z.
Let U,V,Z be the points with complex coordinates u,v,z.
Then uz = r.exp(iα), where r = UZ, and α is as shown.
and vz = s.exp(iβ), where s = VZ, and β is as shown.
Thus, (uz)/(vz) = (r/s).exp(i(αβ), so that
the modulus of (uz)/(vz) is the ratio UZ/VZ, and
the argument of (uz)/(vz) is the signed angle VZU.
Now (U,V,Z,W) = ((uz)/(vz))/((uw)/(vw)), so a determination
of the argument of the crossratio is the difference of the signed
angles VZU and VWU.


We are now in a position to prove two of euclid's theorems:
Theorem A
Suppose that C,D are points not on the line AB.
Then
the points C and D lie on the same arc AB of a circle
if and only if the signed angles BCA and BDA are equal.
This is just a thinly disguised version of Theorem II2(2).
Since C is not on AB, the iline through A,B and C must
be a circle. The crossratio is positive if and only if its
argument is zero. By the remarks just before the theorem,
this is equivalent to the signed angles being equal.
Theorem B
The vertices of a convex quadrilateral ACBD lie on a circle
if and only if the unsigned angles BCA and BDA add to π.
Again, this comes quickly from Theorem II2. Since the quadrilateral
is convex, the vertices would have to lie on opposite arcs of a circle.
From (1) and (2), this happens if and only if (A,B,C,D) is negative.
Thus, the argument of the crossratio must be ±π. Let the unsigned
angles be α = <BCA and β = <BDA with α,β in (0,π). Since these
are clearly measured in opposite senses, the signed angles will be
α and β or α and β. Either way the difference of the signed
angles will be ±(α+β) so α+β = π.

