m_{\bot c}

m_{\bot a}

m_{\bot b}

s_c

s_b

s_a

M_1 = (0, 0)
c = Circle(M_1, 3)
A = Point(c)
B = Point(c)
C = Point(c)
d1, c_1, a, b = Polygon(A, B, C)
i = LineBisector(c_1)
h = LineBisector(a)
M = Intersect(i, h)
f = LineBisector(b)
D: M
g = Segment(A, D)
j = Segment(D, B)
α = Angle(B, A, C)
m = Segment(D, C)
F = Intersect(h, i)
l = Segment(M, B)
k = Line(C, c_1)
n = Line(B, b)
p = Line(A, a)
B' = Intersect(k, p)
A' = Intersect(k, n)
C' = Intersect(n, p)
E = Midpoint(a)
G = Midpoint(b)
H = Midpoint(c_1)
q = Segment(C, H)
r = Segment(A, E)
s = Segment(G, B)
S = Intersect(r, s)
I = (-6.198734479592368, 1.0548941448495044)
J = (-4.379597984834892, 1.0548941448495044)