Две окружности пересекаются в точках А и В. К этим окружностям проведена общая касательная, которая касается окружностей в точках С и D . Докажите, что прямая АВ делит отрезок СD пополам. укажите альтернативные теоретические факты, которые могут использоваться в решении задач

Решение задачи (пошагово, с пояснениями) Задача: две окружности пересекаются в точках A и B. Проведена общая касательная l к обеим окружностям, касающаяся их в точках C и D соответственно. Докажите, что прямая AB делит отрезок CD пополам. 1) Обозначим окружности как S1 и S2. Пусть l — общая касательная, касающая S1 в C и S2 в D. Пусть E — точка пересечения AB и l (если AB пересекает l, как утверждает задача). 2) AB — радикальная ось двух окружностей S1 и S2. Это следует из того, что A и B лежат на обеих окружностях, значит мощности PowS1(A)=PowS2(A)=0 и PowS1(B)=PowS2(B)=0. Следовательно, любая прямая, проходящая через A и B, является радикальной осью (линия AB есть единственная прямая, состоящая из таких точек). 3) Для точки E, лежащей на касательной l и на радикальной оси AB, справедливо свойство равенства мощностей: PowS1(E) = PowS2(E). 4) Мощность точки E относительно окружности S1, если E лежит на касательной l, которая касается S1 в C, равна: PowS1(E) = EC^2 (потому что EC — длина касательной от E до S1). А аналогично относительно S2: PowS2(E) = ED^2. 5) Следовательно, из PowS1(E) = PowS2(E) следует EC^2 = ED^2, значит EC = ED (расстояния положительные). Это означает, что точка E равно середине отрезка CD. Итак, точка пересечения AB и CD (то есть E) является серединой отрезка CD. Таким образом, прямая AB делит CD пополам. Дополнительные альтернативные теоретические факты, которые могут быть использованы при решении подобных задач - Мощность точки относительно окружности: - Pow(P, окружность) = PT^2, где PT — длина касательной от P до окружности, если P лежит вне окружности и PT касается её в точке касания. - Pow(P, окружность) = PA · PB, если прямая через P пересекает окружность в точках A и B. - Радикальная ось двух окружностей: - Линия всех точек с равными мощностями относительно двух окружностей. В частности, линии AB и любая другая прямая, содержащая все такие точки, образуют радикальную ось двух окружностей. - Радикальная ось S1 и S2 перпендикулярна линии центров O1O2. - Свойство для точек на общей касательной: - Если точка P лежит на касательной к окружности в точке T, то Pow(P, окружность) = PT^2. Это позволяет заменить Pow(P, окружность) на квадрат длины касательной от P до точки касания. - Теорема о равных касательных: - Из точки вне окружности две касательные к окружности имеют равные длины, то есть если из P идти к касательным точкам T1 и T2, то PT1 = PT2. Эта идея лежит в основе равенства Pow(P, окружность) для разных касательных. - Связанные corollaries полезны в задачах о нескольких окружностях: - Любая общая касательная к двум окружностям образует точки касания C и D, и отношение мощностей точки на радикальной оси к этим касательным точкам приводит к равенству длин от этой точки до C и до D, если точка лежит на радикальной оси. Эти факты часто применяются вместе: через радикальную ось, мощность точки и длины касательных можно быстро вывести равенство соответствующих отрезков и получить нужное деление пополам.