$\textsf{\LARGE O}$

$\textsf{\LARGE A}$

(XA2 - XO2 - s²)² < 4s² XO2

(XA2 - XO2 - s²)² > 4s² XO2

XA2 := Simplify(XA^2)

I: (1, 0)
O = (0, 0)
r = Line(O, I)
H = Point(r)
B = Point(r)
s = 3 (slider from 0 to 5)
c = Circle(O, s)
A = Point(Segment[B, H])
d(x, y) = (XA2(x, y) - XO2(x, y) - s^(2))^(2) < ((4 * s^(2)) * XO2(x, y))
e(x, y) = (XA2(x, y) - XO2(x, y) - s^(2))^(2) > ((4 * s^(2)) * XO2(x, y))
ec1:=(XA2 - XO2 - s^(2))^(2) = ((4 * s^(2)) * XO2)