A'D'=a+b
A'C'=a-b

A'C'=a-b
A'D'=A+b

A = (-3, -4)
B = (1, -4)
a = Segment(A, B)
C = (-3, -5)
D = (-1, -5)
b = Segment(C, D)
A' = (-1, 0)
B' = (3, 0)
a' = Segment(A', B')
d = Line(A', B')
e = Circle(B', Segment[C, D])
C', D' = Intersect(e, d)
c = Segment(B', D')
f = Segment(B', C')