Cut The Knot!

An interactive column using Java applets
by Alex Bogomolny

Lines, Circles and Beyond

January 1999

This is the third column that draws on Frank Morley's fundamental paper On the Metric Geometry of the Plane n-Line. The first one dealt with a few later proofs of his Trisector Theorem. The second presented a background for his work and demonstrated several of his other results. My initial intention for the third column was to expose the simplicity of and the motivation behind Morley's original proof of his famous theorem. (Given the controversy surrounding the theorem and its proofs, I, belatedly, applied myself to a careful reading of Morley's papers. Well, better later than never. The effort paid off handsomely and the experience was absolutely gratifying.)

Meanwhile, searching newsgroups archives at the Math Forum, I came across a lovely discussion that began some time in March 1998. After reading a curious remark by one of the participants - a teacher - I felt like giving additional exposure to Morley's work might not be very much out of line. The paper and the rest of his work are really replete with wonderful geometric results. I'll talk of Morley's original proof of the Trisector Theorem in the next column.

The discussion on the geometry-puzzles newsgroup was started by John Conway who posed a simple problem. Given ΔABC, produce the edges of the triangle to distances a beyond A, b beyond B, c beyond C, where a, b, c are the edge lengths of the triangle. Then the 6 points so constructed lie on a circle. Later, in the course of the discussion, he also mentioned that the sides can be extended by distances of (a+x), (b+x), and (c+x) for any real x.


This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


The vertices of the triangle are draggable as is the point L that measures the add-on distance x (positive or negative.) One gets the greatest benefit from dragging this point when the check box "Clear background" is unchecked. Clearly gives away the background of (and the motivation for) this very nice problem!

One of the messages in the discussion thread read:

My students and I have had fun with it.

Some reactions though. When I first saw your announcement, my reaction was "oh no, not _another_ circle." But when I play with it, the circle seems to want to be there and to have some significance. The math just works out too nicely; the formula for the radius is also very simple.

I believe the good teacher was jesting. After all, he took a very active part in the discussion and, as it transpires from his remark, has shared his curiosity with his students. How many teachers do the same? "Oh no, not _another_ circle." - the sentiment is funny, however. Were it not made in jest, there would be a place for a heartfelt sermon on the quality of contemporary math instruction. As it is, here is another sample of Morley's work where he goes beyond the elementary shape of a circle. (But circles pop up anyway.)

Consider the hypocycloid with (n +1) cusps

(P)

(n -1)x = nt - 1/tn,

where x and t are complex numbers, |t| = 1. t is known as a turn. This is the map - or point - equation of the hypocycloid. The curve is the envelope of a family of hypocycloids (its penosculants, in Morley's terminology)

(P1)

(n -1)x = t1 + (n -1)t - 1/t1tn -1,

These ones have n cusps, and each touches the curve (P) at the point corresponding to the turn t1 (the two curves clearly pass through the same point at t1 and their derivatives only differ by a real factor.) A curve from the family (P1) has a cusp whenever

Dtx = 0

or when

t1tn + 1 = 0

or when

(n -1)x = nt - 1/tn,

Thus the cusps of the first penosculant (P1) are on the given hypocycloid (P). The second penosculant is defined by

(P2)

(n -1)x = t1 + t2 + (n -2)t - 1/t1t2tn -2,

It is the first penosculant at t1 of the first penosculant at t2; or it is the first penosculant at t2 of the first penosculant at t1. And so on.


This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


After n steps, we get a point (Morley calls such equations completely polarized)

(n -1)x = t1 + t2 + ... + tn - 1/t1t2...tn.

When one of the turns is allowed to vary, we get an equation of a segment of a straight line - penosculant line. For n fixed turns, there are n penosculant lines that all meet at the above point - penosculant point.

Take (n +1) points on the curve. The penosculant points of the various n points are included in

(1)

(n -1)x = t1 + t2 + ... + tn + tn+1 - t - t/t1t2...tntn+1.

which is a circle! For (n +2) turns we have (n +2) such circles. With t = - t1t2...tn+1tn+2, we see that all (n +2) circles share a point

(2)

(n -1)x = t1 + t2 + ... + tn+2 + t1t2...tn+2.

Take (n +3) turns. We then have (n +3) such points (2). All of the points are included in

(3)

(n -1)x = t1 + t2 + ... + tn+2 + tn+3 - t + t1t2...tn+2tn+3/t,

which is a line segment. Do you now expect another "and so on" ? To be sure one is coming, but not yet. For (n +4) turns, (n +4) segments (3) are included in

(n -1)x = t1 + t2 + ... + tn+3 + tn+4 - t - t' + t1t2...tn+3tn+4/tt'.

and are therefore tangents of a hypocycloid with three cusps - deltoid or Steiner curve. (t indicates a line, t' a position on the line, or the other way around.) (n +5) deltoids obtained for (n +5) turns are penosculants of an asteroid - hypocycloid with 4 cusps. And so on. For (2n +2) turns we have the original hypocycloid with n cusps but displaced. In this context, the popular expression "Going in circles" takes up a peculiarly geometric flavor.

In the way of example, here is another wonder. Consider (P) with n = 4. Select 4 turns and draw tangents to the curve at the corresponding points. It must be noted that the curve through its point - equation is endowed with direction. The direction is naturally passed on to the tangent lines. Considering the lines as directed, there exists a unique cardioid tangent to the four lines whose direction agrees with the inherited direction of the lines. (For four not directed lines there are 8 such cardioids.) Cardioid is traced by a point on a circle that rolls over a circle of the same radius. The center of the stationary circle is said to be the center of the cardioid.

The center of the cardioid corresponding to 4 turns coincides with their penosculant point! Furthermore, 5 turns define 5 cardioids. Their 5 centers lie on a ... "oh no, not _another_ circle"?


This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


Morley's Miracle

On Morley and his theorem

  1. Doodling and Miracles
  2. Morley's Pursuit of Incidence
  3. Lines, Circles and Beyond
  4. On Motivation and Understanding
  5. Of Looking and Seeing

Backward proofs

  1. J.Conway's proof
  2. D. J. Newman's proof
  3. B. Bollobás' proof
  4. G. Zsolt Kiss' proof
  5. Backward Proof by B. Stonebridge
  6. Morley's Equilaterals, Spiridon A. Kuruklis' proof
  7. J. Arioni's Proof of Morley's Theorem

Trigonometric proofs

  1. Bankoff's proof
  2. B. Bollobás' trigonometric proof
  3. Proof by R. J. Webster
  4. A Vector-based Proof of Morley's Trisector Theorem
  5. L. Giugiuc's Proof of Morley's Theorem
  6. Dijkstra's Proof of Morley's Theorem

Synthetic proofs

  1. Another proof
  2. Nikos Dergiades' proof
  3. M. T. Naraniengar's proof
  4. An Unexpected Variant
  5. Proof by B. Stonebridge and B. Millar
  6. Proof by B. Stonebridge
  7. Proof by Roger Smyth
  8. Proof by H. D. Grossman
  9. Proof by H. Shutrick
  10. Original Taylor and Marr's Proof of Morley's Theorem
  11. Taylor and Marr's Proof - R. A. Johnson's Version
  12. Morley's Theorem: Second Proof by Roger Smyth
  13. Proof by A. Robson

Algebraic proofs

  1. Morley's Redux and More, Alain Connes' proof

Invalid proofs

  1. Bankoff's conundrum
  2. Proof by Nolan L Aljaddou
  3. Morley's Theorem: A Proof That Needs Fixing

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

71471826