Positive integers $a, b, c$ satisfying the equality $a^2 + b^2 = c^2$. Show that the number $\frac12(c - a) (c - b)$ is square of an integer.
Problem
Source: Czech-Polish-Slovak Junior Match 2012, Individual p5 CPSJ
Tags: number theory, Pythagorean Triple, Perfect Square