Теорема. Если u и v имеют производные в точке x, то и uv имеет: (uv)′=u′v+uv′.
Доказательство. Δ(uv)=(u+Δu)(v+Δv)−uv=Δu⋅v+u⋅Δv+ΔuΔv. Делим на Δx: ΔxΔuv+uΔxΔv+ΔxΔuΔv→u′v+uv′+u′⋅0 (Δv→0, функция с производной непрерывна).
Следствие: (Cu)′=Cu′ — постоянный множитель выносится.
Частное (при v(x)=0): (vu)′=v2u′v−uv′; в частности, (v1)′=−v2v′.