Introduction to Geometric Proofs

A geometric proof is a logical argument that starts from information you know to be true and arrives at a conclusion through a chain of justified steps. Every statement in the chain has a reason — a definition, postulate, or previously proven theorem that makes the statement valid. There is no guessing, no “it looks right,” and no skipping steps.

Why learn proofs? Because proofs are how mathematicians (and geometry students) know something is always true, not just true for the one triangle they drew on a worksheet. The Pythagorean theorem is not true because it worked for a $3\text{-}4\text{-}5$ right triangle — it is true because there is a proof that it works for every right triangle. Understanding how proofs work gives you the reasoning skills to tackle unfamiliar problems and to verify whether a claim is actually valid.

This lesson covers the standard two-column proof format, the most common reasons used in proofs, and five worked examples that walk through the process step by step. The goal is not to turn you into a proof machine, but to help you read, understand, and write basic geometric proofs with confidence.

The Two-Column Proof Format

The most common format taught in high school geometry is the two-column proof. It has two columns:

• Statements (left column) — what you are asserting at each step
• Reasons (right column) — why that statement is true

The proof starts with the given information and ends with the statement you are trying to prove. Every step in between must follow logically from the given information or from previous steps.

Here is the general structure:

Key rule: You cannot use the thing you are trying to prove as a reason inside the proof. That would be circular reasoning.

Common Reasons Used in Proofs

You do not need to memorize hundreds of theorems. The vast majority of introductory geometry proofs use a short list of reasons:

From the given:

• Given — the starting information stated in the problem

Definitions:

• Definition of midpoint (a midpoint divides a segment into two equal parts)
• Definition of angle bisector (a bisector divides an angle into two equal angles)
• Definition of perpendicular lines (perpendicular lines form $90\degree$ angles)
• Definition of congruent segments or angles (same measure)

Postulates and properties:

• Angle Addition Postulate — if point $D$ is in the interior of $\angle ABC$, then $\angle ABD + \angle DBC = \angle ABC$
• Segment Addition Postulate — if $B$ is between $A$ and $C$, then $AB + BC = AC$
• Substitution Property — if $a = b$, you can replace $a$ with $b$ in any equation
• Transitive Property — if $a = b$ and $b = c$, then $a = c$
• Reflexive Property — any segment or angle is congruent to itself ($\overline{AB} \cong \overline{AB}$)

Angle theorems:

• Vertical Angles Theorem — vertical angles are congruent
• Linear Pair Postulate — if two angles form a linear pair, they are supplementary (sum to $180\degree$)
• Triangle Angle Sum Theorem — the three interior angles of a triangle sum to $180\degree$

Triangle congruence criteria:

• SSS (Side-Side-Side) — three pairs of congruent sides
• SAS (Side-Angle-Side) — two pairs of congruent sides with the included angle congruent
• ASA (Angle-Side-Angle) — two pairs of congruent angles with the included side congruent
• AAS (Angle-Angle-Side) — two pairs of congruent angles with a non-included side congruent
• HL (Hypotenuse-Leg) — for right triangles only: hypotenuse and one leg congruent

After proving triangles congruent:

• CPCTC (Corresponding Parts of Congruent Triangles are Congruent) — once two triangles are proven congruent, all their corresponding parts are congruent

Example Proofs

The best way to learn proofs is to see them in action. Below are five proofs that cover the most important patterns you will encounter.

Proof 1: Vertical Angles Are Congruent

Given: Lines $AB$ and $CD$ intersect at point $E$, forming vertical angles $\angle AEC$ and $\angle BED$.

Prove: $\angle AEC \cong \angle BED$

This proof shows the core pattern: use known relationships (linear pairs are supplementary) and algebra (subtract a common term) to reach the conclusion.

Proof 2: Isosceles Triangle Theorem (Conceptual)

Theorem: If two sides of a triangle are congruent, then the angles opposite those sides are congruent.

Given: $\triangle ABC$ with $\overline{AB} \cong \overline{AC}$

Prove: $\angle B \cong \angle C$

Strategy: Draw the angle bisector from $A$ to side $\overline{BC}$, hitting $\overline{BC}$ at point $D$. This creates two triangles that we can prove congruent.

Notice the strategy: when the problem is about a single triangle, we created two triangles by adding an auxiliary line (the bisector), proved those triangles congruent, then used CPCTC to get the angles we wanted.

Proof 3: Proving Two Triangles Congruent Using SAS

Given: $\overline{AB} \cong \overline{DE}$, $\angle ABC \cong \angle DEF$, and $\overline{BC} \cong \overline{EF}$.

Prove: $\triangle ABC \cong \triangle DEF$

This proof is short, but it illustrates a key skill: identifying which criterion applies. SAS requires the angle to be between the two sides (the “included” angle). If the angle were not between the two given sides, SAS would not apply and you would need a different criterion.

Proof 4: Using CPCTC to Prove Two Segments Equal

Given: In quadrilateral $ABCD$, $\overline{AB} \cong \overline{CD}$ and $\overline{AB} \parallel \overline{CD}$.

Prove: $\overline{AD} \cong \overline{CB}$

Strategy: Draw diagonal $\overline{BD}$ to create two triangles. Use the parallel lines to find congruent angles, then prove the triangles congruent.

This is one of the most common proof patterns: establish triangle congruence first, then use CPCTC to prove the specific parts you need. The diagonal $\overline{BD}$ is the shared side that makes it work.

Proof 5: Opposite Sides of a Parallelogram Are Equal

Given: $ABCD$ is a parallelogram (so $\overline{AB} \parallel \overline{CD}$ and $\overline{AD} \parallel \overline{BC}$).

Prove: $\overline{AB} \cong \overline{CD}$ and $\overline{AD} \cong \overline{BC}$

Strategy: Draw diagonal $\overline{AC}$. The two parallel pairs give us two pairs of alternate interior angles.

This proof uses a standard technique: when working with a parallelogram, draw one diagonal to split it into two triangles, then use the parallel sides to get alternate interior angles.

Tips for Writing Proofs

If you are staring at a proof problem and do not know where to start, these strategies will help.

1. Start from both ends. Read the “Given” and the “Prove” statement. Ask yourself: what would I need to know in order to make that final statement? Then work backward from the conclusion and forward from the given until the steps meet in the middle.

2. Draw and mark the diagram. If a diagram is provided, mark all given information on it — congruent sides with tick marks, congruent angles with arcs, parallel lines with arrows, right angles with squares. This makes relationships visible.

3. Look for triangles. A huge number of geometry proofs boil down to proving two triangles congruent and then using CPCTC. If the diagram contains triangles (or if you can create them by drawing a diagonal or auxiliary line), that is usually the path.

4. Identify the congruence criterion early. Once you have found two triangles, ask: which criterion do I have enough information to use? Count how many pairs of congruent sides and angles you can establish. You need exactly one of SSS, SAS, ASA, AAS, or HL.

5. Use the Reflexive Property. If two triangles share a side, that side is congruent to itself. This is a “free” pair of congruent parts that students often overlook.

6. Check for parallel lines. Parallel lines with a transversal give you congruent alternate interior angles or congruent corresponding angles. This is often the angle pair you need for SAS or ASA.

7. Write every step. Do not skip steps because they seem “obvious.” A proof must be complete — every statement needs a reason.

Practice Problems

Test your understanding of geometric proofs. Click to reveal each answer.

Key Takeaways

• A geometric proof is a chain of statements, each justified by a definition, postulate, or theorem — no guessing allowed
• The two-column proof format lists statements on the left and reasons on the right, starting from the given and ending at what you need to prove
• Most introductory proofs use a small set of reasons: definitions, the angle addition postulate, linear pair postulate, vertical angles theorem, triangle congruence criteria (SSS, SAS, ASA, AAS, HL), and CPCTC
• CPCTC is the tool you use after proving triangles congruent — it lets you conclude that specific corresponding sides or angles are congruent
• The most common proof strategy is: find or create two triangles, prove them congruent, then use CPCTC
• The Reflexive Property gives you a free congruent pair whenever two triangles share a side
• When stuck, work forward from the given and backward from what you need to prove

Return to Geometry for more topics in this section.