Differential Calculus
Basic Differentiation Rules
Differentiating from the definition works, but evaluating by hand for every new function is hopeless. This topic builds the algebra of derivatives: a short list of rules, each proved from the definition, that lets you differentiate any polynomial, any rational function, and any product or quotient of functions whose derivatives you already know. Everything that comes later in the course — the chain rule, implicit differentiation, related rates, curve sketching, optimisation — assumes you can apply these rules quickly and without algebra errors.
Standing assumptions
Unless stated otherwise, and are real functions and is an interior point of their domains. " is differentiable at " means the limit exists as a finite real number. Recall two facts used repeatedly below: differentiability at implies continuity at , and a derivative statement is always local — it says nothing at points outside the domain.
Linearity of differentiation
Theorem (constant multiple and sum rules). If and are differentiable at and is a constant, then and are differentiable at and
Derivation sketch. and ; now apply the limit laws for constant multiples and sums, which are legitimate exactly because both limits are assumed to exist.
Combining the two and using gives the general form: for constants and functions differentiable at ,
Caution. Linearity covers sums and constant multiples only. There is no rule and no rule ; both are false (see Common mistakes).
The power rule
Theorem (power rule). For a fixed exponent , , at every for which both and make sense. The precise statement depends on the kind of exponent:
| Exponent | Where is defined | Where holds | How it is proved |
|---|---|---|---|
| , positive integer | all | all | binomial theorem, or the factorisation |
| (and ) | all ; | constant function | |
| , positive integer | all | quotient rule applied to | |
| in lowest terms, non-integer, odd (so ) | all if ; only if | (and also at when ) | implicit differentiation of |
| in lowest terms, even (never an integer) | if ; only if | (plus a one-sided derivative at when ) | implicit differentiation of |
| irrational | (later in the course) |
The third column lists where the formula is guaranteed; the parenthetical remarks record the extra points that are easy to lose. For example is valid at as well (both sides are there), whereas genuinely fails at , where the graph has a cusp.
Derivation sketch for a positive integer . Using with , ,
Edge cases you must name.
- has domain but only for . At the one-sided difference quotient is , so is not differentiable at .
- is defined for all real , but requires ; at the graph has a vertical tangent and no derivative.
- The power rule needs a variable base and a constant exponent. It does not apply to , and .
Useful special cases: , , , .
The product rule
Theorem. If and are differentiable at , then is differentiable at and
Derivation sketch. Add and subtract in the numerator:
\frac{f(a+h)g(a+h)-f(a)g(a)}{h}&=\frac{f(a+h)g(a+h)-f(a)g(a+h)+f(a)g(a+h)-f(a)g(a)}{h}\\ &=\frac{f(a+h)-f(a)}{h}\cdot g(a+h)+f(a)\cdot\frac{g(a+h)-g(a)}{h}. \end{aligned}$$ Let $h\to0$. The two difference quotients tend to $f'(a)$ and $g'(a)$ by hypothesis, and $g(a+h)\to g(a)$ because $g$, being differentiable at $a$, is continuous at $a$. That continuity step is exactly where the hypothesis on $g$ is used. For three factors, apply the rule twice: $(fgh)'=f'gh+fg'h+fgh'$ — differentiate one factor at a time and leave the others alone. ### The quotient rule **Theorem.** If $f$ and $g$ are differentiable at $a$ and $g(a)\ne 0$, then $f/g$ is differentiable at $a$ and $$\left(\frac{f}{g}\right)'(a)=\frac{f'(a)\,g(a)-f(a)\,g'(a)}{\big(g(a)\big)^{2}}.$$ The hypothesis $g(a)\ne0$ is essential: it also guarantees, by continuity of $g$, that $g\ne0$ on a whole interval around $a$, so the quotient is defined near $a$. *Derivation sketch.* $$\begin{aligned} \frac1h\left(\frac{f(a+h)}{g(a+h)}-\frac{f(a)}{g(a)}\right)&=\frac{f(a+h)g(a)-f(a)g(a+h)}{h\,g(a+h)g(a)}\\ &=\frac{g(a)\big[f(a+h)-f(a)\big]-f(a)\big[g(a+h)-g(a)\big]}{h\,g(a+h)g(a)}\\ &=\frac{\dfrac{f(a+h)-f(a)}{h}\,g(a)-f(a)\,\dfrac{g(a+h)-g(a)}{h}}{g(a+h)g(a)}, \end{aligned}$$ where the second line came from adding and subtracting $f(a)g(a)$ in the numerator. Letting $h\to0$ and using $g(a+h)\to g(a)\ne0$ gives the formula. Taking $f\equiv 1$ gives the **reciprocal rule**: $\left(\dfrac{1}{g}\right)'=-\dfrac{g'}{g^{2}}$ wherever $g\ne0$. Order matters in the numerator: it is $(\text{derivative of top})(\text{bottom})-(\text{top})(\text{derivative of bottom})$. Swapping the two terms flips every sign. ### Polynomials and rational functions A polynomial $P(x)=c_nx^n+\cdots+c_1x+c_0$ is differentiable on all of $\mathbb{R}$, with $$P'(x)=nc_nx^{n-1}+(n-1)c_{n-1}x^{n-2}+\cdots+c_1,$$ a polynomial of degree $n-1$ when $n\ge1$ and $c_n\ne0$. A rational function $R=P/Q$ is differentiable at every point of its domain (every $x$ with $Q(x)\ne0$), and $$R'=\frac{P'Q-PQ'}{Q^{2}}$$ is again a rational function whose denominator is $Q^2$. Useful check on degrees: if $\deg P=p\ge1$ and $\deg Q=q\ge1$, then $P'Q$ and $PQ'$ each have degree $p+q-1$, so $P'Q-PQ'$ has degree **at most** $p+q-1$. Writing $P=ax^{p}+\cdots$ and $Q=bx^{q}+\cdots$ with $ab\ne0$, the coefficient of $x^{p+q-1}$ in $P'Q-PQ'$ is $pab-qab=(p-q)ab$, so the leading terms cancel **exactly when $p=q$**, not in general. For instance $P=x^{2}$, $Q=x$ give $P'Q-PQ'=2x\cdot x-x^{2}\cdot 1=x^{2}$, of the full degree $p+q-1=2$; while $P=x^{2}+1$, $Q=x^{2}$ give $P'Q-PQ'=-2x$, of degree $1<3$. ### Worked example 1 — linearity plus the power rule with negative and fractional exponents Differentiate $f(x)=5x^{4}-\dfrac{3}{x^{2}}+7\sqrt{x}-9$. **Step 1 — rewrite every term as a power of $x$.** $$f(x)=5x^{4}-3x^{-2}+7x^{1/2}-9.$$ The natural domain is $x>0$ (the $\sqrt x$ needs $x\ge0$, the $x^{-2}$ needs $x\ne0$). **Step 2 — differentiate term by term (linearity), each term by the power rule.** $$\begin{aligned} \frac{d}{dx}\big(5x^4\big)&=5\cdot 4x^{3}=20x^{3},\\ \frac{d}{dx}\big(-3x^{-2}\big)&=-3\cdot(-2)x^{-3}=6x^{-3},\\ \frac{d}{dx}\big(7x^{1/2}\big)&=7\cdot\tfrac12 x^{-1/2}=\tfrac72 x^{-1/2},\\ \frac{d}{dx}(-9)&=0. \end{aligned}$$ **Step 3 — assemble and tidy.** $$f'(x)=20x^{3}+\frac{6}{x^{3}}+\frac{7}{2\sqrt{x}},\qquad x>0.$$ Note the sign: differentiating $-3x^{-2}$ produced a $+$, because $-3\times(-2)=+6$. ### Worked example 2 — the quotient rule, in full Differentiate $F(x)=\dfrac{2x^{3}-x}{x^{2}+1}$. **Step 1 — name the pieces.** $u=2x^{3}-x$, $v=x^{2}+1$, so $u'=6x^{2}-1$ and $v'=2x$. Since $x^2+1\ge1>0$ for all real $x$, the hypothesis $v\ne0$ holds everywhere. **Step 2 — apply the rule.** $$F'(x)=\frac{u'v-uv'}{v^{2}}=\frac{(6x^{2}-1)(x^{2}+1)-(2x^{3}-x)(2x)}{(x^{2}+1)^{2}}.$$ **Step 3 — expand the numerator carefully.** $$\begin{aligned} (6x^{2}-1)(x^{2}+1)&=6x^{4}+6x^{2}-x^{2}-1=6x^{4}+5x^{2}-1,\\ (2x^{3}-x)(2x)&=4x^{4}-2x^{2},\\ \text{numerator}&=\big(6x^{4}+5x^{2}-1\big)-\big(4x^{4}-2x^{2}\big)=2x^{4}+7x^{2}-1. \end{aligned}$$ The minus sign multiplies the *whole* second product — that is where most sign errors happen. **Step 4 — state the answer and sanity-check it.** $$F'(x)=\frac{2x^{4}+7x^{2}-1}{(x^{2}+1)^{2}}\quad\text{for all }x\in\mathbb{R}.$$ Check at $x=1$: $F'(1)=\frac{2+7-1}{4}=2$. A numerical slope check gives $\frac{F(1.001)-F(0.999)}{0.002}=1.9999992\ldots$, which rounds to $2.00000$ and so agrees with the computed value $F'(1)=2$. ### Simplify before differentiating The quotient rule is never wrong, but it is often the slowest route. Rewrite first whenever the denominator is a single power of $x$, or when the fraction cancels. | Expression | Better move | Result | |---|---|---| | $\dfrac{x^{4}-2x^{2}}{x}$ | divide term by term: $x^{3}-2x$ | $3x^{2}-2$ | | $\dfrac{x^{2}-3x}{\sqrt{x}}$ | rewrite as $x^{3/2}-3x^{1/2}$ | $\tfrac32x^{1/2}-\tfrac32x^{-1/2}$ | | $\dfrac{x^{2}-9}{x-3}$ | cancel: $x+3$ for $x\ne3$ | $1$ (for $x\ne 3$) | | $(x^{2}+1)(x^{3}-4x)$ | expand: $x^{5}-3x^{3}-4x$ | $5x^{4}-9x^{2}-4$ | | $\dfrac{3x-1}{x^{2}+2}$ | nothing simplifies — use the quotient rule | $\dfrac{-3x^{2}+2x+6}{(x^{2}+2)^{2}}$ | Two warnings. First, cancelling changes the domain: $\frac{x^2-9}{x-3}$ is undefined at $x=3$, so its derivative is $1$ on $x \ne 3$ and undefined at $x=3$. Second, "simplify first" is a tactic, not a rule — when the denominator has two or more terms, the quotient rule is usually the right tool. ### Common mistakes | Wrong | Right | Why | |---|---|---| | $(fg)'=f'g'$ | $(fg)'=f'g+fg'$ | Test $f=g=x$: $(x^2)'=2x$, not $1\cdot1=1$. | | $\left(\dfrac fg\right)'=\dfrac{f'}{g'}$ | $\dfrac{f'g-fg'}{g^{2}}$ | Test $f=x^2$, $g=x$: true answer $1$, the fake rule gives $2x$. | | $\dfrac{d}{dx}\dfrac{x^{2}+1}{x^{3}}=\dfrac{2x}{3x^{2}}$ | $-\dfrac{x^{2}+3}{x^{4}}$ | Same "top over bottom" error; here rewriting as $x^{-1}+x^{-3}$ is fastest. | | $\dfrac{f'g-fg'}{g^2}$ written as $\dfrac{fg'-f'g}{g^2}$ | $f'g$ comes first | Reversing the order negates the whole answer. | | $\dfrac{d}{dx}\big(3x^{-2}\big)=-6x^{-1}$ | $-6x^{-3}$ | The new exponent is $-2-1=-3$; subtract $1$, never add. | | $\dfrac{d}{dx}\sqrt{x}=\dfrac{1}{2}x^{1/2}$ | $\dfrac12 x^{-1/2}$ | $\tfrac12-1=-\tfrac12$. | | $\dfrac{d}{dx}2^{x}=x\,2^{x-1}$ | not the power rule | Constant base, variable exponent — the power rule does not apply. | | $\dfrac{d}{dx}\left(\dfrac{5}{x^{2}}\right)=\dfrac{5}{2x}$ | $-\dfrac{10}{x^{3}}$ | Rewrite as $5x^{-2}$ first; you cannot differentiate numerator and denominator separately. | | Forgetting $(x^2+1)^2$ stays squared | keep $g^2$ intact | Expanding the denominator hides the factor you need later for solving $f'=0$. | | $\dfrac{d}{dx}(x^{2}+1)(x-3)=2x(1)$ | $2x(x-3)+(x^2+1)$ | Differentiating both factors at once is the product-rule error again. | ### Fast self-checks - **Degree check.** Differentiating a polynomial of degree $n\ge1$ must lower the degree by exactly one. (For $n=0$ the derivative is the zero polynomial, whose degree is left undefined, so the check does not apply.) - **Numeric check.** Compute $\frac{f(a+0.001)-f(a-0.001)}{0.002}$ and compare with $f'(a)$; they should agree to about three decimals. - **Zero check.** For $f'=0$ from a quotient, only the numerator can vanish — solutions must still lie in the domain of $f$.Key terms
- Linearity of the derivative
- Constant multiple rule
- Sum and difference rule
- Power rule
- Negative integer exponent
- Rational exponent
- Product rule
- Quotient rule
- Reciprocal rule
- Derivative of a polynomial
- Rational function
- Simplify before differentiating
- Horizontal tangent
- Domain restriction
Practice Problems
Differentiate , and evaluate .
Show hint
Differentiation is linear, so handle one term at a time; the derivative of a constant is .
Show answer
Step 1 — use linearity. Because is a finite sum of constant multiples of powers,
Step 2 — apply the power rule to each term.
Step 3 — assemble.
Step 4 — evaluate.
Check. The original polynomial has degree and the derivative has degree , as it must. Numerically, , matching .
Answer: and .
Differentiate . State the set of on which your formula is valid.
Show hint
Before differentiating anything, rewrite each term in the form .
Show answer
Step 1 — rewrite as powers.
Step 2 — differentiate term by term with the power rule.
\frac{d}{dx}\big(3x^{1/2}\big)&=3\cdot\tfrac12x^{-1/2}=\tfrac32x^{-1/2},\\ \frac{d}{dx}\big(5x^{-1}\big)&=5\cdot(-1)x^{-2}=-5x^{-2},\\ \frac{d}{dx}\big(-x^{-3}\big)&=-1\cdot(-3)x^{-4}=3x^{-4}. \end{aligned}$$ Notice the last sign: $(-1)\times(-3)=+3$. **Step 3 — assemble, in radical/fraction form.** $$g'(x)=\frac{3}{2\sqrt{x}}-\frac{5}{x^{2}}+\frac{3}{x^{4}}.$$ **Step 4 — domain.** The term $\sqrt x$ requires $x\ge0$ and the terms $5/x$, $1/x^{3}$ require $x\ne0$, so $g$ has domain $x>0$. The derivative formula is valid for all $x>0$ (at $x=0$ the function is not even defined, and $\sqrt x$ has no derivative there in any case). **Check.** At $x=1$: $g'(1)=\tfrac32-5+3=-\tfrac12$. Numerically $\frac{g(1.001)-g(0.999)}{0.002}\approx-0.5000$. **Answer:** $g'(x)=\dfrac{3}{2\sqrt{x}}-\dfrac{5}{x^{2}}+\dfrac{3}{x^{4}}$ for $x>0$.Let . Differentiate using the product rule, then verify your answer by multiplying out first and differentiating the resulting polynomial.
Show hint
Label and and write down and before touching the rule.
Show answer
Method 1 — product rule.
Set and . Then and . Both are polynomials, hence differentiable everywhere, so the product rule applies for all : Expand each piece:
2x\big(x^{3}-4x\big)&=2x^{4}-8x^{2},\\ \big(x^{2}+1\big)\big(3x^{2}-4\big)&=3x^{4}-4x^{2}+3x^{2}-4=3x^{4}-x^{2}-4. \end{aligned}$$ Adding, $$h'(x)=\big(2x^{4}-8x^{2}\big)+\big(3x^{4}-x^{2}-4\big)=5x^{4}-9x^{2}-4.$$ **Method 2 — expand first.** $$h(x)=(x^{2}+1)(x^{3}-4x)=x^{5}-4x^{3}+x^{3}-4x=x^{5}-3x^{3}-4x,$$ so by linearity and the power rule $$h'(x)=5x^{4}-9x^{2}-4.$$ The two methods agree. (A numerical check at $x=2$ gives $\frac{h(2.001)-h(1.999)}{0.002}\approx 40.00$, and $5(16)-9(4)-4=40$.) **Answer:** $h'(x)=5x^{4}-9x^{2}-4$.Differentiate and find the slope of the tangent line at .
Show hint
The denominator is a sum of two terms, so nothing cancels — use the quotient rule and keep the numerator's subtraction order straight.
Show answer
Step 1 — name the pieces and check the hypothesis. Let and , so and . Since for every real , we have everywhere and the quotient rule applies on all of .
Step 2 — apply the quotient rule.
Step 3 — expand the numerator.
3\big(x^{2}+2\big)&=3x^{2}+6,\\ (3x-1)(2x)&=6x^{2}-2x,\\ \text{numerator}&=\big(3x^{2}+6\big)-\big(6x^{2}-2x\big)=-3x^{2}+2x+6. \end{aligned}$$ The minus sign distributes over both terms of $6x^{2}-2x$; that is the step to be careful about. **Step 4 — the derivative.** $$f'(x)=\frac{-3x^{2}+2x+6}{\big(x^{2}+2\big)^{2}},\qquad x\in\mathbb{R}.$$ **Step 5 — slope at $x=0$.** $$f'(0)=\frac{-0+0+6}{(0+2)^{2}}=\frac{6}{4}=\frac32.$$ **Check.** To eight decimals, $f(0.001)\approx-0.49849975$ and $f(-0.001)\approx-0.50149975$, so $$\frac{f(0.001)-f(-0.001)}{0.002}\approx\frac{0.00300000}{0.002}=1.50000,$$ matching $\tfrac32$. (Carried out in full precision the quotient is $1.4999992\ldots$. The two function values are both close to $-0.5$ and differ by only $0.003$, so they must be kept to many digits before subtracting; rounding them to three or four decimals first would destroy the check.) **Answer:** $f'(x)=\dfrac{-3x^{2}+2x+6}{\big(x^{2}+2\big)^{2}}$, and the tangent slope at $x=0$ is $\dfrac32$.Differentiate without using the quotient rule. State the domain.
Show hint
A single power of in the denominator means you can divide term by term and use the law .
Show answer
Step 1 — split the fraction. Dividing each term of the numerator by :
Step 2 — domain. The forces and the division by forces , so the domain is .
Step 3 — differentiate term by term.
\frac{d}{dx}\big(x^{2}\big)&=2x,\\ \frac{d}{dx}(-2)&=0,\\ \frac{d}{dx}\big(x^{-3/2}\big)&=-\tfrac32x^{-5/2}. \end{aligned}$$ **Step 4 — assemble.** $$f'(x)=2x-\frac{3}{2}x^{-5/2}=2x-\frac{3}{2x^{5/2}},\qquad x>0.$$ **Check.** At $x=1$: $f'(1)=2-\tfrac32=\tfrac12$. Numerically $\frac{f(1.001)-f(0.999)}{0.002}\approx0.5000$. At $x=4$: $f'(4)=8-\frac{3}{2\cdot32}=8-\frac{3}{64}=7.953125$, and the numerical slope agrees to four decimals. **Answer:** $f'(x)=2x-\dfrac{3}{2x^{5/2}}$ on $x>0$.Differentiate by applying the product rule to the three factors, and confirm the result by expanding first.
Show hint
For three factors, differentiate one factor at a time and leave the other two alone; there are three such terms.
Show answer
Step 1 — the three-factor product rule. Applying the two-factor rule twice to gives With , , we have , , , so
Step 2 — expand each term.
(2x-1)(x+3)&=2x^{2}+6x-x-3=2x^{2}+5x-3,\\ 2x\big(2x^{2}+5x-3\big)&=4x^{3}+10x^{2}-6x,\\ 2x^{2}(x+3)&=2x^{3}+6x^{2},\\ x^{2}(2x-1)&=2x^{3}-x^{2}. \end{aligned}$$ **Step 3 — add the three terms.** $$\begin{aligned} y'&=\big(4x^{3}+10x^{2}-6x\big)+\big(2x^{3}+6x^{2}\big)+\big(2x^{3}-x^{2}\big)\\ &=(4+2+2)x^{3}+(10+6-1)x^{2}-6x\\ &=8x^{3}+15x^{2}-6x. \end{aligned}$$ **Step 4 — confirm by expanding first.** $$y=x^{2}\big(2x^{2}+5x-3\big)=2x^{4}+5x^{3}-3x^{2}\ \Longrightarrow\ y'=8x^{3}+15x^{2}-6x.$$ The two agree. (Numerically at $x=2$: $\frac{y(2.001)-y(1.999)}{0.002}\approx112.00$, and $8(8)+15(4)-12=112$.) **Answer:** $y'=8x^{3}+15x^{2}-6x=x\big(8x^{2}+15x-6\big)$.A student writes Explain precisely what is wrong, then compute the correct derivative in two independent ways and check that they agree.
Show hint
Ask which rule, if any, allows you to differentiate a numerator and a denominator separately.
Show answer
The error. The student differentiated the top and the bottom separately, i.e. used the non-existent rule . That rule is false. A one-line refutation: take , . Then , whose derivative is , while . (The fake rule is a garbled memory of l'Hopital's rule, and even that rule is not "differentiate top and bottom" without conditions. L'Hopital's rule says: if and are differentiable on a punctured interval around with there, if is an indeterminate form or as , and if exists or is , then . Its conclusion is about a limit of a quotient, never about the derivative of a quotient.)
Correct method 1 — rewrite, then use the power rule. so for
Correct method 2 — the quotient rule. With , , , , valid wherever , i.e. :
\frac{d}{dx}\left[\frac{x^{2}+1}{x^{3}}\right]&=\frac{2x\cdot x^{3}-\big(x^{2}+1\big)\cdot 3x^{2}}{\big(x^{3}\big)^{2}}\\ &=\frac{2x^{4}-3x^{4}-3x^{2}}{x^{6}}\\ &=\frac{-x^{4}-3x^{2}}{x^{6}}\\ &=\frac{-x^{2}\big(x^{2}+3\big)}{x^{6}}=-\frac{x^{2}+3}{x^{4}}. \end{aligned}$$ The two methods give the same function, so the answer is confirmed. Method 1 is clearly faster whenever the denominator is a single power of $x$. **How wrong was the student?** At $x=1$ the correct slope is $-\frac{1+3}{1}=-4$, while the student's expression gives $\frac{2}{3}$ — not even the right sign. A numerical check confirms $\frac{f(1.001)-f(0.999)}{0.002}\approx-4.000$. **Answer:** $\dfrac{d}{dx}\left[\dfrac{x^{2}+1}{x^{3}}\right]=-\dfrac{x^{2}+3}{x^{4}}$ for $x\ne 0$.The functions and are differentiable, with the values below.
| at |
Compute each of the following at : (a) ; (b) ; (c) ; (d) ; (e) at .
Show hint
You never need formulas for and — only the rule that matches the combination, evaluated at the single point .
Show answer
Throughout, , , , .
(a) Linearity.
(b) Product rule.
(c) Quotient rule. The hypothesis holds, so
(d) Quotient rule with the roles swapped. Here the hypothesis is : Note that (d) is not the reciprocal of (c): and are unrelated in that way. (In fact , and indeed , which confirms both answers at once.)
(e) Product rule with .
Answers: (a) ; (b) ; (c) ; (d) ; (e) .
Find every point on the graph of at which the tangent line is horizontal.
Show hint
Horizontal tangent means ; for a quotient, only the numerator of can vanish — and any solution must lie in the domain of .
Show answer
Step 1 — domain. is defined and differentiable for all .
Step 2 — differentiate with the quotient rule. Let , , so , :
Step 3 — simplify the numerator. Hence
Step 4 — solve . A fraction is zero exactly when its numerator is zero and its denominator is not: and both satisfy , so both are legitimate.
Step 5 — get the points.
Check. and the numerical slope at is ; and the numerical slope at is . The numerical slopes at and are to four decimals.
Answer: the tangent is horizontal at and at , with tangent lines and .
(a) Using only the quotient rule and the power rule for positive integers, prove that for every positive integer ,
(b) Explain why this argument says nothing about , and give a concrete reason why must be false.
Show hint
For (a), write as a quotient with numerator the constant function . For (b), look at which of the base and the exponent is the variable.
Show answer
(a) Fix a positive integer and write which is legitimate for every . Put and . Then (derivative of a constant) and by the power rule for positive integers, and precisely because — so the hypotheses of the quotient rule are satisfied at every such . Applying it,
\frac{d}{dx}\,x^{-m}&=\frac{u'v-uv'}{v^{2}} =\frac{0\cdot x^{m}-1\cdot m x^{m-1}}{\big(x^{m}\big)^{2}}\\ &=\frac{-m x^{m-1}}{x^{2m}} =-m\,x^{(m-1)-2m}\\ &=-m\,x^{-m-1}. \end{aligned}$$ This is exactly the power rule with exponent $r=-m$, since $r-1=-m-1$. It holds for all $x\ne0$, positive or negative. $\blacksquare$ *Spot check:* $m=2$ gives $\frac{d}{dx}x^{-2}=-2x^{-3}$, and at $x=2$ that is $-\frac{2}{8}=-0.25$; numerically $\frac{(2.001)^{-2}-(1.999)^{-2}}{0.002}\approx-0.2500$. **(b)** In the proof, the variable $x$ appears as the **base** and the exponent $m$ is a fixed constant — that is what allowed the power rule for $x^{m}$ to be used. In $2^{x}$ the situation is reversed: the base $2$ is constant and the **exponent** is the variable, so $2^{x}$ is not of the form $x^{r}$ and neither the power rule nor the argument above applies to it. A concrete refutation of the proposed formula: $2^{x}$ is increasing (if $x_1<x_2$ then $2^{x_1}<2^{x_2}$), and an increasing function that is differentiable at a point has derivative $\ge0$ there — every difference quotient $\frac{2^{x+h}-2^{x}}{h}$ is positive, and a limit of positive quantities cannot be negative. The proposed formula $x\,2^{x-1}$ takes the value $-1\cdot 2^{-2}=-\tfrac14$ at $x=-1$, which is negative, so the formula is false. The other value is worth a second look, because it shows how much care a "proof by monotonicity" needs. The formula also predicts $0$ at $x=0$, i.e. a horizontal tangent — and *that* alone is not yet a contradiction: a strictly increasing differentiable function may perfectly well have derivative $0$ at an isolated point, as $x^{3}$ does at $x=0$. To rule this value out you need an estimate rather than monotonicity. The difference quotients do the job: $\frac{2^{0.001}-2^{-0.001}}{0.002}\approx0.6931$, nowhere near $0$. (The true derivative, established later in the course, is $\frac{d}{dx}2^{x}=2^{x}\ln 2$, which is positive everywhere; at $x=0$ it equals $\ln2\approx0.693$, matching that numerical slope.)Let . Find , determine all intervals on which is increasing and on which it is decreasing, and find the coordinates of the points with horizontal tangents.
Show hint
After the quotient rule, factor the numerator; the squared denominator can never change the sign.
Show answer
Step 1 — domain. for all real , so is defined and differentiable on all of and the quotient rule applies everywhere.
Step 2 — differentiate. With , , , :
Step 3 — sign analysis. The denominator is strictly positive for every , so has the same sign as the numerator This is positive when , zero at , and negative when :
| interval | sign of | sign of | behaviour of |
|---|---|---|---|
| negative | negative | decreasing | |
| positive | positive | increasing | |
| negative | negative | decreasing |
Step 4 — horizontal tangents. exactly when , i.e. or . The corresponding values are So the horizontal tangents occur at and , with tangent lines and .
Check. and the numerical slope at is ; and the numerical slope at is . Signs match the table.
Answer: ; is increasing on and decreasing on and on ; horizontal tangents at and .
Let . Differentiate , express as a single fraction with no negative or fractional exponents in the numerator, state the domain of , and find the -coordinate of the point where the tangent is horizontal.
Show hint
First rewrite the numerator as a sum of powers of ; then one quotient rule finishes it, and clearing at the end is just multiplying top and bottom by .
Show answer
Step 1 — domain and setup. requires , and there, so has domain ; since is not differentiable at , we work on .
Rewrite the numerator as a sum of powers: so by the power rule Let , so and on .
Step 2 — quotient rule.
Step 3 — expand the numerator.
\left(\tfrac32x^{1/2}-\tfrac12x^{-1/2}\right)(x+1)&=\tfrac32x^{3/2}+\tfrac32x^{1/2}-\tfrac12x^{1/2}-\tfrac12x^{-1/2}\\ &=\tfrac32x^{3/2}+x^{1/2}-\tfrac12x^{-1/2}, \end{aligned}$$ using $x^{1/2}\cdot x=x^{3/2}$ and $x^{-1/2}\cdot x=x^{1/2}$. Subtracting $\left(x^{3/2}-x^{1/2}\right)$: $$\text{numerator}=\left(\tfrac32-1\right)x^{3/2}+(1+1)x^{1/2}-\tfrac12x^{-1/2}=\tfrac12x^{3/2}+2x^{1/2}-\tfrac12x^{-1/2}.$$ **Step 4 — clear the fractional powers.** Multiply numerator and denominator by $2x^{1/2}$ (allowed since $x>0$): $$2x^{1/2}\left(\tfrac12x^{3/2}+2x^{1/2}-\tfrac12x^{-1/2}\right)=x^{2}+4x-1,$$ so $$F'(x)=\frac{x^{2}+4x-1}{2\sqrt{x}\,(x+1)^{2}},\qquad x>0.$$ **Step 5 — horizontal tangent.** The denominator is positive on $x>0$, so $F'(x)=0$ exactly when $$x^{2}+4x-1=0\iff x=\frac{-4\pm\sqrt{16+4}}{2}=-2\pm\sqrt5 .$$ Only $x=-2+\sqrt5\approx0.2361$ lies in the domain $x>0$; the root $-2-\sqrt5$ is rejected. Note also that $F'>0$ for $x>-2+\sqrt5$ and $F'<0$ on $\left(0,-2+\sqrt5\right)$, so this is a minimum point. **Check.** At $x=1$: $F'(1)=\frac{1+4-1}{2\cdot1\cdot4}=\frac48=\frac12$, and the numerical slope $\frac{F(1.001)-F(0.999)}{0.002}\approx0.5000$. At $x=0.25$: $F'(0.25)=\frac{0.0625+1-1}{2(0.5)(1.5625)}=\frac{0.0625}{1.5625}=0.04$, and the numerical slope there is $0.0400$. **Answer:** $F'(x)=\dfrac{x^{2}+4x-1}{2\sqrt{x}\,(x+1)^{2}}$ for $x>0$, with a horizontal tangent at $x=-2+\sqrt5$.