Suppose . Then . Factor both sides into primes. Then the power of 2 on the RHS is even because it is a square, but the power of 2 on the LHS is odd. This contradicts unique factorization.
I have a feeling that if the OP is going to say that then that statement has to be proven in the process.
Assume that is rational.
Then , where are integers, and is in simplest form (since every rational number can be reduced to simplest form).
Therefore
.
Since is even, that means is even. So write it as . Then you have
.
Remembering that is an integer, so is . Also, since 2 is a factor, is even, and so is even. Write it as .
Remember that
but and
So
.
But we said that was already in simplest form.
So we have a contradiction.
This means that can not possibly be rational.
Therefore is irrational.