Поскольку касательные перпендикулярны радиусу в точке касания, то треугольники ОАС и OBD прямоугольные. Рассмотрим их. Здесь:
- АО=ВО как радиусы окружности;
- Используем один из признаков равенства прямоугольных треугольников: если катет и прилежащий к нему острый угол одного прямоугольного треугольника соответственно равны катету и прилежащему к нему острому углу другого, то такие треугольники равны. Значит, в равных треугольниках ОАС и OBD равны и их гипотенузы. ОС=OD.