Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

 

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 http://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 http://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 http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


Morley's Miracle

  1. J.Conway's proof
  2. D.J.Newman's proof
  3. Bankoff's proof
  4. Another proof
  5. Nikos Dergiades' proof
  6. G. Zsolt Kiss' proof
  7. M. T. Naraniengar's proof
  8. Doodling and Miracles
  9. Morley's Pursuit of Incidence
  10. Lines, Circles and Beyond
  11. On Motivation and Understanding
  12. Bankoff's Conundrum
  13. Morley's Redux and More, Alain Connes' proof
  14. An Unexpected Variant

Copyright © 1996-2008 Alexander Bogomolny

28737474Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

conway's game of life
Posted by frequency
0 messages
11:52 PM, May-12-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Deriving functions based on diffe ...
Posted by ke_45
1 messages
12:47 PM, May-10-08

Josephus Flavius (correction)
Posted by David Turner
1 messages
09:42 AM, May-14-08