Hiện các số đo độ dài

A_1 = (3.322753235946746, -2.3531566660502956)
B_1 = (8.762753235946747, -2.3731566660502956)
d = Line(A_1, B_1)
A = (2.819074842825443, 4.0299650055473375)
B = Point(d)
b = OrthogonalLine(A, d)
c = Segment(A, B)
H = Intersect(d, b)
d_1 = Segment(A, H)
khoangcachAB = Distance(A, B)
khoangcachAH = Distance(A, H)
C = Point(d)
e = Segment(A, C)
khoangcachAC = Distance(A, C)
Văn bảnAC: "\overline{" + (Name[A]) + (Name[C]) + "} \, = \, " + khoangcachAC
khoangcachHC = Distance(H, C)
Văn bảnHC: "\overline{" + (Name[H]) + (Name[C]) + "} \, = \, " + khoangcachHC
f = Distance(A, B)
Văn bảnAB: "\overline{" + (Name[A]) + (Name[B]) + "} \, = \, " + f
khoangcachHB = Distance(H, B)
Văn bảnHB: "\overline{" + (Name[H]) + (Name[B]) + "} \, = \, " + khoangcachHB
D = Point(d)
α = Angle(D, H, A)
a = true