D = (-5, 4)
c = Line(D, xAxis)
A = (-2, 2)
B = (2, 2)
C = Point(c)
a = Segment(A, C)
b = Segment(B, C)
s: a + b
text1: "s = a + b  = " + s
e, f = AngularBisector(a, b)
A' = Mirror(A, f)
a' = Segment(A', C)
B' = Mirror(B, f)
b' = Segment(B', C)