1009

Prove the red line segment equals the semiperimeter of the triangle.