A = (13.122606757004249, 26.56337062633028)
B = (16.49649904142047, 18.10879349008725)
C = (4.15202256549756, 18.307257742111734)
đa giác1, c, a, b = Polygon(A, B, C)
d = Circle(A, B, C)
e = LineBisector(a)
f = LineBisector(b)
O = Intersect(e, f)
E = Intersect(e, a)
F = Intersect(f, b)
g = Segment(O, E)
h = Segment(A, E)
i = Segment(F, B)
G = Intersect(h, i)
j = Line(C, B)
k_1 = Line(A, C)
l = OrthogonalLine(B, k_1)
m = OrthogonalLine(A, j)
H_1 = Intersect(m, j)
I = Intersect(l, k_1)
H = Intersect(l, m)
n = Segment(A, H_1)
p = Segment(B, I)
K = (20.108548428266094, 20.807907317620238)
k = -1.3 (slider from -5 to 5, step 0.1)
A'_1 = Dilate(A, k, K)
B'_1 = Dilate(B, k, K)
C'_1 = Dilate(C, k, K)
đa giác1', c', a', b' = Polygon(A'_1, B'_1, C'_1)
d' = Dilate(d, k, K)
B'_2 = Dilate(B, k, K)
I' = Dilate(I, k, K)
p' = Segment(B'_2, I')
A'_2 = Dilate(A, k, K)
H'_1 = Dilate(H_1, k, K)
n' = Segment(A'_2, H'_1)
A'_3 = Dilate(A, k, K)
E'_1 = Dilate(E, k, K)
h' = Segment(A'_3, E'_1)
D' = Dilate(O, k, K)
E' = Dilate(E, k, K)
g' = Segment(D', E')
J' = Dilate(H, k, K)
G'_1 = Dilate(G, k, K)
α = 2.321287905152458 rad (slider from 0 to 3.141592653589793, step 0.017453292519943295)
L = Rotate(A'_1, α, D')
M = Rotate(B'_1, α, D')
C' = Rotate(C'_1, α, D')
đa giác1'', c'', l_1, m_1 = Polygon(L, M, C')
A'' = Rotate(A'_3, α, D')
N = Rotate(E'_1, α, D')
h'' = Segment(A'', N)
O' = Rotate(D', α, D')
E'' = Rotate(E', α, D')
g'' = Segment(O', E'')
G' = Rotate(G'_1, α, O')
B' = Rotate(B'_2, α, O')
I'' = Rotate(I', α, O')
p'' = Segment(B', I'')
A' = Rotate(A'_2, α, O')
H'' = Rotate(H'_1, α, O')
n'' = Segment(A', H'')
H' = Rotate(J', α, O')