Методы доказательства равенства отрезков АЦ и БД