- Assumptions
1. x(0) = 0; x(T) = X

2. v(0) = 0; v(T) = V

3. d(a)/dt <= 0

- Solution
- a(t) = constant = A = V^2/2X which implies T = 2X/V.

Proof:

- Consider assumptions as they apply to f(t) = A * t - v(t)
1. integral from 0 to T of f = 0

2. f(0) = f(T) = 0

3. d^2(f)/dt^2 <= 0

From the mean value theorem, f(t) = 0. QED.