если провести через В прямую II СD до пересечения с АВ в точке М, то треугольник АВМ подобен треугольнику АВК, то есть равносторонний, АВ = АМ.
При этом АМ = АВ - ВС, что завершает доказательство.
