lim[f(x+dx)*g(x+dx)-f(x)g(x)]/dx=lim[f(x+dx)*g(x+dx)-f(x)g(x+dx)+f(x)g(x+dx)-f(x)g(x)]/dx=lim g(x+dx)*[f(x+dx)-f(x)]/dx+lim f(x)*[g(x+dx)-g(x)]/dx=f'g+fg'
关键是添项
lim[f(x+dx)*g(x+dx)-f(x)g(x)]/dx=lim[f(x+dx)*g(x+dx)-f(x)g(x+dx)+f(x)g(x+dx)-f(x)g(x)]/dx=lim g(x+dx)*[f(x+dx)-f(x)]/dx+lim f(x)*[g(x+dx)-g(x)]/dx=f'g+fg'
关键是添项