P: x^(2) + y^(2) - z = 0
a: x + (3 * y) - z = -3
P0 = IntersectPath(a, P)
b: z - (1 / 2 * x) = 1
P1 = IntersectPath(b, P)