You are viewing a free preview of this lesson.
Subscribe to unlock all 10 lessons in this course and every other course on LearningBro.
This lesson covers the formal definition of the derivative using limits, as required by the Edexcel A-Level Mathematics specification (9MA0). You need to understand the concept of differentiation from first principles and be able to apply it to polynomials, sin x, cos x, and eˣ.
The derivative of a function f(x) is defined as:
f'(x) = lim[h→0] (f(x + h) - f(x)) / h
This is called differentiation from first principles. The expression (f(x + h) - f(x)) / h is the gradient of the chord between the points (x, f(x)) and (x + h, f(x + h)). As h → 0, the chord becomes the tangent, and the gradient of the chord becomes the gradient of the curve.
| Term | Meaning |
|---|---|
| f(x + h) - f(x) | The change in y (the rise) |
| h | The change in x (the run) |
| (f(x + h) - f(x)) / h | The gradient of the chord (average rate of change) |
| lim[h→0] | Take the limit as h approaches zero |
| f'(x) | The gradient of the tangent (instantaneous rate of change) |
f'(x) = lim[h→0] ((x + h)² - x²) / h
Expand (x + h)² = x² + 2xh + h²:
= lim[h→0] (x² + 2xh + h² - x²) / h = lim[h→0] (2xh + h²) / h = lim[h→0] (2x + h) [divide numerator and denominator by h] = 2x + 0 = 2x
So d/dx(x²) = 2x. ✓
f'(x) = lim[h→0] ((x + h)³ - x³) / h
Expand (x + h)³ = x³ + 3x²h + 3xh² + h³:
= lim[h→0] (x³ + 3x²h + 3xh² + h³ - x³) / h = lim[h→0] (3x²h + 3xh² + h³) / h = lim[h→0] (3x² + 3xh + h²) = 3x² + 0 + 0 = 3x²
So d/dx(x³) = 3x². ✓
f'(x) = lim[h→0] (5(x + h) + 3 - (5x + 3)) / h = lim[h→0] (5x + 5h + 3 - 5x - 3) / h = lim[h→0] 5h / h = lim[h→0] 5 = 5
So d/dx(5x + 3) = 5. A linear function has a constant gradient. ✓
Exam Tip: In an exam, the first principles question will tell you which function to differentiate. Show every algebraic step, including the expansion, simplification, cancelling of h, and then substituting h = 0. Do not skip steps.
To differentiate sin x from first principles, you need the limit result:
lim[h→0] sin h / h = 1 (where h is in radians)
and:
lim[h→0] (cos h - 1) / h = 0
f'(x) = lim[h→0] (sin(x + h) - sin x) / h
Use the addition formula: sin(x + h) = sin x cos h + cos x sin h
= lim[h→0] (sin x cos h + cos x sin h - sin x) / h = lim[h→0] [sin x (cos h - 1) + cos x sin h] / h = lim[h→0] [sin x × (cos h - 1)/h + cos x × sin h / h] = sin x × 0 + cos x × 1 = cos x
So d/dx(sin x) = cos x. ✓
| Limit | Value | Condition |
|---|---|---|
| lim[h→0] sin h / h | 1 | h must be in radians |
| lim[h→0] (cos h - 1) / h | 0 | h must be in radians |
| lim[h→0] (eʰ - 1) / h | 1 | This defines the number e |
Exam Tip: These limit results are given or expected knowledge at A-Level. You do not need to prove them, but you must use them correctly.
f'(x) = lim[h→0] (cos(x + h) - cos x) / h
Use the addition formula: cos(x + h) = cos x cos h - sin x sin h
= lim[h→0] (cos x cos h - sin x sin h - cos x) / h = lim[h→0] [cos x(cos h - 1) - sin x sin h] / h = cos x × 0 - sin x × 1 = -sin x
So d/dx(cos x) = -sin x. ✓
f'(x) = lim[h→0] (e^(x+h) - eˣ) / h
Factor out eˣ from the numerator: e^(x+h) = eˣ × eʰ
= lim[h→0] (eˣ eʰ - eˣ) / h = lim[h→0] eˣ(eʰ - 1) / h = eˣ × lim[h→0] (eʰ - 1) / h = eˣ × 1 = eˣ
So d/dx(eˣ) = eˣ. ✓
This is the defining property of e: it is the unique number for which lim[h→0] (eʰ - 1)/h = 1.
There are several equivalent notations for the derivative:
| Notation | Meaning |
|---|---|
| f'(x) | The derivative of f(x) — Lagrange notation |
| dy/dx | The derivative of y with respect to x — Leibniz notation |
| d/dx[f(x)] | Differentiate f(x) with respect to x — operator notation |
All three are used interchangeably at A-Level. Leibniz notation (dy/dx) is particularly useful for the chain rule and related rates.
First principles questions typically ask you to:
f'(x) = lim[h→0] [3(x + h)² + 2(x + h) - (3x² + 2x)] / h
Expand: 3(x² + 2xh + h²) + 2x + 2h - 3x² - 2x = 3x² + 6xh + 3h² + 2x + 2h - 3x² - 2x = 6xh + 3h² + 2h
Divide by h: 6x + 3h + 2
Take limit as h → 0: 6x + 2
Check: d/dx(3x² + 2x) = 6x + 2. ✓
| Mistake | Correction |
|---|---|
| Forgetting lim[h→0] in working | Always write lim[h→0] until you actually substitute h = 0 |
| Dividing by h before simplifying the numerator | Simplify the numerator first so h cancels cleanly |
| Using degrees instead of radians for trig | First principles for sin x and cos x only works in radians |
| Writing dy/dx = (f(x + h) - f(x)) / h (without the limit) | The derivative is the LIMIT of this expression, not the expression itself |
| Confusing f(x + h) with f(x) + h | f(x + h) means substitute (x + h) into f. For example, if f(x) = x², then f(x + h) = (x + h)² |
Edexcel 9MA0 specification section 9 — Differentiation, sub-strand 9.1 covers the derivative of f(x) as the gradient of the tangent to the graph of y=f(x) at a general point (x,y); the gradient of the tangent as a limit; interpretation as a rate of change; differentiation from first principles for small positive integer powers of x and for sinx and cosx (refer to the official specification document for exact wording). Synoptically the topic depends on section 7 (limits and continuity, the formal device behind limh→0), section 5 (small-angle approximations sinh≈h and cosh≈1−h2/2, used to differentiate sinx), and section 2 (algebraic manipulation, especially binomial expansion of (x+h)n). The definition of the derivative is the foundation on which every later rule — power, product, quotient, chain — is built; without it the rules are unmotivated recipes. Differentiation from first principles is examined explicitly on Paper 1 (Pure) and is one of the few topics that returns almost every cycle.
Question (8 marks): Given that f(x)=x3−2x, find f′(x) from first principles.
Solution with mark scheme:
Step 1 — state the definition.
f′(x)=limh→0hf(x+h)−f(x)
M1 — explicit statement of the limit definition. The mark is awarded for the correct quotient with the limit notation; writing f′(x)=hf(x+h)−f(x) without the lim symbol scores nothing because the equality is false until the limit is taken.
Step 2 — substitute f(x+h) and f(x).
f(x+h)=(x+h)3−2(x+h) and f(x)=x3−2x, so:
f′(x)=limh→0h(x+h)3−2(x+h)−(x3−2x)
M1 — correct substitution into the definition. A common error: writing f(x+h)=x3+h3−2x−2h, missing the cross terms in the binomial expansion.
Step 3 — expand (x+h)3.
(x+h)3=x3+3x2h+3xh2+h3. Substituting:
f′(x)=limh→0hx3+3x2h+3xh2+h3−2x−2h−x3+2x
M1 — correct binomial expansion of (x+h)3.
Step 4 — cancel the x3 and −2x terms.
The x3 and −x3 cancel; the −2x and +2x cancel. What remains:
f′(x)=limh→0h3x2h+3xh2+h3−2h
A1 — correct numerator after cancellation, with no errors in sign tracking.
Step 5 — factor out h and divide.
f′(x)=limh→0hh(3x2+3xh+h2−2)=limh→0(3x2+3xh+h2−2)
M1 — factoring h from every term and cancelling. Crucially, the cancellation h/h=1 is valid because h=0 (we are taking a limit as h→0, never setting h=0).
A1 — correct simplification before taking the limit.
Step 6 — take the limit.
As h→0, 3xh→0 and h2→0, leaving:
f′(x)=3x2−2
M1 — correct evaluation of the limit, with the dependence on h explicitly disappearing.
A1 — final answer f′(x)=3x2−2.
Total: 8 marks (M5 A3, split as shown).
Question (6 marks): The function f is defined by f(x)=2x2+5x.
(a) Use differentiation from first principles to show that f′(x)=4x+5. (5)
(b) Hence find the gradient of the curve y=f(x) at the point where x=3. (1)
Mark scheme decomposition by AO:
(a)
(b)
Total: 6 marks split AO1 = 5, AO2 = 1. This mirrors the typical Edexcel pattern: the bulk of marks reward procedural fluency (AO1), with a single AO2 mark held back for explicit limit reasoning. Skipping the "as h→0" justification — even with all the algebra correct — costs the AO2 mark.
Connects to:
Section 7 — Limits and continuity: the very definition of f′(x) rests on the limit limh→0. Continuity at x is a necessary (but not sufficient) condition for differentiability at x. Functions like ∣x∣ are continuous at 0 but not differentiable there because the left- and right-hand limits of the difference quotient disagree.
Section 9 — gradient of secant becoming tangent: geometrically, hf(x+h)−f(x) is the gradient of the secant through (x,f(x)) and (x+h,f(x+h)). Letting h→0 slides the second point onto the first, and the secant rotates into the tangent. The derivative is the limit of secant gradients.
Section 5 — small-angle approximations: to differentiate sinx from first principles you need limh→0hsinh=1 and limh→0hcosh−1=0. These follow from the small-angle results sinh≈h and cosh≈1−h2/2 for small h in radians.
Section 9 — chain, product, quotient rules: every standard rule is derived from first principles. The product rule (uv)′=u′v+uv′ falls out of expanding hu(x+h)v(x+h)−u(x)v(x) by adding and subtracting u(x)v(x+h). Treat the rules as theorems, not axioms.
Section 8 — integration as inverse: the Fundamental Theorem of Calculus says that if F′(x)=f(x), then ∫abf(x)dx=F(b)−F(a). Without the first-principles definition of the derivative, integration has no rigorous link to area.
First-principles questions on 9MA0 split AO marks as follows:
| AO | Typical share | Earned by |
|---|---|---|
| AO1 (knowledge / procedure) | 60–70% | Stating the definition, expanding (x+h)n, cancelling and simplifying the difference quotient, applying small-angle approximations |
| AO2 (reasoning / interpretation) | 25–35% | Justifying the cancellation h/h=1 for h=0, justifying the limit step "as h→0", explaining why the h-dependent terms vanish |
| AO3 (problem-solving) | 0–10% | Rare for this topic; appears occasionally when first principles is combined with a tangent or rate-of-change application |
Examiner-rewarded phrasing: "as h tends to 0"; "in the limit"; "since h=0, we may divide by h"; "using the small-angle approximation sinh≈h for h near 0"; "the secant gradient approaches the tangent gradient". Phrases that lose marks: writing "let h=0" (which produces 0/0 before cancellation); omitting the lim symbol on every line where h still appears; using "≈" loosely without invoking a small-angle result; cancelling h without acknowledging h=0.
A specific Edexcel pattern to watch: questions phrased "use differentiation from first principles" forbid the use of the power rule. Writing "dxd(x3)=3x2 by the power rule" inside a first-principles question scores zero — the question is testing the derivation, not the result.
Question: Use the definition of the derivative as a limit to find f′(x) when f(x)=5x+2.
Grade C response (~210 words):
The definition is f′(x)=limh→0hf(x+h)−f(x).
Substituting: f(x+h)=5(x+h)+2=5x+5h+2, so:
hf(x+h)−f(x)=h5x+5h+2−5x−2=h5h=5
Taking the limit, f′(x)=5.
Examiner commentary: Full marks (3/3). The candidate states the definition with lim, substitutes correctly, cancels and simplifies, and takes the limit. The working is brief but every required step is present. For a linear function the limit is constant — 5 does not depend on h — which the candidate handles smoothly. A weaker answer would either omit the limit notation or skip the substitution step, jumping straight to "the gradient is the coefficient of x, so it's 5" — which is the right answer obtained from the wrong method. Examiners explicitly check that the question's instruction "from the definition" is honoured.
Grade A response (~250 words):*
By the limit definition of the derivative:
f′(x)=limh→0hf(x+h)−f(x)
Substituting f(x+h)=5(x+h)+2 and f(x)=5x+2:
f′(x)=limh→0h5(x+h)+2−(5x+2)=limh→0h5x+5h+2−5x−2
The 5x and +2 terms cancel, leaving:
f′(x)=limh→0h5h
Since h=0 throughout the limiting process, we may divide:
f′(x)=limh→05=5
So f′(x)=5, consistent with the geometric fact that y=5x+2 is a straight line of constant gradient 5.
Examiner commentary: Full marks (3/3). Beyond procedural correctness the candidate explicitly justifies the cancellation h/h=1 by invoking h=0, uses display-math notation, and closes with a geometric sanity-check linking the calculus result to the line's known gradient. The "consistent with" phrase is the kind of self-checking remark that flags examiner-aware sophistication. No mark is lost, but on a longer question the same habits earn the AO2 reasoning marks.
Question: Given that f(x)=x2+4x, use differentiation from first principles to find f′(x).
Grade B response (~290 words):
f′(x)=limh→0hf(x+h)−f(x)
f(x+h)=(x+h)2+4(x+h)=x2+2xh+h2+4x+4h
f(x+h)−f(x)=x2+2xh+h2+4x+4h−x2−4x=2xh+h2+4h
Divide by h: h2xh+h2+4h=2x+h+4
Let h=0: f′(x)=2x+4.
Examiner commentary: Method correct, answer correct, but the candidate writes "Let h=0" at the final step rather than "as h→0". This is the canonical Grade B error — the maths is right but the language betrays a misunderstanding of what a limit is. Setting h=0 in the original quotient hf(x+h)−f(x) gives 0/0, which is undefined. The reason the cancellation works is that we never set h=0 — we cancel first, then take the limit. Examiners may award full marks here (the algebra is correct), but on a 9-mark version of this question the AO2 mark for limit reasoning would be lost. Score: 5/6 or 6/6 depending on examiner strictness.
Grade A response (~340 words):*
By the limit definition of the derivative:
f′(x)=limh→0hf(x+h)−f(x)
Compute f(x+h) by binomial expansion:
f(x+h)=(x+h)2+4(x+h)=x2+2xh+h2+4x+4h
The difference f(x+h)−f(x) is:
(x2+2xh+h2+4x+4h)−(x2+4x)=2xh+h2+4h
Substituting into the difference quotient and factoring h:
hf(x+h)−f(x)=hh(2x+h+4)
Since h=0 throughout the limiting process (the limit considers h approaching but never equal to 0), we may cancel h:
hf(x+h)−f(x)=2x+h+4
Taking the limit as h→0, the h term vanishes:
f′(x)=limh→0(2x+h+4)=2x+4
Examiner commentary: Full marks (6/6). The candidate uses the precise phrase "since h=0 throughout the limiting process" — exactly the AO2 justification examiners reward. The factoring step h(2x+h+4) is shown explicitly before cancellation. The closing line states "as h→0, the h term vanishes" rather than the lazy "let h=0". Every line keeps the lim symbol present until the limit is actually taken. This is precisely the discipline that distinguishes a Grade A* script: the mathematics has not changed but the language of limits has been used correctly throughout.
Question: (a) Show that limh→0hsinh=1 may be assumed (state but do not prove). (1) (b) Hence use differentiation from first principles to prove that dxd(sinx)=cosx. (8)
Grade A response (~410 words):*
(a) For h measured in radians, the standard limit limh→0hsinh=1 is taken as known. We will also use limh→0hcosh−1=0, which follows.
(b) By the limit definition of the derivative:
dxd(sinx)=limh→0hsin(x+h)−sinx
Apply the addition formula sin(x+h)=sinxcosh+cosxsinh:
=limh→0hsinxcosh+cosxsinh−sinx
Factor sinx from the first and third terms:
=limh→0hsinx(cosh−1)+cosxsinh
Split the limit:
=sinx⋅limh→0hcosh−1+cosx⋅limh→0hsinh
(sinx and cosx are constants with respect to h and may be taken outside the limit.)
Using the assumed limits:
=sinx⋅0+cosx⋅1=cosx
So dxd(sinx)=cosx, as required. The key intuition is that the small-angle approximations sinh≈h and cosh≈1−h2/2 make the first limit zero (the −h2/2 vanishes faster than h) and the second limit 1 (the dominant term is h itself).
Examiner commentary: Full marks (9/9). (a) is a B1 for stating the limit cleanly. (b) deploys M1 for the definition, M1 for the addition formula, M1 for factoring, M1 for splitting the limit, A1 for taking constants outside, A1 for substituting the assumed limits, A1 for the final result, A1 (AO2) for the closing intuition linking small-angle approximations to the limits. The candidate's discipline of splitting the limit only after factoring is crucial — splitting prematurely (before the cosh−1 structure emerges) produces limhsinxcosh, which diverges. This is examination craft of the highest level.
The errors that distinguish A from A* on first-principles questions:
Setting h=0 immediately rather than taking the limit. The single most common error: candidates write "let h=0 in the difference quotient" and obtain 0/0. The correct approach is to cancel h first (justified by h=0 during the limiting process) and then take the limit. The distinction is the conceptual heart of calculus.
Mishandling cancellation in h(x+h)3−x3. Candidates expand (x+h)3=x3+h3 (forgetting the cross terms 3x2h and 3xh2), or expand correctly but then fail to factor h from every term. The full expansion is x3+3x2h+3xh2+h3; subtracting x3 leaves 3x2h+3xh2+h3, every term divisible by h.
Using limh→0 notation incorrectly. Writing f′(x)=hf(x+h)−f(x) without the lim is a category error — the equation is false until the limit is taken. Equally bad is dropping the lim midway through the working, then re-introducing it at the end. The lim symbol should appear on every line until the limit is actually evaluated.
Confusing f(x+h) with f(x)+h. f(x+h) requires substituting (x+h) everywhere x appears in f. For f(x)=x2, f(x+h)=(x+h)2=x2+2xh+h2, not x2+h. This is the foundational substitution error.
Treating sin(x+h) as sinx+sinh. The addition formula sin(x+h)=sinxcosh+cosxsinh is essential for differentiating sinx from first principles. Distributing sin over addition is a classic A-Level howler that destroys the proof.
Forgetting that small-angle approximations require radians. sinh≈h holds only when h is in radians. In degrees, sinh≈180πh. Edexcel A-Level differentiation is always in radians; failing to flag this is a conceptual error even if the numbers come out right.
Cancelling h inside a limit as if it were ordinary algebra. The cancellation h/h=1 is justified by h=0, which is true throughout the limiting process (we approach 0 but never reach it). Stating "h=0, so we cancel" earns the AO2 mark; silently cancelling does not.
Three patterns repeatedly cost candidates marks on Paper 1 first-principles questions. They are about discipline of notation, not technique.
This pattern is endemic to Paper 1 first-principles questions: candidates know the algebra, lose marks on the language of limits.
Differentiation from first principles points directly toward several undergraduate trajectories:
Oxbridge interview prompt: "Differentiate f(x)=∣x∣ at x=0 from first principles. What goes wrong? Now define a function that is differentiable everywhere but whose derivative is not continuous."
A common A* question on 9MA0 Paper 1 is to derive dxd(sinx)=cosx from first principles using the addition formula and small-angle approximations.
Worked example: Show from first principles that dxd(sinx)=cosx.
By the limit definition:
dxd(sinx)=limh→0hsin(x+h)−sinx
Apply the addition formula sin(x+h)=sinxcosh+cosxsinh:
=limh→0hsinxcosh+cosxsinh−sinx=limh→0hsinx(cosh−1)+cosxsinh
Split into two limits (valid since both individual limits exist):
=sinx⋅limh→0hcosh−1+cosx⋅limh→0hsinh
For small h in radians, sinh≈h and cosh≈1−2h2. Therefore:
hsinh≈hh=1,hcosh−1≈h−h2/2=−2h
As h→0, hsinh→1 and hcosh−1→0. Substituting:
dxd(sinx)=sinx⋅0+cosx⋅1=cosx
Why A candidates spot this immediately:* the structure "sin of a sum" inside a limit is the trigger for the addition formula, and the resulting cosh−1 structure is the trigger for the small-angle approximation cosh≈1−h2/2 (not cosh≈1, which gives 0/h=0 — correct here, but accidentally so). The same technique derives dxd(cosx)=−sinx via cos(x+h)=cosxcosh−sinxsinh.
A subtlety: small-angle approximations are only valid in radians. Stating "for small h in radians" once explicitly is examiner-rewarded — it is the AO2 reasoning that distinguishes mechanical recall from genuine understanding.
This content is aligned with the Pearson Edexcel GCE A Level Mathematics (9MA0) specification, Paper 1 — Pure Mathematics, Section 9: Differentiation. For the most accurate and up-to-date information, please refer to the official Pearson Edexcel specification document.
graph TD
A["Function f(x)"] --> B["Form difference quotient<br/>(f(x+h) − f(x)) / h"]
B --> C{"Type of f?"}
C -->|"Polynomial"| D["Expand (x+h)ⁿ<br/>using binomial"]
C -->|"sin x or cos x"| E["Apply addition formula<br/>sin(x+h) = sin x cos h + cos x sin h"]
C -->|"eˣ"| F["Factor eˣ<br/>eˣ⁺ʰ = eˣ · eʰ"]
D --> G["Cancel f(x) terms<br/>factor h from numerator"]
E --> H["Use small-angle limits:<br/>sin h / h → 1<br/>(cos h − 1) / h → 0"]
F --> I["Use limit:<br/>(eʰ − 1) / h → 1"]
G --> J["Divide by h<br/>(valid since h ≠ 0)"]
H --> K["Take limit as h → 0"]
I --> K
J --> K
K --> L["f’(x) — the derivative"]
style B fill:#3498db,color:#fff
style K fill:#27ae60,color:#fff
style L fill:#e74c3c,color:#fff