MathDB
SMT 2021 Geometry #7

Source:

August 9, 2023
geometry

Problem Statement

An nn-sided regular polygon with side length 11 is rotated by 180on\frac{180^o}{n} about its center. The intersection points of the original polygon and the rotated polygon are the vertices of a 2n2n-sided regular polygon with side length 1tan210o2\frac{1-tan^2 10^o}{2}. What is the value of nn?