R = (9.585235290147969, -4.878377000933231)
S = (12.25774513990641, -6.337657133140645)
đa giác4, r_2, s_2, b_2, c_2, T, U = Polygon(R, S, 4.0)
d_2 = LineBisector(s_2)
V = Point(d_2)
e_2 = Segment(T, V)
f_2 = Segment(V, S)
g_2 = LineBisector(b_2)
W = Intersect(d_2, g_2)
h_2 = Circle(W, V)
Z = Intersect(h_2, g_2, 2.0)
i_2 = Segment(S, Z)
j_2 = Segment(Z, R)
α = Angle(T, V, S)
T' = Rotate(T, -(α), V)
ι = Angle(T', V, T)
S' = Rotate(S, α, V)
κ = Angle(S, V, S')
k_2 = Segment(V, S')
l_2 = Segment(S', S)
m_2 = Segment(T, T')
n_2 = Segment(T', V)