In my previous post in this series, we defined the function

and showed that . Today we’ll show the surprising fact that, for every positive integer , although and are not necessarily zero, they *are* always *integers*. (The notation means the th derivative of ; that is, take the derivative of , then the derivative of that, then the derivative of that, … times.) Put more succinctly: *every* derivative of takes on integer values at and .

Why might this be surprising? It’s surprising because of the in the denominator of . For example, consider the function (which I just made up):

It’s easy to see that . But let’s take the derivative: so , which is clearly *not* an integer. For the derivatives of to always give an integer at (let alone at ) there must be some fancy canceling going on!

For now we will consider only (we’ll come back to later). Of course, substituting for causes every term containing to disappear, so is just the constant term of . Hence, we must show that the constant term of is always an integer.

Consider the numerator of , that is,

Note that , when expanded out, is a polynomial of the form , where the ellipsis contains a bunch of terms with integer coefficients and powers of between 1 and . (In fact, we could use the Binomial Theorem to compute the precise coefficients—but it really doesn’t matter; all we will care about is that they are integers.) Multiplying by , we see that

so is a polynomial with terms of degree through , and hence so is , since dividing by changes the coefficients but not the exponents. (Note that has no constant term, so —but we already knew that.)

Recall that the derivative of is , so taking the derivative of a polynomial reduces each of the exponents by one. So the first derivative of is a polynomial with terms of degree through (and hence a constant term of zero); the second derivative has terms of degree through (still no constant term); and so on. We can see that none of the first derivatives of will have a constant term, so (which is certainly an integer) for . What about the th derivative and higher? This is where the fancy canceling comes in!

As we noted above, when expanded out is a sum of a bunch of terms of the form

where and is some integer. When we take the derivative, this term will turn into ; if we take the derivative again, it will become ; another derivative gives us , and so on. Do you see what is happening? After taking the derivative exactly times, we will end up with the constant term

and here’s our fancy canceling: is clearly divisible by , so this is some integer times , which is also an integer. Voila! Said a different way, and more succinctly: since each term of has degree at least , by the time we have taken the derivative enough times for it to yield a constant term, the will be canceled from the denominator, since we will have taken the derivative at least at each power of from down to .

Finally, if we take the derivative of more than times, we get , so no problems there.

Great, so is always an integer. But what about ? Well, remember, last time we showed that . If we take the derivative of both sides with respect to (being careful to use the chain rule on the left side, noting that the derivative of with respect to is ), we get

We can repeat this process to find that (the two negatives cancel on the left side), , and so on. But the extra negative sign for odd derivatives doesn’t really matter: in either case, , which is an integer.

Getting closer! Next time, we will define another special function in terms of and its derivatives; this function will help us compute —which (if you recall the punchline) will turn out to be an integer strictly between and (which is impossible).

>We can take the derivative of both sides as many times as we want to see that f^{(i)}(\pi – x) = f^{(i)}(x) for any i, as well.

This was the only step I couldn’t see right off. I tried to take the first derivative of f(pi-x), and I get -f'(x) instead of f'(x). I’m assuming I made a minor mistake. I’ll try it again later.

Thanks again for doing this. I’m loving thinking about it.

Another beautifully laid out step to this proof. I’m happy (and somewhat surprised) to say that I am still with you! Looking forward to the next installment.

Sue: Ah, thanks, good catch! You’re absolutely right, it’s not quite as simple as what I wrote. The derivative of is , you get a negative from the derivative of (applying the chain rule). So for odd derivatives there is a negative sign and for even derivatives you get what I said (since the negatives cancel). But since we are talking about a case when one side is equal to zero, the extra negative sign doesn’t make a difference. I don’t know if that made sense, I’m just typing off the cuff here. I’ll think it through more carefully and correct it soon.

Dave: Great! Actually, I think this was one of the most difficult parts, so if you’re still following, the rest should be gravy. ;-)

Just getting back here… Hmm, I don’t remember what I did when I looked at this before. I’m sure it’s on a scrap of paper at my house in California, but I’m in Michigan for the holidays. I just thought it through again and …

That line (We can take the derivative of both sides as many times as we want to see that f^{(i)}(\pi – x) = f^{(i)}(x) for any i, as well.) makes perfect sense to me now. If two functions are equal (for all values of the variable), I’d guess their derivatives must be equal. I have a few questions still:

What does it mean to ‘take the derivative of f(pi-x)? Are we talking about df/dx or df/d(pi-x)? (Your last comment isn’t making sense to me, and I thought this might be where I’m not following you.)

Calling f ‘a’ function, when it depends on values of n, is still bothering me. Does it work to think of this as a collection of functions, where f sub n is as you gave f?

You mentioned on your previous post that you’d be interested in working through other interesting proofs. Sam Shah just mentioned the insolvability of the quintic on his blog. That’s something I’ve always been intrigued by, and never learned the proof of.

This is something that never would have happened before the internet. I appreciate the opportunity to learn more mathematics.

Sue: We are indeed talking about df/dx. And of course you are right that if two functions are equal, their derivatives (taken with respect to the same variable) must also be equal. So it is true that

but this is NOT the same as

The former says “the derivative of is equal to the derivative of “, whereas the latter says “the derivative of ,

when evaluated at, is the same as the derivative of when evaluated at “. See the difference? In fact, the derivative of with respect to is (by the chain rule; note the negative sign!).I still need to fix the post, which is currently wrong, but I’ve been hanging out with family and eating way too much turkey and pie. =)

And yes, formally you should think of f as a family of functions, indexed by n. We are proving a bunch of properties which hold for the entire family, and at the end we will show that we can select a particular which gives us a contradiction.

Insolvability of the quintic would be fun! I’m sure I’ve seen the proof before, although I don’t remember how it goes off the top of my head. I’ll keep it in mind and maybe write about it in the future, thanks for the suggestion!

Sue: bad news, the proof of insolvability of the quintic requires an excursion through group theory and Galois theory, which is a bit too much background for my intended audience! I’ll still keep it in mind, though, perhaps it could work if I judiciously choose one or two places to say “trust me on this”…

OK, the post is now fixed. Let me know if it still isn’t clear (or if anyone finds any more mistakes)! Thanks for reading, another installment should be coming soon.

Funny how being formal helps me think sometimes (f sub n instead of f), and other times gets in my way (nope, I’m not yet seeing how to think clearly about f'(pi-x)). I think I need to give myself some examples of the difference you describe.

Pingback: Walking Randomly » The 61st Carnival of Mathematics

Pingback: Irrationality of pi: curiouser and curiouser « The Math Less Traveled