Для доказательства того, что прямая \( ОС \) является серединным перпендикуляром к отрезку \( AB \) в окружности с центром \( O \), где \( AB \) — хорда, а \( C \) — точка касания прямой, касающейся окружности, следуем этим шагам:
Определение и свойства касательной: Прямая \( CT \) касается окружности в точке \( C \), поэтому она перпендикулярна радиусу \( OC \) в этой точке. Это значит, что угол \( OCB \) равен \( 90^\circ \).
Параллельность прямых: Поскольку хорда \( AB \) параллельна касательной \( CT \), это приводит к тому, что угол \( OAB \) равен углу \( OCB \) по свойству параллельных прямых и последовательных углов. Следовательно, \( \angle OAB = \angle OCB = 90^\circ \).
Середина отрезка: Точка \( M \) — середина отрезка \( AB \). Поскольку \( AB \) параллелен \( CT \) и перпендикулярен \( OC \), это значит, что прямая \( OM \) должна проходить перпендикулярно через середину хорды \( AB \).
Перпендикулярность: Таким образом, мы можем сказать, что прямая \( OC \) перпендикулярна отрезку \( AB \) и проходит через его середину.
В результате мы доказали, что прямая \( OC \) действительно является серединным перпендикуляром к отрезку \( AB \).