Prove that

Let us assume, to the contrary, that is rational.

So that we can find integers a and b (b ≠ 0), such that where a and b coprime.

Rearranging this equation, we get

⇒

⇒

Since a and b are integers, we get that is rational and so is irrational.

So we contradicts the fact that is irrational.