Skip to main content
Contents
Embed
Dark Mode Prev Up Next
\(\require{physics}\require{upgreek}\everymath{\displaystyle}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\inv}{^{-1}}
\newcommand{\DS}{\displaystyle}
\newcommand{\eps}{\varepsilon}
\newcommand{\tsub}[1]{_{\mathrm{#1}}}
\newcommand{\ee}{\mathrm{e}}
\newcommand{\ii}{\mathrm{i}}
\newcommand{\limit}[1]{\lim\limits_{#1}}
\newcommand{\resid}[1]{\underset{#1}{\Res}}
\DeclareMathOperator{\sinc}{sinc}
\DeclareMathOperator{\sgn}{sgn}
\newcommand{\pii}{\pi}
\DeclareMathOperator{\Prob}{P}
\DeclareMathOperator{\EV}{E}
\DeclareMathOperator{\Var}{Var}
\newcommand{\bv}[1]{\boldsymbol{#1}}
\newcommand{\uv}[1]{\hat{\bv{#1}}}
\newcommand{\cl}[1]{\mathcal{#1}}
\newcommand{\bb}[1]{\mathbb{#1}}
\DeclareMathOperator{\Cis}{cis}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\IM}{Im}
\newcommand{\xd}{\mathbf{d}}
\newcommand{\seq}[3]{{#1}_{#2},\cdots,{#1}_{#3}}
\newcommand{\psup}[1]{^{(#1)}}
\newcommand{\hypext}{{}^*}
\DeclareMathOperator{\st}{st}
\newcommand{\set}[1]{\left\{#1\right\}}
\DeclareMathOperator{\Sin}{Sin}
\DeclareMathOperator{\Cos}{Cos}
\DeclareMathOperator{\Tan}{Tan}
\DeclareMathOperator{\Sec}{Sec}
\DeclareMathOperator{\Csc}{Csc}
\DeclareMathOperator{\Cot}{Cot}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Arg}{Arg}
\DeclareMathOperator{\Ln}{Ln}
\DeclareMathOperator{\Grad}{grad}
\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\Curl}{curl}
\newcommand{\rd}{\textstyle\mathop{}\!\mathrm{d}^{\!\!\!-}\hspace{-0.0555 em}}
\newcommand{\rpd}{\textstyle\mathop{}\!\partial^{\hspace{-0.5 em}-}\hspace{-0.1666 em}}
\newcommand{\rdv}[2]{\frac{\rd{#1}}{\rd{#2}}}
\newcommand{\rpdv}[2]{\frac{\rpd{#1}}{\rpd{#2}}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 1.4 Implicit differentiation
Objectives
Differentiate relations without solving for
\(y\) by working with differentials.
Use implicit derivatives to determine tangent lines to implicitly defined curves.
Develop the Quotient Rule and extend the Power Rule to negative and fractional exponents.
Use Bitcoin elliptic curve example?
Use differentials: take differential of both sides, then divide both sides by
\(\dd{x}\text{.}\)
\begin{align*}
x^2 + y^2 \amp = 1 \\
\dd(x^2 + y^2) \amp = \dd(1) \\
2x\dd{x} + 2y\dd{y} \amp = 0 \\
2x\dv{x}{x} + 2y\dv{y}{x} \amp = 0 \\
2x + 2y\dv{y}{x} \amp = 0 \\
2y\dv{y}{x} \amp = -2x \\
\dv{y}{x} \amp = -\frac{x}{y}
\end{align*}
You can shortcut the differentials by taking derivatives and remembering to multiply by
\(\DS\dv{y}{x}\) whenever you take a derivative of something involving
\(y\text{.}\)
Talk about tangent lines. DON’T include normal lines; save that until the Analytic Geometry chapter in Part II.
Differentiating \(\dfrac{1}{x}\text{:}\)
\begin{align*}
y \amp = \frac{1}{x} \\
xy \amp = 1 \\
\dd(xy) \amp = \dd(1) \\
x\dd{y} + y\dd{x} \amp = 0 \\
x\dd{y} \amp = -y\dd{x} \\
\dd{y} \amp = -\frac{y}{x}\dd{x} \\
\dd{y} \amp = -\frac{1}{x^2}\dd{x} \\
\dd(x^{-1}) \amp = -1x^{-2}\dd{x}
\end{align*}
Can leave differentiating \(\dfrac{1}{x^n}\) as an exercise, but state the result that the Power Rule now works for all negative exponents.
\begin{align*}
h \amp = \frac fg\\
gh \amp = f \\
\dd(gh) \amp = \dd{f} \\
g\dd{h} + h\dd{g} \amp = \dd{f} \\
g\dd{h} \amp = \dd{f} - h\dd{g} \\
\dd{h} \amp = \frac{\dd{f} - h\dd{g}}{g} \\
\dd{h} \amp = \frac{\dd{f} - \frac{f}{g}\dd{g}}{g}\cdot \frac{g}{g} \\
\dd(\frac fg) \amp = \frac{g\dd{f} - f\dd{g}}{g^2}
\end{align*}
Differentiating \(\sqrt{x}\text{:}\)
\begin{align*}
y \amp = \sqrt{x} \\
y^2 \amp = x \\
\dd(y^2) \amp = \dd{x} \\
2y\dd{y} \amp = \dd{x} \\
\dd{y} \amp = \frac{1}{2\sqrt{x}}\dd{x} \\
\dd(x^{1/2}) \amp = \frac{1}{2}x^{-1/2}\dd{x}
\end{align*}
Can leave differentiating \(\sqrt[b]{x^a}\) as an exercise, but state the result that the Power Rule now works for all fractional exponents.