A ziehen

q: z = 0
h: y = x^(2) + 1
c = IntersectPath(q, h)
gl1: x^(2) - y^(2) = 1
S: (0, 0, 2)
A = Point(c)
f = Line(A, S)
A' = Mirror(A, S)
g = Segment(A, A')
p: z = 4
B = (2.808, 3.508)
C = (4.048, 3.508)