First, let’s present the standard approach. This is from the calculus textbook I teach out of.
This was, as far as I was concerned, the only possible proof. The pedagogical flexibility lay entirely in how to frame the question, how to get students to discover the fact on their own (via graphical techniques), and how to add extra meaning to the result.
The most important question, so I thought for years, was really how one introduces and understands the fact that . Some textbooks introduce it more or less out of the blue as “an important limit to know” and prove it via the Squeeze Theorem. Others prefer to wait until halfway through the above proof, realizing only then that this limit is important and solving it with a purpose in mind. There is also a difference of opinion as to how much rigor is required to establish the key inequality, that
. My textbook uses an area argument, but others prove the inequality with a nested sequence of segment inequalities.
My personal preference is for students to encounter “naturally” by attempting to graph
in precalculus, along with other interesting functions like
, and
. These are more or less exercises in recognizing the so-called “envelope” of the product or sum of a periodic function and another function and have various scientific applications. The very informal geometric argument for why
that one encounters in precalc prepares one for the more formal proof in calculus via the Squeeze Theorem.
All of this hard work to prove that almost seems to make it the real theorem and leaves
as a corollary.
By contrast, consider this:
I’m tempted to make no further comment, since this beautiful and striking diagram so thoroughly and clearly explains why the derivative of sine is cosine. Tiny changes in the sine of an angle are proportional to the cosine of that angle since the red arc length above is effectively a tangent to the circle. I would go so far as to say that until you see a diagram like this, you don’t even really understand the theorem at all. Why don’t we teach the derivative of sine this way? Why is this figure not in all the textbooks? I think I know the answers to these questions. The answers involve a long story about the history of calculus, the banishment of infinitesimals during the quest for rigor, and the abandonment of geometry as a satisfactory basis for analysis. But these diagrams are just too beautiful to give up and it’s cruel of us to keep them hidden from our students.
Here’s another calculus proof:
Compare this to the standard treatment you find in textbooks:
Which one of these proofs excites you? Which one makes you really feel like you understand the theorem and why it’s true?
I have created an entire series and I post them here without further comment.
Not a great error, but did you mean that the limit of sin(x)/x = 1 as x -> 0 in the paragraph starting with “The most important question.”
I did. Oops. And I kept repeating the error throughout. Fixed now. Thanks.
10 out of 10 for this, or maybe 11 out of 10.
Agreed. This is also my perspective in my book:
http://intellectualmathematics.com/calculus/
and my associated rants against the standard approach, such as:
http://intellectualmathematics.com/blog/down-with-the-definition-of-the-derivative/
Viktor, your textbook is brilliant. I will be consuming it in more depth in the coming months and my students will surely benefit. Thank you for sharing so freely.
Excellent post, John! Your figures are terrific! I’m definitely going to try to convey the geometric explanation for the derivatives of trig functions next time I teach Calculus I.
Also, Grant Sanderson conveys the geometric explanation for the derivative of sin(x) in his new Essence of Calculus, Volume 3: https://youtu.be/S0_qX4VJhMQ
Somehow I missed your reply, Matthew. It’s actually Will Rose, my colleague, who made this guest post. So give him all the credit! But I agree that this is beautiful stuff!
I think one reason the geometric proofs are avoided is that they’re circular (pun not intended). They depend on the fact that the difference between a chord and the arc subtended by an angle goes to zero as the angle gets small. But that’s the same as saying
Which in turn is pretty close to
.
Yeah, Simplico, but there’s geometry in all approaches. There has to be, because sine is defined geometrically.
I do think it’s important to learn
as its own theorem. It says something deep about the sine function and codifies what students already know by looking at the sine function near the origin — the slope of the tangent line @
is 1. I used this fact over and over again in my geometric proofs above.
To establish that
, you can just draw a picture of the sine of a very small angle, which will perhaps satisfy 95% of people and bother 5% of people. For those that are bothered, there is the more rigorous proof via the squeeze theorem, but as I mentioned above, that also depends on some geometry, arguably some lower-level and therefore more obvious geometry, but it’s still somewhat involved. Perhaps now, 99% of students will be convinced.
So if you insist on proving
“rigorously” via the squeeze theorem, you’re targeting only those students who find the naive geometric proof unconvincing and the complicated geometric proof convincing.
What I think is unforgivable though, is the abandonment of geometric reasoning in the actual proof of the derivative of sine. As you can see from the above diagram, the proof basically writes itself once you set up the picture. For this one, at least, no knowledge of
is even required. You just use the definition of sine and the definition of the derivative and get to work.
By contrast, the algebraic proof of the derivative of sine is boring, tedious, challenging, and unilluminating. And the proof depends crucially on
, which was proven geometrically, so you haven’t really gotten rid of geometry, you’ve just locked it away in the basement.
Thanks for the reply (and for fixing the mess I made of my latex markup).
I should’ve said in my last comment I use basically your first diagram when teaching Calc I students, so I agree with you that it’s a good way to convince students. The fact that an arc approaches the length of its chord as the sub-tending angle gets small seems pretty intuitive for most people. But the more engaged students usually than ask how we know it’s true, which then requires something equivalent to
.
It occurs to me a pretty similar proof is to draw a vector tangent to circumference at
with magnitude
and call it the derivative of sine at 0. Than it’s easy to see that this magnitude must be the same all around the circle, with just the direction changing. And so the derivative must go as
. And it’s easy to convince yourself that s depends on your units for the angle, and so you can find units for which the derivative of sin(x) = cos(x). Though it remains to be shown that the angular units so desired are radians.
In fact, the derivative of the sine reduces the problem to the definition of the radian. Why the radian is defined this way, as arc divided by radius? Because, when you measure the angles in radians you obtain that sin(x)/x -> 1 and then d(sin(x))/dx = cos(x). That’s the real reason. Any other unit (degrees, for instance) produces a constant in front of the cosine (something that the students tend to forget or simply ignore that is a requisite for the angle to be expressed in radians if they want the numerical values of the derivatives to be correct in their numerical applications).
It’s the same as with number e. What is special about it? Why do we use it for powers and not the simpler 2^x or 10^x, or as basis for the logarithms? Because is the exponential whose derivative is the same function.
Great thoughts, here, Antonio. I agree that these proofs are wrapped up very closely with the definition of radian. The “traditional” proofs from the book are, too, but that gets obscured. The fact that these geometric proofs get us to the definition so quickly is certainly a huge selling point for this approach.
Can we proof derivative of logarithm functions geometrically?????