1772

Prove the blue vertex bisects the red line segment.