Introduction to Mathematical Proofs
A mathematical proof is a logical argument that establishes the truth of a mathematical statement beyond any doubt. Proofs use axioms, definitions, and previously proven theorems to derive new results.
In Class 9, students are introduced to the concept of proof through Euclid's Geometry. Understanding how to construct a logical chain of reasoning is essential for all of higher mathematics.
There are several types of proofs, including direct proof, proof by contradiction, and proof by construction. Each follows a structured format: Given → To Prove → Proof.
What is Introduction to Mathematical Proofs?
Definition: A proof is a sequence of logical steps, each justified by an axiom, definition, or previously established result, that leads from given information to a conclusion.
Components of a Proof:
- Given: The known facts or hypotheses.
- To Prove: The statement to be established.
- Construction: Any additional lines or points drawn (if needed).
- Proof: A chain of logical steps with reasons for each.
Types of Mathematical Statements:
- Axiom: A statement accepted as true without proof.
- Theorem: A statement that has been proven.
- Corollary: A result that follows directly from a theorem.
- Conjecture: An unproven statement believed to be true.
Introduction to Mathematical Proofs Formula
Proof Structures:
1. Direct Proof:
- Start from the given information.
- Apply known results step by step.
- Arrive at the conclusion.
2. Proof by Contradiction (Indirect Proof):
- Assume the opposite of what you want to prove.
- Show that this assumption leads to a logical contradiction.
- Conclude that the original statement must be true.
3. Proof by Construction:
- Demonstrate existence by constructing an example.
Derivation and Proof
Example of a Direct Proof:
Theorem: The sum of angles of a triangle is 180°.
Given: Triangle ABC.
To Prove: ∠A + ∠B + ∠C = 180°.
Construction: Draw line PQ through A, parallel to BC.
Proof:
- ∠PAB = ∠B (alternate interior angles, PQ ∥ BC)
- ∠QAC = ∠C (alternate interior angles, PQ ∥ BC)
- ∠PAB + ∠BAC + ∠QAC = 180° (angles on a straight line PQ)
- ∠B + ∠A + ∠C = 180°
Hence proved.
Example of Proof by Contradiction:
Statement: √2 is irrational.
Proof:
- Assume √2 is rational: √2 = p/q where p, q are coprime integers.
- Then 2 = p²/q², so p² = 2q².
- p² is even, so p is even. Let p = 2k.
- 4k² = 2q², so q² = 2k², meaning q is also even.
- Both p and q are even — contradicts the assumption they are coprime.
- Therefore √2 is irrational.
Types and Properties
Types of Proofs in Class 9:
- Proving properties of triangles, quadrilaterals, circles.
- Use congruence rules (SSS, SAS, ASA, RHS).
2. Algebraic Proofs
- Proving identities and inequalities using algebraic manipulation.
3. Number Theory Proofs
- Proving properties of numbers (e.g., √2 is irrational).
4. Proofs Using Axioms
- Euclid's axioms and postulates form the basis of geometric proofs.
Solved Examples
Example 1: Example 1: Prove vertically opposite angles are equal
Given: Two lines AB and CD intersect at O.
To Prove: ∠AOC = ∠BOD.
Proof:
- ∠AOC + ∠AOD = 180° (linear pair)
- ∠BOD + ∠AOD = 180° (linear pair)
- From (1) and (2): ∠AOC + ∠AOD = ∠BOD + ∠AOD
- Subtracting ∠AOD: ∠AOC = ∠BOD.
Hence proved.
Example 2: Example 2: Prove angles of a triangle sum to 180°
Given: △ABC. Draw PQ ∥ BC through A.
Proof:
- ∠PAB = ∠B (alternate angles)
- ∠QAC = ∠C (alternate angles)
- ∠PAB + ∠BAC + ∠QAC = 180° (straight line)
- ∠B + ∠A + ∠C = 180°.
Hence proved.
Example 3: Example 3: Prove base angles of isosceles triangle are equal
Given: △ABC with AB = AC.
To Prove: ∠B = ∠C.
Construction: Draw AD ⊥ BC.
Proof:
- In △ABD and △ACD: AB = AC (given), AD = AD (common), ∠ADB = ∠ADC = 90°.
- By RHS, △ABD ≅ △ACD.
- ∠B = ∠C (CPCT).
Hence proved.
Example 4: Example 4: Prove √3 is irrational
Proof by contradiction:
- Assume √3 = p/q (coprime).
- 3 = p²/q², so p² = 3q².
- 3 divides p², so 3 divides p. Let p = 3k.
- 9k² = 3q², so q² = 3k². Thus 3 divides q.
- Both p and q divisible by 3 — contradicts coprimality.
Therefore √3 is irrational.
Example 5: Example 5: Direct proof — even number property
Prove: The sum of two even numbers is even.
Proof:
- Let the numbers be 2m and 2n (m, n are integers).
- Sum = 2m + 2n = 2(m + n).
- Since (m + n) is an integer, 2(m + n) is even.
Hence proved.
Example 6: Example 6: Identify the type of proof
Problem: "Assume the statement is false. This leads to X = Y, but we know X ≠ Y. Therefore the statement is true." What type of proof is this?
Answer: This is a proof by contradiction. The assumption of falsity leads to a contradiction, establishing the truth of the original statement.
Example 7: Example 7: Distinguish axiom from theorem
Problem: Classify: (a) A line has infinitely many points. (b) The sum of angles of a triangle is 180°.
Answer:
- (a) Axiom (Euclid's postulate — accepted without proof).
- (b) Theorem (proved using parallel lines and alternate angles).
Example 8: Example 8: Write a proof for exterior angle property
Given: △ABC with side BC extended to D.
To Prove: ∠ACD = ∠A + ∠B.
Proof:
- ∠ACD + ∠ACB = 180° (linear pair).
- ∠A + ∠B + ∠ACB = 180° (angle sum property).
- From (1) and (2): ∠ACD = ∠A + ∠B.
Hence proved.
Real-World Applications
Applications:
- Mathematics: All theorems require proof before they can be used.
- Computer Science: Formal verification of algorithms and programs.
- Logic: Legal arguments, philosophical reasoning.
- Science: Mathematical proofs underpin physics, engineering, and economics.
Key Points to Remember
- A proof establishes truth through logical reasoning from axioms and known results.
- Every proof has: Given, To Prove, and Proof sections.
- Direct proof: Derive the conclusion step by step from the given.
- Proof by contradiction: Assume the opposite, derive a contradiction.
- Axioms are accepted without proof; theorems are proven.
- Congruence rules (SSS, SAS, ASA, RHS) are fundamental tools in geometric proofs.
- In NCERT Class 9, proofs are introduced through Euclid's Geometry and triangle properties.
Practice Problems
- Prove that if two parallel lines are cut by a transversal, alternate interior angles are equal.
- Prove by contradiction that √5 is irrational.
- Prove that the sum of two odd numbers is even.
- Prove that the exterior angle of a triangle equals the sum of the two non-adjacent interior angles.
- Prove that in a parallelogram, opposite angles are equal.
- Identify whether each is an axiom, theorem, or definition: (a) A triangle has three sides. (b) The diagonals of a rectangle are equal.
Frequently Asked Questions
Q1. What is a mathematical proof?
A proof is a logical chain of steps that establishes the truth of a statement using axioms, definitions, and previously proven results.
Q2. What is the difference between an axiom and a theorem?
An axiom is accepted as true without proof. A theorem is a statement that must be proven using axioms and other theorems.
Q3. What is proof by contradiction?
Assume the statement is false. Show this leads to a logical contradiction. Conclude the statement must be true.
Q4. What is a direct proof?
Start from given facts, apply known results step by step, and arrive at the conclusion.
Q5. Why are proofs important?
Proofs establish mathematical truth beyond doubt. Without proofs, mathematics would rely on guesses and patterns that might fail in some cases.
Q6. What is a corollary?
A corollary is a result that follows directly from a theorem with little or no additional proof needed.
Q7. Is this in the CBSE Class 9 syllabus?
Yes. Introduction to proofs is covered in Chapter 5 (Introduction to Euclid's Geometry) and used throughout geometry chapters in NCERT Class 9.
Q8. What is a conjecture?
A conjecture is a statement believed to be true but not yet proven. Once proven, it becomes a theorem.
