Prove that 3\sqrt{3} is irrational.

Answer: 3\sqrt{3} is an irrational number.

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. If 3\sqrt{3} is rational, it can be expressed as a fraction a/ba/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 in their simplest form or coprime).

Step 2: Square both sides

To eliminate the square root, we square both sides of the equation. This operation maintains the equality if both sides are positive. This gives us an expression relating a2a^2 and b2b^2.

Step 3: Rearrange the equation

Multiply both sides by b2b^2. This equation shows that a2a^2 is a multiple of 3. This implies that a2a^2 is divisible by 3.

Step 4: Conclude that 'a' is divisible by 3

According to a property of prime numbers, if a prime number pp divides a2a^2, then pp must also divide aa. Here, 3 is a prime number, and since 3b2=a23b^2 = a^2, it means 3 divides a2a^2, so 3 must divide aa.

Step 5: Express 'a' as a multiple of 3

Since aa is divisible by 3, we can write aa as 3c3c, where cc is some integer. This substitution will allow us to find a similar relationship for bb.

Step 6: Substitute 'a' back into the equation

Substitute the expression for aa (i.e., 3c3c) back into our rearranged equation 3b2=a23b^2 = a^2. Squaring 3c3c gives 9c29c^2.

Step 7: Simplify and conclude that 'b' is divisible by 3

Divide both sides of 3b2=9c23b^2 = 9c^2 by 3 to get b2=3c2b^2 = 3c^2. This shows that b2b^2 is a multiple of 3, which implies that b2b^2 is divisible by 3. Therefore, similar to the case of aa, 3 must also divide bb.

Step 8: Reach a contradiction

We have shown that both aa and bb are divisible by 3. This means that 3 is a common factor of aa and bb. However, our initial assumption stated that aa and bb have no common factors other than 1. This contradiction arises from our initial assumption that 3\sqrt{3} is rational.

Step 9: Conclude that 3\sqrt{3} is irrational

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

More from this chapter

All Real Numbers solutions →

Solve your own maths question free →