Для решения этой задачи воспользуемся теоремой косинусов. Пусть AB, BC, CD, DE, EA - диагонали пятиугольника. Так как все диагонали равны между собой, то AB = BC = CD = DE = EA = x (пусть x - длина диагонали). Пусть углы между диагоналями при вершинах А, В, С, D, E равны α. Мы должны доказать, что стороны пятиугольника равны между собой. Рассмотрим треугольник ABC. Из теоремы косинусов для этого треугольника имеем:
AC^2 = AB^2 + BC^2 - 2 * AB * BC * cos(α) (1).
Аналогично рассмотрим треугольники BCD, CDE, DEA, EAB и запишем для них соответствующие уравнения, используя формулу для косинусов:
CD^2 = BC^2 + CD^2 - 2 * BC * CD * cos(α) (2), DE^2 = CD^2 + DE^2 - 2 * CD * DE * cos(α) (3), EA^2 = DE^2 + EA^2 - 2 * DE * EA * cos(α) (4), AB^2 = EA^2 + AB^2 - 2 * EA * AB * cos(α) (5).
Учитывая, что диагонали равны между собой (AB = BC = CD = DE = EA = x), заменим значения AB, BC, CD, DE, EA в уравнениях (1)-(5) на x:
AC^2 = x^2 + x^2 - 2 * x * x * cos(α) (1'), CD^2 = x^2 + x^2 - 2 * x * x * cos(α) (2'), DE^2 = x^2 + x^2 - 2 * x * x * cos(α) (3'), EA^2 = x^2 + x^2 - 2 * x * x * cos(α) (4'), AB^2 = x^2 + x^2 - 2 * x * x * cos(α) (5').
Теперь вычитаем из (1') + (3') + (5') уравнения (2') + (4'):
(AC^2 + DE^2 + AB^2) - (CD^2 + EA^2) = (x^2 + x^2 - 2 * x * x * cos(α)) + (x^2 + x^2 - 2 * x * x * cos(α)) - (x^2 + x^2 - 2 * x * x * cos(α)) - (x^2 + x^2 - 2 * x * x * cos(α)) = 0.
Таким образом, получаем:
AC^2 + DE^2 + AB^2 = CD^2 + EA^2.
Это равенство показывает, что сумма квадратов сторон треугольников ABC и CDE равны между собой.
Аналогично, другие суммы квадратов сторон треугольников CDE и DEA, DEA и EAB, EAB и BCD также равны между собой.
Это означает, что все стороны пятиугольника равны между собой, что и требовалось доказать.
