A small collection of derivative formulas covers the vast majority of differentiation work. Polynomials, trigonometric functions, exponentials, and logarithms appear constantly, and their derivatives should be available from memory. Every more complex derivative—a composition, a product, an implicitly defined relation—ultimately reduces to these building blocks combined through differentiation rules.
Each formula below is provable from the limit definition. For some, the proof is a direct algebraic manipulation of the difference quotient. For others, it requires special limits such as limh→0hsinh=1. The proofs confirm the formulas; the formulas replace the proofs in daily computation.
Constant Functions
For any constant c:
dxd[c]=0
The graph of a constant function is a horizontal line. Every secant line through two points on it has slope zero, so the tangent line at every point also has slope zero. From the limit definition, the difference quotient hc−c=0 for all h=0, and the limit is 0.
Under differentiation, constant terms vanish. In any sum f(x)+c, the constant contributes nothing to the derivative: dxd[f(x)+c]=f′(x).
Power Functions
For any real exponent n:
dxd[xn]=nxn−1
The rule applies uniformly across exponent types. Positive integers: dxd[x5]=5x4. Negative integers: dxd[x−3]=−3x−4. Fractions: dxd[x1/2]=21x−1/2=2x1. Irrational exponents: dxd[xπ]=πxπ−1.
For positive integer n, the proof expands (x+h)n using the binomial theorem. The leading term after cancellation is nxn−1h, and dividing by h and taking the limit gives nxn−1. All higher-order terms contain h as a factor and vanish in the limit.
Extension to negative and fractional exponents uses the quotient rule and the chain rule respectively, or alternatively logarithmic differentiation: writing xn=enlnx and applying the chain rule gives dxd[xn]=enlnx⋅xn=xn⋅xn=nxn−1.
Polynomials
A polynomial p(x)=anxn+an−1xn−1+⋯+a1x+a0 is differentiated term by term using the power rule, constant multiple rule, and sum rule:
p′(x)=nanxn−1+(n−1)an−1xn−2+⋯+a1
Each term drops its degree by one. The constant term a0 disappears. A polynomial of degree n has a derivative of degree n−1.
Polynomials are differentiable at every real number. Their derivatives are again polynomials, so the process can be repeated indefinitely. After n differentiations, a degree-n polynomial becomes a constant n!⋅an. One more differentiation yields zero, and all subsequent derivatives remain zero. This termination property distinguishes polynomials from transcendental functions, whose derivatives cycle or persist indefinitely.
Trigonometric Functions — Sine and Cosine
The two fundamental trigonometric derivatives are:
dxd[sinx]=cosxdxd[cosx]=−sinx
The sine derivative is proved from the limit definition. Expanding sin(x+h) using the angle addition formula gives sinxcosh+cosxsinh. The difference quotient becomes
hsinx(cosh−1)+cosxsinh=sinx⋅hcosh−1+cosx⋅hsinh
The special limitslimh→0hsinh=1 and limh→0hcosh−1=0 yield the result: cosx.
The cosine derivative follows similarly, or by differentiating cosx=sin(π/2−x) using the chain rule. The negative sign in (cosx)′=−sinx is essential and a frequent source of error.
Repeated differentiation cycles with period four: sinx→cosx→−sinx→−cosx→sinx. This periodicity extends to higher-order derivatives: dxndn[sinx]=sin(x+nπ/2).
The remaining four trigonometric derivatives follow from sine and cosine via the quotient rule or rewriting in terms of sine and cosine.
dxd[tanx]=sec2xdxd[cotx]=−csc2x
dxd[secx]=secxtanxdxd[cscx]=−cscxcotx
For tanx=cosxsinx, the quotient rule gives cos2xcosx⋅cosx−sinx⋅(−sinx)=cos2xcos2x+sin2x=cos2x1=sec2x.
A pattern runs through the six derivatives: the cofunctions—cos, cot, csc—each carry a negative sign in their derivatives, while sin, tan, sec do not. This sign pattern is worth noting as a memory aid rather than a coincidence.
Each derivative is valid on the domain of the original function. The derivatives of tanx and secx are undefined at x=π/2+kπ (where cosx=0). The derivatives of cotx and cscx are undefined at x=kπ (where sinx=0).
Exponential Functions
The natural exponential function has the unique property of being its own derivative:
dxd[ex]=ex
No other function satisfies f′(x)=f(x) except constant multiples Cex. This self-replicating property is what makes e the natural base for exponential functions.
The proof from the limit definition uses the special limitlimh→0heh−1=1. The difference quotient for ex factors as ex⋅heh−1, and the limit gives ex⋅1=ex.
For a general base a>0, a=1:
dxd[ax]=axlna
This follows from rewriting ax=exlna and applying the chain rule. The factor lna is constant—it scales the derivative. When a=e, lna=1 and the factor disappears, confirming the special role of base e.
Logarithmic Functions
The natural logarithm has derivative:
dxd[lnx]=x1x>0
This can be derived by implicit differentiation. If y=lnx, then ey=x. Differentiating both sides: eydxdy=1, so dxdy=ey1=x1.
Alternatively, the limit definition gives limh→0hln(x+h)−lnx=limh→0h1ln(xx+h)=limh→0h1ln(1+xh), which evaluates to x1 using the limit definition of e.
For a general base a>0, a=1:
dxd[logax]=xlna1
This follows from the change of base formula logax=lnalnx and the constant multiple rule. The natural logarithm gives the simplest derivative—another reason e is the preferred base.
The function ln∣x∣ extends the domain to all x=0, and its derivative is x1 for both positive and negative x. This extended form appears frequently in integration.
Summary of Common Derivatives
The complete set of common derivative formulas:
dxd[c]=0dxd[xn]=nxn−1
dxd[sinx]=cosxdxd[cosx]=−sinx
dxd[tanx]=sec2xdxd[cotx]=−csc2x
dxd[secx]=secxtanxdxd[cscx]=−cscxcotx
dxd[ex]=exdxd[ax]=axlna
dxd[lnx]=x1dxd[logax]=xlna1
These twelve formulas, combined with the differentiation rules, handle every explicit function built from powers, trigonometric functions, exponentials, and logarithms. Functions involving inverse trigonometric, hyperbolic, or piecewise definitions require the additional formulas collected in derivatives of special functions.