Для доказательства равенства отрезков, нужно использовать аксиому о равенстве отрезков базисной конструкции. В данном случае, по условию дано, что отрезок АС равен отрезку ВС.
Теперь для доказательства того, что отрезок АВ равен отрезку ВА, рассмотрим треугольники. По аксиоме о равенстве треугольников стороны равных треугольников соответственно равны, а значит, поскольку АС равен ВС, треугольник АВС и треугольник ВСА имеют равные стороны (АС=ВС).
Следовательно, отрезок АВ равен отрезку ВА по свойству равенства сторон треугольников.
