Треугольник ВОС подобен треугольнику АОС по двум углам: угол АОВ=СОДкак вертикальные, угол АВД=ВДС как накрестлежащие. треугольники подобны⇒сходственные стороны пропорциональны, т.е АО/ОС=ВО/ОД=АВ/ДС=а/б