1028

Prove the red line segment is the side length of an inscribed regular pentadecagon ($15$-gon).