C = Point(a)
B = (3, 0)
A = (-2, 0)
j = Line(A, B)
poly1, c, a_1, b = Polygon(A, B, C)
e = OrthogonalLine(A, a)
f = OrthogonalLine(B, a)
E = Intersect(e, a)
F = Intersect(f, a)
poly2, a_2, b_1, f_1, e_1 = Polygon(A, B, F, E)
g = OrthogonalLine(C, j)
D = Intersect(g, h)
i = Segment(C, D)