Правильный многоугольник и окружность
Теорема. В правильный многоугольник можно вписать окружность, и
притом только одну.
А1
А2
А3
Аn
Н2
О
Н1
Пусть О – центр описанной окружности
Δ А1А2О = Δ А2А3О= Δ А3А4О = ...
ОН1, ОН2, ОН3, … высоты этих треугольников
Вывод ОН1 = ОН2= ОН3 = ОН4 = ОН5 = …. Окружность с центром О и радиусом ОН1 проходит через точки Н1, Н2, Н3, … и касается многоугольника в этих точках, то есть эта окружность вписана в многоугольник.
ОН1=ОН2=ОН3=… (?)
Единственность: Предположим, что существует еще одна окружность, вписанная в многоугольник. Её центр О1 равноудален от сторон многоугольника, то есть точка О лежит на каждой из биссектрис углов многоугольника и, следовательно, совпадает с точкой О пересечения этих биссектрис. Радиус второй окружности равен расстоянию от О до сторон многоугольника, то есть равен ОН1. Т.О. Вторая окружность совпадает с первой.
Н3