m_a

h_c

h_b

sol 1

sol 2

A = (-3, 1)
f = Line(A, xAxis)
Mma = Point(f)
CMma: Mma
g = OrthogonalLine(A, xAxis)
Hhc = Point(g)
CHhc: Hhc
Hhb = Point(g)
CHhb: Hhb
c = Circle(A, Mma)
h = LineBisector(Hhc, A)
M_a = Intersect(c, h, 2)
i = Segment(A, M_a)
j = OrthogonalLine(M_a, f)
U = Intersect(j, f)
k = Segment(M_a, U)
h_b = Segment(A, Hhb)
h_c = Segment(A, Hhc)
m_a = Segment(A, Mma)
r_b: h_b / 2
d = Circle(M_a, r_b)
e = Semicircle(A, M_a)
V = Intersect(e, d)
l = Segment(V, M_a)
n = Line(A, V)
p = Line(Hhc, f)
C = Intersect(n, p)
q = Segment(A, C)
B = Mirror(C, M_a)
r = Segment(C, B)
I = Mirror(A, M_a)
m = Segment(M_a, I)
s = Segment(I, B)
t = Segment(A, B)
c_1 = Semicircle(M_a, A)
V' = Mirror(V, i)
a = Line(A, V')
C' = Intersect(p, a)
B' = Mirror(C', M_a)
b = Segment(B', C')
f_1 = Segment(A, C')
g_1 = Segment(B', A)
o = true
u = true
h_1 = Segment(M_a, V')