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