$${t=\left(\int_1^2 \frac{ds}{v} \right)_\text{min}}$$