m_1 = 3
O = (0, 0)
α_1 = 0.5235987755982988 rad
β_1 = 1.0471975511965976 rad
M_o: (0, -m_1)
B = Rotate(M_o, α_1, O)
α = Angle(M_o, O, B)
a = Line(O, B)
b = Mirror(a, yAxis)
c = OrthogonalLine(M_o, a)
C = Intersect(a, c)
ko = Circle(M_o, C)
r = Segment(M_o, C)
m = Segment(O, M_o)
d = Line(M_o, xAxis)
D = Point(d)
E = Rotate(D, -β_1, M_o)
β_2 = Angle(E, M_o, D)
e = Line(M_o, E)
F, G = Intersect(ko, e)
f = Segment(M_o, F)
g = OrthogonalLine(F, f)
H = Point(b)
h = OrthogonalLine(H, b)
M_u = Intersect(h, yAxis)
k = Circle(M_u, H)
J = Point(g)
i = OrthogonalLine(J, g)
R_1 = Segment(J, M_u)
R_2 = Segment(H, M_u)
K = Intersect(g, yAxis)
β = Angle(J, K, M_u)
L = Mirror(H, yAxis)
M = Mirror(C, yAxis)
bko = Segment(M, C)
p = Segment(H, L)
q = Segment(M_o, K)
s = Segment(K, M_u)
Intersect(m, yAxis)
Intersect(m, yAxis)
Intersect(m, yAxis)
K_o = Intersect(bko, m)
Stange = Segment(C, L)
K_u = Intersect(p, s)