629

Find the area of the red triangle in terms of $a$, $b$, and $c$.