Prove that the square root of 3 is irrational.

Answer: 3\sqrt{3} is irrational.

Step-by-step solution

Step 1: Assume 3\sqrt{3} is rational

To prove that 3\sqrt{3} is irrational, we will use the method of proof by 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 and rearrange

Next, 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}. Multiplying both sides by b2b^2 results in the equation 3b2=a23b^2 = a^2. This equation implies that a2a^2 is a multiple of 3.

Step 3: Deduce aa is a multiple of 3

According to a fundamental property of numbers, if a prime number (like 3) divides the square of an integer (a2a^2), then it must also divide the integer itself (aa). Therefore, aa must be a multiple of 3. We can express this by writing a=3ca = 3c, where cc is some integer.

Step 4: Substitute a=3ca=3c and simplify

Now, we substitute a=3ca = 3c back into our equation 3b2=a23b^2 = a^2. This gives us 3b2=(3c)23b^2 = (3c)^2, which simplifies to 3b2=9c23b^2 = 9c^2. Dividing both sides by 3, we get b2=3c2b^2 = 3c^2. This new equation implies that b2b^2 is also a multiple of 3.

Step 5: Deduce bb is a multiple of 3

Similar to the reasoning for aa, since 3 divides b2b^2, it must also divide bb. Therefore, bb is a multiple of 3.

Step 6: Reach a contradiction

From our deductions, we found 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 7: Conclusion

Since our initial assumption led to a contradiction, the assumption must be false. Therefore, 3\sqrt{3} cannot be a rational number, which means it must be an irrational number.

More from this chapter

All Real Numbers solutions →

Solve your own maths question free →