1. 首先判断$t$是否是$v$的函数:
根据路程公式$s = vt$($s$表示路程,$v$表示速度,$t$表示时间),已知$s = 500$,则$t=\frac{500}{v}(v\gt0)$。
对于$v$在取值范围$(0,+\infty)$内的每一个确定的值,$t$都有唯一确定的值与之对应,所以$t$是$v$的函数。
2. 然后求速度至少达到多少:
已知$t\leqslant12.5$,由$t = \frac{500}{v}$,可得$\frac{500}{v}\leqslant12.5$。
因为$v\gt0$,不等式两边同时乘以$v$,不等号方向不变,得到$500\leqslant12.5v$。
再将不等式两边同时除以$12.5$,即$v\geqslant\frac{500}{12.5}$。
计算$\frac{500}{12.5}=40$。
所以$t$是$v$的函数;速度至少要达到$40\mathrm{n\ mile/h}$。