In the following figure, if AC = BD, then prove that AB = CD.


From the figure, it can be observed that


$B D=B C+C D$

It is given that $A C=B D$


According to Euclid’s axiom, when equals are subtracted from equals, the remainders are also equal.

Subtracting BC from equation (1), we obtain