1. The problem statement, all variables and given/known data If a,b and c are integers and a2+b2=c2, then at least one of a and b is even. 2. Contradiction statement There exist an integer a,b,c such that a2+b2=c2 and a or b is odd 3. The attempt at a solution I am not sure if my contradiction statement is correct because of this part, then at least one of a and b is even. I think it means 1 has to be even and the other could be even or odd. Let me know if my contradiction is right or wrong and point me in the right direction to start.