Thread: Cross-ratio

Prove that the cross-ratio of four complex numbers, defined as

is real if and only if the four points lie on a circle.

I presume you mean the circumference and not inside of it.

A circle is the boundary (circumference) of a disc.

Originally Posted by Bruno J.

Prove that the cross-ratio of four complex numbers, defined as

is real if and only if the four points lie on a circle.

Spoiler:

Proof 1: as ( because ) , from basic geometry

we get that are on a circle iff the above is either the difference of two inscribed angles subtended on the same arc, and thus this difference is zero, or else

this is the difference of two inscribed angles subtended over complementary arcs and thus the difference is (opposite angles of an quadrilateral inscribed

in a circle sum 180 degrees).

Proof 2: We use that the cross ratio is invariant under fractional transformations and that the cross ration is well defined if three points out of the four are distinct.

Now, the frac. trans. maps to , resp., so z_1,z_2,z_3,z_4)" alt="T(z_4)=z_1,z_2,z_3,z_4)" /> is real iff lie on the circle (or on the

straight line) on which lie

Tonio

Good job!

Here's my solution:

Let be given by , where are any three distinct real points.

Then is a Möbius transformation, which takes circles to circles. The circle containing is therefore mapped to the real line, since the three points are mapped to the real line.

(This is essentially equivalent to your second solution!)

Originally Posted by Bruno J.

Prove that the cross-ratio of four complex numbers, defined as

is real if and only if the four points lie on a circle.

If the four complex numbers are real , your cross-ratio should be real ,so will we say that those four points lie on a circle with infinitely large radius ? ( Desargues's point of view )

Originally Posted by simplependulum

If the four complex numbers are real , your cross-ratio should be real ,so will we say that those four points lie on a circle with infinitely large radius ? ( Desargues's point of view )

Yes! A line is just a degenerate circle.