A = (-3.496363636363633, -0.2365853658536601)
B = (4.237560975609758, -0.2720620842572078)
I = Midpoint(A, B)
a = Segment(A, I)
b = Segment(I, B)
c = OrthogonalLine(I, b)
D = Point(c)
α = Angle(B, I, D)
X = Point(c)
Y = Point(c)