γ1+γ2=γ

A = (-1.7408400000000013, 0.26004000000000044)
B = (4.54148, 0.26004000000000044)
a = Segment(A, B)
b = LineBisector(A, B)
C = Point(b)
c = Segment(C, A)
d = Segment(C, B)
α = Angle(B, A, C)
β = Angle(C, B, A)
D_1 = Intersect(b, a)
γ_1 = Angle(A, C, D_1)
γ_2 = Angle(D_1, C, B)
γ = Angle(A, C, B)
D = Intersect(b, a)