Ninth Grade Mathematics: Logical Proofs, Conjectures & Counterexamples
Mathematical truth is unique among all academic disciplines because it is absolute and immutable. While empirical sciences rely on experiment and observation to support theories, mathematics requires formal deductive proof. In this chapter, you will master the logic of conjectures, learn how a single counterexample can dismantle a false hypothesis, and explore the two primary proof architectures: direct proofs and indirect proofs.
Statements, Conjectures, and Counterexamples
A mathematical statement is an assertion that is definitively either true or false, but not both. A conjecture is a mathematical proposition that is suspected to be true based on patterns, numerical trials, or intuition, but has not yet been formally proven.
The Lifecycle of Mathematical Truth:
[ Observe Patterns ] ---> [ Formulate Conjecture ]
|
+------------------------+------------------------+
| |
v v
Find a SINGLE COUNTEREXAMPLE Construct a DEDUCTIVE PROOF
===> Conjecture is FALSE! ===> Conjecture becomes a THEOREM!
To prove that a universal conjecture is false, you do not need a lengthy argument; you only need to provide a single counterexample—a specific instance where the premise of the conjecture is satisfied, but the conclusion fails.
Conjecture: "For all positive integers n, the expression n^2 + n + 41 produces a prime number."
Testing values:
n = 1: 1 + 1 + 41 = 43 (Prime)
n = 2: 4 + 2 + 41 = 47 (Prime)
n = 3: 9 + 3 + 41 = 53 (Prime)
... holds true for n = 1 through 39!
Counterexample at n = 41:
41^2 + 41 + 41 = 41 * (41 + 1 + 1) = 41 * 43 (Composite!)
The conjecture is disproved by this single counterexample.
No amount of successful examples can prove a universal statement, because one cannot test an infinite number of cases. Only a formal deductive proof establishes universal truth.
Direct Proof Architecture
A direct proof is a sequence of logical deductions that proceeds directly from known hypotheses, definitions, and accepted axioms to the desired conclusion.
Structure of a Direct Proof:
1. Hypothesis (Given): State clearly what is known to be true.
2. Definitions & Axioms: Translate given statements into algebraic or geometric relations.
3. Logical Deductions: Apply algebraic transformations or geometric theorems step by step.
4. Conclusion (Q.E.D.): Arrive at the exact statement to be proved.
Example Direct Proof: Prove that the sum of any two odd integers is always an even integer.
Step 1 (Definition):
Let 'a' and 'b' be any two odd integers.
By definition of odd integers, there exist integers k and m such that:
a = 2*k + 1 and b = 2*m + 1.
Step 2 (Algebraic Addition):
Add the two integers together:
a + b = (2*k + 1) + (2*m + 1)
= 2*k + 2*m + 2.
Step 3 (Deduction):
Factor out a common factor of 2:
a + b = 2 * (k + m + 1).
Step 4 (Conclusion):
Since k and m are integers, (k + m + 1) is an integer, say 'p'.
Thus, a + b = 2*p, which matches the definition of an even integer.
The proof is complete.
Indirect Proof (Proof by Contradiction)
When a direct path from hypothesis to conclusion is elusive, mathematicians employ indirect proof, formally known as reductio ad absurdum (reduction to absurdity) or proof by contradiction.
Architecture of Proof by Contradiction:
1. Assume the exact opposite (negation) of what you want to prove.
2. Treat this assumption as a temporary truth and reason logically from it.
3. Arrive at a logical contradiction (a statement that contradicts a known fact,
violates an axiom, or contradicts the original hypothesis, such as 0 = 1).
4. Conclude that the temporary assumption must be false.
5. Therefore, the original proposition must be true.
Example Indirect Proof: Prove that a triangle cannot have more than one right angle.
Step 1 (Assume the opposite):
Assume, for contradiction, that a triangle ABC has two right angles:
say angle A = 90 deg and angle B = 90 deg.
Step 2 (Apply known theorem):
By the Angle Sum Property of a triangle, the sum of all three interior angles must be 180 degrees:
angle A + angle B + angle C = 180 deg.
Step 3 (Substitute):
90 deg + 90 deg + angle C = 180 deg
180 deg + angle C = 180 deg
angle C = 0 deg.
Step 4 (Identify Contradiction):
An angle of 0 degrees means that vertices A, B, and C are collinear,
so no triangle exists (a triangle must have three non-zero angles).
Step 5 (Conclusion):
The assumption that a triangle can have two right angles leads to a geometric impossibility.
Therefore, a triangle can have at most one right angle.
Chapter Exercises
Exercise 1: Provide a single counterexample to disprove the conjecture: "Every quadrilateral that has four equal sides must be a square."
Exercise 2: Write a complete direct proof showing that the square of any even integer is always divisible by 4.
Exercise 3: Write an indirect proof (proof by contradiction) to prove that if two lines l and m are parallel, any transversal line t that intersects line l must also intersect line m.
Solutions and Explanations
Solution 1: Consider a rhombus whose angles are 60 degrees, 120 degrees, 60 degrees, and 120 degrees. All four boundary sides of this rhombus are of equal length, satisfying the hypothesis of the conjecture. However, because its interior angles are not 90 degrees, it is not a square. This single counterexample proves that having four equal sides is not sufficient to guarantee that a quadrilateral is a square, disproving the conjecture.
Solution 2: Let n be any even integer. By the formal mathematical definition of an even integer, n can be written as n = 2k, where k is an integer. To find the square of this integer, square both sides of the equation: n^2 = (2k)^2 = 4k^2. Because k is an integer, k^2 is also an integer, which we can denote by the integer m = k^2. Therefore, n^2 = 4m. Since n^2 is expressed as 4 multiplied by an integer, n^2 is divisible by 4. This direct proof establishes that the square of every even integer is divisible by 4.
Solution 3: We are given that lines l and m are parallel (l || m), and line t intersects line l at point P. We wish to prove that line t must intersect line m. Assume for the sake of contradiction that line t does not intersect line m. By the definition of parallel lines in a plane, if line t does not intersect line m, then line t must be parallel to line m (t || m). We now have two distinct lines—line l and line t—that both pass through the common point P and are both parallel to line m. However, Playfair's Axiom (equivalent to Euclid's Fifth Postulate) states that through a given external point P, there exists one and only one line parallel to a given line. Having both line l and line t parallel to m directly contradicts Playfair's Axiom. Because this contradiction arose solely from the assumption that t does not intersect m, that assumption must be false. Therefore, line t must intersect line m.