Угол между касательной и секущей, проведенными из одной точки, измеряется полуразностью заключенных внутри него дуг.
Доказательство:
∠1 - внешний для треугольника ACD, поэтому ∠1=∠2+∠ACD или ∠ACD=∠1-∠2. По теореме об угле между касательной и хордой ∠1= ∪AD*0,5, а по теореме о вписанном угле ∠2= ∪AB*0,5. Таким образом, ∠ACD=0,5*(∪AD-∪AB). Что и требовалось доказать.