## Cut The Knot!An interactive column using Java applets
by Alex Bogomolny |

December 1998

Frank Morley will be remembered for a theorem he discovered before 1900 but did not enunciate, in print, until years later [Morley(1924, 1929)]. In a letter (August 1934) to Gino Loria [Loria], Morley wrote

The exact source is F.Morley in *Mathematical Association of Japan for Secondary Mathematics*, Vol. 6, Dec. 1924.

I mentioned the theorem also in "Extensions of Clifford's Chain Theorem", *American Journal of Mathematics*, Vol. 51, July 1929.

I mentioned the theorem to friends in Cambridge, England, around 1904, but as it was a part of a theory I did not make a paper of it. Thus it became public, and the Japanese reference is *not* I think the first reference in print.

For a short history of the theorem see [Oakley and Baker]. Early references did not mention Morley's name, and it appears that, as the theorem grew in popularity, Morley felt compelled to claim the authorship. But even then he could not bring himself to disassociate the theorem from the theory that led to it. His 1929's paper begins with the following paragraph

I propose to state more fully what was implied in the final section of my paper "metric geometry of the plane n-line," *Transactions of the American Mathematical Society*, Vol. 1 (1900), p. 115. I refer to this as M.G. First, let us recall Clifford's Theorem, *Works*, p. 51.

The theorem is informally articulated in a single paragraph in the middle of the paper. Why this reluctance to state a surprising result apart from the underlying theory? Mathematicians thrive on announcements of newly proven results. Proofs and theories undergo continuous metamorphosis: some are being simplified, others generalized, yet others are found to apply to unexpected fields - examples abound. So usually a good theorem deserves attention by virtue of its own content, independent of a particular proof or a theory that led to it.

Morley's research started with the incidence results of Steiner, Kantor and Clifford that in themselves are among the most intriguing in geometry. Not only his method led to powerful generalizations, it did this in a most elegant way. Morley's been thorough. He applied his method to circumscribed as well inscribed circles, he studied incidence of their centers as well as their intersection points with other circles, he moved from circles to higher order curves. He might have been feeling himself sitting on a treasure trove full of mathematical wonders. One of these wonders - an accidental consequence of a more general result - felt a little out of place. Was he thinking that taken out of context, the theorem would lose much of its charm and motivation? Or, perhaps, he did not want to divert attention from his other results? We can't say now. But let's have a look at a sample of Morley's handiwork.

First of all, the object of his study was the *plane n-line*, i.e. a set of n lines in a plane. The term *n-line* underscores our interest in the properties the n lines may have *en ensemble*. The best studied case is of course n = 3. In general, three lines intersect at three points. There is a circle incident to all three points (the *circumcircle*). The *incircle* and 3 *excircles* each touch all three lines. The *incenter* is incident to each of the three lines joining a vertex with the opposite *excenter*. There is the orthocenter, etc.

A 4-line contains four 3-lines. The 4 circumcircles meet at a point (*Miquel's point*) and their centers lie on a circle (*Steiner's circle*). From a 5-line we have five 4-lines; the centers of their Steiner circles lie on a circle (*Kantor's circle*.) The general term for all those circles is a *center-circle*. From a 6-line we have six
5-lines and 6 center-circles whose centers lie on a circle.

On the other hand, 5 Miquel points of a 5-line lie on a circle (*Clifford's circle*), 6 Clifford's circles of a 6-line intersect at a point (*Clifford's point*.) 7 Clifford's points of a 7-line lie on Clifford's circle. 8 Clifford circles of an 8-line intersect at Clifford's point, and so on ad infinitum. The whole configuration is known as *Clifford's chain*.

Back to the center-circles that intersect at a point (say P) and whose centers lie on a circle - the next center-circle in the hierarchy of circles. The point P is also incident to this latter center-circle. This is how the cardioids came into the play - as *envelopes* of families of circles. Not surprisingly, the common point of the center-circles lies at the cusp of the cardioids.

This was just the beginning. Morley's theory evolved over the space of three papers [Morley (1900, 1903, 1907)]. Only in the second one he used the now standard theorem-proof style. The number of theorems in that paper is 10. There are that many statements in the other two articles. I'll return to Morley's Trisector Theorem on another page, but, for now, let's turn to the algebra of Morley's method.

Yes, with all the geometric context of his theory, Morley's method is purely algebraic, founded on the theory of complex numbers. Curves are mappings x = f(t) from the unit circle. x = X + iY, where X and Y are the plane Cartesian coordinates. y = X - iY is the *conjugate* of x, and together x,y are called the *circular coordinates* in the plane. The short term for the complex numbers t on the unit circle is *turn*. Circles in these notations are given by the linear equation:

(1)

x = a_{1} - a_{2}t,

a_{1} being the center and |a_{2}| the radius of the circle. A (straight) line is defined by a point - reflection of the origin in that line. The perpendicular bisector of the segment [0,x_{1}] is given by the following equation

(2)

x = x_{1}t_{1}/(t_{1} - t),

where t_{1} is an arbitrary turn. (This is a *Möbius transform* that takes t_{1} to infinity and 0 into x_{1}.) t_{1} is selected in a peculiar manner as

(3)

t_{1} = y_{1}/x_{1}.

With this choice of t_{1}, (2) becomes

(4)

xt_{1} + y = x_{1}t_{1}.

Two lines

xt_{1} + y = x_{1}t_{1}

xt_{2} + y = x_{2}t_{2}.

meet at the point

x_{12} = x_{1}t_{1}/(t_{1} - t_{2}) + x_{2}t_{2}/(t_{2} - t_{1}).

For three lines defined by x_{1}, x_{2}, and x_{3}, consider the circle

(5)

For t = t_{3}, the right-hand side in (5) becomes x_{12}. Therefore the circle passes through the point of intersection of lines #1 and #2 and, similarly, through the other two intersection points of the 3-line. This is thus the circumcircle of the 3-line. Its center a_{1} and radius |a_{2}| are given by

(6)

*By induction*, (5) generalizes to

(5')

which is the center-circle of an n-line with the center a_{1} and radius |a_{2}| determined from

(6')

This is obviously so because f_{n}(t_{k}) reduces to a_{1} evaluated for n-1 points x_{1}, ..., x_{k-1}, x_{k+1}, ..., x_{n}.

Formula (5') for the center-circle of the n-line has grace and clarity that are unlikely to benefit from graphical illustration. The natural limitations of the applet at the top of the page only underscore the generality inherent in (5'). With the advent of new technology, we became better doodlers. We anticipate that new hands-on experiences will help fire up students' imagination and make math more palatable. Morley's theory serves to remind us that at least some appreciation of mathematics may be gained in the old-fashioned way - through the study and understanding of its language.

Morley goes on to define *characteristic constants* of an n-line.

(7)

where, for simplicity, the dependency on the number of lines n is only implicit. The characteristic constants of the (n-1)-line obtained from a given n-line by omitting the line x_{1} are successively equal to

a_{1} - a_{2}t_{1}, a_{2} - a_{3}t_{1}, ..., a_{n-1} - a_{n}t_{1}.

If two lines x_{1} and x_{2} are omitted, the characteristic constants of the remaining (n-2)-line become

a_{1} - a_{2}(t_{1} + t_{2}) + a_{3}t_{1}t_{2}, a_{2} - a_{3}(t_{1} + t_{2}) + a_{4}t_{1}t_{2}, ...

Consider the equation:

x = a_{1} - a_{2}(t_{1} + t_{2}) + a_{3}t_{1}t_{2}

This is the center of the center-circle of the (n-2)-line obtained by omitting lines x_{1} and x_{2}. Replace t_{2} with t:

x = a_{1} - a_{2}(t_{1} + t) + a_{3}t_{1}t

This is the equation of the center-circle of the (n-1)-line obtained by omitting x_{1}. Let's show that n circles

(8)

x = a_{1} - a_{2}(t_{k} + t) + a_{3}t_{k}t, k = 1, 2, ..., n

all meet at a point. When a_{2} = 0, they are all the same circle. Assume, a_{2}≠0 and let x = a_{1} - a_{2}b_{3}/b_{2}. (Constants b_{i} are respective conjugates of the constants a_{i}. Thus a_{i}, b_{i} form a pair of circular coordinates.) (8) then becomes

0 = b_{3}/b_{2} - (t_{k} + t) + t_{k}ta_{3}/a_{2}, k = 1, 2, ..., n

which, when solved for t, yields a turn - a number from the unit circle. Therefore, all circles (8) pass through the point x = a_{1} - a_{2}b_{3}/b_{2}.

### References

- F.Morley,
*On the Metric Geometry of the N-Line*, Trans Amer Math Soc, 1 (1900) 97-115. - F.Morley,
*Orthocentric Properties of the Plane n-Line*, Trans Amer Math Soc, 4 (1903) 1-12. - F.Morley,
*On Reflexive Geometry*, Trans Amer Math Soc, 8 (1907) 14-24. - F.Morley, in
*Mathematical Association of Japan for Secondary Mathematics*, v 6, Dec 1924. - F.Morley,
*Extensions of Clifford's Chain-Theorem*, Amer J Math, 51 (1929) 465-472. - G.Loria, in
*Mathematical Gazette*, 23 (1939) 364-372. - C.O.Oakley and J.C.Baker,
*The Morley Trisector Theorem*, Amer Math Monthly, 85 (1978) 737-745.

### Morley's Miracle

#### On Morley and his theorem

- Doodling and Miracles
- Morley's Pursuit of Incidence
- Lines, Circles and Beyond
- On Motivation and Understanding
- Of Looking and Seeing

#### Backward proofs

- J.Conway's proof
- D. J. Newman's proof
- B. Bollobás' proof
- G. Zsolt Kiss' proof
- Backward Proof by B. Stonebridge
- Morley's Equilaterals, Spiridon A. Kuruklis' proof
- J. Arioni's Proof of Morley's Theorem

#### Trigonometric proofs

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

#### Synthetic proofs

- Another proof
- Nikos Dergiades' proof
- M. T. Naraniengar's proof
- An Unexpected Variant
- Proof by B. Stonebridge and B. Millar
- Proof by B. Stonebridge
- Proof by Roger Smyth
- Proof by H. D. Grossman
- Proof by H. Shutrick
- Original Taylor and Marr's Proof of Morley's Theorem
- Taylor and Marr's Proof - R. A. Johnson's Version
- Morley's Theorem: Second Proof by Roger Smyth
- Proof by A. Robson

#### Algebraic proofs

#### Invalid proofs

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

Copyright © 1996-2018 Alexander Bogomolny

70552941