Geometric Proofs

Formal chains of logical deduction that establish geometric truths from axioms, definitions, and previously proven theorems.

A proof turns a visual claim into a chain of necessary reasons
angle 1angle 3

Reason chain

angle 1 + angle 2 = 180

angle 2 + angle 3 = 180

Therefore angle 1 = angle 3.

Definition

A geometric proof is a logical argument that shows why a geometric statement must be true. It is not enough to observe that something seems true or to check a few examples — a proof shows it is always true, for every possible case, forever.

A proof consists of:

  • Given information: what you are told is true
  • Steps: each step follows from the previous ones using definitions, axioms, or previously proven theorems
  • Conclusion: what you have shown to be true

Proofs can be written as two-column tables (statements in one column, reasons in the other) or as flowing paragraphs. The format doesn't matter; the logic does.

Proving vertical angles are equal

Given: Lines AB↔\overleftrightarrow{AB} and CD↔\overleftrightarrow{CD} intersect at point PP, forming angles ∠1\angle 1, ∠2\angle 2, ∠3\angle 3, ∠4\angle 4 in order around PP.

Prove: ∠1=∠3\angle 1 = \angle 3 (vertical angles are equal).

Proof: ∠1\angle 1 and ∠2\angle 2 are supplementary (they form a straight line), so ∠1+∠2=180°\angle 1 + \angle 2 = 180°.

Similarly, ∠2+∠3=180°\angle 2 + \angle 3 = 180°.

Therefore ∠1+∠2=∠2+∠3\angle 1 + \angle 2 = \angle 2 + \angle 3, which gives ∠1=∠3\angle 1 = \angle 3. □\square

Try it

Prove that the sum of the angles in a triangle is 180°180°.

Solution

Given: Triangle ABCABC.

Prove: ∠A+∠B+∠C=180°\angle A + \angle B + \angle C = 180°.

Proof: Draw a line through BB parallel to ACAC.

Label the angles at BB: the angle to the left of ∠B\angle B as ∠1\angle 1 and to the right as ∠2\angle 2.

Since the line through BB is parallel to ACAC:

  • ∠1=∠A\angle 1 = \angle A (alternate interior angles)
  • ∠2=∠C\angle 2 = \angle C (alternate interior angles)

The three angles at BB form a straight line: ∠1+∠B+∠2=180°\angle 1 + \angle B + \angle 2 = 180°.

Substituting: ∠A+∠B+∠C=180°\angle A + \angle B + \angle C = 180°. □\square

Related concepts