Perpendicular Bisector
Author: Scott Farrar

Step 1: Compass with width AB

Step 2: Compass with width BA

Step 3: Straightedge Construct from intersection C to intersection D

A = (4.956190476190476, -2.651428571428572)
B = (8.811428571428571, -2.567619047619049)
a = Segment(A, B)
c = Circle(A, B)
d = Circle(B, A)
C = Intersect(c, d, 1)
D = Intersect(c, d, 2)
b = Segment(C, D)
α = Angle(a, b)
e = false
f = false
g = false
E = Intersect(b, a)
h = Segment(A, E)
i = Segment(B, E)