Question: prove that 2 upon root 3 is irrational?
Answer: By contradiction. sqrt(2/3) = p/q where p and q are integers with no common factors (1). 2q^2=3p^2, q is divisible by 3 (2).