1418

Given a regular dodecagon. Prove the red line trisects the blue line segment.