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