Question: indirect proof that square root of 2 is irrational?
Answer: Specifically, the Greeks discovered that the diagonal of a square whose sides are 1 unit long has a diagonal whose length cannot be rational. By the Pythagorean Theorem, the length of the diagonal equals the square root of 2. So the square root of 2 is irrational!