[天沙门昆]

是x对t求导，式中还有一个未知数y，
1000x'=10000-0.5×1.5×1.8×v^2/cos（y）
1000（x/tan（y））'=0.5×2.5×1.5×（v/tan（y））^2/sin（y）
能不能解出来……