§13. Многоугольники → номер 24
Где R —
Радиус описанной окружности.
Пусть в окружность с радиусом R вписан АВС… — правильный 12-угольник.
Что и требовалось доказать.