s2=l2-h2其中s,l分别都是t的函数,h应该是常数(与t无关)即s=s(t)l=l(t)方程左右同时对t求导(s2可以看成u=u(s)=s2,s=s(t)的复合函数)根据复合函数求导法则d(s2)/dt=2s(ds/dt)(即s2先对s自己求导=2s,再乘以s对t的导(函)数(这里是抽象的符号ds/dt))右侧同理常数的导函数为0有2s*ds/dt=2l*dl/dt+0再移项(注意分母不能为0)整理将v0那个公式带入可得结论