Prove that \(\sqrt{5}\) is irrational.
Theory: Irrational Numbers & Proof by Contradiction
- A number is rational if it can be written as \(\frac{a}{b}\), where \(a,b \in \mathbb{Z}, b \ne 0\).
- If \(a\) and \(b\) have no common factor other than 1, then \(\gcd(a,b)=1\) (coprime).
- Key Property: If a prime number divides \(a^2\), then it divides \(a\).
- Proof by contradiction: Assume opposite of what we want to prove, and show inconsistency.
Proof Roadmap
- Assume \(\sqrt{5}\) is rational.
- Write it in lowest form \(\frac{a}{b}\).
- Square both sides.
- Show both \(a\) and \(b\) are divisible by 5.
- Reach contradiction with coprime condition.
Proof (by contradiction):
Assume that \(\sqrt{5}\) is rational. Then it can be written as:
\[ \sqrt{5} = \frac{a}{b}, \quad b \ne 0,\; a,b \in \mathbb{Z},\; \gcd(a,b)=1 \]Step 1: Square both sides
\[ (\sqrt{5})^2 = \left(\frac{a}{b}\right)^2 \] \[ 5 = \frac{a^2}{b^2} \] \[ a^2 = 5b^2 \quad \text{(1)} \]Step 2: Analyze equation (1)
Since \(a^2 = 5b^2\), \(a^2\) is divisible by 5. Therefore, \(a\) must also be divisible by 5.
Let \(a = 5c\), where \(c\) is an integer.
Step 3: Substitute into (1)
\[ a^2 = (5c)^2 = 25c^2 \] Substitute into (1): \[ 25c^2 = 5b^2 \] \[ b^2 = 5c^2 \quad \text{(2)} \]Step 4: Analyze equation (2)
From \(b^2 = 5c^2\), \(b^2\) is divisible by 5. Hence, \(b\) is also divisible by 5.
Step 5: Contradiction
Thus, both \(a\) and \(b\) are divisible by 5. This means they have a common factor 5, which contradicts the assumption that \(\gcd(a,b)=1\).
Conclusion:
\[ \therefore \; \sqrt{5} \text{ is irrational.} \]Why this proof is important for Class 10 Boards?
- Standard proof asked frequently in exams (similar to \(\sqrt{2}, \sqrt{3}, \sqrt{5}\)).
- Tests understanding of contradiction method.
- Important for number system fundamentals.
- Step-wise presentation carries full marks.