A = (13.50037710826543, -5.878053528405117)
B = (17.143161234687803, -5.878053528405117)
đa giác1, a, b, c, d, C, D = Polygon(A, B, 4.0)
e = LineBisector(d)
E = Point(e)
f = Segment(E, D)
g = Segment(E, A)
α_1 = Angle(A, E, D)
A' = Rotate(A, -(α_1), E)
β = Angle(A', E, A)
h = Segment(A', E)
A'' = Rotate(A', -(α_1), E)
γ = Angle(A'', E, A')
i = Segment(A'', E)
j = Segment(A'', A')
k = Segment(A', A)