A = (-4.236549624527259, -0.7893345414269817)
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_2 = Segment(D, B)
e = OrthogonalLine(D, Y_3)
E = Intersect(e, Y_3)
X = 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(X_2, Y_2)
b = OrthogonalLine(A, Y_3)
d = OrthogonalLine(B, Y_3)
F = Point(b)
f = OrthogonalLine(F, b)
G = Intersect(d, f)
g = Segment(A, F)
h = Segment(B, G)
Y = Segment(F, G)