Assume is rational.
Then we can write where are integers with no common factor (i.e., the fraction is in lowest terms).

Squaring both sides:

This implies is even must also be even.
So let for some integer .

Substitute back:

So is also even is even.

But now both and are even, meaning they share a factor of 2 —
contradicting our assumption that was in lowest terms!