1. Motivating Example. Recall a circle consists of the points satisfying
Question: how do we construct the line tangent to a point on the circle?
This problem really boils down to “How do we take the derivative of Equation (1)?” Since this is the meat of the matter, lets study this problem.
What we can try to do is differentiate everything in (1) with respect to . So we get:
The right hand side vanishes (i.e., it’s zero), and the left hand side is a bit of trouble. We can use linearity
We could then use the chain rule
Then evaluate the derivative to obtain
Simple algebraic manipulations give us
So differentiating everything with respect to produces the desired result, after some elementary manipulation.
This technique (differentiate everything, then do some cleaning up) is precisely what people call “Implicit Differentiation”. It relies on the chain rule in a critical way!
Example. Consider the expression
What is its derivative with respect to ? We see that
Great…what now? Well, how about use linearity to write
This works by the chain rule. Then we plug this back in, obtaining
for the derivative.
Example (Power Rule Plus Plus). We had discussed the power rule for integer exponents. That is, for , etc. What if we try differentiating where is a rational number?
Now lets take its derivative. Before we didn’t know what to do, but NOW we have implicit differentiation! So we can differentiate everything with respect to getting:
Implicit differentiation enables us to compute the left hand side as
We plug this back in:
Divide through by and we obtain
Now we just do some algebra to deduce
Lets observe the exponent simplifies to
Thus we can find
This could only be done through the chain rule and implicit differentiation!
Reiterating this example: if is a rational number, then
This is the power rule extended to rational powers.
Lets give the reader some exercises to solidify their command of this technique.
Exercise 1 (Kampyle of Eudoxus). Consider the curve , called the Kampyle of Eudoxus. Suppose lies on the curve. What is the tangent line to the Kampyle of Eudoxus at ?
Exercise 2. Consider the Lemniscate of Bernoulli, which in Cartesian coordinates is ; find the tangent line passing through the point .
Exercise 3. The Tschinhausen cubic is a curve . Find the tangent line passing through the point .
Exercise 4. Consider . What is ?
Exercise 5. Recall a circle is defined by . Calculate
When will and when will . [Hint: should be rewritten so it depends only on .]
Exercise 6. Given the equation
find . [From Math.SE]