Module 37 of 46Lesson 1 of 8 · HL · Further calculus 1 · Continuity, differentiability & first principles
1
First principles, limits, implicit differentiation & further derivatives · Essential understanding 1

Continuity, differentiability & differentiation from first principles

IB AA AHL 5.12with Prof. Kitso
💻 Using the TI-Nspire CX Student Software on a laptop
  • The screens in these notes are drawn exactly as the Student Software shows them. The keypad on the left of the software works like the handheld — click its keys with the mouse.
  • menu: click menu on the on-screen keypad (or Documents Toolbox ▸ 🔧). The menu numbers and letters are the same as in these notes.
  • enter = Enter  ·  tab = Tab (next box)  ·  esc = Esc  ·  del = Backspace.
  • Powers: type ^ (Shift+6), the power, then press → to come back down before typing more. x² = ^2 then →.
  • Fraction: type /  ·  √: type sqrt(  ·  π: type pi  ·  eˣ: type exp(  ·  store: type :=. For EE (×10ⁿ) and i, click them on the keypad.
  • New page: Ctrl+I (or the Insert menu)  ·  change page: Ctrl+← / Ctrl+→  ·  graph entry line: Ctrl+G  ·  var: Ctrl+L.
  • Radian / Degree: click Settings in the status bar at the bottom of the window. The mode (RAD or DEG) shows in the top bar.
  • IB exam mode (Press-to-Test): everything in these notes works on the non-CAS TI-Nspire with the IB exam settings. In exam mode there are no dot-product, cross-product, unit-vector or eigenvalue keys and no Diff Eq graphs — the notes show the allowed way (type the components, use polyRoots on the characteristic equation, do Euler steps on a Calculator page).
  • If you type nDeriv(, the software shows it as centralDiff( — it is the same command.
The big idea: Every derivative rule you know comes from one idea: the gradient of a chord that shrinks to the gradient of a tangent. Written as a limit:
.
In this lesson you learn to use that limit directly, and to decide when a function is continuous and when it is differentiable. They are not the same thing.
By the end of this lesson you can:
  • decide whether a function is continuous at a point by comparing left limit, right limit and function value
  • decide whether a function is differentiable at a point, and explain why differentiable means continuous but not the other way round
  • differentiate from first principles for polynomials, and type functions, showing every line
  • use the notation , , and for higher derivatives
  • use the word converges correctly for a limit that settles on one finite value
🧑🏾 Imagine this…
Stand on a smooth hill and look at the ground just in front of your feet. It looks flat. The closer you look, the flatter it gets. That is differentiability: zoom in far enough and the curve looks like a straight line, and the gradient of that line is the derivative. Now stand at the tip of a roof. However far you zoom, you still see a sharp corner. The roof is continuous (no gap in the surface) but not differentiable at the tip.
Limit
means gets as close as you like to when is close enough to (from either side). The function does not even have to be defined at .
Converges
A limit converges when it settles on one finite number. If the values grow without bound, or jump between two numbers, the limit diverges (it does not exist).
Continuous at x = a
= = . Left limit, right limit and the actual value all agree: you can draw through without lifting your pen.
Differentiable at x = a
The gradient limit exists, so the limit from the left () equals the limit from the right ().
Higher derivatives
Differentiate again: , then , and in general for the th derivative.
★ Differentiation from first principles
  • . The fraction is the gradient of the chord from to .
  • Method: (1) write and expand; (2) form , where the old terms cancel; (3) divide by , so every remaining term has a factor cancelled; (4) let .
  • For functions, multiply top and bottom by the conjugate. For fractions, combine them over a common denominator first.
★ Continuity and differentiability
  • Differentiable at a point ⇒ continuous at that point.
  • Continuous does not mean differentiable. The graph of has no break at but has a corner, so the gradient from the left is and from the right is .
  • A function can also fail to be differentiable where the tangent is vertical (gradient infinite) or where there is a jump or hole.
  • For a piecewise function that must be smooth at the join : the two pieces must have the same value at and the same gradient at .
⚠️ Watch out
  • In first principles you must write the limit and keep in front until the terms have gone. Writing too early gives and loses the marks.
  • Expand as , never . For and use the binomial coefficients 1, 3, 3, 1 and 1, 4, 6, 4, 1.
  • Do not cancel an from just one term of the numerator. Take out the common factor from the whole numerator first.
💡 Command terms
Differentiate from first principles and use the definition of the derivative both demand the limit method. Quoting the power rule earns nothing. Hence means use the result you just found, and show that needs every line written out.
🧪 Try it yourselfChords closing in on a tangent
The blue curve is the gradient of the chord from x to x + h for f(x) = x³, namely . The red curve is the true derivative 3x². Drag h down towards 0 and watch the blue curve fall onto the red one. This is convergence.

Worked examples

Example 1.1First principles for a quadratic
Use the definition to differentiate .
🧠 Think it through
  1. Replace by everywhere and expand.
  2. Subtract the original : the terms without must cancel.
  3. Divide every term by , then let .
✍️ By hand
  (M1)
  (A1)
  (M1)
  (A1)
🔢 On your TI-Nspire CX II
  1. Check at : the formula gives . On a Calculator page use the derivative template (press menu💻 click menu on keypad, then Calculus, then Numerical Derivative at a Point).
    1.1*DocRADddx3·x2+2·x|x=214.6·2+214
✅ Answer .
Example 1.2First principles for a cubic, then higher derivatives
(a) Differentiate from first principles. (b) Hence find and , and the gradient of the curve at .
🧠 Think it through
  1. Use . The means all four terms are doubled.
  2. Once you have f′(x) you may use ordinary rules for the higher derivatives.
✍️ By hand
(a)
  (M1)
  (A1)
  (M1)
As , the terms with vanish:
  (A1)
(b) and .
At : .
✅ Answer (a) . (b) , ; the gradient at is 23.
Example 1.3First principles with a square root
Use the definition of the derivative to show that the derivative of is , for . Hence find the gradient of at .
🧠 Think it through
  1. The top is . Multiply top and bottom by the conjugate so the top becomes a difference of squares.
  2. After that, the h on the top cancels the h on the bottom.
✍️ By hand
Multiply top and bottom by the conjugate :   (M1)
  (A1)
As :     (AG)
At : .
🔢 On your TI-Nspire CX II
  1. Check with the derivative template at .
    1.1*DocRADddxx|x=90.166667160.166667
✅ Answer ; the gradient at is .
Example 1.4A piecewise function that must be smooth
The function is defined by for , and for . Find the values of and so that is continuous and differentiable at .
🧠 Think it through
  1. Continuity: the left value at must equal the right value.
  2. Differentiability: the gradients must also match at . The gradient of is .
  3. That gives two equations for two unknowns.
✍️ By hand
Left value at : . Right value: .
Continuous: .   (M1)(A1)
Left gradient: at . Right gradient: .
Differentiable: .   (M1)(A1)
So .   (A1)
✅ Answer and . The right-hand piece is the tangent line to the curve at .
The line y = 4x − 1 is exactly the tangent to y = 2x² + 1 at x = 1. A smooth join means the second piece starts as the tangent to the first.
Example 1.5Continuous but not differentiable
Show that (a) is continuous but not differentiable at ; (b) is continuous at but not differentiable there.
🧠 Think it through
  1. For (a) work out the gradient limit from the left (, so ) and from the right (, so ).
  2. For (b) form and see what happens as gets small.
✍️ By hand
(a) . As from either side, , so is continuous at 2.   (R1)
.   (M1)
For this is ; for it is . The two one-sided limits differ, so does not exist.   (R1)
(b) , and as , so is continuous.   (R1)
  (M1)
This grows without bound as , so the limit does not converge. The tangent at the origin is vertical.   (R1)
🔢 On your TI-Nspire CX II
  1. See it on the graph page: plot abs(x-2) and zoom in on . The corner never smooths out.
    📍 Where to find it on the TI-Nspire
    ⌨️ type abs( on the keyboard; the screen shows it as | |
    1.11.2*DocRAD-154-1xy11f1(x)=|x−2|(2, 0)
✅ Answer (a) Left gradient , right gradient : not differentiable at . (b) The gradient limit is infinite (vertical tangent): not differentiable at .

Challenge questions

⭐ Challenge 1.6First principles for x to the power 4Paper 1 style
(a) Use the binomial theorem to expand . (b) Hence differentiate from first principles. (c) Find and state . (d) Show from first principles that the derivative of is .
✏️ Try it on paper and on your calculator first. Then check.
Show the full solution
🧠 Think it through
  1. Binomial coefficients for power 4: 1, 4, 6, 4, 1.
  2. After subtracting , every remaining term contains .
✍️ By hand
(a)
  (A1)
(b)
  (M1)(A1)
As the terms with vanish:     (A1)
(c) , so .   (A1)
and .   (A1)
(d)
  (M1)(A1)
As :   (AG)
✅ Answer (b) . (c) ; . (d) .
⭐ Challenge 1.7The function x|x|: how smooth is it?Paper 3 style
In this investigation , that is for and for .
  1. (a) Show that is continuous at .
  2. (b) Use first principles to show that exists and find its value.
  3. (c) Find for and for , and write as a single formula.
  4. (d) Show that does not exist.
  5. (e) Graph and on your GDC. Describe, in words, how the two graphs differ at .
✏️ Try it on paper and on your calculator first. Then check.
Show the full solution
🧠 Think it through
  1. (a) Check the left limit, right limit and the value at 0.
  2. (b) .
  3. (c) Differentiate each piece separately. Then notice that 2x for x > 0 and −2x for x < 0 is 2|x|.
  4. (d) Repeat the first-principles idea, but on the function f′.
✍️ By hand
(a) , , and . All three agree, so is continuous at 0.   (R1)
(b)
  (M1)
As from either side, . So .   (A1)
(c) For : . For : .   (A1)
Together with : for all .   (A1)
(d) , which is for and for .   (M1)
The one-sided limits differ, so does not exist.   (R1)
🔢 On your TI-Nspire CX II
  1. Graph x*abs(x) as f1 and 2*abs(x) as f2. The first passes smoothly through the origin with a horizontal tangent. The second has a sharp corner at the origin.
    📍 Where to find it on the TI-Nspire
    ⌨️ type abs( on the keyboard; the screen shows it as | |
    1.11.2*DocRAD-338-5xy12f1(x)=x·|x|f2(x)=2|x|(0, 0)
✅ Answer , so is differentiable everywhere, but has a corner at 0 so does not exist.
Lesson idea: differentiable once does not mean differentiable twice. Each derivative can lose some smoothness.
Next: Lesson 2 · Limits and l'Hôpital's rule