Geometry: Neutral MATH 3120, Spring 2016 Many theorems of geometry are true regardless of which parallel postulate is used. A neutral geom- etry is one in which no parallel postulate exists, and the theorems of a netural geometry are true for Euclidean and (most) non-Euclidean geomteries. Spherical geometry is a special case of Non-Euclidean geometries where the great circles on the sphere are lines. This leads to spherical trigonometry where triangles have angle measure sums greater than 180◦. While this is a non-Euclidean geometry, spherical geometry develops along a separate path where the axioms and theorems of neutral geometry do not typically apply. The axioms and theorems of netural geometry apply to Euclidean and hyperbolic geometries. The theorems below can be proven using the SMSG axioms 1 through 15. In the SMSG axiom list, Axiom 16 is the Euclidean parallel postulate. A neutral geometry assumes only the first 15 axioms of the SMSG set. Notes on notation: The SMSG axioms refer to the length or measure of line segments and the measure of angles. Thus, we will use the notation AB to describe a line segment and AB to denote its length −−! −! or measure. We refer to the angle formed by AB and AC as \BAC (with vertex A) and denote its measure as m\BAC. 1 Lines and Angles Definitions: Congruence • Segments and Angles. Two segments (or angles) are congruent if and only if their measures are equal. • Polygons. Two polygons are congruent if and only if there exists a one-to-one correspondence between their vertices such that all their corresponding sides (line sgements) and all their corre- sponding angles are congruent. Theorem 1 Congruence relations are equivalance relations. Specifically, they are symmetric, reflexive and transitive. y Definitions: Points and Lines • Collinear Two points are collinear if they lie on the same line. • Intersecting Lines. Two lines intersect if there exists a point that is on both lines. • Parallel Lines. Parallel lines are two lines in the same plan which do not intersect. • Concurrent Lines. Concurrent lines are three or more coplanar lines that have a point in common. • Between. A point B is between A and C if B 2 AC but B 6= A and B 6= C. • Convex. A set (or polygon) P is convex if A; B 2 P =) AB 2 P . • Segment. A segment AB is the set of points A, B and all of the points between A and B. 1 −−! ! • Ray.A ray AB (also called a half-line) is a subset of the line AB that contains a given point ! A and all the points C 2 AB such that A is not between C and B. The point A is called the endpoint of the ray. • Angle. An angle is the union of two noncollinear rays which have the same endpoint. • Midpoint. The midpoint C of AB lies on AB such that AC = CB. −−! • Angle Bisector. The the ray BD is the angle bisector of \ABC if m\ABD = m\DBC. Note that angles must have measure ≤ 180◦, so reflex angles are ruled out of consideration. Theorem 2 Every line segment has exactly one midpoint. Every angle has exactly one bisector. y Theorem 3 Supplements and complements of the same angles are congruent. y Theorem 4 Vertical angles are congruent. y Theorem 5 Pasch's Axiom. Given a line that contains no vertex of a triangle, if that line intersects one side of the triangle, it must intersect another. y −−! −! −−! −−! Theorem 6 Crossbar Theorem. If AD is between AC and AB, then AD intersects BC. 2 Triangles Triangles exist in a neutral geometry and have many familiar properties from Euclidean geometry. The lack of a parallel postuatle results in triangles whose angle sum is less than or equal to 180◦. The fact that many common notions about triangles are true in netural goemetries helps explain why the ancients misunderstood Euclid's parallel postulate and its consequences. Theorem 7 Isosceles Triangle Theorem. If two sides of a triangle are congruent, then the angles opposite these sides are congruent.y Theorem 8 A point is on the perpendicular bisector of a line segment if and only if it is equidistant from the endpoints of the line segment. Definitions: Triangles • Triangle. A triangle is the union of three line segments determined by three non-collinear points. • Exterior Angle. Any angle that is both supplementary and adjacent to an angle of a triangle (or polygon) is an exterior angle of the triangle (or polygon). • Scalene Triangle. The sides of a scalene triangle all have different lengths. Theorem 9 Each exterior angle of a triangle is greater in measure than either of the nonadjacent interior angles of the triangle. Theorem 10 ASA Triangle Congruence. If two angles and the included side of one triangle are congruent, repsectively, to two angles and the included side of a second triangle, then the triangles are congruent. Theorem 11 Converse of Isosceles Triangle Theorem. If two angles of a triangle are congruent, then the sides opposite these angles are congruent. 2 Theorem 12 AAS Triangle Congruence. If the vertices of two triangles are in one-to-one cor- respondence such that two angles and the side opposite in one triangle are congruent to their corresponding parts of a second triangle, then the triangles are congruent. Theorem 13 SASAS Quadrilateral Congruence. If the vertices of two convex quadrilaterals are in one-to-one correspondence such that three sides and the two included interior angles of one quadrilateral are congrent to the corresponding parts of a second quadrilateral, then the quadrilaterals are congruent. Theorem 14 Inverse of Isosceles Triangle Theorem. If two sides of a triangle are not congruent, then angles opposite those sides are not congurent, and the larger angle is opposite the larger side. Corollary The largest (smallest) angle of a triangle is opposite the largest (smallest) side. Theorem 15 Triangle Inequality. The sum of the measures of two sides of a triangle is greater than the measure of the third side. Theorem 16 Hinge Theorem. If two sides of one triangle are congruent to two sides of another triangle, and the included angle of the first is larger than the included angle of the second, then the third side of the first triangle is longer than the third side of the second triangle. (Note that this is Euclid's Proposition 24 and is sometimes called the \Open Mouth Theorem.") Theorem 17 SSS Triangle Congruence. If the sides of one triangle are congruent to corresponding sides of another triangle, the triangles are congruent. Theorem 18 The angles of a scalene triangle all have different measures, and the angle with the largest measure is opposite the side with the largest length. Theorem 19 Prove or disprove: The analog of the SSS congruence condition for triangles is true for quadrilaterals (SSSS). Theorem 20 Two right triangles are congruent if the hypotenuse and one leg of one triangle are congruent to corresponding sides of the other. Theorem 21 Equilateral trianges are equiangular. Theorem 22 Alternate Interior Angle Theorem. If two lines are intersected by a transversal such that a pair of alternate interior angles is congreuent, then the lines are parallel. Corollary 22.1 Two lines perpendicular to the same line are parallel. Corollary 22.2 If two lines are intersected by a transversal such that a pair of corresponding angles is congreuent, then the lines are parallel. 3 Results of Euclid's Parallel Postulate Euclid's Fifth Postulate says: \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 indefinitely, meet on that side on which are the angles less than the two right angles." Awkward, and it doesn't mention a parallel condition at all. Modern texts use the Playfair Postulate which is equivalent. The Scottish Mathematician John Playfair reformulated Eculid's Fifth Postulate in the late 1700's, and the SMSG axiom set (Axiom 16) uses a version of the Playfair Postulate: \Through a given external point there is at most one line parallel to a given line." We will use SMSG Axiom as Playfair's Postulate and assume the following theorem is true: 3 Theorem 23 Euclid's parallel postulate is equivalent to Playfair's Postulate and SMSG Axiom 16. Theorem 24 The Playfair Postulate (and Euclid's parallel postulate) is equivalent to the Converse of the Alternate Interior Angle theorem (Theorem 23). Theorem 25 Euclid's parallel postulate is equivalent to the statement: If a line intersects one of two parallel lines, then it intersects the other. Theorem 26 Euclid's parallel postulate is equivalent to the statement: If a line is perpendicular to one of two parallel lines, then it is perpedicular to the other. Theorem 27 Wallis's Postulate. Euclid's parallel postulate is equivalent to the statement: Given a 4ABC and any line segment DE, there exists a triangle having DE as one of its sides that is similar to 4ABC. 4 The Saccheri-Legendre Theorem Theorem 28 The angle sum of any triangle is less than or equal to 180◦. Lemma 28.1 The sum of the measures of any two angles of a triangle is less than 180◦. Lemma 28.2 For any 4ABC there exists 4A1B1C1 having the same angle sum as 4ABC but 1 where m\A1 = 2 m\A. Corollary 28.3 The angle sum of any convex quadrilateral is less than or equal to 360◦. An important result of the angle sum being no more than 180◦ is the following theorem: Theorem 29: Unique Perpendicular Given a line l and any point P not on l, there exists a unique line m such that P 2 m and m ? l.