Cut The Knot!An interactive column using Java appletsby Alex Bogomolny |
On Motivation and Understanding
February 1999
This is the fourth in the series of columns (see links at the bottom of the page) devoted to Frank Morley's work. It's time to deal with what amounts to his proof of the Trisector Theorem. I'll outline Morley's reasoning first and then supply necessary details.
The second section of Morley's [1929] paper begins with the following paragraph:
A three-line has four inscribed circles. Their centers are the incenters of the three-line. We ask then for the curves
For a 3-line there exist 4 circles that touch all three lines. For a 4-line there are 8 cardioids that touch all 4 lines. Increasing the number of cusps, curves are produced that touch all n +1 lines for greater n's.
Morley first found a general formula for the incenters in terms of the reflections of the origin in each of the lines. By letting one of the lines vary, he got the locus of incenters of the curves that touch the remaining n lines.
For example, if n = 2, we are talking of circles that touch three lines. With one line removed (or varying), the focus is on the circles that touch the remaining two lines. The locus of their centers is the union of two angle bisectors - two one line sets forming an angle of π/2. These are the axes of the 2-line.
For n = 3, we have to consider two cases. When the remaining 3 lines are in general position the locus of the incenters of the cardioids that touch all three lines is a union of three sets of three parallel lines forming angles of π/3 (and, naturally, 2π/3.) These are the axes of the 3-line. Naturally, the axes form equilateral triangles - 27 of them. An important observation is that the vertices of these triangles - the points where two axes meet - have the property that the corresponding cardioid touches one of the given lines (of the 3-line) twice.
For larger n, we get n^{n-2} sets of n parallel lines forming angles that are multiples of π/n. On the whole, there are n^{n-1} lines called axes of the n-line. Pick one line from each family. These lines form an equiangular n-gon. n = 3 is a very special case in that every equiangular 3-gon is also equilateral. This is how Morley arrived at the equilateral triangles.
Oakley and Baker stated in 1978
Morley, of course, was well aware of the unique characteristics of his theorem and its ramifications. Indeed, his theory accounted for all 18 cases of Morley equilateral triangles ...
As we just saw, this is a clear understatement. Morley's theory directly leads to all the possible equilateral triangles. If anything, when they emerged in his mind's eye, they emerged in a mesh of parallel lines, all 27 of them. (The mistaken count of 18 had probably originated with W.J.Dobbs who, in 1938, came up with elementary trigonometric proofs for 18 of the 27 triangles. He listed also 9 non-equilateral "Morley" triangles and thanked S.W.Finn for pointing out the missed 9 equilateral ones that he refused to designate as "Morley". Unfortunately, there was no definition of what qualifies a triangle as "Morley".)
For n = 3 there is still another case to consider. The three lines may be concurrent. Furthermore, the most relevant to the theorem is the case where two of the lines coincide. In this case, we look at the cardioids that touch 2 lines of which 1 is touched twice. The centers of such cardioids are located on the trisectors of the angles formed by two lines. In this case, the trisectors serve as the axes of the 3-line similarly to the case of n = 2 where the role of the axes was played by the angle bisectors.
Morley's theorem is a combination of the two cases. The set of all cardioids that touch the 3-line falls into 3^{2} discrete systems specified by the axes. For every axis, cardioids touch the three lines in a peculiar manner. Transition between the systems occurs at the points of intersection of the axes. Cardioids with centers at those points touch one of the lines twice. Their centers thus lie on the trisectors of the angles adjacent to that line.
The applet illustrates the background of Morley's theory. You can display the axes and the angle trisectors. Complex turns corresponding to the trisectors arise as solutions to a cubic equation that does not distinguish between primitive roots of unity. Therefore, along with an angle A, we should consider angles
The vertices of the given triangle are draggable. To test the theory, display a cardioid that, besides being draggable itself, can be modified by dragging either its center or the cusp.
Morley's [1929] paper makes the situation quite transparent. He changes notations a little bit. A straight line is defined by the reflection of the origin in it. Let the point be x_{i}. Then the line can be written as either xt_{i} + y = x_{i}t_{i} (as in the paper [1900]) or x + yt_{i} = x_{i}. (Recollect that x and y form a pair of circular coordinates.) In the first case, t_{i} = y_{i}/x_{i}; in the second, t_{i} = x_{i}/y_{i}. We use the latter form.
(1) | x + yA = S |
is a (self-conjugate) equation of the straight line that is the perpendicular bisector of the segment joining S with the origin. If T is the conjugate of S, then A = S/T, A is a turn - a complex number on the unit circle. A is called the clinant of the line. The equation (1) is convenient in that it immediately shows the point S associated with the line. Let's register two important facts:
- The argument of the clinant is twice that of S.
- The radius-vector of S is perpendicular to the line it defines.
A curve can be described by its map- or point-equation as a function of a turn, or by its line-equation as the envelope of a family of lines. The line-equation of a cardioid with the center at x_{0} is given by
(2) | x - x_{0} + at + bt^{2} + (y - y_{0})t^{3} = 0, |
where the coefficients a and b are conjugate. For a given t, the clinant of the line tangent to the cardioid is t^{3}. Choose four turns t_{1}, t_{2}, t_{3}, t_{4}. The four corresponding tangents are defined by the reflections of the origin x_{1}, x_{2}, x_{3}, x_{4}. We do not need explicit expressions but only note that the clinants of the tangents are also given by x_{i}/y_{i}, i = 1, 2, 3, 4. Thus we have
(3) | t_{i}^{3} = x_{i}/y_{i}, i = 1, 2, 3, 4 |
We are going to express x_{0} in terms of x_{i}'s and t_{i}'s. Setting x = 0 and t = t_{i} in (2) gives
(4) | - x_{0} + at_{i} + bt_{i}^{2} + (y_{i} - y_{0})t_{i}^{3} = 0 |
Eliminate x_{0}, a, and b we have a determinant
from which
(5) |
Appearance of the Vandermonde determinants may be at first surprising. But the fact is that, by and large, Morley's was the theory of complex interpolation in a geometric disguise. (Say, the circumcircle interpolates through the vertices of a triangle.)
Taking into account (3) we simplify (5) to
(6) |
The conjugate of (5) is
(7) |
From (6) and (7) we can form a combination x_{0} + y_{0}t_{1}t_{2}t_{3}. We immediately see that in this combination the term with x_{4} cancels out. Expanding the determinants with respect to the fourth column, we also observe that the final expression does not contain t_{4} either. Thus the result is a self-conjugate (because of (3)) equation in the form (1)
(8) |
This is the locus of centers of cardioids that touch the three lines defined by x_{1}, x_{2}, and x_{3}. (8) seems to be an equation of a straight line, but this is not so. The reason is that the turns t_{i} are not determined uniquely. From (3) we are only given their cubes. Thus each is only defined up to a primitive root of unity. Letting t_{i}'s change in (8), we see that the locus of the incenters comprises a family of straight lines. There are only 3 different clinants and, as implied by the form of the right-hand side of (8), 9 different lines. So we already know that there are three families of three parallel lines each.
To determine the angles between them observe that the clinant t_{1}t_{2}t_{3} of (8) is the geometric mean of the clinants t_{i}^{3} of the three lines, see (3). Denote the angles formed by x_{1}, x_{2}, and x_{3} and (8) with a base line as a_{1}, a_{2}, a_{3}, and a, respectively. Then (refer to the facts we registered at the beginning) a is the arithmetic mean of a_{1}, a_{2}, a_{3} modulo π. This is where the multiples of 60° come from.
Finally observe that, if the reasoning of the last paragraph is applied to the case of three concurrent lines of which two coincide, we get, say,
a = (a_{1} + 2a_{2})/3 (mod π)
which points to a trisector of the two lines. Actually (8) now yields three of them. To get the other three consider
Morley of course developed his theory for a general n-line. He got the following table:
Number of lines | 1 | 2 | 3 | 4 | 5 | 6 | ... | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Axes C^{ 0} | 1 | 2 | 3^{2} | 4^{3} | 5^{4} | 6^{5} | ... | |||||||
Incenters C^{1} | 1 | 2^{2} | 3^{3} | 4^{4} | 5^{5} | ... | ||||||||
Circles C^{ 2} | 1 | 2^{3} | 3^{4} | 4^{5} | ... | |||||||||
Cardioids C^{ 3} | 1 | 2^{4} | 3^{5} | ... | ||||||||||
C^{ 4} | 1 | 2^{5} | ... | |||||||||||
C^{ 5} | 1 | ... | ||||||||||||
... | ... | ... | ... | ... | ... | ... | ... |
In his own words:
The table is read diagonally; each C^{ n} is the first osculant of some C^{ n+1} in the next column.
The first column says that a line is its own axis.
The second column says that a two-line has two axes and an intersection.
The third column says that a three-line has 3^{2} axes; that it has 2^{2} incenters, the intersection of the axes of the two-lines contained in it; and it has one circumcircle, on the intersection of the two-lines.
For the n-th column the axes are new; the incenters arise from the axes of the preceding column, that is the n(n-1)^{n-2} axes of the component (n-1)-lines meet in the (n-1)^{n-1} incenters, there being n axes on a point and (n-1) points on an axis. The circles arise from the incenters of the preceding column. That is the n(n-2)^{n-2} incenters are on the (n-2)^{n-1} circles, there being n points on each circle, n-2 circles on each point. These n-2 circles cut at the angle π/(n-2). The (n-3)^{n-1} cardioids arise from the n(n-3)^{n-2} circles; the circles are osculants of the cardioids, each C^{ 3} having n osculant C^{ 2}'s; and each C^{ 2} osculating n-3 C^{ 3}. And so on.
The leading diagonal indicates Clifford chain. We notice that the n-line has a unique C^{ n-1}.
I realize that this is highly unfair to compare the edifice erected by Morley with the ad hoc cabins of proofs of what is now known as his Trisector theorem. Taken out of context, the theorem indeed becomes a miracle that inspires admiration but loses the sparkle of intrinsic consistency. To have a fighting chance to a claim for motivation, an elementary proof should probably handle the whole set of 27 triangles simultaneously, which means proving existence of three sets of parallel lines cutting at the 60° angles. But even then an elementary framework will not attain the broad outlook of Morley's theory that includes the angle bisectors and trisectors (and more) under a single roof.
So this is the end of an endeavor to understand Frank Morley's work and particularly his Trisector theorem. I began writing this column with a quiet satisfaction that, after diligently plowing through Morley's papers, I finally reached a stage where it became possible to assert my inderstanding of Morley's theorem. At this point, I completed the first half of the column, inserted the applet and ran my browser to see how things looked so far. This presented me with the first opportunity to play with the applet. For, while writing it, I did not really experiment with it. Just made sure there were no bugs.
Toying with the applet gave me an additional insight. The axes of a 3-line serve as a sort of index into how a cardioid may touch the three lines. (I remove my hat to Frank Morley who saw everything so clearly without the benefit of modern day gadgets.) Well, you can say, is it not what you wrote above, when outlining Morley's reasoning in the first place? Yes and no. Is it internalization that I lacked before? Probably. Whatever it is called, this something had clearly enhanced my understanding of the theorem. The meaning of it may be different from what Donald Newman meant when he asked "Were we to give up, forever, understanding the Morley Miracle?" But I certainly did not get it upon reading his and other proofs.
References
- D.J. Dobbs, Morley's Triangle, The Math Gazette, 22 (1938) 50-57.
- D. Gale, Tracking the Automatic Ant, Springer, 1998
- F. Morley, Extensions of Clifford's Chain-Theorem, Amer J Math, 51 (1929) 465-472.
- 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| |Store|
Copyright © 1996-2017 Alexander Bogomolny
62020739 |