1077

Prove the red line trisects the diameter of the semicircle.