An elementary proof of morleys trisector theorem edinburgh. John conway 0 0 department of mathematics queens college cuny 6530 kissena boulevard flushing, ny 167 usa in their book geometry revisited coxeter and greitzer say one of the most surprising theorems in elementary geometry was discovered about 1904 by frank morley theorem. Frank morley 18601937 algebraic geometer obtained this wonderful result in 1899 and to this day it continues to attract interest. This was a surprising discovery made by frank morley 1899. Is the mystery of morleys trisector theorem resolved. The idea for this theorem suggested itself to the author from dijkstras proof of morleys theorem 4, as well as a similar result on delaunay triangulations 8. A proof of morleys theorem using complex analytic geometry.
An elementary proof of morley s trisector theorem volume 34 nancy walls skip to main content accessibility help we use cookies to distinguish you from other users and to provide you with a better experience on our websites. I hope that morley s trisection theorem has many applications. Picks theorem picks theorem gives a simple formula for calculating the area of a lattice polygon, which is a polygon constructed on a grid of evenly spaced points. The theorem dates from around 1899, a direct proof is hard, the proof below is an easy one based on the work of conway and someone else. Robson technique to morleys trisector theorem jean louis ayme a b c l m r q p n 1 1 2 2 3 3 abstract.
By way of conclusion, let us mention the proof of morleys theorem by j. Morleys trisector theorem states that the points of intersection of the adjacent trisectors of the angles of any triangle are the vertices of an equilateral triangle 10. What happens when the morley process is followed, but modified so as to use trisection of the opposite side instead of trisection of the vertex angle, for the three vertices this go geometry page claims that the area of the resulting triangle is exactly 25 times smaller than the area of the original triangle. Although it could seem rather abstract at first look, we will see later that it is really the solution of the problem. Media in category morley theorem the following 10 files are in this category, out of 10 total.
Taylor and marr 1914 give two geometric proofs and one trigonometric proof. Includes a long list of different proofs, in particular john conways proof is rather elegant. Morleys theorem is one of the most surprising and attractive twentieth century results in plane geometry. The author presents the forgotten synthetic proof of alan robson concerning the morleys trisector theorem. Its simplicity is part of its beauty, but could easily lead us. In other words, any triangle abc yields an equilateral triangle pqr if the angles a, b, c are trisected by aq and ar, br and bp, cp and cq, as figure 1. The holonomy proof serves as the basis for conways celebrated proof of morleys theorem, which has several published accounts. Special and general relativity notes on the michelson. Proof of morleys theorem morleys theorem states that if you trisect the angles of any triangle then the lines meet at the vertices of an equilateral triangle.
Morleys mystery pdf, missouri journal of mathematical sciences, 14 1. Morleys theorem states that for any triangle, the intersections of its adjacent angle trisectors form an equilateral triangle. We first apply the rule of sines to scale the overall triangle so that r 1 sin3. The three points of intersection of the adjacent triangles of the angles of any triangle form an equilateral triangle. A proof of morleys theorem from the devils book by shalosh b. An interior lattice point is a point of the lattice that is properly. Telegraphic introduction we will provide a proof of the celebrated morley trisector theorem, relying on the law of sines for the crux of the argument. Morleys theorem can be given a short proof based on a trivial property of the bisectors of a triangle abc with base angles 2. Our objective is to show that for any triangle with anglemeasures 3, 3, and 3, the morley triangle is. The construction of morleys triangle by the straightedge and compass method is impossible because of the wellknown impossibility result for angle trisection.
Is john conways proof of morleys theorem the simplest. When i arrived, i was engrossed in my own work and had the humbling experience of. I hope that morleys trisection theorem has many applications. On the design of a simple proof for morleys theorem. Morley s original proof stemmed from his results on algebraic curves tangent to a given number of lines. These accounts dont focus on the holonomy idea, however. The points of intersection of the adjacent trisectors of the angles of any triangle are the vertices of an. I was planning to do an essay exploring morleys trisector theorem, but i was having trouble finding and real life applications of it. His proof is considered the simplest and a very good example of a backward proof. Pdf is john conways proof of morleys theorem the simplest. Let be such that, and are not translations and let.
Special and general relativity notes on the michelsonmorley. In 1899, more than a hundred years ago, frank morley, then professor of mathematics at haverford college, came across a result so surprising that it entered mathematical folklore under the name of morleys miracle. Generalizing morleys and various theorems with realizability. In particular, to john conway, whose proof prevailed upon me to return to this theorem after more than half a century. Morleys trisector theorem states that the intersections of the adjacent pairs of angle trisectors of an arbitrary triangle are the vertices of an equilateral triangle. See figure1 see figure1 the three points of intersection of the adjacent trisectors of the angles of any triangle form an equilateral triangle. On morleys miracle theorem page 5 unt digital library. The points of intersection of the adjacent angle trisectors of the angles of any triangle are the polygon vertices of an equilateral triangle known as the first morley triangle. The proof is an easy induction on the complexity of formulas. There are many different proofs of morley s theorem. Dec 01, 2018 i was planning to do an essay exploring morley s trisector theorem, but i was having trouble finding and real life applications of it. A line is parallel to a side of the first morley triangle if and only if. It is the first of the three proofs that i am interested. An elementary proof of morleys trisector theorem volume 34 nancy walls skip to main content accessibility help we use cookies to distinguish you from other users and to provide you with a better experience on our websites.
Morleys proof canadian mathematical society mitacs winnipeg june 3, 2007 john t. A simple geometric proof of morleys trisector theorem bloggen. Robson technique to morley s trisector theorem jean louis ayme a b c l m r q p n 1 1 2 2 3 3 abstract. A theory t is satis able if every nite subset of t is satis able. Recent proofs include an algebraic proof by alain connes 1998, 2004 extending the theorem to general fields other than characteristic three, and john conways elementary geometry proof. The proof of the morleys theorem will appear as a direct consequence of the following theorem. Special and general relativity notes on the michelsonmorley interferometer how it works a monochromatic light wave has one frequency or wavelength. The three points of intersection of the adjacent trisectors of the angles of any triangle form an equilateral triangle. Morleys theorem asserts that the points of intersection of the adjacent angle trisectors of the angles of an arbitrary triangle abc are the vertices of an equilateral triangle def. Pdf is the mystery of morleys trisector theorem resolved. Lets begin with an arbitrary triangle with interior angles 3. One has g3 1g 3 2g 3 3 1 since each g3 i can be expressed as the product of the symmetries along the consecutive sides. In 1899, more than a hundred years ago, frank morley, then professor of mathematics at haverford college, came across a result so surprising that it entered mathematical folklore under the name of morley s miracle. Although we employ the sinusoidal function, one can argue that the proof is safe.
There are many proofs of morleys theorem, some of which are very technical. There are many proofs of morleys trisector theorem 12, 16, 9, 8, 20, 3, 18. The proof of this theorem involves the following steps. Just for fun i thought id share a few interesting geometric theorems that i came across recently. Jul 10, 2009 morley s theorem asserts that the points of intersection of the adjacent angle trisectors of the angles of an arbitrary triangle abc are the vertices of an equilateral triangle def. We invoke the law of sines to prove morleys trisector theorem. Origami construction and automated proof ida tetsuo, kasem asem, ghourabi fadoua, takahashi hidekazu journal or publication title journal of symbolic computation volume 46 number 5 page range 571583 year 201105 c 2010 elsevier ltd. There are many proofs of morley s theorem, some of which are very technical.
Bogomolny, morleys miracle from interactive mathematics miscellany and puzzles. Though the sinusoidal function appears, the proof is safe for the trigonometrically distanced. Conways proof nikos dergiades proof bankoffs proof. A vectorbased proof of morleys trisector theorem geometricorum. Thereisacountabletheoryt,inanexpansionofthesignature of t, such that t t, every model of t expands to a model of t, and t has skolem functions, that is, for every formula x. There are many different proofs of morleys theorem. If t is categorical for some uncountable, then t is.
The product form for the triple angle is particularly useful in developing a direct constructive proof of morley s theorem. Morley s theorem can be given a short proof based on a trivial property of the bisectors of a triangle abc with base angles 2. In 1919, frank morley 18601937 published a paper on a theorem in fact he found it around 1899 which then was known as morley theorem. In plane geometry, morleys trisector theorem states that in any triangle, the three points of. We try to show with emphasis why one cannot expect a simpler proof of morleys theorem than a particular given proof of the theorem in the literature. We will also make extensive use of the following two theorems, which we state without proof. Morley proved a remarkable theorem on the elementary geometry of euclidean triangles. Matematicas visuales john conways proof of morleys theorem. Several early proofs were based on delicate trigonometric calculations. However, satans worshipers might enjoy the present prooftex version.
Morleys theorem, alain conness proof mathematical garden. Notes on morleys proof of his theorem on angle trisectors. The author presents the forgotten synthetic proof of alan robson concerning the morley s trisector theorem. It states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle. I should also remember brian stonebridge, who has published a few different proofs of morleys theorem and sadly has recently passed away.
The combination of geometry and number theory is dear to my heart, and i set to. Take k c and let g 1 be the rotation with center a and angle 2a,where3a is the angle bac and similarly for g 2, g 3. Since its formulation in 1899, many proofs of morleys trisector theorem have appeared, typically based on. In a temple seminar spring 1995, don newman gave a beautiful proof of morleys trisection theorem that is probably in gods book. Connes to explore possible generalizations of morley s trisector theorem to triangles in arbitrary value fields. Connes to explore possible generalizations of morleys trisector theorem to triangles in arbitrary value fields. Frank morley, an english mathematician, while studying some properties of cardioid in 15, has given the following incredible theorem note, the theorem is proved by considering the locus of the. The next corollary, which relies only on the above proposition, is as good as mor. Morleys proof canadian mathematical society mitacs.
Given a triangle a, b, c the pairwise intersections a, p, y of the trisectors. Morley s theorem is renowned as being a theorem thats really hard to prove. The latter starts with an equilateral triangle and. The morley trisector theorem, known also as the morley miracle, says that the adjacent angle trisectors of a triangle meet at the vertices of an equilateral triangle.
The general opinion with which i concur is that frank morleys theorem about the angle trisectors of a triangle is a geometrical curiosity that is of historical interest at best. The theorem dates from around 1899, a direct proof is hard, the proof below is an easy one based on. As usual in mathematics, numerous attempts have been made to find a simple, elementary proof that could match the level of knowledge and proficiency required to grasp the statement of the theorem. I have learnt there most of the mathematics i know, mostly thanks to impromptu lunch conversations with visitors or permanent members. Short biographies, the digital journal revistaoim and two archives are given.
This was discovered by frank morley in the early 20th century. Morleys theorem is renowned as being a theorem thats really hard to prove. Morleys miracle in 1899 frank morley, a professor at haverford, discovered the following remarkable theorem. A proof of morleys theorem using complex analytic geometry abstract.
657 189 1288 713 371 1420 1087 57 1231 1429 1529 1065 589 167 118 113 380 419 824 1056 206 1045 987 407 1101 701 816 532 1478 584 729 328 515 1486 1077 979 1117 366 1092