Math Lab
Home/Class IX/Ch 5/Deductive Proof in Geometry

Deductive Proof in Geometry

A proof is a chain of logical steps from accepted starting points (definitions, axioms, postulates, and previously proved theorems) to the statement you wish to establish. In geometry, proofs are the heart of every chapter from this one onward. This lesson explains what makes a proof valid and gives you the rhythm of geometric argument.

Definitions

A deductive proof is an argument that derives a conclusion from premises by valid logical steps. Each step in the argument is justified by an axiom, postulate, definition, or a previously established theorem.

A two-column proof is a layout style that places each statement in the left column and its justification in the right column.

The structure of a proof

Every geometric proof has three parts:

  1. Given. The data of the problem: which points, lines, angles, or lengths are known.
  2. To prove. The statement you must establish.
  3. Proof. A sequence of statements, each justified by an axiom, postulate, definition, or earlier theorem, leading to the conclusion.

The order matters. You cannot use a fact before you have justified it. A clean proof reads like a chain: each link follows from the previous one by a named rule.

A first proof

Claim. If two lines intersect, they intersect at exactly one point.

Given. Two distinct lines \ell and mm in a plane.

To prove. They share at most one point.

Proof. Suppose, for contradiction, that \ell and mm share two distinct points PP and QQ. By Postulate 1 (or Axiom A1), the line through PP and QQ is unique. So \ell and mm must both equal that unique line , contradicting "two distinct lines". Hence they cannot share two distinct points. They share at most one. Q.E.D.

The phrase "Q.E.D." (Latin quod erat demonstrandum, "which was to be proved") marks the end. Many textbooks use a small square instead.

A second proof (two-column style)

Claim. If ABC\angle ABC and DBC\angle DBC together form a straight line, then ABC+DBC=180\angle ABC + \angle DBC = 180^\circ.

Given. ABC\angle ABC and DBC\angle DBC form a linear pair (they are on a straight line ABDABD).

To prove. ABC+DBC=180\angle ABC + \angle DBC = 180^\circ.

StatementReason
1. Points A,B,DA, B, D are collinear.Given.
2. ABD\angle ABD is a straight angle.Definition of straight angle.
3. ABD=180\angle ABD = 180^\circ.Measure of a straight angle.
4. ABC+DBC=ABD\angle ABC + \angle DBC = \angle ABD.Angle addition postulate.
5. ABC+DBC=180\angle ABC + \angle DBC = 180^\circ.Substituting step 3 into step 4.

Q.E.D.

The two-column layout makes the justification explicit for each step. This is the standard format you will see in board exams and in most school geometry.

Different proof techniques

Direct proof. Start from the hypothesis, apply axioms and known theorems, arrive at the conclusion. Most school proofs are direct.

Proof by contradiction (reductio ad absurdum). Assume the negation of what you want to prove. Derive a contradiction. Conclude that the assumption is false, so the original statement must be true. We used this in the first proof above.

Proof by construction. Add an auxiliary line, point, or circle to the figure that enables the argument. This is one of the most beautiful tools , solutions often turn on the right construction.

Common mistakes to avoid

  • Assuming what you want to prove. Beginners sometimes use the conclusion as a step. This is circular and invalid.
  • Skipping a justification. Every step must be backed by a named rule.
  • Using a diagram instead of a logical statement. A picture is helpful, but proofs must be in words and symbols.
  • Confusing "if-then" direction. "If AA then BB" does not mean "if BB then AA". The converse needs its own proof.

Worked examples

Example 1. Prove: if A=BA = B and B=CB = C, then A=CA = C.

Proof. By hypothesis, A=BA = B (1) and B=CB = C (2). By Common Notion 1 ("things equal to the same thing are equal to one another"), A=CA = C. Q.E.D.

Example 2. Prove: through any two distinct points there is at most one line.

Proof. Suppose two distinct lines \ell and mm both pass through PP and QQ. Then \ell and mm have two common points. By Axiom A3, two distinct lines have at most one common point. Contradiction. So at most one such line exists. Q.E.D.

Example 3. Prove: if a=ba = b, then a+c=b+ca + c = b + c.

Proof. By Common Notion 2, equals added to equals give equals. Hypothesis: a=ba = b and c=cc = c. Add: a+c=b+ca + c = b + c. Q.E.D.

Example 4. Identify the proof technique used in the statement "if 2\sqrt{2} were rational, then \ldots contradiction".

Proof by contradiction.

Example 5. Write the "Given" and "To prove" for the statement "vertically opposite angles are equal" (you do not have to prove it).

Given. Two lines intersect at a point, forming four angles, with 1\angle 1 and 3\angle 3 vertically opposite (similarly 2\angle 2 and 4\angle 4).

To prove. 1=3\angle 1 = \angle 3 (and 2=4\angle 2 = \angle 4).

Try it yourself

  1. State the three parts of a geometric proof.
  2. What is a two-column proof?
  3. Give one example of a "proof by contradiction" from your own experience (in or outside maths).
  4. Prove: if two lines intersect, they intersect in exactly one point.
  5. Identify the technique: "assume the parallel postulate fails, derive a contradiction".
  6. Write the "Given" and "To prove" of the statement "the sum of angles of a triangle is 180180^\circ".
  7. Why must each step in a proof have a justification?
  8. State whether each is a valid step: "ABC+DBC=180\angle ABC + \angle DBC = 180^\circ because they look like a straight angle in the figure". Justify.
  9. Define "Q.E.D.".
  10. List three common mistakes beginners make in proofs.

Pitfalls / Insight

  • Justify every step. A geometry proof is not a free essay; it is a chain of logical moves.
  • A figure is a hint, not a proof. What looks like a right angle in the diagram might not be exactly a right angle; only the statements count.
  • The converse needs its own proof. "If AA then BB" and "if BB then AA" are different statements.

Insight. Mathematics gains its certainty from proof. A theorem is not a guess; it is a fact established by an unbroken chain of reasoning from agreed starting points. As you progress through Class IX and X you will write proofs constantly. The discipline is hard at first; it becomes natural with practice, and it is the most powerful intellectual skill mathematics offers.

Practice quiz

Quick check on this topic.

Quiz
Quick check : Deductive proof
6 questions · pick the best answer
Q1

A proof consists of:

Q2

Q.E.D. stands for:

Q3

Which is a valid step in a proof?

Q4

Proof by contradiction works by:

Q5

The three parts of a geometric proof are:

Q6

Is 'because the diagram shows it' a valid justification?