Let us assume, to the contrary, that √p is a rational number.
Then, there exist co-prime positive integers a and b such that
It means p divides b2 and so p divides b.
So, p is a common factor of both a and b which is a contradiction.
So, our assumption that √p is rational is wrong.
Hence, we conclude that √p is an irrational number
