1027

Prove the red line segment is the side length of an inscribed regular decagon.