Mathematics · Ch 12 — Limits and Derivatives
Algebra of Derivative of Functions
Algebra of Derivative of Functions
The Algebra of Derivatives: Why Limits Make It Work
Derivatives are defined through limits — the derivative of a function at a point is . Because limits themselves obey algebraic rules (the limit of a sum is the sum of the limits, and so on), it is natural that derivatives follow similar rules. This section collects those rules into a single theorem and then uses them to build derivatives of standard functions step by step.
Theorem 5: The Four Basic Rules of Differentiation
Let and be two functions whose derivatives exist over a common domain. Then:
- Sum Rule
The derivative of the sum of two functions equals the sum of their derivatives.
- Difference Rule
The derivative of the difference of two functions equals the difference of their derivatives.
- Product Rule
The derivative of the product of two functions is given by:
- Quotient Rule
If , the derivative of the quotient of two functions is:
Note
The proofs of these four rules follow directly from the corresponding limit laws (limit of a sum, limit of a product, etc.). The textbook states these proofs are not given here, but the logic is: each derivative is a limit of a difference quotient, and the algebraic manipulation of that quotient mirrors the limit algebra you already know.
A Handy Notation: The Leibnitz Form
To make the product and quotient rules easier to remember, let and . Then:
Product rule (Leibnitz rule):
Quotient rule:
The order in the product rule matters: "first times derivative of second plus second times derivative of first." A common mnemonic is "first d-second plus second d-first."
The Derivative of
Before applying the rules, we need a starting point. The simplest non-constant function is . Using the definition:
So the derivative of is the constant function .
Example: Derivative of (Ten Terms of )
We can compute this in two ways, both illustrating the sum rule and the product rule.
Method 1 — Using the sum rule:
Write (ten terms). Then:
Each , so:
Method 2 — Using the product rule:
Write as where (a constant function) and .
We know (derivative of a constant is zero) and .
By the product rule:
Both methods give the same result, as they must.
A constant function has derivative zero. Do not confuse "the derivative of " with "the derivative of " — the factor makes all the difference.
Derivative of
Write as . Using the product rule with , :
This matches the pattern we expect: the derivative of is .
Theorem 6: Derivative of for Positive Integer
This is the power rule, and the textbook proves it in two ways.
›Proof
Proof 1 — Using the definition and the binomial theorem:
By definition:
Expand using the binomial theorem:
Subtract :
Factor out :
Now the difference quotient becomes:
Take the limit as . Every term containing vanishes, leaving only the first term:
…
Theorem 6: The Power Rule for Positive Integer Exponents
The theorem states that if where is a positive integer, then the derivative exists for all real and equals . The only hypothesis is that (the set of positive integers). The domain of the derivative is all real numbers — the same as the domain of itself.
Complete Proof
The textbook gives two independent proofs. Both are rigorous; the first uses the binomial theorem directly from the limit definition, while the second uses mathematical induction together with the product rule. We present both in full.
›Proof
Proof 1 (Using the limit definition and binomial theorem)
By the definition of the derivative,
Expand using the binomial theorem:
Since and , this becomes
Subtract from both sides:
Factor out from every term on the right-hand side:
Now substitute this into the limit:
Cancel (valid for , which is all that matters in the limit):
As , every term that contains a factor of vanishes. The only term that survives is the first one, , which has no in it. Therefore,
This completes the proof.
Proof 2 (By mathematical induction and the product rule)
Base case: . We have . From the limit definition,
Since , the formula holds. So the statement is true for .
Induction hypothesis: Assume that for some positive integer , we have
Induction step: Prove the statement for . Write . Apply the product rule with and :
We know from the base case, and by the induction hypothesis . Substituting:
This is exactly the formula for . By the principle of mathematical induction, the statement holds for all positive integers . …
Theorem 6: The Power Rule for Positive Integer Exponents
The theorem states that if where is a positive integer, then the derivative exists for all real and equals . The only hypothesis is that (the set of positive integers). The domain of the derivative is all real numbers — the same as the domain of itself.
Complete Proof
The textbook gives two independent proofs. Both are rigorous; the first uses the binomial theorem directly from the limit definition, while the second uses mathematical induction together with the product rule. We present both in full.
›Proof
Proof 1 (Using the limit definition and binomial theorem)
By the definition of the derivative,
Expand using the binomial theorem:
Since and , this becomes
Subtract from both sides:
Factor out from every term on the right-hand side:
Now substitute this into the limit:
Cancel (valid for , which is all that matters in the limit):
As , every term that contains a factor of vanishes. The only term that survives is the first one, , which has no in it. Therefore,
This completes the proof.
Proof 2 (By mathematical induction and the product rule)
Base case: . We have . From the limit definition,
Since , the formula holds. So the statement is true for .
Induction hypothesis: Assume that for some positive integer , we have
Induction step: Prove the statement for . Write . Apply the product rule with and :
We know from the base case, and by the induction hypothesis . Substituting:
This is exactly the formula for . By the principle of mathematical induction, the statement holds for all positive integers . …