Question: is 2 square root rational?
Answer: Because there is a contradiction, the assumption (1) that √2 is a rational number must be false. This means that √2 is not a rational number; i.e., √2 is irrational.