m_c

m_b

h_a

sol1

sol2

B = (-4, 1)
f = Line(B, xAxis)
m_{C} = Point(f)
m_{B} = Point(f)
g = OrthogonalLine(B, xAxis)
h_{A} = Point(g)
h_a = Segment(B, h_{A})
m_c = Segment(B, m_{C})
m_b = Segment(B, m_{B})
k = LineBisector(B, h_{A})
c = Circle(B, m_{B})
M_b = Intersect(c, k, 1)
l = Segment(B, M_b)
G = Dilate(M_b, 2 / 3, B)
C_{mb}: m_{B}
C_{mc}: m_{C}
d = Circle(G, (2 / 3 * m_c))
C', C = Intersect(d, f)
G' = Dilate(G, 1.5, C)
A = Mirror(C, M_b)
h = Segment(B, A)
i = Segment(A, C)
j = Segment(G', C)
m = OrthogonalLine(M_b, f)
U = Intersect(f, m)
n = Segment(M_b, U)
A' = Mirror(C', M_b)
p = Segment(B, A')
q = Segment(A', C')
D = Midpoint(A', B)
r = Segment(D, C')
a = true
b = true
E = Rotate(M_b, 20°, B)
F = Rotate(m_{B}, (-(10°)), B)
e = CircleArc(B, F, E)