139

Prove the red line is perpendicular to the diameter of the purple semicircle.