Q = (1, 1)
P = (-1, 1)
A = (-1, 0)
B: (1, 0)
g = Line(P, Q)
C = Point(g)
f = Line(A, B)
i = Line(C, B)
h = Line(A, C)
t1, c, a, b = Polygon(A, B, C)
j = Line(A, B)
v_c = OrthogonalLine(C, j)
v_b = OrthogonalLine(B, h)
V = Intersect(v_b, v_c)
GMB1 = Locus(V, C)
eq1 = LocusEquation(V, C)
r: eq1