K = (10.874291865045935, -9.003977035360569)
L = (13.53442181972732, -8.993144627168139)
đa giác3, k_1, l_1, d_1, e_1, M, N = Polygon(K, L, 4.0)
h_1 = LineBisector(e_1)
O = Point(h_1)
i_1 = Segment(O, N)
j_1 = Segment(O, K)
m_1 = LineBisector(d_1)
P = Intersect(h_1, m_1)
p_1 = Circle(P, O)
Q = Intersect(p_1, m_1, 1.0)
n_1 = Segment(Q, N)
q_1 = Segment(Q, M)
α_3 = Angle(N, Q, M)
M' = Rotate(M, α_3, Q)
η = Angle(M, Q, M')
r_1 = Segment(Q, M')
M'' = Rotate(M', α_3, Q)
θ = Angle(M', Q, M'')
s_1 = Segment(Q, M'')
t_1 = Segment(M'', M')
a_2 = Segment(M', M)