ここから数学（超準解析もどき）
時間ｔの関数f(t) を考えます。距離ｘ＝f(t) とします。
短いΔｔ時間に進んだ距離をΔｘとします。
Δｔ→０では、Δｘ→０で ｘ＋Δｘは →ｘ です。
（ ＝ｘ ではありません）
これは、Δｘ→０で ｘ＋Δｘ＝ｘ＋dx と書けます。
（ ＝ｘ であれば、こうは書けない）
同様に、
Δｔ→０で ｔ＋Δｔは →ｔ です。
（ ＝ｔ ではありません）
これは、Δｔ→０で ｔ＋Δｔ＝ｔ＋dt と書けます。
で、
dx÷dt＝｛（ｘ＋dx）ーｘ} ÷ dt ＝｛f(t+dt)ーf(t)} ÷ dt
また、ｘ＝f(t) なので、
Δ{f(t)}→０で f(t)＋Δ{f(t)}は →f(t) です。
これは、Δ{f(t)}→０で f(t)＋Δ{f(t)}＝f(t)＋d f(t) と書けます。
したがって、dx÷dtは、
＝
と表せます。
これが、微分です。（めっちゃわかりやすいけど、妖しいなぁ）
超準解析については、おいおい勉強して行きます（上は、生病法です）
