Доказательство:
- Рассмотрим окружность с центром в точке E. Точки C и D лежат на этой окружности. Отрезок CD является хордой.
- Отрезок EF соединяет центры двух окружностей.
- Рассмотрим хорду CD. Перпендикуляр, опущенный из центра окружности на хорду, делит эту хорду пополам.
- В треугольнике ECD, EC = ED (радиусы окружности с центром E), значит, треугольник равнобедренный. EF является осью симметрии для точек C и D относительно окружности с центром E.
- Аналогично, в треугольнике FCD, FC = FD (радиусы окружности с центром F), значит, треугольник равнобедренный. EF также является осью симметрии для точек C и D относительно окружности с центром F.
- Отрезок EF проходит через середину хорды CD и является перпендикулярным к ней.
- Следовательно, прямая CD перпендикулярна прямой EF.
Что и требовалось доказать.