Given: AC = BD

From the figure,

AC = AB + BC

BD = BC + CD

AB + BC = BC + CD

According to Euclid’s axiom,

When two equals are subtracted from equals, remainders are also equal.

Subtracting BC both sides,

AB + BC – BC = BC + CD – BC

AB = CD