>>338

これを当然のように使うということは、微分(導関数)はdFとdxの割り算として定義されてんの？

ｄF／ｄｘ・ｄｘ＝dF


[積分の定義と導出]
定積分とは、区間a→bにおけるΣｆΔｘの極限値Σｆｄｘであり、それを∫ｆｄｘ(a→b)で表すと
∫ｆｄｘ(a→b)＝Σｆｄｘ＝ΣｄF／ｄｘ・ｄｘ＝ΣdF
＝F(x1)-F(a) + F(x2)-F(x1) + ・・・ + F(b)-F(xn) ＝F(b)-F(a)となる。
ここでｆ＝ｄＦ／ｄｘであり、このＦを求めることをＦ＝∫ｆｄｘと表して不定積分という。