We’re getting close! Last time, we defined a new function and showed that and are both integers, and that . So, consider the following:
The first step uses the product rule for differentiation (recalling that and ); the last step is what we showed last time. Now we see the point of defining : it’s just so that we have a convenient way to talk about the antiderivative of . We could just do everything directly in terms of alternating sums of derivatives of … but it’s much clearer this way, don’t you agree?
Now that we know the antiderivative of , we can use the Fundamental Theorem of Calculus to compute the following integral:
Note that the value of this integral is an integer, since both and are integers. But next time we’ll show that it is also strictly between 0 and 1 (for a suitable choice of ), which is clearly nonsense!
Great! I see how to finish it off now, and I see why given the differential equation and being told to look at F and f you would see that relation, but just introducing F in the first place… well, I guess I just have to accept this proof is awesome. =D
You asked for topic areas: Have you ever seen Euler’s proof that the number of partitions of a number into odd numbers equals that of a number into distinct numbers? That is a good one. Other than that, some Galois theory would be nice?
Jack: I have seen that partition proof, that might work well! I think Galois theory might be a little too deep for the intended readership of this blog.
Very cool! Been a long time since I’ve used the chain rule. Thank goodness for Google! I’m still with ya. Looking forward to the final installment.
Sorry. That last post should have said, “product rule.”