Having intrigued mathematicians for the past century, it is now simply referred to as morleys trisector theorem. In this sense morleys categoricity theorem is a negative result, i. 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. His proof is considered the simplest and a very good example of a backward proof. Connes to explore possible generalizations of morleys trisector theorem to triangles in arbitrary value fields. 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. Morleys theorem is renowned as being a theorem thats really hard to prove. Theorem of the day morleys miracle let a, b, c be the vertices of a triangle. The theorem was discovered in 1899 by angloamerican mathematician frank morley. Under the hypothesis of the theorem, we can assume that the. Grant swicegood this paper deals with an unannounced theorem by frank morley that he originally published amid a collection of other, more general, theorems. There are many proofs of morleys trisector theorem 12, 16, 9, 8, 20, 3, 18. Media in category morley theorem the following 10 files are in this category, out of 10 total. Morley s theorem has the structure for all theories satisfying this property, the following is true.
This was a surprising discovery made by frank morley 1899. 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. Trigg 281 an elementary geometric proof of the morley theorem dan sokolowsky 291 the beauty and truth of the morley theorem leon bankoff 294. He was so enthusiastic about the theorem that even while confined to. Generalizing morleys theorem, mathematical logic quarterly. Morleys theorem asserts that the points of intersection of the adjacent angle trisectors of the angles of an arbitrary triangle abc are. There are many proofs of morleys trisector theorem 12, 16, 9. Morleys categoricity theorem states that if a theory of rst order logic is categorical in some uncountable power, then it is categorical in every uncountable power. Includes a long list of different proofs, in particular john conways proof is rather elegant. Morley s categoricity theorem is a theorem of michael d. Let as be the set of angles in the triangles of an stpf s i.
The proof of this theorem involves the following steps. A signalizer functor theorem for groups of finite morley. 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. There is a longstanding conjecture, due to gregory cherlin and boris zilber, that all simple groups of finite morley rank are simple algebraic groups. This key insight lets us piece together the following argument, where we build up the diagram backwards from its constituent pieces. Morley is with the department of mathematics, university of. Morley s categoricity theorem, a theorem related to model theory, discovered by michael d. Tran quang hung a direct trigonometric proof of morleys theorem.
If you do not see its contents the file may be temporarily unavailable at the journal website or you do not have a pdf plugin installed and enabled in your browser. Matematicas visuales john conways proof of morleys theorem. Dario pellegrinetti the six point circle for the quadrangle martin josefsson more characterizations of cyclic quadrilaterals ozcan gelisgen and serhat yavuz a note about isometry groups of chamfered dodecahedron and chamfered icosahedron spaces tran quang hung a direct trigonometric proof of morleys theorem dao thanh oai and cherngtiao perng. Bogomolny, morleys miracle from interactive mathematics miscellany and puzzles. You complain that you cant find any examples of particular theories for which the conclusion cant be checked without appealing to morley s theorem. The mathematical intelligencer encourages comments about the material in this issue. Is john conways proof of morleys theorem the simplest and. In plane geometry, morleys trisector theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the first morley triangle or simply the morley triangle. In fact, the centroid of the morleys triangle is known as the first morleys center see figure2. Is john conway s proof of morleys theorem the simplest and free of a deus ex machina. Copy and paste the desired citation format or use the link below to download a file formatted for endnote.
Letters to the editor should be sent to the editorinchief. Morley disambiguation page providing links to topics that could be referred to by the same search term this disambiguation page lists articles associated with the title morleys theorem. Is john conways proof of morleys theorem the simplest. Alternatively, you can download the file locally and open with any standalone pdf reader. According to morleys theorem in any triangle abc the three points of intersection of the trisectors of. We assume throughout this lecture that u is a oneplaced predicate symbol of l, and l, is a countable fragment of l. Morleys categoricity theorem david pierce november.
Independently of the insignificance of the theorem proved by it, a proof may deserve our attention. Pdf among the dozens of proofs of morleys theorem, the proofs of j. There are many different proofs of morley s theorem. The idea for this theorem suggested itself to the author from dijkstras proof of. Now the reason that morleys theorem seems to add nothing new in each of the classic example cases you have in mind is that in each of these cases, step 1 is already done, i.
The three points of intersection of the adjacent trisectors of the angles of any triangle. Weshall nowshow thatingeneral therotation gwhich permutes cyclically the points. Morley s original proof stemmed from his results on algebraic curves tangent to a given number of lines. Penrose, morleys trisector theorem, eureka 16 1953, 67. In plane geometry, morleys trisector theorem states that in any triangle, the three points of. There are many different proofs of morleys theorem. A nice proof is given of morleys remarkable theorem on angle trisectors. Tran quang hung a direct trigonometric proof of morleys. Morley s theorem is renowned as being a theorem that s really hard to prove. Geometry revisited hsm coxeter sl greitzer aproged. I hope that morley s trisection theorem has many applications.
In fact, the centroid of the morley s triangle is known as the first morley s center see figure2. Morleys categoricity theorem, a theorem related to model theory, discovered by michael d. Stonebridge, a simple geometric proof of morleys trisector theorem, applied probability trust, 2009. Oct 15, 2014 an interesting theorem of morley s about angle trisectors. 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. Check out the post sylow s theorem summary for the statement of sylow s theorem and various exercise problems about sylow s theorem. Morley 273 notes on morley s proof of his theorem on angle trisectors dan pedoe 276 robson s proof of morley s theorem 280 a list of references to the morley theorem co. The generalized bottduffin inverse and its applications core. Generalizing morleys and various theorems with realizability.
Check out the post sylows theorem summary for the statement of sylows theorem and various exercise problems about sylows theorem. Let the angle bac be trisected by lines ab and ac, in that order. A generalization of morleys theorem was discovered by morley in 1900 but first published by taylor and marr 1914. An interesting property happens when we connect the opposite vertices of the original triangle and its morley s triangle. 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.
The categoricity theorem 20 acknowledgments 20 references 20 a theory is called categorical, or categorical in power, if it has one model up to isomorphism of cardinality. The construction of morleys triangle by the straightedge and compass method is impossible because of the wellknown impossibility result for angle trisection. Morley 273 notes on morleys proof of his theorem on angle trisectors dan pedoe 276 robsons proof of morleys theorem 280 a list of references to the morley theorem co. Among the many beautiful and nontrivial theorems in geometry found in geometry revisited are the theorems of ceva, menelaus, pappus, desargues, pascal, and brianchon. Morley, almost definite operators and electromechanical.
Version of proof of morleys trisector theorem michael. 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. On the design of a simple proof for morleys theorem. Copy and paste the desired citation format or use the link below to download a file formatted. In this sense morley s categoricity theorem is a negative result, i.
Over 10 million scientific documents at your fingertips. 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. Pdf is john conway s proof of morley s theorem the. Well, morleys theorem tells us that this diagram has three nice 60degree angles in the middle, but we may suspect that, in fact, all of the angles are nice. An interesting theorem of morleys about angle trisectors. The generalization of morleys theorem states that these trisectors intersect in 27 points denoted,, for, 1, 2 which lie six by. 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. An interesting property happens when we connect the opposite vertices of the original triangle and its morleys triangle. Thus, and whatever the characteristic of k is, we get that a. Connes to explore possible generalizations of morley s trisector theorem to triangles in arbitrary value fields. Mar 18, 2012 well, morleys theorem tells us that this diagram has three nice 60degree angles in the middle, but we may suspect that, in fact, all of the angles are nice.
Morleys triangle and morleys man jim wilsons home page. A nice proof is given of morley s remarkable theorem on angle trisectors. Upward morleys theorem downward, mathematical logic. Dergiades approach is to construct a triangle with these angles for which morley s theorem is true. 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. Pdf is the mystery of morleys trisector theorem resolved. In plane geometry, morley s trisector theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the first morley triangle or simply the morley triangle. One has g3 1g 3 2g 3 3 1 since each g3 i can be expressed as the product of the symmetries. 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. Morley stating that if a firstorder theory in a countable language is categorical in some uncountable cardinality, then it is categorical in all uncountable cardinalities. In other words, the lines am, bl, and ck are concurrent. Morleys theorem states that for any triangle, the intersections of its adjacent angle trisectors form an equilateral triangle.
755 684 200 535 1162 1457 414 720 851 1171 436 1319 32 1266 1425 1449 239 404 571 756 567 974 153 1353 1135 67 163 239 989