The Pythagorean Theorem states that the length of the diagonal of a square is equal to the square root of 2. This proof shows that the square root of 2 is irrational.
About this solution: The candidate's solution is correct and demonstrates a good understanding of the problem. The candidate has taken a clear and logical approach to solving the problem.