Irrational Numbers Math Example 3

Follow the full solution, then compare it with the other examples linked below.

Example 3

medium
Prove that 3\sqrt{3} is irrational by contradiction.

Solution

  1. 1
    Assume for contradiction that 3\sqrt{3} is rational, so 3=ab\sqrt{3} = \frac{a}{b} where a,ba, b are integers with no common factors (gcd(a,b)=1\gcd(a,b) = 1).
  2. 2
    Square both sides: 3=a2b23 = \frac{a^2}{b^2}, which gives a2=3b2a^2 = 3b^2. This means a2a^2 is divisible by 3, so aa must also be divisible by 3 (since 3 is prime). Write a=3ka = 3k for some integer kk.
  3. 3
    Substitute a=3ka = 3k: (3k)2=3b29k2=3b2b2=3k2(3k)^2 = 3b^2 \Rightarrow 9k^2 = 3b^2 \Rightarrow b^2 = 3k^2. Now b2b^2 is divisible by 3, so bb is also divisible by 3. But this contradicts gcd(a,b)=1\gcd(a,b) = 1, since both aa and bb share the factor 3. Therefore 3\sqrt{3} is irrational.

Answer

3 is irrational (proof by contradiction).\sqrt{3} \text{ is irrational (proof by contradiction).}
The proof by contradiction technique assumes the opposite of what we want to show, then derives a logical impossibility. Here, assuming 3\sqrt{3} is rational forces both the numerator and denominator to share a factor of 3, contradicting the assumption that the fraction is in lowest terms.

About Irrational Numbers

An irrational number is a real number that cannot be expressed as a ratio of two integers pq\frac{p}{q}; its decimal expansion goes on forever without repeating any fixed block of digits.

Learn more about Irrational Numbers →

More Irrational Numbers Examples