C = (3.337719498918492, -2.11984099634579)
B_2 = (11.859194257852126, -2.11984099634579)
a = Ray(C, B_2)
b = OrthogonalLine(C, a)
A = Point(a)
B = Point(a)
c = OrthogonalLine(A, a)
d = OrthogonalLine(B, a)
A_1 = Point(c)
e = Line(A_1, a)
B_1 = Intersect(d, e)
C_1 = Intersect(b, e)
D = Point(b)
f = Segment(C_1, A_1)
g = Segment(A_1, B_1)
l = Segment(A_1, A)
m = Segment(B_1, B)
I = (4.708183480767612, -3.894416152329904)
J = (5.147434757001304, -3.894416152329904)
h_1 = Segment(I, J)
k = Circle(A, h_1)
p = Circle(B, h_1)
K = Intersect(k, a, 1.0)
L = Intersect(k, a, 2.0)
M = Intersect(p, a, 1.0)
N = Intersect(p, a, 2.0)
i = Segment(A_1, K)
j = Segment(A_1, L)
n = Segment(B_1, M)
q = Segment(B_1, N)
r = Segment(D, A_1)
s = Segment(D, B_1)
α = Angle(D, A_1, C_1)
β = Angle(D, B_1, A_1)
t = Segment(D, C_1)
h = Segment(C_1, C)
khoangcachAB = Distance(A, B)
Văn bảnAB: "\overline{" + (Name[A]) + (Name[B]) + "} \, = \, " + khoangcachAB
a_1 = Segment(C_1, A_1)