With the algebra of derivatives (Section 9) in hand, only the derivatives
of the basic building blocks -- powers of x, and sinx, cosx -- are still needed to
differentiate any polynomial or trigonometric expression built from sums, differences, products
and quotients of them. Each is derived here from first principles.
Derivative of a constant. For f(x)=c (constant), f′(x)=h→0limhc−c=h→0lim0=0: a constant function has zero derivative everywhere, exactly as
expected for a function whose rate of change is always zero.
Theorem (power rule). For any positive integer n,
dxd(xn)=nxn−1.
Proof. By definition and the binomial theorem,
dxd(xn)=limh→0h(x+h)n−xn.
Expanding (x+h)n by the binomial theorem,
(x+h)n=xn+(1n)xn−1h+(2n)xn−2h2+⋯+(nn)hn,
so
(x+h)n−xn=nxn−1h+(2n)xn−2h2+⋯+hn=h[nxn−1+(2n)xn−2h+⋯+hn−1].
Dividing by h and letting h→0, every term after the first carries a positive power of h
and so vanishes, leaving only the first term:
dxd(xn)=nxn−1.■
(The same formula also holds for negative integer and rational exponents n, though the proof
differs slightly in each case and is not needed within this syllabus.) Combined with the sum and
scalar-multiple rules of Section 9, this immediately differentiates any polynomial term by term:
for p(x)=c0+c1x+c2x2+⋯+cnxn,
p′(x)=c1+2c2x+3c3x2+⋯+ncnxn−1.
Theorem. dxd(sinx)=cosx.
Proof. By definition,
dxd(sinx)=limh→0hsin(x+h)−sinx.
Use the sum-to-product identity sinA−sinB=2cos(2A+B)sin(2A−B) with A=x+h, B=x, so 2A+B=x+2h and
2A−B=2h:
sin(x+h)−sinx=2cos(x+2h)sin(2h).
So
hsin(x+h)−sinx=cos(x+2h)⋅h/2sin(h/2).
As h→0: cos(x+2h)→cosx (continuity of cosine, Section 4), and
h/2sin(h/2)→1 (the standard limit of Section 4, applied with h/2→0). Hence
dxd(sinx)=cosx⋅1=cosx.■
Theorem. dxd(cosx)=−sinx.
Proof. By an identical argument, using cosA−cosB=−2sin(2A+B)sin(2A−B):
cos(x+h)−cosx=−2sin(x+2h)sin(2h)⟹hcos(x+h)−cosx=−sin(x+2h)⋅h/2sin(h/2) h→0 −sinx.■
Derivatives of the remaining trigonometric functions, obtained from these two using the
quotient rule of Section 9 (not re-derived from first principles): writing tanx=sinx/cosx
with u=sinx, u′=cosx, v=cosx, v′=−sinx, …