2021 WSMO Team Round/Problem 6
Since this is a dodecagon, there are sides.
Thus, the angle measure for an angle on the regular polygon is:
Next, we can draw a two lines down from and from that are perpendicular to .
We can denote these intersection point as and , respectively.
Since the angle measure of is and , we can say that the shaded area is equal to
is equal to because it is a 30-60-90 triangle.
Next,
So the whole shaded area is equal to
Thus,