H_a

h_b

h_b/2

h_b/2

sol 1

sol 2

MH_a = (-3.4622950819672123, 1.1206545017880563)
CMHa: MH_a
f = Line(MH_a, xAxis)
g = OrthogonalLine(MH_a, xAxis)
A = Point(g)
Ca: A
M_a = Point(f)
CMa: M_a
h_a = Segment(A, MH_a)
m_a = Segment(A, M_a)
MH_b = Point(g)
CMHb: MH_b
h_b = Segment(MH_a, MH_b)
Mb2 = Midpoint(MH_b, MH_a)
Mb2' = Mirror(Mb2, MH_a)
h = Segment(Mb2', M_a)
i = Line(MH_a, h)
j = Segment(M_a, Mb2)
k = Line(MH_a, j)
l = Line(A, M_a)
J = Intersect(i, l)
I = Intersect(k, l)
ω = Midpoint(I, J)
c = Circle(ω, J)
C, C' = Intersect(c, f)
m = Segment(A, C)
n = Segment(A, C')
B = Mirror(C, M_a)
p = Segment(A, B)
B' = Mirror(C', M_a)
q = Segment(A, B')
r = Segment(C, B)
t1, b, a, c_1 = Polygon(A, C, B)
s = Segment(B', C')
t2, c', b', a_1 = Polygon(B', A, C')
d = true
e = false
t = OrthogonalLine(B, m)
f_1 = Line(A, C)
H_b = Intersect(t, f_1)
h_1 = Segment(H_b, B)
g_1 = Line(A, C')
i_1 = OrthogonalLine(B', g_1)
H_b' = Intersect(i_1, g_1)
h_2 = Segment(B', H_b')