Все равенства выведены на основе подобия треугольников. Треугольник АДС подобен треугольнику ВДС как прямоугольные по острому углу, уголА=уголДСВ, СД/АД=ДВ/СД, СД в квадрате=АД*ДВ, треугольник АВС подобен треугольнику ВДС по острому углу В-общий, ВС/АВ=ДВ/ВС, ВС в квадрате=АВ*ДВ, треугольник АДС подобен АВС, уголА-общий, АД/АС=АС/АВ. АС в квадрате=АВ*АД