A_1 = (-4.075944479342965, 0.9892343064466307)
B_1 = (2.199134325576639, 0.9456049750098472)
u = Vector(A_1, B_1)
α = 0.5759586531581288 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
A = (5.176098105943902, 13.528238553362147)
C = (17.203031778627647, 17.457830743446934)
a = Segment(A, C)
B = Point(a)
b = Segment(A, B)
c = Segment(B, C)
C'_1 = Translate(A, u)
E'_1 = Translate(B, u)
b' = Segment(C'_1, E'_1)
E' = Translate(B, u)
D' = Translate(C, u)
c' = Segment(E', D')
F = (5.850876562827149, 3.6447188025428328)
A' = Rotate(C'_1, -(α), F)
G = Rotate(E'_1, -(α), F)
b'' = Segment(A', G)
B' = Rotate(E', -(α), F)
C' = Rotate(D', -(α), F)
c'' = Segment(B', C')