il triangolo equilatero puo' essere inscritto ad un circonferenza

il triangolo equilatero puo' essere circoscritto ad una circonferenza

A = (-0.8200000000000001, 2.9)
B = (-1.9000000000000001, 1)
poli1, a, a_1, b, C = Polygon(A, B, 3.0)
c = LineBisector(B, A)
d = LineBisector(A, C)
e = LineBisector(C, B)
D = Intersect(c, d)
f = Circle(D, Segment[D, C])
E = (5.54, 2.7800000000000002)
F = (4.26, 0.48)
poli2, g, e_1, f_1, G = Polygon(E, F, 3.0)
h = AngularBisector(F, G, E)
i = AngularBisector(E, F, G)
j = AngularBisector(G, E, F)
H = Intersect(h, i)
I = Intersect(j, e_1)
k = Circle(H, I)