Inscribed Squares in Right-Angled Triangle/Side Lengths

Theorem
Let $a, b, c$ be the side lengths of the right-angled triangle, where $c$ is the length of the hypotenuse.

Then the side lengths $l$ of the inscribed squares are given by: