F'

A = Intersect(xAxis, yAxis)
TamañoVelo = Point(Ray[A, Vector[(1, 0)]])
g = OrthogonalLine(TamañoVelo, xAxis)
TamañoVelo2 = Point(x = x(A))
h = Segment(TamañoVelo2, A)
f = OrthogonalLine(TamañoVelo2, yAxis)
D = Intersect(f, g)
j = Segment(TamañoVelo, D)
V = Point(Ray[Mirror[TamañoVelo, yAxis], Vector[(-1, 0)]])
l = OrthogonalLine(V, xAxis)
B = Intersect(f, l)
H = Point(Segment[V, B])
m = OrthogonalLine(H, l)
I = Intersect(m, j)
O = Point(Ray[H, Vector[(-1, 0)]])
t = Segment(O, I)
E = Intersect(h, t)
c = Segment(E, I)
i = Segment(A, TamañoVelo)
k = Segment(D, TamañoVelo2)
F = Point(Ray[V, Vector[(1, 0)]])
n = 4 (slider from 0 to 10, step 1)
N = Point(c)
lista1 = Sequence((x(A) + (w * Distance[A, TamañoVelo] / n), y(A)), w, 0, n)
lista2 = Sequence(Segment[N, Element[lista1, w]], w, 1, n + 1)
p = Segment(O, F)
F' = Intersect(l, p)
q = OrthogonalLine(F', yAxis)
K = Intersect(q, Element[lista2, 1])
F'' = Mirror(K, m)
r = Segment(F'', K)
L: (x(V) - (2 / 5 * Distance[A, TamañoVelo]), 0)
s = Segment(L, F)
a = Segment(F', K)
b = Segment(H, V)
P = Intersect(r, c)