## Cute Proofs: The Product Rule for Derivatives.

### November 3, 2010

There’s always a few calculus students who make the error of trying to take the derivative of and get . Of course, we know that this is not true in general, and the product rule for derivatives is as follows:

**Theorem (Product Rule)**. If are differentiable, then .

Given this formula, it’s a nice exercise for students to find out for which functions it is true that .

Anyway, the proof of this theorem is not too difficult, even for calculus students, so I write it out for anyone interested. This proof is really a "follow your nose" one with only one tricky part. Let’s do it!

Proof.We want to find , so let’s set up the normal difference quotient.Now the tricky part: we add and subtract on the top. This is really adding 0, since we’re going to add and subtract it, so this does not change our limit at all. Thus,

We can split up these limits because we know the limit of exists and we know the derivative of exists, and so if the limit of two functions exist and they are multiplied, the product of their limits is the limit of their products. Anyway, this gives us

which is exactly what we wanted to show.

This proof is pretty cute, I’m not gonna lie, and the only two tough parts were the product of two limits part and the initial adding and subtracting a common term part.

## Aren’t you Bored to Death of that Proof, though?

While looking for a decent proof of this, I stumbled upon a really sweet exercise that said, "Use logarithms to prove a version of the product rule." I’d never seen this done before, so I thought I’d share it. In this case, we can only have that our functions are positive, which sort of restricts us a bit, but we note that since pretty much every function we care about in calculus can be written as the difference of two positive functions, and since have to be differentiable and therefore continuous for the product rule to work in general, this isn’t so bad of a restriction.

Proof.Suppose that . This is equivalent to sayingby the property of logs. Now, take the derivative of both sides.

Now we multiply both sides by , and we obtain

which is exactly the product rule.