A = (1.34, -1.96)
B = (9.12, -2.1)
C = (4.66, -0.18)
a = Segment(A, C)
b = Segment(C, B)
c = Segment(B, A)
A' = Rotate(A, 90°, A)
C' = Rotate(C, 90°, A)
a' = Segment(A', C')
A'' = Rotate(A', 90°, C')
C'' = Rotate(C', 90°, C')
a'' = Segment(A'', C'')
C'_1 = Rotate(C, 270°, B)
B' = Rotate(B, 270°, B)
b' = Segment(C'_1, B')
D = Rotate(C'_1, 270°, C'_1)
B'' = Rotate(B', 270°, C'_1)
b'' = Segment(D, B'')
d = Segment(A'', C)
e = Segment(B'', C)
f = Segment(C', C'_1)
F = Midpoint(f)