If AB is perpendicular bisector of CD at P then
CP = PD
If AE = BE, then CD is the perpendicular bisector of line segment AB.
If AE = BE and ∠ DEB =90∘, then CD is the perpendicular bisector of line segment AB.