Skip to content

Differentiation Rules

Theorem

Let II be an open interval, and let f,g ⁣:I→R.f,g\colon I\to\mathbb{R}\text{.} At every point where the stated derivatives exist:

  1. If ff is a constant function, then f′(x)=0.f'(x)=0\text{.}

  2. If ff is the identity function f(x)=x,f(x)=x\text{,} then f′(x)=1.f'(x)=1\text{.}

  3. (Power rule) For a positive integer k,k\text{,} if f(x)=xkf(x)=x^k then f′(x)=kxk−1.f'(x)=kx^{k-1}\text{.} To prove it from the definition, factor xk−x0k=(x−x0)(xk−1+xk−2x0+⋯+x0k−1);x^k-x_0^k=(x-x_0)\left(x^{k-1}+x^{k-2}x_0+\cdots+x_0^{k-1}\right)\text{;} after dividing by x−x0,x-x_0\text{,} the second factor has kk terms, each tending to x0k−1x_0^{k-1} as x→x0.x\to x_0\text{.}

  4. (Sum and difference rule) If ff and gg are differentiable, then f±gf \pm g is differentiable, and (f±g)′(x)=f′(x)±g′(x).(f \pm g)'(x) = f'(x) \pm g'(x)\text{.}

  5. (Product rule) If ff and gg are differentiable, then fgf g is differentiable, and (fg)′(x)=f′(x)g(x)+f(x)g′(x).(fg)'(x) = f'(x)g(x) + f(x)g'(x)\text{.}

  6. If ff is differentiable and cc is a real number, then cfcf is differentiable, and (cf)′(x)=cf′(x).(cf)'(x) = cf'(x)\text{.}

  7. If gg is differentiable and g(x)≠0,g(x)\neq0\text{,} then 1/g1/g is differentiable at x,x\text{,} and (1g)′(x)=−g′(x)g(x)2.\displaystyle \left(\frac{1}{g}\right)'(x)=-\frac{g'(x)}{g(x)^2}\text{.}

  8. (Quotient rule) If ff and gg are differentiable and g(x)≠0,g(x)\neq0\text{,} then f/gf/g is differentiable at x,x\text{,} and

(fg)′(x)=f′(x)g(x)−f(x)g′(x)g(x)2.\left(\frac{f}{g}\right)'(x)=\frac{f'(x)g(x)-f(x)g'(x)}{g(x)^2}.

Interpretation

Differentiation rules compute derivatives without returning to the difference quotient each time: once the derivatives of a few basic functions are known, the derivative of any expression built from them by sums, products, quotients and constant multiples follows mechanically. Each rule is proved once from the definition of the derivative.

The sum and constant-multiple rules say that differentiation is linear: (af+bg)′=af′+bg′(af+bg)'=af'+bg' for constants a,ba,b. The product rule is not of this form. Over a small step hh, the change in fgfg consists of the change in ff times gg, plus ff times the change in gg, plus the product of the two changes. After division by hh the last term tends to 00, which leaves f′g+fg′f'g+fg'. The quotient rule follows from the product rule and rule 7 by writing f/g=f⋅(1/g)f/g=f\cdot(1/g).

Repeated use of rules 1 to 6 shows that every polynomial is differentiable on R\mathbb{R}, with

(anxn+⋯+a1x+a0)′=nanxn−1+⋯+a1,(a_nx^n+\cdots+a_1x+a_0)' =na_nx^{n-1}+\cdots+a_1,

and the quotient rule extends this to rational functions wherever the denominator is nonzero. Together with the chain rule for compositions, the rules reduce the derivative of any elementary expression to the derivatives of its building blocks.

A common slip is to differentiate a product factor by factor. In general (fg)′≠f′g′(fg)'\neq f'g': for f(x)=g(x)=xf(x)=g(x)=x one has f′(x)g′(x)=1f'(x)g'(x)=1, while (x2)′=2x(x^2)'=2x. In the quotient rule the order in the numerator matters, since f′g−fg′f'g-fg' and fg′−f′gfg'-f'g differ by a sign.


Key Results

  • Differentiation rules preserve differentiability under algebraic operations.
  • The product and quotient rules account for interactions between factors.
  • Constant multiples factor out of derivatives.
  • Together with the chain rule, the standard formulas give

    (ln⁡x)′=1x    (x>0),(bx)′=bxln⁡b    (b>0),(xp)′=p xp−1    (x>0, p∈R).\begin{gathered} (\ln x)'=\frac{1}{x}\;\;(x>0),\\ (b^x)'=b^x\ln b\;\;(b>0),\\ (x^p)'=p\,x^{p-1}\;\;(x>0,\ p\in\mathbb{R}). \end{gathered}

    The domain condition x>0x>0 is essential for a general real exponent p;p\text{;} for integer powers the power rule holds wherever the expression is defined.


Examples

  • (x2+3x)′=2x+3.(x^2+3x)'=2x+3\text{.}
  • (x2sin⁡x)′=2xsin⁡x+x2cos⁡x.(x^2\sin x)'=2x\sin x+x^2\cos x\text{.}

Prerequisites

Sources

Aliases: derivative rules, product rule, quotient rule, chain rule Keywords: sum rule, product rule, quotient rule, differentiate a product, differentiate a quotient, derivative of a composite function Symbols: element of, real numbers

Last updated: 22 October 2026 19:04