Предположим, что у нас есть окружность с центром O и две точки на этой окружности A и B. Пусть AB – это дуга окружности, и от точки O возможно провести две струны OA и OB, которые тянутся к этой дуге. Нам нужно доказать, что струны OA и OB равны.
Для начала, давайте рассмотрим треугольник OAB. Он образован сторонами OA, OB и стороной AB, которая является дугой окружности. Мы знаем, что оба конца дуги AB находятся на окружности с центром O.
Теперь предположим, что струны OA и OB не равны. Пусть OA будет короче, чем OB.
Так как OA и OB являются радиусами окружности, то они равны расстоянию от центра окружности O до соответствующих точек A и B на окружности.
Но поскольку OA и OB не равны, то мы можем сделать следующее предположение: пусть OA будет короче, чем OB. Тогда проведем прямую OD, которая будет перпендикулярна стороне AB и проходить через середину стороны AB.
Так как точки A и B расположены на окружности, то OD будет пересекать дугу AB точно посередине. Обозначим точку пересечения как M.
Теперь, так как OD проведена через середину дуги AB и перпендикулярна ей, то она также будет проходить через центр окружности O. Поскольку OM является радиусом окружности, то точка M будет находиться на окружности.
Но это противоречит исходному предположению, что точки A и B находятся на окружности. Точка M не может одновременно быть на окружности и внутри дуги AB. Значит, наше предположение OA < OB не может быть верным. Аналогично, предположение OB < OA также привело бы к противоречию. Таким образом, мы показали, что предположение, что струны OA и OB не равны, является ложным. Из этого следует, что струны, которые тянутся к равным дугам окружности, будут равными.