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, a theorem in elementary geometry, was formulated by c. He submitted to the american mathematical monthly, but apparently it. 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. Little is known about the author, beyond the fact that he lived in alexandria around 300 bce. 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. Steinerlehmus theorem to higher dimensions remains open. The main subjects of the work are geometry, proportion, and. Euclidean verses non euclidean geometries euclidean geometry euclid of alexandria was born around 325 bc. The existing proofs of the steinerlehmus theorem are all indirect many being. On trigonometrical proofs of the steinerlehmus theorem rgmia. 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. Euclid introduced the idea of an axiomatic geometry when he presented his chapter book titled the elements of geometry.
Bachmanns ordered metric planes represents the weakest absolute geometry in which the steiner lehmus theorem or its generalization can be expected to hold. 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. If two bisectors of two angles of a triangle are equal then the triangle is an isosceles triangle. Perhaps one of the shortest trigonometric proofs of the steiner lehmus theorem one can. Bachmanns ordered metric planes represents the weakest absolute geometry in which the steinerlehmus theorem or its generalization can be expected to hold. Here in this study, we give hyperbolic version of steinerlehmus theorem. Then, the rst part of section 3 describes the construction of the geometric elements involved in the steinerlehmus state. 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. Euclidean geometry is a privileged area of mathematics, since it allows from an early stage to.
Euclidean geometry notes, lectures notes, florida atlantic university, pp. On trigonometric proofs of the steinerlehmus theorem forum. Euclidean geometry is the form of geometry defined and studied by euclid. Sturm, in which he asked for a purely geometric proof. Its purpose is to give the reader facility in applying the theorems of euclid to the solution of geometrical problems. 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 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. If a triangle has two angle bisectors which are congruent measured from the vertex to the opposite side, then the triangle is isosceles. Hajja, more on the steinerlehmus theorem, journal for geometry and graphics, vol. Generalizing the steinerlehmus theorem using the gr obner.
Barbu, trigonometric proof of steinerlehmus theorem in hyperbolic geometry, acta univ. 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. Froda, nontrivial aspects of certain questions of euclidean geometry. The steinerlehmus theorem and triangles with congruent medians. 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. 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 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. Many mathematicians have tried to argue that this assertion can be proved in a theorem instead of demanded as true in a postulate. What i am looking for is a geometric proof where algebra isnt involved. Steinerlehmus theorem any triangle with two angle bisectors of equal length is isosceles. If a line is drawn from the centre of a circle perpendicular to a chord, then it bisects the chord.
The steinerlehmus theorem and triangles with congruent. Heres how andrew wiles, who proved fermats last theorem, described the process. Trigonometric proofs of the steinerlehmus theorem 2. 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. Geometry problem 889 carnots theorem in an acute triangle, circumcenter, circumradius, inradius. Generalizing the steinerlehmus theorem using the grobner. The proof also needs an expanded version of postulate 1, that only one segment can join the same two points. Xixth century old, steinerlehmus theorem, but the general case of inner and. A variety of proofs of the steinerlehmus theorem digital.
The famous steinerlehmus theorem states that if the internal angle bisectors. The steinerlehmus theorem is famous for its indirect proof. It is often the second in a series of three theorems in a section within the circle chapter. For a given line g and a point p not on g, there exists a unique line through p parallel to g. Pdf other versions of the steinerlehmus theorem researchgate. If we negate it, we get a version of noneuclidean geometry. On trigonometric proofs of the steinerlehmus theorem. The significance of the pythagorean theorem by jacob bronowski. All constructions possible with a straightedge and compass are possible with a straightedge alone given a circle and its ce. 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. His geometry is also different from that of professional. 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. All these di erent themes will be explored in this report which focuses rstly on two important areas.
Euclidean geometry can be this good stuff if it strikes you in the right way at the right moment. Euclidean verses non euclidean geometries euclidean geometry. This essay will start in the middle and show, with the aid of geometers sketchpad, how. Area congruence property r area addition property n. Pdf on trigonometrical proofs of the steinerlehmus theorem. The steiner lehmus theorem, a theorem in elementary geometry, was formulated by c. We give a trigonometric proof of the steinerlehmus theorem in hyperbolic geometry. The hyperbolic geometry is a noneuclidean geometry. Theorems in euclidean geometry with attractive proofs. Every triangle with two angle bisectors of equal lengths is isosceles the theorem was first mentioned in 1840 in a letter by c. This book is intended as a second course in euclidean geometry.
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. 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. 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. Henderson holds in bachmanns standard ordered metric planes, b that a variant of steinerlehmus holds in all metric planes, and c that the fact that a triangle with two congruent medians is isosceles holds in hjelmslev planes without double incidences of characteristic. 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. Playfairs theorem is equivalent to the parallel postulate. 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.
Selected theorems of euclidean geometry all of the theorems of neutral geometry. Perhaps one of the shortest trigonometric proofs of the steinerlehmus theorem one can. The steinerlehmus theorem has garnered much attention since its conception in. We prove that a a generalization of the steinerlehmus theorem due to a. The steinerlehmus theorem, stating that a triangle with two. Precisely we show that if two internal bisectors of a triangle on the hyperbolic plane are equal, then the triangle is isosceles. A rigorous deductive approach to elementary euclidean. Famous theorems of mathematicsgeometry wikibooks, open. Next two sections brie y outline some basic facts and terminology from gr obner covers and from automatic deduction in geometry, respectively. Steiners theorem, named for jakob steiner 1796 1863, is included in most high school geometry books but rarely by name. A variety of proofs of the steinerlehmus theorem east. 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. 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.
1218 51 276 404 1077 385 645 274 1199 878 1078 43 1280 255 432 525 333 1404 68 1381 481 1397 717 863 1172 838 58 85 1117 1098 762 343 1321 972 161 1167 1097 550 600 178 1229 992