| A | B |
|---|
| Addition Property of Equality | If AB = CD then AB + BC = BC +CD |
| Subtraction Property of Equality | If AB + BC = BC + CD then AB = CD |
| Multiplication Property of Equality | If m∢A = 90 then 2(m∢A) = 180 |
| Division Property of Equaliity | If 2(m∢B) = 180 then m∢B = 90 |
| Substitution Property | If m∢A + m∢B =180 and m∢B then m∢A + 90 =180 |
| Distributive Property | AB + AB = 2AB |
| Reflexive Property | m∢B = m∢B |
| Symmetric Property | If AB + BC = AC then AC = AB + BC |
| Transitive Property | If AB ≅ BC and BC ≅ CD then AB ≅ CD |
| Segment Addition Postulate | If C is between B and D, then BC + CD = BD |
| Angle Addition Postulate | If D is a point in the interior of ∢ABC then m∢ABD + m∢DBC = m∢ABC |
| Linear Pair Postulate | If two angles form a linear pair, then they are supplementary |
| Definition of Right Angle | If ∢B is a right angle then m∢B = 90 |
| Definition of Midpoint | If P is the midpoint of segment AB then AP =PB |
| Definition of Segment Bisector | If k intersects segment AB at M the Midpoint then k bisects segment AB |
| Definition of Perpendicular Lines | If two lines are ⊥ they form right angles |
| Definition of Congruent Segments | If AB = CD then segment AB ≅ segment CD |
| Definition of Congruent Angles | If ∡A ≅∡ B then m∡A=m∡B |
| Definition of Angle Bisector | If ray AB bisects ∡CAD then∡ CAB ≅ ∡ BAD |
| Definition of Complementary Angles | If ∡ Z and ∡Y are complementary m∡Z +m∡Y =90 |
| Definition of Supplementary Angles | If ∡ S and ∡T are supplementary m∡S +m∡T = 180 |
