Outline the proof that is irrational.
- Assume with and integers with no common factor.
- Then , so is even: , giving , so is even too.
- Both even contradicts 'no common factor', so is irrational.
Answer The assumption gives and both even: a contradiction