Для доказательства того, что прямая AB делит отрезок CD пополам, рассмотрим следующие шаги:
Поскольку прямая CD касается обеих окружностей, то она перпендикулярна к радиусам окружностей в точках С и D. Обозначим точку касания внешней касательной и окружности с центром O1 как E, а точку касания внешней касательной и окружности с центром O2 как F.
Рассмотрим треугольник O1CE и треугольник O2DF. Эти треугольники равны по стороне, общей для них, радиусам окружностей, и двум углам, общим для них, так как углы между радиусом и касательной прямой равны 90 градусов. Следовательно, угол O1CE равен углу O2DF.
Теперь рассмотрим треугольники O1CA и O2DA. По построению, угол О1СА равен углу О2ДА, так как они являются вписанными углами в одну и ту же дугу.
Учитывая равенство углов O1CE и O2DF, а также углов О1СА и О2ДА, мы имеем подобные треугольники O1CA и O2DA по признаку углов. Следовательно, соотношение сторон CA/DA равно отношению радиуса O1C/O2D.
Так как радиусы окружностей равны (по условию), то и стороны CA и DA равны. Это гарантирует, что прямая AB делит отрезок CD пополам.
Альтернативные теоретические факты, которые могут использоваться в решении задачи:
- Теорема о произведении отрезков секущей
- Теорема о произведении отрезков хорд