Geometric Proofs: Direct, Indirect and Coordinate
A geometric proof is a logical argument that shows a statement is true by deriving it step by step from given facts, definitions, axioms and earlier theorems. In brief: in a direct proof you start with what is given and reach the conclusion; in an indirect proof you assume the conclusion is false and arrive at a contradiction; in a coordinate proof you place the figure in a coordinate system and use algebra.
Proofs separate real knowledge from guessing, because a diagram or a few examples can mislead. A good proof is a short chain of statements, each with a reason. This guide explains the three main kinds of proof with complete examples, shows how to organise a two-column proof and offers a table that helps you choose a method.
How is a proof organised?
- Write the statement as “if … then …”. Identify what is given (hypothesis) and what is to be proved (conclusion).
- Draw a figure and label it. Do not assume anything the figure only seems to show.
- Write a plan: which facts connect the given and the conclusion?
- Write the proof as a list of statements, each followed by a reason: given, definition, axiom or theorem.
- End with the statement to be proved.
In a two-column proof, the left column holds statements and the right column holds reasons. A paragraph proof contains the same steps in sentences.
What is a direct proof?
A direct proof proceeds from the given facts to the conclusion by valid steps.
Example 1: vertical angles are equal
Given: lines AB and CD intersect at O. Prove: ∠AOC = ∠BOD.
- ∠AOC + ∠COB = 180° (they form a straight angle, a linear pair).
- ∠COB + ∠BOD = 180° (they form a linear pair).
- Therefore ∠AOC + ∠COB = ∠COB + ∠BOD (both equal 180°).
- Subtracting ∠COB from both sides gives ∠AOC = ∠BOD.
Example 2: the angle sum of a triangle
Given: triangle ABC. Prove: ∠A + ∠B + ∠C = 180°. Draw the line through C parallel to AB. The two angles that this line makes with CA and CB are equal to ∠A and ∠B, respectively (alternate angles, parallel lines), and together with ∠C they form a straight angle. So ∠A + ∠B + ∠C = 180°.
Example 3: base angles of an isosceles triangle
Given: AB = AC. Prove: ∠B = ∠C. Draw the angle bisector AD with D on BC. Triangles ABD and ACD have AB = AC (given), ∠BAD = ∠CAD (construction) and the common side AD. By SAS they are congruent, so ∠B = ∠C (corresponding parts).
What is an indirect proof?
In an indirect proof (proof by contradiction), you assume the opposite of what you want to prove and show that this leads to a contradiction with the given facts, an axiom or a theorem. Then the assumption is false and the original statement is true.
Example 4: a triangle has at most one right angle
Assume that a triangle has two right angles. Then the sum of two angles is 90° + 90° = 180°, and the third angle must be 0°, which is impossible. So a triangle has at most one right angle.
Example 5: two lines perpendicular to a third are parallel
Given: lines a and b are both perpendicular to line c. Prove: a ∥ b. Assume that a and b meet at a point P. Then a triangle with vertices P and the two intersection points with c has two right angles, which contradicts Example 4. So a and b do not meet, and they are parallel (in a plane).
Indirect proof is natural for statements with “no”, “at most” or “not”, and it uses the contrapositive idea. An example from number theory is the proof that √2 is irrational.
What is a coordinate proof?
A coordinate proof places a figure in a coordinate system and uses formulas for distance, midpoint and slope. Place the figure so that the calculation is easy: use the origin as a vertex and put a side on an axis. Use variables for general positions.
Example 6: the diagonals of a rectangle are equal
Place a rectangle with vertices A(0, 0), B(a, 0), C(a, b), D(0, b). The diagonals are AC = √(a2 + b2) and BD = √((0 − a)2 + (b − 0)2) = √(a2 + b2). They are equal for any a and b, so the claim holds for all rectangles.
Example 7: the midpoint segment of a triangle
Triangle with A(0, 0), B(2a, 0), C(2b, 2c). The midpoints are M of AC: (b, c) and N of BC: (a + b, c). The segment MN is horizontal with length a, and AB has length 2a. So MN is parallel to AB and half as long. The coordinates 2a, 2b, 2c avoid fractions.
Which proof method should you use?
| Method | Idea | Best for | Example |
|---|---|---|---|
| Direct | chain of valid steps | equalities, congruence, angle facts | vertical angles are equal |
| Indirect | assume the opposite, find a contradiction | statements with “not” or “at most” | a triangle has at most one right angle |
| Coordinate | algebra on coordinates | lengths, slopes, midpoints | diagonals of a rectangle |
Where does geometric proof come from?
Deductive proof is one of the main contributions of Greek mathematics. Thales and the Pythagoreans are traditionally associated with the first proofs, although the evidence is indirect. Euclid’s Elements gave the model for proof for more than two thousand years. Coordinate proofs became possible after Descartes and Fermat introduced analytic geometry in the seventeenth century.
Where are proofs used today?
Mathematicians rely on proofs to establish results that no amount of examples can confirm. Computer scientists prove that algorithms are correct, and engineers use proofs for safety-critical systems. Even outside mathematics, the habit of giving a reason for each step helps to detect errors in arguments.
Which mistakes are common?
Circular reasoning
Do not use the statement to be proved as a reason in the proof.
Assuming from the diagram
Do not assume that lines are parallel, angles are equal or a point is a midpoint unless it is given or proved.
Missing reasons
Every statement needs a reason. Write “given”, the definition, or the name of the theorem.
Proving the converse by mistake
Check the direction: proving “if q then p” does not prove “if p then q”.