Thêm điều kiện

A = (1.266345494472457, -5.015301094231556)
B = (9.439866097763941, -5.088278956760944)
a = Segment(A, B)
b = OrthogonalLine(A, a)
c = OrthogonalLine(B, a)
C = Point(b)
d = OrthogonalLine(C, b)
D = Intersect(c, d)
e = Segment(A, C)
f = Segment(C, B)
g = Segment(D, B)
h = Segment(D, A)
α = Angle(B, A, C)
β = Angle(D, B, A)
i = false
j = Segment(C, A)
k = Segment(D, B)