y = -\frac12

\mathbb{S}

(0,1)

(0,0)

\leftarrow

\swarrow

\swarrow

\nwarrow

\nwarrow

\rightarrow

\rightarrow

\rightarrow

\rightarrow

\rightarrow

\rightarrow

\rightarrow

\rightarrow

\rightarrow

\rightarrow

\searrow

\searrow

\searrow

\searrow

\searrow

\searrow

\searrow

\searrow

\searrow

\searrow

\searrow

\nearrow

\nearrow

\nearrow

\nearrow

\nearrow

\nearrow

\nearrow

\nearrow

\nearrow

\nearrow

\downarrow

\downarrow

\uparrow

\uparrow

\uparrow

\downarrow

\leftarrow

f: y = -1 / 2
c: x^(2) + (y - 1 / 2)^(2) = 1 / 4
A = Point(c)
B = Point(c)