r = 4.0000000000000036 (slider from 0 to 5, step 0.1)
v = 5.20000000000001 (slider from 0 to 8, step 0.1)
S = (5.877083333333334, -5.847916666666665)
c = Circle(S, r)
a = OrthogonalLine(S, yAxis)
s: sqrt(r² + v²)
V_1 = Point(Circle[S, r + s])
b = Segment(S, V_1)
α: r 180 ° / s
A = Rotate(S, α, V_1)
β = Angle(S, V_1, A)
d = Ray(V_1, A)
B = Rotate(S, -α, V_1)
γ = Angle(B, V_1, S)
e = Ray(V_1, B)
φ = Angle(B, V_1, A)
f = Circle(V_1, s)
C = Intersect(f, e, 1)
D = Intersect(f, d, 1)
g = CircleArc(V_1, C, D)
h = Segment(C, V_1)
i = Segment(V_1, D)
f_1(x) = sqrt(r² - x²) / r
f_2(x) = -sqrt(r² - x²) / r
V: (0, v)
A_1: (-r, 0)
A_2: (r, 0)
O = (0, 0)
j = Segment(A_1, A_2)
k = Segment(A_2, V)
l = Segment(V, A_1)
P, a_2, v_1, o = Polygon(V, O, A_2)