1288

Prove as the blue point varies on the circle, the length of the red line segment remains constant.