If two parallel lines are cut by a transversal, then both pairs of alternate interior angles are congruent. Little is known about the author, beyond the fact that he lived in alexandria around 300 bce. Pythagorean theorem, 47th proposition of euclids book i. A rigorous deductive approach to elementary euclidean. The method of contradiction many proofs of the sl theorem have since been given, and we shall introduce to you one of them later. The steinerlehmus theorem and triangles with congruent medians. We prove that a a generalization of the steinerlehmus theorem due to a. A variety of proofs of the steinerlehmus theorem digital. In this paper we shall apply hyperbolic trigonometry to the study of the hyperbolic breuschs lemma, the hyperbolic urquharts theorem and the hyperbolic steiner lehmus theorem in the poincar. If a line is drawn from the centre of a circle to the midpoint of a chord, then the line is perpendicular to the chord. The most elementary theorem of euclidean geometry 169 the m onthl y problem that breusch s lemma was designed to solve appeared also as a conjecture in 6, page 78. Precisely we show that if two internal bisectors of a triangle on the hyperbolic plane are equal, then the triangle is isosceles. The indirect proof of lehmussteiners theorem given in 2 has in fact logical struc ture as the described ab ove although this is not men tioned by the authors. The hyperbolic geometry is a noneuclidean geometry.
A short trigonometric proof of the steinerlehmus theorem. The famous steinerlehmus theorem states that if the internal angle bisectors. On trigonometrical proofs of the steinerlehmus theorem rgmia. Trigonometric proofs of the steiner lehmus theorem 2. Its purpose is to give the reader facility in applying the theorems of euclid to the solution of geometrical problems. We give a trigonometric proof of the steinerlehmus theorem in hyperbolic geometry. Area congruence property r area addition property n. What i am looking for is a geometric proof where algebra isnt involved. It is often the second in a series of three theorems in a section within the circle chapter. The assumpton that the ordered metric plane be standard is very likely not needed for the generalized steinerlehmus theorem to hold, but it is indispensable for our proof. The steinerlehmus theorem and triangles with congruent. Chapter 8 euclidean geometry basic circle terminology theorems involving the centre of a circle theorem 1 a the line drawn from the centre of a circle perpendicular to a chord bisects the chord.
Perhaps one of the shortest trigonometric proofs of the steiner lehmus theorem one can. Euclids elements is by far the most famous mathematical work of classical antiquity, and also has the distinction of being the worlds oldest continuously used mathematical textbook. Euclidean geometry notes, lectures notes, florida atlantic university, pp. Here in this study, we give hyperbolic version of steinerlehmus theorem. The assumpton that the ordered metric plane be standard is very likely not needed for the generalized steiner lehmus theorem to hold, but it is indispensable for our proof. For a given line g and a point p not on g, there exists a unique line through p parallel to g. If two bisectors of two angles of a triangle are equal then the triangle is an isosceles triangle. Euclidean geometry can be this good stuff if it strikes you in the right way at the right moment. Trigonometric proofs of the steinerlehmus theorem 2. Selected theorems of euclidean geometry all of the theorems of neutral geometry. If a line is drawn from the centre of a circle perpendicular to a chord, then it bisects the chord.
Sturm, in which he asked for a purely geometric proof. Euclidean verses non euclidean geometries euclidean geometry. A variety of proofs of the steinerlehmus theorem a thesis presented to the faculty of the department of mathematics east tennessee state university in partial ful llment of the requirements for the degree master of science in mathematical sciences by sherri gardner may 20 michel helfgott, ed. This book is intended as a second course in euclidean geometry. The steinerlehmus theorem is famous for its indirect proof. Every triangle with two angle bisectors of equal lengths is isosceles the theorem was first mentioned in 1840 in a letter by c. Hajja, more on the steinerlehmus theorem, journal for geometry and graphics, vol. All constructions possible with a straightedge and compass are possible with a straightedge alone given a circle and its ce.
Steinerlehmus theorem let abc be a triangle with points 0 and e on ac and ab respectively such that 80 bisects labc and ce bisects lacb. Perhaps one of the shortest trigonometric proofs of the steinerlehmus theorem one can. The main subjects of the work are geometry, proportion, and. The steiner lehmus theorem, a theorem in elementary geometry, was formulated by c. The butterfly theorem is notoriously tricky to prove using only highschool geometry but it can be proved elegantly once you think in terms of projective geometry, as explained in ruelles book the mathematicians brain or shifmans book you failed your math test, comrade einstein are there other good examples of simply stated theorems in euclidean geometry that have surprising, elegant. Steiners theorem, named for jakob steiner 1796 1863, is included in most high school geometry books but rarely by name. He submitted to the american mathematical monthly, but apparently it. All these di erent themes will be explored in this report which focuses rstly on two important areas. Generalizing the steinerlehmus theorem using the grobner. In this geometry corner, we will introduce to you some of these results and hope that you would in the long run gain a better insight of plane geometry. The proof also needs an expanded version of postulate 1, that only one segment can join the same two points. Generalizing the steinerlehmus theorem using the gr obner.
Bachmanns ordered metric planes represents the weakest absolute geometry in which the steiner lehmus theorem or its generalization can be expected to hold. On trigonometric proofs of the steinerlehmus theorem. Geometry problem 889 carnots theorem in an acute triangle, circumcenter, circumradius, inradius. If we negate it, we get a version of noneuclidean geometry. Steinerlehmus theorem any triangle with two angle bisectors of equal length is isosceles. I wanted to come up with a direct proof for it of course, it cant be direct because some theorems used, will, of course, be indirect. A variety of proofs of the steinerlehmus theorem east.
It is generally distinguished from noneuclidean geometries by the parallel postulate, which in euclids formulation states that, if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced. Each chapter begins with a brief account of euclids theorems and corollaries for simplicity of reference, then states and proves a number of important propositions. Pdf other versions of the steinerlehmus theorem researchgate. The isogonal conjugates of a point, p, is a point p at the intersection of the cevians you get by reflecting each cevian about the bisector of the angle of the original triangle. Pdf on trigonometrical proofs of the steinerlehmus theorem. The steinerlehmus theorem, stating that a triangle with two. The steinerlehmus theorem has garnered much attention since its conception in.
Bachmanns ordered metric planes represents the weakest absolute geometry in which the steinerlehmus theorem or its generalization can be expected to hold. The euclidean steiner problem is a particularly interesting optimization problem to study as it draws on ideas from graph theory, computational complexity and geometry as well as optimization. In december 2010, charles silver of berkeley, ca, devised a direct proof of the steinerlehmus theorem, which uses only compass and straightedge and relies entirely on notions from book i of euclids elements. Froda, nontrivial aspects of certain questions of euclidean geometry.
The existing proofs of the steinerlehmus theorem are all indirect many being. Famous theorems of mathematicsgeometry wikibooks, open. Barbu, trigonometric proof of steinerlehmus theorem in hyperbolic geometry, acta univ. Playfairs theorem is equivalent to the parallel postulate. Theorems in euclidean geometry with attractive proofs. If a triangle has two angle bisectors which are congruent measured from the vertex to the opposite side, then the triangle is isosceles. The wellknown steinerlehmus theorem states that if the internal angle bisectors of two angles of a triangle are equal, then the triangle is isosceles 1.
On trigonometric proofs of the steinerlehmus theorem forum. The significance of the pythagorean theorem by jacob bronowski. The steinerlehmus theorem, a theorem in elementary geometry, was formulated by c. The steinerlehmus theorem leo sauve, algonquin college 1. Introduction the goal of this article is to explain a rigorous and still reasonably simple approach to teaching elementary euclidean geometry at the secondary education levels. We still do not know what degree of regularity a dsimplex must enjoy so that two or even all the internal angle bisectors of the corner angles are equal. His geometry is also different from that of professional. Euclidean geometry is a privileged area of mathematics, since it allows from an early stage to. Euclidean geometry is the form of geometry defined and studied by euclid. Euclidean verses non euclidean geometries euclidean geometry euclid of alexandria was born around 325 bc. Xixth century old, steinerlehmus theorem, but the general case of inner and. Many mathematicians have tried to argue that this assertion can be proved in a theorem instead of demanded as true in a postulate. Steinerlehmus theorem to higher dimensions remains open. Next two sections brie y outline some basic facts and terminology from gr obner covers and from automatic deduction in geometry, respectively.
540 515 1356 1155 1519 1621 1315 619 1111 1604 1561 336 1313 11 99 161 1316 1396 492 136 989 894 1184 593 507 638 346 426 976 689 1498 1380 523 481