Geometry Theorems and Postulates Theorems Theorem 1 - If two angles are right angles, then they are congruent.

(RAT) Theorem 2 - If two angles are straight angles, then they are congruent. Theorem 3 - The contrapositive of a true conditional statement is also true. Theorem 4 - If angles are supplementary to the same angle, then they are congruent. Theorem 5 - If angles are supplementary to congruent angles, then they are congruent. Theorem 6 - If angles are complementary to the same angle, then they are congruent. Theorem 7 - If angles are complementary to congruent angles, then they are congruent. Theorem 8 - If a segment is added to two congruent segments, then the sums are congruent. (The Addition Property of Congruent Segments - Version 1) Theorem 9 - If an angle is added to two congruent angles, then the sums are congruent. (The Addition Property of Congruent Angles - Version 1) Theorem 10 - If congruent segments are added to congruent segments, then the sums are congruent. (The Addition Property of Congruent Segments - Version 2) Theorem 11 - If congruent angles are added to congruent angles, then the sums are congruent. (The Addition Property of Congruent Angles - Version 2) Theorem 12 - If a segment (or angle) is subtracted from congruent segments (or angles), then the differences are congruent. (The Subtraction Property of Congruent Segments & Angles - Version 1) Theorem 13 - If congruent segments (or angles) are subtracted from congruent segments (or angles), then the differences are congruent. (The Subtraction Property of Congruent Segments & Angles - Version 2) Theorem 14 - If segments (or angles) are congruent, then their like multiples are congruent. (Multiplication Property) Theorem 15 - If segments (or angles) are congruent, then their like divisions are congruent. (Division Property) Theorem 16 - If segments (or angles) are congruent to the same segment (or angle), then they are congruent to each other. (Transitive Property of Congruent Segments or Angles)

Theorem 17 - If segments (or angles) are congruent to congruent segments (or angles), then they are congruent to each other. (Transitive Property of Congruent Segments or Angles) Theorem 18 - Vertical angles are congruent. (VAT) Theorem 19 - All radii of a given circle are congruent. Theorem 20 - If two sides of a triangle are congruent, then the angles opposite the sides are congruent. (ITT) Theorem 21 - If two angles of a triangle are congruent, then the side opposite the angles are congruent. (Converse of ITT) Theorem 22 - If there exists a correspondence between the vertices of two right triangles such that the hypotenuse and a leg of one triangle are congruent to the corresponding parts of the other triangle, then the two right triangles are congruent. (HL) Theorem 23 - If two angles are both supplementary and congruent, then they are right angles. (SCRAT) Theorem 24 - If two points are each equidistant from the endpoints of a segment, then the two points determine the perpendicular bisector of that segment. (ET) Theorem 25 - If a point is on the perpendicular bisector of a segment, then it is equidistant from the endpoints of that segment. (Converse of ET) Theorems 26 & 27 - In a coordinate plane, two distinct lines are parallel if and only if their slopes are equal. Theorems 28 & 29 - In a coordinate plane, two nonvertical lines are perpendicular if and only if their slopes are negative reciprocals of each other. Theorem 30 - The measure of an exterior angle of a triangle is greater than the measure of either remote interior angle. (Exterior Angle Inequality Theorem) Theorem 31 - If two lines are cut by a transversal such that two alternate interior angles are congruent, then the lines are parallel. (AIP) Theorem 32 - If two lines are cut by a transversal such that two alternate exterior angles are congruent, then the lines are parallel. (AEP) Theorem 33 - If two lines are cut by a transversal such that two corresponding angles are congruent, the lines are parallel. (CAP)

Theorem 34 - If two lines are cut by a transversal such that two interior angles on the same side of the transversal are supplementary, then the lines are parallel. (SSISP) Theorem 35 - If two lines are cut by a transversal such that two exterior angles on the same side of the transversal are supplementary, then the lines are parallel. (SSESP) Theorem 36 - If two coplanar lines are perpendicular to a third line, then they are parallel. Theorem 37 - If two parallel lines are cut by a transversal, then each pair of alternate interior angles are congruent. (PAI) Theorem 38 - If two parallel lines are cut by a transversal, then any pair of the angles formed are either congruent or supplementary. Theorem 39 - If two parallel lines are cut by a transversal, then each pair or alternate exterior angles are congruent. (PAE) Theorem 40 - If two parallel lines are cut by a transversal, then each pair of corresponding angles are congruent. (PCA) Theorem 41 - If two parallel lines are cut by a transversal, then each pair of interior angles on the same side of the transversal are supplementary. (PSSIS) Theorem 42 - If two parallel lines are cut by a transversal, then each pair of exterior angles on the same side of the transversal are supplementary. (PSSES) Theorem 43 - In a plane, if a line is perpendicular to one of two parallel lines, then it is perpendicular to the other. Theorem 44 - If two lines are parallel to a third line, then they are parallel to each other. (Transitive Property of Parallel Lines) Theorem 45 - A line and a point not on the line determine a plane. Theorem 46 - Two intersecting lines determine a plane. Theorem 47 - Two parallel lines determine a plane. Theorem 48 - If a line is perpendicular to two distinct lines that lie in a plane and that pass through its foot, then it is perpendicular to the plane. (Line Perpendicular to Plane Theorem) Theorem 49 - If a plane intersects two parallel planes, then the lines of intersection are parallel. Theorem 50 - The sum of the measures of the three angles of a triangle is 180.

Theorem 51 - The measure of an exterior angle of a triangle is equal to the sum of the measures of the remote interior angles. Theorem 52 - A segment joining the midpoints of two sides of a triangle is parallel to the third side and its length is one-half the length of the third side. (Midline Theorem) Theorem 53 - If two angles of one triangle are congruent to two angles of a second triangle, the the third angles are congruent. (No Choice Theorem) Theorem 54 - If there exists a correspondence between the vertices of two triangles such that two angles and a nonincluded side of one are congruent to the correspond Postulates Substitution Postulate (ex: If angle 1 is complementary to angle 2, and angle 2 is congruent to angle 3, then angle 1 is complementary to angle 3). If the three sides of one triangle are congruent to the three sides of another triangle, then the triangles are congruent. (SSS Congruence Postulate) If two sides and the included angle of one triangle are congruent to the corresponding two sides and included angle of another triangle, then the triangles are congruent. (SAS Congruence Postulate) If two angles and the included side of one triangle are congruent to the corresponding two angles and included side of another triangle, then the triangles are congruent. (ASA Congruence Postulate) If two sides of a triangle are not congruent, then the angles opposite them are not congruent, and the larger angle is opposite the longer side. If two angles of a triangle are not congruent, then the sides opposite them are not congruent, and the longer side is opposite the larger angle. Parallel Postulate: Through a point not on a line, there is exactly one parallel to the given line. Three noncollinear points determine a line. If a line intersects a plane not containing it, then the intersection is exactly one point. If two planes intersect, their intersection is exactly one line.