Proving Numbers Irrational
Irrational numbers are real numbers that cannot be expressed as a ratio of two integers. Numbers like sqrt(2), sqrt(3), sqrt(5), and pi have decimal expansions that neither terminate nor repeat. Proving that a number is irrational is a fundamental skill in the CBSE Class 10 Mathematics curriculum under the chapter on Real Numbers. The primary technique used is proof by contradiction (also called reductio ad absurdum), a classical method in mathematics where we assume the opposite of what we want to prove and show that this assumption leads to a logical impossibility. This topic bridges arithmetic and logic, teaching students not just mathematical facts but the art of rigorous mathematical reasoning. The proofs covered in Class 10 focus primarily on proving that square roots of prime numbers are irrational and that certain expressions involving irrational numbers remain irrational.
What is Proving Numbers Irrational - Methods, Proofs, Examples & FAQs?
Rational Number: A number that can be expressed in the form p/q, where p and q are integers and q is not equal to 0. Additionally, p and q are co-prime (their HCF is 1), meaning the fraction is in its lowest terms. Examples: 3/4, -7/2, 5 (which is 5/1), 0.333... (which is 1/3).
Irrational Number: A number that CANNOT be expressed in the form p/q for any integers p and q (with q not equal to 0). Irrational numbers have non-terminating, non-repeating decimal expansions. Examples: sqrt(2) = 1.41421356..., sqrt(3) = 1.73205080..., pi = 3.14159265..., e = 2.71828182...
Key Theorem (The Fundamental Theorem of Arithmetic Application):
If p is a prime number and p divides a^2, then p divides a. This theorem is the cornerstone of irrationality proofs in Class 10.
Explanation of the Key Theorem: Consider a^2. By the Fundamental Theorem of Arithmetic, a has a unique prime factorisation. When we square a, every prime factor in a appears twice in a^2. So if a prime p divides a^2, then p must be one of the prime factors of a^2. But since every prime factor of a^2 comes from a (appearing twice), p must also be a factor of a itself.
Proof by Contradiction (Method):
To prove that a number X is irrational:
Step 1: Assume the contrary, i.e., assume X is rational.
Step 2: Express X = p/q where p, q are co-prime integers and q is not 0.
Step 3: Perform algebraic manipulations.
Step 4: Arrive at a contradiction (usually that p and q share a common factor, contradicting the co-prime assumption).
Step 5: Conclude that the assumption was wrong, so X must be irrational.
Important Types of Irrational Numbers in Class 10:
(i) sqrt(p) where p is prime: sqrt(2), sqrt(3), sqrt(5), sqrt(7), sqrt(11), etc. are all irrational.
(ii) sqrt(n) where n is not a perfect square: sqrt(6), sqrt(8), sqrt(10), sqrt(12), etc. are all irrational.
(iii) Linear combinations: If a is rational (non-zero) and sqrt(p) is irrational, then a + sqrt(p), a - sqrt(p), a * sqrt(p), and a / sqrt(p) are all irrational.
Proving Numbers Irrational Formula
Key Theorem Used in Proofs:
If p is a prime number and p divides a^2, then p divides a.
(where a is a positive integer)
Contrapositive Form:
If p does not divide a, then p does not divide a^2.
Standard Proof Structure:
To prove sqrt(p) is irrational (p is prime):
1. Assume sqrt(p) = a/b where a, b are co-prime integers, b is not 0
2. Square both sides: p = a^2/b^2
3. Rearrange: a^2 = p * b^2
4. Conclude: p divides a^2, so p divides a (by the key theorem)
5. Write a = p * c for some integer c
6. Substitute: (pc)^2 = p * b^2, giving p^2 * c^2 = p * b^2, so b^2 = p * c^2
7. Conclude: p divides b^2, so p divides b
8. Contradiction: p divides both a and b, so a and b are NOT co-prime
9. Therefore: sqrt(p) is irrational
To prove a + b*sqrt(p) is irrational (a, b rational with b not 0, p prime):
1. Assume a + b*sqrt(p) is rational = r/s
2. Then sqrt(p) = (r/s - a)/b = rational
3. But sqrt(p) is irrational (proven above) - contradiction
4. Therefore a + b*sqrt(p) is irrational
Derivation and Proof
Let us present the complete proof that sqrt(2) is irrational, which is the most classical and important proof in this chapter.
Theorem: sqrt(2) is an irrational number.
Proof:
Step 1: Assumption (Proof by Contradiction)
Let us assume, to the contrary, that sqrt(2) is a rational number. Then there exist integers a and b (with b not equal to 0) such that:
sqrt(2) = a/b
where a and b are co-prime (HCF(a, b) = 1). We can always ensure this because any fraction can be reduced to its lowest terms.
Step 2: Square Both Sides
Squaring both sides of sqrt(2) = a/b:
2 = a^2/b^2
Therefore: a^2 = 2b^2 ... (i)
Step 3: Deduce That 2 Divides a
From equation (i), a^2 = 2b^2. This means a^2 is divisible by 2, i.e., 2 divides a^2.
Since 2 is a prime number, and 2 divides a^2, by the key theorem, 2 must divide a.
So we can write a = 2c for some integer c. ... (ii)
Step 4: Substitute and Deduce That 2 Divides b
Substituting equation (ii) into equation (i):
(2c)^2 = 2b^2
4c^2 = 2b^2
b^2 = 2c^2 ... (iii)
From equation (iii), b^2 = 2c^2, which means b^2 is divisible by 2, i.e., 2 divides b^2.
Again, since 2 is prime and 2 divides b^2, by the key theorem, 2 must divide b.
Step 5: Arrive at the Contradiction
From Steps 3 and 4, we have shown that 2 divides a AND 2 divides b. This means a and b have at least 2 as a common factor. But we assumed in Step 1 that a and b are co-prime (HCF = 1). This is a contradiction!
Step 6: Conclusion
Since our assumption that sqrt(2) is rational leads to a contradiction, the assumption must be false. Therefore, sqrt(2) is irrational. QED.
Proof that sqrt(3) is irrational:
The proof follows the same structure. Assume sqrt(3) = a/b where a, b are co-prime. Then 3 = a^2/b^2, so a^2 = 3b^2. Since 3 divides a^2 and 3 is prime, 3 divides a. Let a = 3c. Then 9c^2 = 3b^2, so b^2 = 3c^2, meaning 3 divides b^2, hence 3 divides b. Both a and b are divisible by 3, contradicting co-primality. Therefore sqrt(3) is irrational.
Proof that sqrt(5) is irrational:
Assume sqrt(5) = a/b where a, b are co-prime. Then a^2 = 5b^2. Since 5 is prime and 5 divides a^2, 5 divides a. Let a = 5c. Then 25c^2 = 5b^2, so b^2 = 5c^2, meaning 5 divides b. This contradicts co-primality. Hence sqrt(5) is irrational.
Note on the General Case: The proof works identically for sqrt(p) where p is any prime number. The key step always relies on the theorem that if a prime p divides a^2, then p must divide a. This theorem itself is a consequence of the Fundamental Theorem of Arithmetic (unique prime factorisation).
Types and Properties
Irrationality proofs in Class 10 can be classified into several types based on the number being proven irrational and the technique required.
Type 1: Proving sqrt(p) Is Irrational (p is prime)
This is the fundamental type. The proof uses contradiction: assume sqrt(p) = a/b (co-prime), derive that p divides both a and b, reach contradiction. Examples: Prove sqrt(2), sqrt(3), sqrt(5), sqrt(7), sqrt(11), sqrt(13) are irrational. The structure is identical for every prime number.
Type 2: Proving sqrt(n) Is Irrational (n is a positive non-prime, non-perfect-square)
For numbers like sqrt(6), sqrt(8), sqrt(12), sqrt(15), the proof uses the same contradiction method but may require slightly different reasoning. For sqrt(6), assume it equals a/b (co-prime), then a^2 = 6b^2 = 2 x 3 x b^2. Since 2 divides a^2, 2 divides a, so a = 2c. Then 4c^2 = 6b^2, so 2c^2 = 3b^2. Then 3 divides 2c^2, and since gcd(3,2) = 1, 3 divides c^2, so 3 divides c, say c = 3d. Then 2(9d^2) = 3b^2, so b^2 = 6d^2, meaning 2 divides b. But 2 divides a, contradicting co-primality.
Type 3: Proving a + b*sqrt(p) Is Irrational
Here a and b are rationals (b non-zero) and sqrt(p) is irrational. Examples: Prove 3 + 2*sqrt(5) is irrational, prove 5 - sqrt(3) is irrational. The proof assumes the expression is rational, then isolates sqrt(p) to show it equals a rational number, contradicting its known irrationality.
Type 4: Proving Expressions Like 1/sqrt(p) Are Irrational
To prove 1/sqrt(2) is irrational: assume 1/sqrt(2) = a/b (rational). Then sqrt(2) = b/a, which would make sqrt(2) rational. But sqrt(2) is irrational (proven in Type 1). Contradiction, so 1/sqrt(2) is irrational.
Type 5: Proving Products Like sqrt(2) * sqrt(3) = sqrt(6) Are Irrational
This reduces to a Type 2 proof since sqrt(2) * sqrt(3) = sqrt(6), and proving sqrt(6) is irrational follows the standard method.
Type 6: Using the Rational Root Theorem (Advanced)
For proving that numbers like cube root of 2 are irrational, one can use the rational root theorem on x^3 - 2 = 0. If p/q is a rational root in lowest terms, then p divides 2 and q divides 1, so possible rational roots are +/-1, +/-2. Testing: none satisfy the equation. Hence cube root of 2 is irrational. (This method is beyond standard Class 10 but useful to know.)
Solved Examples
Example 1: Example 1: Prove That sqrt(2) Is Irrational
Proof:
Assume sqrt(2) is rational. Then sqrt(2) = a/b, where a and b are co-prime integers with b not equal to 0.
Squaring: 2 = a^2/b^2, so a^2 = 2b^2.
This means 2 divides a^2. Since 2 is prime, 2 divides a. Let a = 2k.
Substituting: (2k)^2 = 2b^2, so 4k^2 = 2b^2, hence b^2 = 2k^2.
This means 2 divides b^2. Since 2 is prime, 2 divides b.
Now 2 divides both a and b, so HCF(a,b) >= 2. This contradicts our assumption that a and b are co-prime.
Therefore, sqrt(2) is irrational.
Example 2: Example 2: Prove That sqrt(3) Is Irrational
Proof:
Assume sqrt(3) is rational. Then sqrt(3) = a/b, where a, b are co-prime integers, b not equal to 0.
Squaring: 3 = a^2/b^2, so a^2 = 3b^2.
Since 3 divides a^2 and 3 is prime, by the fundamental theorem, 3 divides a. Write a = 3m.
Substituting: (3m)^2 = 3b^2, giving 9m^2 = 3b^2, so b^2 = 3m^2.
Since 3 divides b^2 and 3 is prime, 3 divides b.
Both a and b are divisible by 3, contradicting HCF(a,b) = 1.
Hence, sqrt(3) is irrational.
Example 3: Example 3: Prove That sqrt(5) Is Irrational
Proof:
Assume, on the contrary, that sqrt(5) is rational. Let sqrt(5) = p/q where p and q are co-prime integers and q not equal to 0.
Squaring both sides: 5 = p^2/q^2, hence p^2 = 5q^2 ... (i)
From (i), 5 divides p^2. Since 5 is prime, 5 divides p. Let p = 5r for some integer r. ... (ii)
Substituting (ii) in (i): (5r)^2 = 5q^2
25r^2 = 5q^2
q^2 = 5r^2 ... (iii)
From (iii), 5 divides q^2. Since 5 is prime, 5 divides q.
From (ii) and (iii), 5 is a common factor of both p and q. This contradicts our assumption that p and q are co-prime.
Therefore, our assumption is wrong, and sqrt(5) is irrational.
Example 4: Example 4: Prove That 3 + 2*sqrt(5) Is Irrational
Proof:
Assume 3 + 2*sqrt(5) is rational. Then there exist integers a and b (b not equal to 0) such that:
3 + 2*sqrt(5) = a/b
Rearranging:
2*sqrt(5) = a/b - 3 = (a - 3b)/b
sqrt(5) = (a - 3b)/(2b)
Since a and b are integers, (a - 3b) is an integer and 2b is a non-zero integer. Therefore, (a - 3b)/(2b) is a rational number.
This means sqrt(5) is rational. But we have already proved that sqrt(5) is irrational (see Example 3). This is a contradiction.
Therefore, our assumption is wrong, and 3 + 2*sqrt(5) is irrational.
Example 5: Example 5: Prove That 5 - sqrt(3) Is Irrational
Proof:
Assume 5 - sqrt(3) is rational. Let 5 - sqrt(3) = r, where r is rational.
Then: sqrt(3) = 5 - r
Since 5 is rational and r is rational, (5 - r) is rational (the difference of two rational numbers is rational).
This implies sqrt(3) is rational. But sqrt(3) is irrational (can be proved using the standard contradiction method with 3 as the prime).
This is a contradiction. Therefore, 5 - sqrt(3) is irrational.
Example 6: Example 6: Prove That sqrt(2) + sqrt(3) Is Irrational
Proof:
Assume sqrt(2) + sqrt(3) is rational. Let sqrt(2) + sqrt(3) = r, where r is rational.
Then: sqrt(3) = r - sqrt(2)
Squaring both sides: 3 = r^2 - 2r*sqrt(2) + 2
3 = r^2 + 2 - 2r*sqrt(2)
2r*sqrt(2) = r^2 + 2 - 3 = r^2 - 1
sqrt(2) = (r^2 - 1)/(2r)
Since r is rational (and r is not 0, as sqrt(2) + sqrt(3) > 0), (r^2 - 1)/(2r) is rational. This means sqrt(2) is rational.
But sqrt(2) is irrational. Contradiction!
Therefore, sqrt(2) + sqrt(3) is irrational.
Example 7: Example 7: Prove That 1/sqrt(2) Is Irrational
Proof:
Assume 1/sqrt(2) is rational. Then 1/sqrt(2) = a/b, where a, b are co-prime integers, b not equal to 0, and a is not 0 (since 1/sqrt(2) is not 0).
Then: sqrt(2) = b/a
Since b and a are integers with a not equal to 0, b/a is a rational number. This means sqrt(2) is rational.
But sqrt(2) is irrational (proven in Example 1). Contradiction!
Therefore, 1/sqrt(2) is irrational.
Note: We can rationalise 1/sqrt(2) = sqrt(2)/2, and since sqrt(2) is irrational and 1/2 is a non-zero rational, their product is irrational.
Example 8: Example 8: Prove That sqrt(7) Is Irrational
Proof:
Assume sqrt(7) is rational. Let sqrt(7) = p/q where p, q are co-prime positive integers.
Squaring: 7 = p^2/q^2, so p^2 = 7q^2.
Since 7 (a prime) divides p^2, by the Fundamental Theorem of Arithmetic, 7 divides p. Let p = 7k.
Then: (7k)^2 = 7q^2
49k^2 = 7q^2
q^2 = 7k^2
So 7 divides q^2, hence 7 divides q.
Now 7 divides both p and q, contradicting HCF(p,q) = 1.
Therefore, sqrt(7) is irrational.
Example 9: Example 9: Prove That 7*sqrt(5) Is Irrational
Proof:
Assume 7*sqrt(5) is rational. Let 7*sqrt(5) = r, where r is a rational number.
Then: sqrt(5) = r/7
Since r is rational and 7 is a non-zero rational number, r/7 is rational. This means sqrt(5) is rational.
But sqrt(5) is irrational (proven in Example 3). This is a contradiction.
Therefore, 7*sqrt(5) is irrational.
General Principle: The product of a non-zero rational number and an irrational number is always irrational.
Example 10: Example 10: Prove That sqrt(2) Is Not Equal to Any Terminating Decimal
Proof:
Any terminating decimal can be expressed as a fraction p/q where q is of the form 2^m * 5^n (the denominator has no prime factors other than 2 and 5).
Assume sqrt(2) = p/q where q = 2^m * 5^n.
Then 2 = p^2/q^2, so p^2 = 2q^2 = 2 * 2^(2m) * 5^(2n) = 2^(2m+1) * 5^(2n).
In the prime factorisation of p^2, every prime must appear an even number of times (since p^2 is a perfect square). But in 2^(2m+1) * 5^(2n), the power of 2 is (2m+1), which is odd.
This contradicts the Fundamental Theorem of Arithmetic (unique factorisation into prime powers, where perfect squares must have even exponents).
Therefore, sqrt(2) cannot be expressed as a terminating decimal. Combined with the proof that sqrt(2) is irrational (so it cannot be a repeating decimal either), we conclude sqrt(2) has a non-terminating, non-repeating decimal expansion.
Real-World Applications
The concept of irrational numbers and irrationality proofs has deep applications across mathematics, science, and technology.
Geometry and Measurement: The diagonal of a unit square has length sqrt(2), which is irrational. This was first discovered by the ancient Greeks (Pythagorean school) and led to a fundamental crisis in mathematics. In practical terms, this means that the diagonal of a square with integer side length can never be measured exactly using a ruler with integer markings, no matter how fine the scale.
Trigonometry: Many trigonometric values are irrational. For instance, sin(60 degrees) = sqrt(3)/2 and cos(45 degrees) = 1/sqrt(2) are both irrational. Understanding irrationality helps students appreciate why exact trigonometric values are left in radical form rather than converted to decimals.
Number Theory and Cryptography: The study of irrational and transcendental numbers (like pi and e) underpins modern cryptographic systems. The unpredictability of the decimal digits of irrational numbers is related to concepts used in generating pseudorandom numbers for secure communications.
Computer Science: Representing irrational numbers in computers requires approximation, leading to floating-point arithmetic and rounding errors. Understanding irrationality helps programmers and engineers recognize when exact computation is fundamentally impossible and design appropriate error-handling strategies.
Architecture and Design: The golden ratio (1 + sqrt(5))/2, which is irrational, appears frequently in aesthetically pleasing designs, from ancient Greek architecture to modern graphic design. Its irrationality is closely related to its unique mathematical properties.
Mathematical Logic: Proof by contradiction, the technique used in irrationality proofs, is one of the most powerful tools in all of mathematics. Mastering this technique in Class 10 prepares students for more advanced proofs in higher mathematics, including proofs about infinity, continuity, and the foundations of calculus.
Key Points to Remember
- An irrational number cannot be expressed as p/q where p and q are integers with q not equal to 0. Its decimal expansion is non-terminating and non-repeating.
- The primary method for proving irrationality in Class 10 is proof by contradiction: assume the number is rational, then derive a logical contradiction.
- The key theorem used is: If p is a prime number and p divides a^2, then p divides a. This follows from the Fundamental Theorem of Arithmetic.
- sqrt(p) is irrational for every prime number p. The proof structure is identical regardless of which prime is used.
- sqrt(n) is irrational whenever n is a positive integer that is not a perfect square.
- If a is a non-zero rational number and b is an irrational number, then a + b, a - b, a * b, and a / b are all irrational.
- The sum or difference of two irrational numbers may or may not be irrational. For example, sqrt(2) + (-sqrt(2)) = 0, which is rational.
- The product of two irrational numbers may or may not be irrational. For example, sqrt(2) * sqrt(2) = 2, which is rational.
- In CBSE board exams, irrationality proofs are typically asked for 3-4 marks. The most frequently asked proofs are for sqrt(2), sqrt(3), sqrt(5), and expressions like 3 + 2*sqrt(5).
- Always state the assumption clearly, show each logical step, identify the contradiction explicitly, and state the conclusion clearly for full marks.
Practice Problems
- Prove that sqrt(11) is irrational.
- Prove that sqrt(6) is irrational.
- Prove that 2 + 3*sqrt(7) is irrational.
- Prove that 1/sqrt(3) is irrational.
- Show that 5 + sqrt(2) is irrational, given that sqrt(2) is irrational.
- Prove that sqrt(2) - sqrt(3) is irrational.
- If sqrt(5) is irrational, prove that 3*sqrt(5) - 7 is also irrational.
- Prove that sqrt(3) + sqrt(5) is irrational.
Frequently Asked Questions
Q1. What is an irrational number?
An irrational number is a real number that cannot be expressed as a ratio p/q of two integers p and q (where q is not zero). Irrational numbers have decimal expansions that are non-terminating (they go on forever) and non-repeating (no block of digits repeats infinitely). Examples include sqrt(2), sqrt(3), pi, and e.
Q2. How do you prove a number is irrational?
The standard method in Class 10 is proof by contradiction. You assume the number is rational (can be written as p/q in lowest terms), then perform algebraic manipulations to show that p and q must share a common factor, contradicting the assumption that they are co-prime. This contradiction proves the number must be irrational.
Q3. Why is sqrt(2) irrational?
Assuming sqrt(2) = a/b (co-prime), squaring gives a^2 = 2b^2. So 2 divides a, meaning a = 2k. Substituting gives b^2 = 2k^2, so 2 divides b. Since 2 divides both a and b, they are not co-prime, which is a contradiction. Therefore sqrt(2) cannot be rational; it is irrational.
Q4. Is the sum of two irrational numbers always irrational?
No. The sum of two irrational numbers can be rational. For example, sqrt(2) and -sqrt(2) are both irrational, but sqrt(2) + (-sqrt(2)) = 0, which is rational. However, the sum of a rational and an irrational number is always irrational.
Q5. Is the product of two irrational numbers always irrational?
No. The product of two irrational numbers can be rational. For example, sqrt(2) x sqrt(2) = 2, which is rational. And sqrt(2) x sqrt(8) = sqrt(16) = 4, also rational. However, the product of a non-zero rational number and an irrational number is always irrational.
Q6. What is proof by contradiction?
Proof by contradiction (reductio ad absurdum) is a logical technique where you assume the opposite of what you want to prove and then show that this assumption leads to a logical impossibility (contradiction). Since the assumption leads to an absurdity, it must be false, which means the original statement is true.
Q7. What role does the Fundamental Theorem of Arithmetic play in irrationality proofs?
The Fundamental Theorem of Arithmetic states that every integer greater than 1 has a unique prime factorisation. From this, we derive the key lemma: if a prime p divides a^2, then p must divide a. This lemma is used in every standard irrationality proof to show that the assumed co-prime integers share a common factor.
Q8. Is sqrt(4) irrational?
No. sqrt(4) = 2, which is a rational number (it can be written as 2/1). In general, sqrt(n) is rational if and only if n is a perfect square (like 1, 4, 9, 16, 25, ...). For all positive integers n that are not perfect squares, sqrt(n) is irrational.
Q9. How is proving 3 + 2*sqrt(5) irrational different from proving sqrt(5) irrational?
When proving sqrt(5) irrational, you use the full contradiction argument with co-prime integers and the key theorem. When proving 3 + 2*sqrt(5) irrational, you use a shorter proof: assume it is rational, isolate sqrt(5) to show it equals a rational expression, then state this contradicts the already-proven fact that sqrt(5) is irrational.
Q10. What are the most important irrationality proofs for CBSE Class 10 board exams?
The most frequently asked proofs are: (1) Prove sqrt(2) is irrational, (2) Prove sqrt(3) is irrational, (3) Prove sqrt(5) is irrational, and (4) Prove expressions like 3 + 2*sqrt(5) or 5 - sqrt(3) are irrational. These questions typically carry 3-4 marks. Memorise the structure but understand the logic to adapt it to any prime number.










