### Clifford's Lemma: What is it?

A Mathematical Droodle

What if applet does not run? |

|Activities| |Contact| |Front page| |Contents| |Store| |Geometry| |Eye opener|

Copyright © 1996-2017 Alexander Bogomolny### Clifford's Lemma

What if applet does not run? |

Four green circles may or may not intersect pairwise. Assume they do and assume they intersect in a sequence, viz., in some ordering, the first meets the second, the second meets the third, the third meets the fourth, and the fourth meets the first. On such an occasion we have four pairs of points of intersection: z_{1} and w_{1}, z_{2} and w_{2}, z_{3} and w_{3}, and z_{4} and w_{4}, where some pairs may coalesce into a single point in case the corresponding circles touch rather than (more conventionally) intersect.

The applet purports to demonstrate the following fact: if points z_{1}, z_{2}, z_{3}, and z_{4} are concyclic, then so are the points w_{1}, w_{2}, w_{3}, and w_{4}. The applet shows one of the circles in red, the other in blue. Of course there may be several pairs of red/blue circles.

Now, for the proof. I shall be using complex numbers.

For three distinct complex numbers a, b, c the ratio ^{ig}, where r is a real number, while g is the angle between

From here, four complex numbers (a.k.a. plane points) a, b, c, d are concyclic, provided the quotient of two ratios

[(a - c)/(b - c)] / [(a - d)/(b - d)] |

is purely real.

This is because two angles in a circle that subtend the same chord are either equal or sum up to 180°, and conversely, two triangles with the common base share a circumcircle, provided their apex angles are either equal or sum up to 180°.Note that the points z_{1}, w_{1}, z_{4}, and w_{4} lie on the first circle. The points z_{1}, w_{1}, z_{2}, and w_{2} lie on the second; z_{2}, w_{2}, z_{3}, and w_{3} lie on the third, while z_{3}, w_{3}, z_{4}, and w_{4} lie on the fourth circle. We thus have four real numbers

(1) | [(z_{1} - z_{2})/(w_{2} - z_{2})] / [(z_{1} - w_{1})/(w_{2} - w_{1})] |

(2) | [(z_{2} - z_{3})/(w_{3} - z_{3})] / [(z_{2} - w_{2})/(w_{3} - w_{2})] |

(3) | [(z_{3} - z_{4})/(w_{4} - z_{4})] / [(z_{3} - w_{3})/(w_{4} - w_{3})] |

(4) | [(z_{4} - z_{1})/(w_{1} - z_{1})] / [(z_{4} - w_{4})/(w_{1} - w_{4})] |

Taking the product of (1)-(4) we obtain another real number:

(5) | {[(z_{1} - z_{2})/(z_{3} - z_{2})] / [(z_{1} - z_{4})/(z_{3} - z_{4})]} · {[(w_{1} - w_{2})/(w_{3} - w_{2})] / [(w_{1} - w_{4})/(w_{3} - w_{4})]} |

from which it follows that the z and w quartets may be only concyclic simultaneously.

It was observed by Gerald Brown that in a case where the four circles are concurrent and pairwise orthogonal there is a particularly simple solution. More accurately, assume the circles are

(x - a)^{2} + y^{2} = a^{2},(x - b) ^{2} + y^{2} = b^{2},x ^{2} + (y - c)^{2} = c^{2},x ^{2} + (y - d)^{2} = d^{2}, |

with a ≠ b and c ≠ d. Any inversion with the center at the origin maps the first two circles into straight lines perpendicular to the x-axis and the other two circles into straight lines perpendicular to the y-axis. The four intersection points form a rectangle, obviously a cyclic figure. Thus the points of intersection (other than the origin) of the circles are also concyclic.

### References

- Liang-shin Hahn,
*Complex Numbers & Geometry*, MAA, 1994

|Activities| |Contact| |Front page| |Contents| |Store| |Geometry| |Eye opener|

Copyright © 1996-2017 Alexander Bogomolny62015180 |