微分形式ではdf=f’(x)dxからdf/dx=f’(x)は形式的に導かれるものです

これは高校で教えられる形式的な形と何の変わりもありません

しかし、関数の微分と考えれば、df/dxはただの割り算としてみなすことができるのです

それをわからない人がたくさんいるというお話です