Perpendicular Bisector

The circles at A and B must
have the same radius.

\overline{AE} \cong \overline{BE} \mbox{ and }
\overline{AB} \perp \overline{CD}

A = (-2.6, 2.2)
B = (3.7600000000000002, 0.96)
a = Segment(A, B)
c = Circle(A, 2 / 3 Distance[A, B])
d = Circle(B, 2 / 3 Distance[A, B])
C = Intersect(c, d, 1)
D = Intersect(c, d, 2)
b = Line(C, D)
E = Intersect(a, b)