In the following figure, if AC = BE, then prove that AD = EC.
From figure, AC = AB.
So, ∠ACB=∠ABC ⋯(I) [angles opposite to equal sides are equal]
and ∠CBE+∠ABC=180∘ [linear pair].
⇒∠CBE=180∘−∠ABC ⋯(II)
Similarly, ∠ACD+∠ACB=180∘ (Linear pair)
∴∠ACD=180∘−∠ACB−(III)
But from (I), ∠ACB=∠ABC
⇒ ∠ACD=∠CBE (from (II) and (III))
In ΔACD and ΔEBC,
AC = EB (given)
∠ACD=∠EBC (Proved above)
CD = BC (Given)
So, by SAS postulate,
ΔACD≅ΔEBC
Hence, AD = EC (CPCT)