Introduction to formal geometric reasoning: axioms, postulates, and proof structures. Covers direct proof, proof by contradiction, and two-column proof format using properties of equality, congruence, and basic angle relationships (vertical angles, supplementary angles, corresponding angles).
High School Advanced • 9-12
Mathematics is built on logical reasoning, and geometry is where that reasoning becomes visual and tangible. In this lesson, you will learn to construct rigorous geometric proofs -- arguments that demonstrate why a statement must be true, not just that it appears to be true. Proof is the backbone of all mathematics: once something is proven, it is certain forever.
Every logical system begins with statements accepted without proof. In geometry, these foundational truths are called axioms (or postulates). From axioms, we derive theorems -- statements proven true using logical deduction.
| Term | Definition |
|---|---|
| Axiom / Postulate | A statement accepted as true without proof; the starting point of a logical system. |
| Theorem | A statement proven true by logical reasoning from axioms and previously proven theorems. |
| Corollary | A theorem that follows directly and easily from another theorem. |
| Lemma | A helper theorem proven in order to prove a larger theorem. |
Key postulates you will use repeatedly:
Proofs rely on algebraic properties that let us manipulate equations and congruence statements. These properties are your permitted moves in a proof.
| Property | Equality Version | Congruence Version |
|---|---|---|
| Reflexive | a = a | Segment AB is congruent to segment AB |
| Symmetric | If a = b, then b = a | If AB ≅ CD, then CD ≅ AB |
| Transitive | If a = b and b = c, then a = c | If AB ≅ CD and CD ≅ EF, then AB ≅ EF |
| Substitution | If a = b, then a can replace b in any expression | -- |
Additional properties used in proofs: the Addition Property (add the same quantity to both sides), Subtraction Property, Multiplication Property, and Division Property of equality.
When two lines intersect, they create two important angle relationships:
When a transversal crosses two parallel lines, several angle pair relationships arise:
There are several proof formats, each with its own strengths:
Two-Column Proof: The most structured format. The left column lists statements and the right column lists reasons. Every statement must be justified by an axiom, postulate, theorem, definition, or given information.
Paragraph Proof: A proof written in complete sentences, weaving statements and reasons together in flowing prose. More flexible but requires careful organization.
Proof by Contradiction (Indirect Proof): Assume the opposite of what you want to prove, then show this assumption leads to a logical impossibility. The contradiction forces the original statement to be true.
Given: Lines AB and CD intersect at point E.
Prove: ∠AEC ≅ ∠BED
| Statement | Reason |
|---|---|
| 1. Lines AB and CD intersect at E | Given |
| 2. ∠AEC and ∠AED form a linear pair | Definition of linear pair |
| 3. m∠AEC + m∠AED = 180° | Linear Pair Postulate |
| 4. ∠BED and ∠AED form a linear pair | Definition of linear pair |
| 5. m∠BED + m∠AED = 180° | Linear Pair Postulate |
| 6. m∠AEC + m∠AED = m∠BED + m∠AED | Transitive Property (both equal 180°) |
| 7. m∠AEC = m∠BED | Subtraction Property of Equality |
| 8. ∠AEC ≅ ∠BED | Definition of congruent angles |
Prove: A triangle cannot have two obtuse angles.
Proof: Assume, for contradiction, that triangle ABC has two obtuse angles: m∠A > 90° and m∠B > 90°.
Then m∠A + m∠B > 90° + 90° = 180°.
But by the Triangle Angle Sum Theorem, m∠A + m∠B + m∠C = 180°, which means m∠C = 180° - (m∠A + m∠B) < 0°.
An angle cannot have a negative measure. This is a contradiction.
Therefore, our assumption was false, and a triangle cannot have two obtuse angles. QED
Given: Line m is parallel to line n, transversal t crosses both. ∠1 and ∠2 are alternate interior angles.
Prove: ∠1 ≅ ∠2
| Statement | Reason |
|---|---|
| 1. m ∥ n, transversal t | Given |
| 2. ∠1 and ∠3 are corresponding angles | Definition (same side of transversal, same position) |
| 3. ∠1 ≅ ∠3 | Corresponding Angles Postulate |
| 4. ∠3 and ∠2 are vertical angles | Definition of vertical angles |
| 5. ∠3 ≅ ∠2 | Vertical Angles Theorem |
| 6. ∠1 ≅ ∠2 | Transitive Property of Congruence |
Work both directions. Start from the Given and ask "what can I deduce?" Also start from the Prove statement and ask "what would I need to show?" When the two chains of reasoning meet in the middle, you have your proof. Then rewrite it in order from Given to Prove.
Problem 1: If m∠1 = 3x + 10 and m∠2 = 5x - 20, and ∠1 and ∠2 are vertical angles, find x and the measure of each angle.
Vertical angles are congruent, so m∠1 = m∠2.
3x + 10 = 5x - 20
30 = 2x
x = 15
m∠1 = 3(15) + 10 = 55°, and m∠2 = 5(15) - 20 = 55°. Both angles measure 55°.
Problem 2: Two parallel lines are cut by a transversal. One of the alternate exterior angles measures (4x + 5)° and the other measures (6x - 35)°. Find x and the angle measures.
Alternate exterior angles are congruent when lines are parallel.
4x + 5 = 6x - 35
40 = 2x
x = 20
Each angle measures 4(20) + 5 = 85°.
Problem 3: Write a two-column proof. Given: ∠A and ∠B are supplementary; ∠B and ∠C are supplementary. Prove: ∠A ≅ ∠C.
| Statement | Reason |
|---|---|
| 1. ∠A and ∠B are supplementary | Given |
| 2. m∠A + m∠B = 180° | Definition of supplementary |
| 3. ∠B and ∠C are supplementary | Given |
| 4. m∠B + m∠C = 180° | Definition of supplementary |
| 5. m∠A + m∠B = m∠B + m∠C | Transitive Property (both = 180°) |
| 6. m∠A = m∠C | Subtraction Property of Equality |
| 7. ∠A ≅ ∠C | Definition of congruent angles |
Problem 4: Use proof by contradiction to show: If two angles of a triangle are congruent, the sides opposite them cannot have different lengths. (Hint: assume the sides have different lengths and consider what that implies.)
Assume, for contradiction, that in triangle ABC, ∠A ≅ ∠B but BC ≠ AC (the sides opposite those angles).
If BC > AC, then by the theorem "the longer side is opposite the larger angle," m∠A > m∠B. But we are given ∠A ≅ ∠B, so m∠A = m∠B. Contradiction.
Similarly, if BC < AC, then m∠A < m∠B, again contradicting m∠A = m∠B.
Therefore BC = AC, meaning the opposite sides must be equal in length. QED
Problem 5: Lines p and q are cut by transversal r. The co-interior (same-side interior) angles measure (3x + 15)° and (2x + 40)°. If p ∥ q, find x. Are the lines truly parallel if x turns out to be valid?
Co-interior angles are supplementary when lines are parallel:
(3x + 15) + (2x + 40) = 180
5x + 55 = 180
5x = 125
x = 25
The angles measure 3(25) + 15 = 90° and 2(25) + 40 = 90°. They sum to 180°, confirming the lines are parallel with the transversal perpendicular to both.
Geometric proofs transform intuition into certainty. You learned the distinction between axioms (accepted truths) and theorems (proven truths), and practiced three proof formats: two-column, paragraph, and proof by contradiction. The properties of equality and congruence are your logical tools, while vertical angles, linear pairs, and parallel line theorems provide the geometric facts you chain together. Mastering proof means mastering logical thinking itself.