Since AD and BE are perpendicular bisectors of each other, we can conclude:
Besides, ∠ACB and ∠ECD are vertical angles, so, we can conclude:
If two sides and the included angle of one triangle are congruent to the corresponding parts of another triangle, the triangles are congruent, therefore:
By Side-Angle-Side (SAS) Congruence.