莱布尼兹乘积微分公式证明纠错

假定u与v是一元实函数，莱布尼兹微分公式成立：

  d（uv）= vdu + udv

证明：

（u+△u）（v+△v）- uv = udv+ v△u + △u△v等式两边除以△x，再取标准部分运算st，因为st（△u△V）= 0，所以，莱布尼兹公式成立。

说明：当年，莱布尼兹的证明有错误，就在于他不懂超实数“st”运算，消除不掉最后一项。

袁萌  11月29日