Show trace

Show envelope

Show perpendicular bisector

A = (0, -2)
s = Segment((-9.1, -2), (9.1, -2))
d = OrthogonalLine(A, yAxis)
T = Point(s)
F = Point(yAxis)
b = LineBisector(F, T)
p = Envelope(b, T)
L_p = Sequence((i, -2), i, -9, 9)
L = Sequence(LineBisector[F, L_p(i)], i, 1, 19)
L_b = Take(L, 1, 9 + floor(x(T) + 1))
t = false
e = false
a: true