F = (12.513080475870595, -6.893204924723324)
G = (15.491992728786052, -6.814283093607118)
đa giác2, f_1, g_1, l, m, H, I = Polygon(F, G, 4.0)
n = LineBisector(m)
J = Point(n)
p = Segment(J, I)
q = Segment(J, F)
α_2 = Angle(F, J, I)
F' = Rotate(F, -(α_2), J)
δ = Angle(F', J, F)
r = Segment(F', J)
F'' = Rotate(F', -(α_2), J)
ε = Angle(F'', J, F')
s = Segment(F'', J)
I' = Rotate(I, α_2, J)
ζ = Angle(I, J, I')
t = Segment(J, I')
a_1 = Segment(I', I)
b_1 = Segment(F, F')
c_1 = Segment(F', F'')