# Geometrical Proofs — Two-Column, Paragraph & Flow Proofs

TL;DR

A geometrical proof is a step-by-step argument where every claim about a figure is backed by a reason — a given fact, definition, postulate, or theorem — until the goal is reached. This article teaches the three formats — two-column, paragraph, and flowchart — shows the statement-and-reason structure, and works through full proofs you can copy as templates.

## What Is A Geometrical Proof?

A geometrical proof is a logical argument that establishes a geometric statement is true beyond doubt, by moving from **given** information to a **conclusion** through a chain of justified steps. Each step pairs a **statement** (what is now known) with a **reason** (why it is allowed) — a given, a definition, a postulate, or a previously proved theorem.

Three terms anchor every proof. A **postulate** (or axiom) is a statement accepted without proof — the rules of the game. A **theorem** is a statement that _has been_ proved, and a **definition** fixes exactly what a word means. A proof draws only on these and on what you were given; it never leans on "it looks like."

Most geometry proofs finish in fewer than ten steps. If a proof runs long, that's usually a sign of a detour, not difficulty. The goal — the thing you were asked to show — is always the last line.

## The Statement-And-Reason Structure

Every format below shares one engine: a sequence of statements, each carrying its reason.

- **Start with the given.** Write down exactly what the problem hands you. Nothing else may be assumed.
- **End with the prove.** The statement you were asked to establish is the final line.
- **Justify every middle step.** No statement appears without a reason on the same line. "Given," "definition of midpoint," "vertical angles are equal," "[CPCTC](/content/math/geometry/cpctc/index.html)" are all valid reasons.
- **Use only earlier facts.** A reason must point to something already established — a given, a definition, a postulate, or a theorem you're allowed to cite.

## The Three Proof Formats

The logic never changes across formats — only how it's laid out on the page.

### Format 1 — The two-column proof

The most common format in school geometry. A table: **statements** on the left, **reasons** on the right, lined up row by row.

### Format 2 — The paragraph proof

The same chain written as connected prose. Each sentence makes a claim and names its justification, flowing into the next.

### Format 3 — The flowchart proof

The chain drawn as boxes connected by arrows. Each box holds a statement (with its reason underneath), and arrows show which statements feed into which conclusion.

## Examples of Geometrical Proofs

### Example 1

**Prove that vertical angles are equal. Given two lines crossing at point O, forming angles ∠1 and ∠2 as a vertical pair.** (Two-column format.)

| Statement | Reason |
| --- | --- |
| ∠1 + ∠3 = 180° | Angles on a straight line (linear pair) |
| ∠2 + ∠3 = 180° | Angles on a straight line (linear pair) |
| ∠1 + ∠3 = ∠2 + ∠3 | Both equal 180° |
| ∠1 = ∠2 | Subtract ∠3 from both sides |

Final answer: ∠1 = ∠2, so vertical angles are equal.

### Example 2

**Prove the base angles of an isosceles triangle are equal. Given △ABC with AB = AC and AD the bisector of ∠A meeting BC at D.** (Two-column format.)

| Statement | Reason |
| --- | --- |
| AB = AC | Given |
| ∠BAD = ∠CAD | AD bisects ∠A |
| AD = AD | Common side |
| △ABD ≅ △ACD | SAS congruence |
| ∠B = ∠C | [CPCTC](/content/math/geometry/cpctc/index.html) |

Final answer: ∠B = ∠C. This is the [isosceles triangle theorem](/content/math/geometry/isosceles-triangle-theorem/index.html), proved.

### Example 3

**Same isosceles result, written as a paragraph proof.**

Since AB = AC (given) and AD bisects ∠A, we have ∠BAD = ∠CAD. The side AD is common to both △ABD and △ACD. With two sides and the included angle equal, the triangles are congruent by SAS. By CPCTC, the corresponding angles ∠B and ∠C are therefore equal.

Final answer: ∠B = ∠C. Notice it's the identical logic as Example 2 — just prose instead of a table.

### Example 4

**Prove △ABC ≅ △DEF given ∠A = ∠D, ∠B = ∠E, ∠C = ∠F.**

The natural move is to line up all three equal angles and declare congruence — three matches, done. Write it out and look for the reason: "three angles equal, therefore congruent by ... ?" There is no such rule. AAA isn't a congruence reason.

Final answer: the figures are similar, not congruent.

### Example 5

**Prove △ABC ≅ △DCB given AB = DC, AC = DB, with BC shared. Show it as a flowchart proof.**

The three given facts converge:

- Box 1: AB = DC (Given) →
- Box 2: AC = DB (Given) →
- Box 3: BC = CB (Common side) →
- all three arrows point to: △ABC ≅ △DCB (SSS)

Final answer: congruent by [SSS](/content/math/geometry/sss/index.html). The shared side is essential to the chain.

### Example 6

**Prove the exterior angle of a triangle equals the sum of the two remote interior angles. Given △ABC with side BC extended to D, forming exterior angle ∠ACD.** (Two-column.)

| Statement | Reason |
| --- | --- |
| ∠A + ∠B + ∠C = 180° | [Triangle sum theorem](/content/math/geometry/triangle-sum-theorem/index.html) |
| ∠ACD + ∠C = 180° | Linear pair on line BD |
| ∠A + ∠B + ∠C = ∠ACD + ∠C | Both equal 180° |
| ∠A + ∠B = ∠ACD | Subtract ∠C from both sides |

Final answer: ∠ACD = ∠A + ∠B — the [exterior angle theorem](/content/math/geometry/exterior-angle-theorem/index.html).

## Why proof is the heart of geometry

Proof is not a school ritual layered on top of "real" geometry — it _is_ the geometry.

- **It converts belief into certainty.** A measured diagram tells you a fact is _probably_ true for _that_ drawing. A proof tells you it is true for _every_ such figure, forever.
- **It exposes hidden assumptions.** When mathematicians later questioned his fifth postulate, the careful proof structure let them build entirely new, non-Euclidean geometries.
- **It transfers.** A property proved once on a convenient figure moves to every congruent figure by CPCTC. Proof is how a single result pays for itself many times over.

## Where proofs fall apart

### Mistake 1: Assuming from the diagram

A statement is only allowed if it's given or follows from a definition, postulate, or theorem. Diagrams illustrate; they don't justify.

### Mistake 2: Stating a conclusion with no reason

Every line needs a named justification — a given, definition, postulate, or theorem.

### Mistake 3: Citing a congruence rule from the wrong parts

The wrong rule on the last line invalidates the whole chain.

## Conclusion

- A **geometrical proof** moves from given facts to a conclusion through justified steps.
- Every statement carries a **reason** — a given, definition, postulate, or theorem.
- The **given** is the first line; the **prove** is always the last.
- Never assume from the diagram, never leave a step unjustified, and match congruence rules to the exact parts.