Prove that √3 is irrational. [4 MARKS]
Concept : 1 Mark
Application : 1 Mark
Proof : 2 Marks
Let us assume, to the contrary, that √3 is rational.
That is, we can find integers a and b (≠ 0) such that √3=ab
where a and b are co - primes
So, b√3=a
Squaring on both sides, we get
3b2=a2.
∴ a2 is divisible by 3, and it follows that a is also divisible by 3.
So, we can write a=3c for some integer c.
Substituting for a, we get
3b2=9c2⇒b2=3c2.
This means that b2 is divisible by 3, and so b is also divisible by 3 (using p = 3).
∴ a and b have at least 3 as a common factor.
But this contradicts the fact that a and b are co prime.
This contradiction has arisen because of our incorrect assumption that √3 is rational.
So, we conclude that √3 is irrational.