Prove that √3 is irrational.

Answer: 3\sqrt{3} is irrational.

Step-by-step solution

Step 1: Assume the opposite

To prove that 3\sqrt{3} is irrational, we use the method of contradiction. We start by assuming the opposite, that 3\sqrt{3} is a rational number. A rational number can always be expressed as a fraction ab\frac{a}{b}, where aa and bb are integers, b≠0b \neq 0, and aa and bb have no common factors other than 1 (i.e., they are coprime).

Step 2: Square both sides

Now, we square both sides of the equation 3=ab\sqrt{3} = \frac{a}{b} to eliminate the square root. This gives us 3=a2b23 = \frac{a^2}{b^2}. Rearranging the terms, we get 3b2=a23b^2 = a^2. This equation implies that a2a^2 is a multiple of 3, which means aa itself must be a multiple of 3.

Step 3: Substitute 'a' as a multiple of 3

Since aa is a multiple of 3, we can write a=3ca = 3c for some integer cc. Substituting this into the equation 3b2=a23b^2 = a^2, we get 3b2=(3c)23b^2 = (3c)^2, which simplifies to 3b2=9c23b^2 = 9c^2. Dividing both sides by 3, we find b2=3c2b^2 = 3c^2. This implies that b2b^2 is a multiple of 3, and therefore bb must also be a multiple of 3.

Step 4: Reach a contradiction

From the previous steps, we concluded that both aa and bb are multiples of 3. This means that aa and bb have a common factor of 3. However, our initial assumption was that aa and bb are coprime, meaning they have no common factors other than 1. This creates a contradiction.

Step 5: Conclude irrationality

Since our assumption that 3\sqrt{3} is rational leads to a contradiction (that aa and bb have a common factor of 3, despite being assumed coprime), our initial assumption must be false. Therefore, 3\sqrt{3} cannot be rational, which means it must be irrational.

More from this chapter

All Real Numbers solutions →

Solve your own maths question free →