The derivative is a limit. Once limits are solid, the derivative and all its rules follow — and in MAT137 you prove the rules, not just apply them.
An average rate of change loses the moment. The derivative captures the instantaneous one — the exact velocity now, the marginal cost of the next unit, the slope right here.
Derivatives are everywhere modern: physics (velocity, acceleration), economics (marginal analysis), finance (the option "Greeks"), and above all machine learning, where most modern neural networks are trained with gradient-based optimization.
Newton and Leibniz discovered it independently, then feuded bitterly over credit and helping isolate parts of British mathematics from Continental developments. Leibniz's $dy/dx$ notation became standard. Today "automatic differentiation" computes these derivatives at enormous scale.
Every derivative calculation in this unit is a disguised limit. Rules like product, quotient, and chain rules are shortcuts only after their hypotheses are met. When learning a new rule, first understand the limit proof, then practice recognizing the pattern quickly.
MAT137 treats the differentiation rules as theorems, not magic formulas. A student who can reproduce the following proof ideas is ready for later analysis.
$f$ is differentiable at $a$ if the limit $$f'(a)=\lim_{h\to0}\frac{f(a+h)-f(a)}{h}$$ exists. Geometrically it is the slope of the tangent line at $\big(a,f(a)\big)$. Equivalently, $f'(a)=\lim_{x\to a}\dfrac{f(x)-f(a)}{x-a}$.
For $f(x)=x^2$ at $a=1$, the secant slope is $\frac{(1+h)^2-1}{h}=2+h$. As $h\to0$, it approaches the tangent slope $2$.
For $f(x)=\tfrac1x$, $a\ne0$:
For $f(x)=|x|$ at $0$, the difference quotient is $|h|/h$. It tends to $-1$ from the left and $1$ from the right, so the two-sided derivative does not exist.
If $f$ is differentiable at $a$, then $f$ is continuous at $a$. (The converse fails: $|x|$ is continuous but not differentiable at $0$.)
For differentiable functions, $(f+g)'=f'+g'$, $(fg)'=f'g+fg'$, $\left(\dfrac fg\right)'=\dfrac{f'g-fg'}{g^2}$ where $g\ne0$, and the chain rule $(f\circ g)'(x)=f'\!\big(g(x)\big)\,g'(x)$ when the composition is defined.
$\dfrac{d}{dx}\,(x^2+1)^{10}=10(x^2+1)^9\cdot 2x.$
For $u=g(x+h)-g(x)$, one wants to split the quotient as
Differentiability says more than "a slope exists": near $a$, the function is well approximated by its tangent line.
$f(a+h)=f(a)+f'(a)h+r(h)$, where $\displaystyle\lim_{h\to0}\frac{r(h)}h=0$. Informally, $f(a+h)\approx f(a)+f'(a)h$ for small $h$.
For $f(x)=\sqrt{x}$ at $a=4$, $f(4)=2$ and $f'(4)=1/4$. Thus $\sqrt{4.1}\approx 2+\frac14(0.1)=2.025$.
When $y$ is defined implicitly by an equation, differentiate both sides in $x$, treating $y=y(x)$ and using the chain rule, then solve for $y'$.
For $x^2+y^2=1$: differentiate to get $2x+2yy'=0$, so $y'=-x/y$ where $y\ne0$. At $(\pm1,0)$ the circle has a vertical tangent, so $y$ is not locally a differentiable function of $x$ there.
• Treating $\dfrac{f(a+h)-f(a)}{h}$ as $0/0$ — it is a limit, evaluate it.
• Dropping the inner factor $g'(x)$ in the chain rule.
• Using a rule before checking its hypotheses, especially dividing by a
quantity that may be zero.
• Assuming continuous $\Rightarrow$ differentiable. It is the other direction.
Problems adapted from the MAT137 question bank by Alfonso Gracia-Saz, used under CC BY-SA 4.0. Write full solutions before opening the answer.
What is the equation of the line tangent to $y=x$ at the point with $x$-coordinate $7$?
From the definition, compute $f'(a)$ for $f(x)=\sqrt{x}$, $a>0$.
Compute $g'(4)$ directly from the definition for $g(x)=\dfrac{2}{\sqrt{x}}$.
Which implication is true: continuous $\Rightarrow$ differentiable, or differentiable $\Rightarrow$ continuous? Justify.
Let $h(x)=x|x|$. Compute $h'(0)$ from the definition.
Differentiate $f(x)=\tan(3x^2+1)$ and justify each step.
Prove the quotient rule from the product and chain rules.
Find $y'$ if $x^3+y^3=6xy$ (the folium).
Course coverage. This unit is part of the complete MAT137 topic map. It should cover the following items before you move on:
Use the Alfonso Gracia-Saz MAT137 materials as the primary local spine, with the current UofT single-variable calculus topic split as the completeness check. The added items are original study prompts, not copied textbook exercises.
The theorem chain is: differentiability implies continuity, algebra of limits gives derivative rules, and the chain rule turns composition into a reusable engine.
Use these after the main practice set. They are designed to force definition-level reasoning, theorem selection, and mixed application rather than routine calculation only.
Compute the derivative of $f(x)=x^2$ at $a$ from the limit definition.
Prove the product rule assuming $f$ and $g$ are differentiable at $a$.
Show $|x|$ is not differentiable at $0$.
Use differentials to estimate $\sqrt{4.04}$.