Question: is root 2 a rational number?
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.