>>102
その定義に従うならば常に
df=(∂f/∂x)Δx
となるので冗長でしょう
広く使われている微分形式の定義とcompatibleでないことからも良くない議論です
一変数で議論してますが、そのやり方で多変数の場合は説明できないのでは?

そもそもdf/dxの本来の意味は「df÷dx」ではなく「fにd/dxを作用させる」という意味です
それは微分形式を用いた議論でも変わりません
一変数では割り算と考えても形式的には正しいですが、多変数では上手くいきません
実際、多変数の場合は区別するために微分の記号は∂/∂xに置き換えます