H_o

P_o

m_1 = 4.000000000000001
O = (0, 0)
α_1 = 0.5235987755982988 rad
M: (0, -m_1)
B_1 = Rotate(M, α_1, O)
α = Angle(M, O, B_1)
a = Line(O, B_1)
b = Mirror(a, yAxis)
c = OrthogonalLine(M, a)
C = Intersect(a, c)
ko = Circle(M, C)
r = Segment(M, C)
m = Segment(O, M)
d = Line(M, xAxis)
D = Point(d)
E_1 = Rotate(D, -α_1, M)
β_2 = Angle(E_1, M, D)
e = Line(M, E_1)
F, G = Intersect(ko, e)
f = Segment(M, F)
E = OrthogonalLine(F, f)
B = Point(b)
h = OrthogonalLine(B, b)
K_1 = Intersect(E, yAxis)
L = Mirror(B, yAxis)
A = Mirror(C, yAxis)
bko = Segment(A, C)
p = Segment(B, L)
q = Segment(M, K_1)
Intersect(m, yAxis)
Intersect(m, yAxis)
Intersect(m, yAxis)
K = Intersect(bko, m)
i = Line(A, C)
H = Intersect(i, E)
j = Segment(A, B)
P = Intersect(E, p)
k = Line(P, O)
J = Intersect(k, i)
l = Segment(J, P)
n = Segment(P, F)