Los enteros positivos $a, b, c$ satisfacen la igualdad $a^2 + b^2 = c^2$. Demuestre que el número $\frac12(c - a) (c - b)$ es el cuadrado de un entero.