Hint 3.2.9.1.

A proof by contradiction would be reasonable here, because then you get to assume that both \(a\) and \(b\) are odd. Deduce that \(c^2\) is even, and therefore a multiple of 4 (why? and why is that a contradiction?).

in-context