A_1 = (-6.277098120418844, 0.20820506493405253)
B_1 = (25.182213533191202, 0.20820506493405253)
b = Line(A_1, B_1)
C = (0.25736089220910335, 5.568809165113866)
a = Line(C, b)
A = Point(a)
c = OrthogonalLine(A, a)
H = Intersect(b, c)
F = (-7.959623494927837, -8.087036316366097)
G = (-2.8337903772376505, -8.087036316366097)
e = Segment(F, G)
f = Circle(H, e)
H_1 = Intersect(f, b, 2.0)
α = Angle(H_1, H, A)
h = Segment(A, H)
khoangcachAD = Distance(A, H)
Văn bảnAD: "\overline{" + (Name[A]) + (Name[H]) + "} \, = \, " + khoangcachAD
j = Distance(a, b)
a' = Mirror(a, b)
A' = Point(a')
k = OrthogonalLine(A', a')
H' = Intersect(b, k)
h' = Segment(A', H')
khoangcachA'H' = Distance(A', H')
Văn bảnA'H': "\overline{" + (Name[A']) + (Name[H']) + "} \, = \, " + khoangcachA'H'
d = Circle(H', e)
B = Intersect(d, b, 1.0)
β = Angle(B, H', A')
D = Point(a)
g = OrthogonalLine(D, a)
E = Intersect(a', g)
p = Circle(D, e)
q = Circle(E, e)
I = Intersect(p, a, 2.0)
J = Intersect(q, a', 2.0)
i = Ray(D, I)
l = Ray(E, J)
m = Ray(D, A)
n = Ray(E, A')
M = Point(i)
M' = Point(l)
r = OrthogonalLine(M, b)
s = OrthogonalLine(M', b)
K = Intersect(b, r)
K' = Intersect(b, s)
t = Segment(M, K)
a_1 = Segment(M', K')
c_1 = Circle(K, e)
d_1 = Circle(K', e)
L = Intersect(c_1, b, 2.0)
γ = Angle(L, K, M)
N = Intersect(d_1, b, 1.0)
δ = Angle(N, K', M')
o = Distance(a_1, t)