окружность, причем только одну.
Действительно, по доказанной теореме точка О
равноудалена от всех вершин A1,A2... ,An правильного n-угольника A1A2...An, т. е. ОА1=ОА2=ОАз=...=ОАn. Значит, около правильного многоугольника A1,A2... ,An можно описать окружность с центром в точке О пересечения биссектрис углов A1 и А2 и радиусом OA1.
Единственность такой окружности вытекает из единственности окружности, описанной около треугольника. Возьмем любые три вершины многоугольника A1A2...An, например A1, A2, А3. Т. к. ОА1=ОА2=ОА3, то окружность с центром в точке О и радиусом OA1 описана около треугольника A1A2A3, причем она единственна, т. к. около любого треугольника можно описать только одну окружность.
Около любого правильного многоугольника
можно описать окружность, причем только
одну.