導関数にdf/dxのような記号を使う理由を微分可能f'(x)を前提にdy、dx
を定義して回りくどく説明しただけのこと。
df=f'(x)dx は 全微分に拡張できるから意味がある。