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.