In the detail, the author, after having proven in general menelaus s theorem for. Cevas theorem, proof using menelaus antonio gutierrez. Cevas and menelaus theorems characterize the hyperbolic geometry among hilbert geometries j ozsef kozma and arp ad kurusa abstract. Together with ribets theorem, it provides a proof for fermats last theorem. Pdf the hyperbolic menelaus theorem in the poincare disc model. Not long ago i came across a post an ugly and an elegant proof of menelaus theorem by antreas p. A menelaustype theorem for the pentagram mathematical. Given a triangle abc, and points d, e and f that lie on lines. A proof for a property which generalizes the menelaus theorem from triangles to pentagrams a pdf copy of the article can be viewed by clicking below. Given a triangle abc, and a transversal line that crosses bc, ac, and ab at points d, e, and f respectively, with d, e, and f distinct from a, b, and c, then. Exploring menelaus theorem in hilbert geometry math in action.
By applying the extreme value theorem to f, we see that f also achieves its minimum on a. Wiless proof of fermats last theorem is a proof by british mathematician andrew wiles of a special case of the modularity theorem for elliptic curves. The sector theorem is now generally known as the menelaus theorem. Proofs from group theory december 8, 2009 let g be a group such that a. Menelaus theorem definition of menelaus theorem by. Finally, we consider hoehns theorem, which states that for a pentagon, using the notation indicated in figure 4, and figure 4 hoehns theorem states that and in hoehns original proof, menelaus theorem was applied to various triangles and transversals in the dagram. There are other cases possible, all of which can be proven using a similar method q. We prove that the well known ceva and menelaus theorems are both. In a discussion on the menelaus theorem we presented two proofs. Miller this thesis presents an introduction to geometric algebra for the uninitiated. The menelaus theorem gives a necessary and sufficient condition for three points one on each side of a triangle to lie on a transversal. Recently hoehn 8 obtained a new result of a similar kind, showing that the products of five quotients of.
Cevas and menelaus theorems for the ndimensional space malgorzata bubabrzozowa. We leave the proof of the above resu it to the reader. Any proof of simsons theorem relies upon euclids parallel postulate, and the theorem does not apply in a noneuclidean geometry. First we check that the equation works out negative. Click the next button below to start the animation. Proof with triangle with similar triangles formed by. T oday we will learn about two wellknown theorems in geometry, cevas theorem and menelaus theorem. Menelaus theorem, named for menelaus of alexandria, is a theorem about triangles in plane geometry. Isaacss geometry for college students3, david kays. Cevas and menelaus theorems character ize the hyperbolic.
Before presenting the animation we describe its main components. See complete interactive proof with animation and key concepts level. A proof for a property which generalizes the menelaus theorem from triangles to pentagrams. For beginning we will enunciate and prove desargues theorem. Both of the theorems will be proved based on a common simple principle. Cevas and menelaus theorems compared and two proofs of the latter. The mean value theorem today, well state and prove the mean value theorem and describe other ways in which.
Cevas theorem is essentially the counterpart of this theorem and can be used to prove three lines are. This is a simple walk through of the proof of menelaus theorem. Menelaus theorem deals with the collinearity of points on each of the three sides extended when necessary of a triangle. The two theorems are very similar, and in a subsequent lesson we will show that they are in fact equivalent. Waclaw sierpinski 250 problems in elementary number theory presents problems and their solutions in five specific areas of this branch of mathe matics. A simple proof of g odels incompleteness theorems 1. This page presents an animation that illustrates a unification of the theorems of ceva and menelaus.
Cevas and menelaus theorems for the ndimensional space. An interactive column for maa online that uses a java applet to simulate a puzzle or mathematical problem, one not stated directly since the applet is intended to be such that the right answer to. These two theorems are very useful in plane geometry because we often use them to prove that a certain number of points lie on a straight line and a certain number of lines intersect at a single point. This document models those four di erent approaches by proving the same proposition four times over using each fundamental method. Note that the above proof is valid for one case only. Journal for geometry and graphics volume 4 2000, no. Description of proof of menelauss theorem micah james. Menelaus produced an analogous theorem for spherical geometry. If line intersecting on, where is on, is on the extension of, and on the intersection of and, then. The converse is useful in proving that three points are collinear. Jun 06, 2014 menelaus theorem, named for menelaus of alexandria, is a theorem about triangles in plane geometry. Menelaus theorem definition is a theorem in geometry. One such application is hilbert geometry, which was introduced by david hilbert in 1899 and.
It contains examples of how some of the more traditional topics of mathematics can be reexpressed in terms of geometric algebra along with proofs of several. In the detail, the author, after having proven in general menelauss theorem for. In this paper we prove a generalization of the well known rouths triangle theorem. On menelaus theorem singapore mathematical society nus. Both fermats last theorem and the modularity theorem were almost universally considered inaccessible to proof by. Click here to viewdownload the extended abstract as a pdf. Already in his famous \mathematical problems of 1900 hilbert, 1900 he raised, as the second. Proof theory was created early in the 20th century by david hilbert to prove the consistency of the ordinary methods of reasoning used in mathematics in arithmetic number theory, analysis and set theory. We will be using explicitly the laws of double negation. Menelauss theorem, named for menelaus of alexandria, is a proposition about triangles in. By hypothesis, if both the maximum and minimum are achieved on the boundary, then the maximum and minimum are the same and thus the function is constant. Other articles where menelaus theorem is discussed.
I am not understanding completely the last affermation of the following proof of the converse of menelaus s theorem. Menelaus s theorem, named for menelaus of alexandria, is a proposition about triangles in plane geometry. Menelaus riddle geometry level 5 menelaus drew triangle a b c abc a b c with b c bc b c 1 3 before crossing two red lines b d 10 bd 10 b d 1 0 and c e 15, ce 15, c e 1 5, both intersecting at point p p p and reaching the triangles sides at points d d d and e, e, e, respectively, as shown above. The menelaus theorem gives a necessary and sufficient condition for three points one on each side of a triangle. Bb1 and cc1 of a triangle abc figure 2 are concurrent if and only if. Given a triangle abc, and a transversal line that crosses bc, ac and ab at points d, e and f respectively, with d, e, and f distinct from a, b and.
Like cevas theorem, menelaus theorem shows that a geometrical condition, collinearity, is equivalent to an arithmetical condition for ratios. Geometry problems involving circles and triangles, with animated proofs. The form of this theorem for plane triangles, well known to his contemporaries, was expressed as follows. This will help develop creativity and written communication skills. After experimenting, collecting data, creating a hypothesis, and checking that hypothesis. An elementary geometric proof of the morley theorem. Castillon had a lengthy and difficult solution that cites menelaus theorem, which is black belt geometry, while zlatanovic has a short and elegant solution that is mostly green belt, but it is delayed until blue belt because it cites the power of the point. Although very little is known about menelaus s life, it is supposed that he lived in rome, where he probably moved after having spent his youth in alexandria. Recently hoehn 8 obtained a new result of a similar kind, showing that the products of five quotients of certain lengths in a pentagram have the value 1. The theorem gives a necessary and sufficient condition for the concurrency of three cevians.
Pdf common properties of trapezoids and convex quadrilaterals. Turner october 22, 2010 1 introduction proofs are perhaps the very heart of mathematics. Point p p p does not only divide all the red segments into integer lengths, but points d d d and e e e also divide the triangles sides into integer lengths. Notes on morleys proof of his theorem on angle trisectors. It is worth noting that the converse of simsons theorem is also true, and thus the points x, y, and z are collinear if and only if the point p lies on the circumcircle. For plane geometry, the theorem of menelaus is given any line that transverses crosses the three sides of a triangle one of them will have to be extended, six segments are cut off on the sides. Alternatively, when written with directed segments, the theorem becomes proofs proof with similar triangles.
Department of mathematics ataturk university erzurum, turkey corresponding author email. If abc is a triangle and pqr is a straight line that cuts ab, ca, and the extension of bc at p, q, and r respectively, then 1 explanation of menelaus theorem. An introduction with applications in euclidean and conformal geometry by richard a. The theorem for the geometry of the plane was known before menelaus. Ceva, menelaus, and the area principle branko grunbaum. The usual theorems or laws of logic hold true in this theory. What is a cevian in one triangle is a transversal in another. Any length between any two of those points is always a whole integer.
The classical theorems of menelaus and ceva concern a triangle together with an additional line or point, and give relations between three ratios of distances or quadrances. All content in this area was uploaded by david fraivert on jan 29, 2017. As evident, menelaus theorem is closely related to cevas theorem. Proof of rolles theorem by the extreme value theorem, f achieves its maximum on a.
He was called menelaus of alexandria by both pappus of alexandria and proclus, and a conversation of his with lucius, held in rome, is recorded by plutarch. The converse of menelaus theorem is very useful in showing the collinearity of three given points on a plane. By applying the extreme value theorem to f, we see that f also achieves its. Common properties of trapezoids and convex quadrilaterals. The students will be placed in pairs to help them learn to cooperate and help one another through self discovery and the cooperative activity. If a hilbert geometry satis es a rather weak version of either cevas or menelaus theorem for every triangle, then it is hyperbolic. Dec 10, 2017 this is a simple walk through of the proof of menelaus theorem. These results are also valid in universal hyperbolic geometry. Florentin smarandache, university of new mexico, u. Multiplying the two equalities together to eliminate the factor, we get. Proof with triangle with similar triangles formed by medians. Menelauss theorem, named for menelaus of alexandria, is a proposition about triangles in plane geometry.
Menelaus theorem article about menelaus theorem by the. The proof of cevas theorem will be greatly facilitated by the fol. Pdf in this note, we present the hyperbolic menelaus theorem in the poincare disc of hyperbolic geometry. The product of three nonadjacent segments is equal to the product of the other three. The proof of the above result is similar to the proof of the converse of evas theorem as given in 1. Exploring menelaus theorem in hilbert geometry math in. Cevas theorem and menelauss theorem are actually equivalent. The use of computers in teaching is based on some of david talls ideas 31. Oct 25, 20 description of proof of menelaus s theorem micah james.
A straight line is often called a transversal to emphasize its relation to another shape. High school, sat prep, college geometry post your solutions or ideas in the comments. A simple proof of g odels incompleteness theorems arindama singh, department of mathematics, iit madras, chennai600036 email. Ion patrascu, the national college fratii buzesti, craiova, romania in this article we will use the desargues theorem and its reciprocal to solve two problems. There are several different proofs of menelaus theorem. After blue belt comes chodan 1st degree black belt, which is harmonic division. Pdf if a hilbert geometry satisfies a rather weak version of either cevas or menelaus theorem for every triangle, then it is hyperbolic. Menelaus theorem article about menelaus theorem by the free.
Menelaus theorem relates ratios obtained by a line cutting the sides of a triangle. A problem about finding shortest path and a property of the ellipse. Unlike the other sciences, mathematics adds a nal step to the familiar scienti c method. Proposition let abc be a triangle and men a line that transverse crosses the lines ab, bc, and ac respectively. A pdf copy of the article can be viewed by clicking below. Most geometry references, however, cite this theorem for plane geometry as menelaus s theorem. The students will work individually on journal prompts. If a1b1a2b2a3b3a4b4a5b5is a pentagram, then for the proof we repeatedly use menelaus theorem, which states that if a line.
1445 307 953 1617 1048 297 1411 246 1376 554 948 1214 1261 1352 720 1546 1549 1483 173 964 921 97 1072 1260 629 200 47 1016 132 222 1190 754