Properties of the Sine and Cosine
Blaise got most of the classic properties of the sine and cosine in the comments to the last post, so I’ll crib generously from his work. As a note: I know many people write powers of the sine and cosine functions as (for example) instead of . As I tell my calculus students every year I refuse to do that myself because that should mean , and I guarantee people will get confused between or
First, let’s consider the function . We can take its derivative using the rules for derivatives of trigonometric functions from last time:
So this function is a constant. We easily check that , and so .
What does this mean? It tells us that if and are the lengths of the legs of a right triangle, the hypotenuse will have length . Alternately, the point with coordinates in the standard coordinate plane will lie on the unit circle. We haven’t talked yet about using integration to calculate the length of a path in the plane, but when we do we’ll see that the length of the arc on the circle from to is exactly .
This gives us another definition for the sine and cosine functions — one closer to the usual one people see in a trigonometry class. Given an input value , walk that far around the unit circle, starting from the point . The coordinates of the point you end up at are the sine and cosine of . And this gives us our “original” definitions: given a right triangle, it is similar to a right triangle whose hypotenuse has length , and the sine and cosine are the lengths of the two legs.
Now, since and are both nonnegative, they must each be bounded above by . Thus and . More specifically, any time that we must have .
We know that and , so if we ever have another point where and we have a period. This is because the differential equation will determine the future behavior of the same way it determined the behavior of . In fact, if and , then the future behavior of will be exactly the negative of the behavior of , and so eventually and again.
Admittedly, I’m sort of waving my hands here without an existence/uniqueness proof for solving differential equations. But the geometric intuition should suffice for the idea that since the function’s value and first derivative at are enough to determine the function, then the specific point we know them at shouldn’t matter.
So, does the sine function have a positive zero? That is, is there some so that ? If so, the lowest such one would have to have (because positive numbers near have positive sines). The next one would then be with , and the whole thing repeats with period .
The function starts out increasing, and so decreases (since . If has a maximum, then (its derivative) must cross zero. Then is decreasing, and it cannot increase again unless crosses zero again. But if crosses zero again it must have passed through a local extremum (Rolle) and so cannot increase again before it crosses zero itself.
So if we are to avoid having a positive zero, it must either increase to some asymptote below , or it must increase to a maximum and then decrease to some asymptote below . But for a function to have an asymptote it must approach a horizontal line, and its derivative must approach . That is, we can only have approaching an asymptote at , while approaches an asymptote at .
But if approaches an asymptote, its derivative must also asymptotically approach . But this derivative is , which we are assuming approaches ! And so none of these asymptotes are possible!
So the sine function must have a positive zero: . And thus the sine and cosine (and all other solutions to this differential equation) will have period .
Finally, what the heck is this value ? In point of fact, we have no way of telling. But it might come in handy, so we’ll define this number and give it a new name: . Whenever we say we’ll mean “the first positive zero of the sine function”.
Here I want to point out that I’ve fulfilled my boast of a few months ago on some other weblog. In my tireless rant against the -fetishism that infests the geek community, I told someone that can be derived, ultimately, from solely the properties of the real number system. Studying this field — itself uniquely specified on algebraic and topological grounds — leads us to both differential calculus and to power series, and from there to series solutions to differential equations. One of the most natural differential equations in the world thus gives rise to the trigonometric functions, and the definition follows from their properties. There is no possible way it could be anything other than what it is when you see it from this side, while the geometric definition hinges on some very deep assumptions on the geometry of spacetime.