A = (-6.303292143805464, -0.686426200218107)
B = (12.01439259137397, -0.6606991149158902)
Y_3 = Segment(A, B)
C = Midpoint(Y_3)
c = Circle(C, B)
D = Point(c)
X_2 = Segment(D, A)
Y = Segment(D, B)
e = OrthogonalLine(D, Y_3)
E = Intersect(e, Y_3)
X_3 = Segment(D, E)
α = Angle(B, E, D)
β = Angle(A, D, B)
khoangcachDB = Distance(D, B)
khoangcachDA = Distance(D, A)
Văn bảnDA: "=" + khoangcachDA
X_1 = Segment(A, E)
Y_1 = Segment(E, B)
a = Distance(Y, X_2)
b = Segment(A, E)
X = Segment(E, B)