Проведем через точку А прямую Ас1,параллейную прямой ВD(c1-точка пересечения этой прямой с прямой СD) Тогда OAB~ACC1 по первому признаку подобия треугольников(уголО=углуСАС1,уголОАВ=углуС), следовательно, ОА/Ас=ОВ/АС1. так как АС1=ВD,то ОА/ОВ=АС/ВД,что и требовалось доказать.
