Proving Irrationality of Numbers

In this section, we will discuss proving irrationality of numbers.We will prove √2, √3 and √2/√5 etc. are irrational numbers using Fundamental Theorem of Arithmetic.

In proving irrationality of these numbers, we will use the result that if a prime p divides a² then it divides ‘a’ also. We will prove the irrationality of numbers by using the method of contradiction.

Examples :
1) Prove that √2 is an irrational number.

Solution :
Let us assume that √2 is a rational number. So,
√2 = a/b (where a and b are prime numbers with HCF = 1)
Squaring both sides
2 = a²/b²
⇒ 2b² = a²
⇒ 2 | a²
⇒ 2 | a ------------> (1) [by Theorem -> Let p be a prime number. If p divides a², then p divides a, where a is a positive integer]
a = 2c for some integer c.
Squaring both sides
a² = 4c²
2b² = 4c² [ Since a²=2b²]
⇒ b² = 2c²
⇒ 2 | b -------------> (2)
∴ From (1) and (2) we obtain that 2 is a common factor of ‘a’ and ‘b’. But this contradicts the fact.
So our assumption of √2 is a rational number is wrong.
Hence, √2 is an irrational number.
---------------------------------------------------------------------------------
2) √5 + √3 is an irrational number.
Solution :
Let √5 + √3 is a rational number equal to a/b.
√5 + √3 = a/b
√5 = a/b - √3
Squaring both sides
5 = (a/b - √3)²
⇒ 5 = a²/b² - 2a√3/b + 3
5 – 3 = a²/b² - 2a√3/b
2 = a²/b² - 2a√3/b
2a√3/b = a²/b² - 2
2a√3/b = (a² - 2 b²)/ b²
2a√3 = (a² - 2 b²)b / b²
√3 = (a² - 2 b²)/2ab
⇒ √3 is a rational number which contradicts our assumption.
So, √5 + √3 is an irrational number.

---

Euclid's Geometry

• Euclid Geometry
• Euclids division lemma
• Euclids division Algorithm
• Fundamental Theorem of Arithmetic
• Finding HCF LCM of positive integers
• Proving Irrationality of Numbers
• Decimal expansion of Rational numbers

From Euclid Geometry to Real numbers

Home Page