A = (4, 0)
B: -(A)
C = (2, 2)
AC = Segment(A, C)
BC = Segment(B, C)
c, d = AngularBisector(AC, BC)
A' = Mirror(A, d)
BA' = Segment(B, A')
A'C = Segment(A', C)