Для доказательства данного утверждения рассмотрим описанный вокруг многоугольника радиус-вектор R и радиус равностороннего треугольника, вписанного в многоугольник, равный r. Обозначим периметр многоугольника через P, а его площадь через S.
По формуле для площади многоугольника через радиус-вектор и радиус равностороннего треугольника:
Докажем, что S = (P * r) / 2:
- Рассмотрим равносторонний треугольник, вписанный в многоугольник. Его сторона равна R (радиус-вектор).
- Разобьем треугольник на несколько равносторонних треугольников с вершинами в точках пересечения сторон многоугольника со вписанным треугольником.
- Рассмотрим один из таких треугольников. Его высота будет равна r (радиусу равностороннего треугольника).
- Каждый такой треугольник можно рассматривать как равнобедренный треугольник, в котором биссектриса угла при вершине делит основание на две равные части. Таким образом, сторона многоугольника, примыкающая к боковой стороне равностороннего треугольника, будет равна R, а каждая из половинок основания такого треугольника равна r.
- Полученные равносторонние треугольники составляют весь многоугольник, а высота всех таких треугольников соответствует радиусу r.
- Периметр многоугольника P равен длине всех сторон многоугольника, то есть P = n * R, где n - число сторон многоугольника.
- Таким образом, S = (P * r) / 2 = (n * R * r) / 2 = n * S1, где S1 - площадь одного из равносторонних треугольников.
Таким образом, доказано, что площадь описанного многоугольника равна половине произведения его периметра на радиус вписанной окружности.