y

x

B = (285.07000769079394, 251.93929827918686)
C = (315.6460481561368, 279.3523000757011)
A = (216.88895194048922, 193.24735853536782)
D = (339.54456254284156, 194.65315349929165)
Y = Segment(A, D)
E = (215.83460571754642, 175.67492148632022)
F = (273.47219923842255, 176.0263702273012)
X = Segment(E, F)
O = (319.16053556594636, 308.1710968361392)
H = (471.3378404106987, 308.5225455771202)
a = Ray(O, H)
b = OrthogonalLine(O, a)
c = Circle(O, Y)
d = Circle(O, X)
I = Intersect(c, a, 1.0)
e = Segment(O, I)
g = OrthogonalLine(I, e)
J = Point(d)
K = Point(b)
f = OrthogonalLine(K, b)
L = Intersect(g, f)
h = Segment(O, J)
i = Segment(O, K)
k = Segment(K, L)
e_1 = Circle(O, X)
G = Intersect(g, f)
j = Segment(K, G)
l = Segment(I, G)
m = AngularBisector(J, O, I)
M = Point(m)
n = Segment(O, M)
α = Angle(J, O, M)
β = Angle(M, O, I)