In this post, we discuss another example of proof by contradiction. We are going to prove that the solution of the equation 3^x = 8 is irrational.

**Theorem**

The solution to the equation $latex 3^x = 8$ is irrational.

**Proof**

In proof by contradiction, we assume the opposite of the theorem and then find a contradiction somewhere in the proof.

Let us assume the opposite of the theorem. We assume that the solution to the equation $latex 3^x = 8$ is rational.

Now assuming that that the solution to the equation above is rational, then $latex x$ is a rational number. This means that $latex x =\frac{p}{q}$, where $latex p$ and $latex q$ are integers and $latex q$ not equal to $latex 0$ (definition of rational numbers). Therefore,

$latex 3^{\frac{p}{q}} = 8$

Raising both sides to $latex q$, we have $latex 3^p= 8^q$.

Notice that this is a contradiction since $latex 3^p$ is odd and $latex 8^q$ is even and therefore the two numbers cannot be equal. In addition, $latex 3^p = 2^{3q}$ contradicts the Unique Factorization Theorem or the Fundamental Theorem of Arithmetic.

Therefore, our assumption is false and the theorem that $latex x$ is irrational is true.

Pingback: August 2013 - Month in Review - Proofs from The Book