1) Доказательство:
Дано: AB = CD
AC = AB + BC
BD = BC + CD
Т.к. AB = CD, то AB + BC = BC + CD
Следовательно, AC = BD
2) Доказательство:
Дано: AC = BD
AC = AB + BC
BD = BC + CD
Т.к. AC = BD, то AB + BC = BC + CD
Вычтем из обеих частей равенства BC:
AB + BC - BC = BC + CD - BC
AB = CD