Для доказательства утверждения, что угол между двумя секущими, проведёнными из точки, лежащей вне окружности, измеряется полуразностью дуг, заключённых внутри этого угла, мы можем воспользоваться следующими шагами.
Обозначим окружность \( O \) и точку \( A \), находящуюся вне этой окружности. Пусть секущие \( AB \) и \( AC \) пересекают окружность в точках \( B \) и \( C \) соответственно.
Рассмотрим дуги \( BC \) и \( BD \), где \( D \) — произвольная точка на окружности между точками \( B \) и \( C \). Дуги \( BC \) и \( CD \) закрыты углом \( BAC \).
По определению, угол между секущими \( AB \) и \( AC \) равен углу \( BAC \). Чтобы найти его измерение, нам нужно рассмотреть величины дуг, которые заключены этим углом.
Дуги, которые нас интересуют, это дуга \( BC \) (которая лежит внутри угла \( BAC \)) и дуга \( BD \) (которая находится с внешней стороны этого угла). Мы обозначим угол, соответствующий дуге \( BC \), как \( m(BD) \), а угол, соответствующий дуге \( CD \), как \( m(CD) \).
Угол \( BAC \) будет равен полуразности углов, соответствующих дугам, заключённым внутри: \[ m(BAC) = \frac{1}{2} \left( m(BC) - m(AD) \right) \]
Таким образом, угол между двумя секущими, проведёнными из точки вне окружности, действительно измеряется полуразностью дуг, заключённых внутри угла \( BAC \). Это свойство секущих и дуг окружности является важным в геометрии и помогает лучше понимать взаимосвязь между углами и дугами.