But the simplest way would be to use the fundamental theorem of arithmetic (that every integer has a unique prime factorization). For any N, if sqrt(N) is rational, you can write that as
N=A^2/B^2
and therefore
B^2 N = A^2
and it's not hard to get from that + the fundamental theorem to the conclusion that N is a square.