Две окружности с центрами в точках E и F пересекаются в точках C и D. Докажите, что EF перпендикулярны CD, если точки E и F лежат по одну сторону от прямой CD.

Решение:

• Рассмотрим окружности с центрами E и F, пересекающиеся в точках C и D.
• Соединим центры окружностей E и F отрезком EF.
• Соединим точки пересечения C и D отрезком CD.
• Рассмотрим треугольники ECF и EDF.
• EC = ED (радиусы первой окружности).
• FC = FD (радиусы второй окружности).
• EF - общая сторона для обоих треугольников.
• Следовательно, треугольники ECF и EDF равны по трем сторонам (по признаку равенства треугольников).
• Из равенства треугольников следует, что Угол CEF = Угол DEF и Угол CFE = Угол DFE.
• Теперь рассмотрим треугольники ECF и ECF.
• EC = ED (радиусы первой окружности).
• EF - общая сторона.
• Угол CEF = Угол DEF (доказано выше).
• Следовательно, треугольники ECF и EDF равны по двум сторонам и углу между ними (по первому признаку равенства треугольников).
• Из равенства этих треугольников следует, что Угол ECF = Угол EDF.
• Рассмотрим треугольники ACE и ADE, где A - точка пересечения EF и CD.
• AC = AD (потому что CD перпендикулярно EF, и EAF - биссектрисы углов CED и CFD).
• AE = AE (общая сторона).
• Угол CAE = Угол DAE (потому что EF - биссектриса угла CAD).
• Следовательно, треугольники ACE и ADE равны по двум сторонам и углу между ними.
• Из равенства треугольников следует, что Угол AEC = Угол AED.
• Также, Угол AEC + Угол AED = 180° (смежные углы).
• Значит, 2 * Угол AEC = 180°, откуда Угол AEC = 90°.
• Аналогично, рассматривая треугольники BCF и BDF (где B - точка пересечения EF и CD), мы можем доказать, что Угол BFC = 90°.
• Итак, прямая EF перпендикулярна прямой CD.

Доказано.