## 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.

I recently was helping a student who wrote sin-2 x for one divided by the square of the sine of x. I pretty quickly pushed her away from that.

And the fact that sin-1 x means the arcsin to most people who read it may explain why we bother to keep the cosecant around. (Similarly for secant and cotangent.) Of course, one could argue that it makes sense to have six trigonometric ratios since there are six possible quotients of sides in a right triangle, but I suspect the fact that jettisoning csc, sec, cot would cause notational ambiguity explains why we still see them.

Comment by Michael Lugo | October 14, 2008 |

A similar, but slightly slicker, discussion of these issues

(especially, the periodicity of sine and cosine) can be

found on pages 5 and 6 of

http://math.uga.edu/~pete/243functions3.pdf

The slickness is exhibited therein is certainly not my own. I am 99% sure that this derivation is taken from Rudin’s _Principles of Mathematical Analysis_. When I get the chance, I will confirm this and add an explicit attribution.

Comment by Pete L. Clark | October 14, 2008 |

Oh I’m sure there’s slicker ways in. This one gets there, though, which is all I really need. My readers, though, are urged to read your PDF.

Comment by John Armstrong | October 14, 2008 |

Upon examination, it seems a lot of the slickness is wrapped up in making explicit my hand-waving about “if you’re asymptotically approaching a value, your derivative must also be asymptotically approaching zero, as (thus) must

itsderivative.” Or consequences thereof.Comment by John Armstrong | October 14, 2008 |

“while the geometric definition hinges on some very deep assumptions on the geometry of spacetime”

That’s twice in one day that you’ve baffled me, John! I think there’s probably some missing context (related to this ranting of yours somewhere else) that might explain this statement, but to me the “geometric definition” of would be the one I learned in the third grade (ratio of circumference to diameter). I thought you were going to address Blaise’s question and demonstrate the mathematical equivalence between this definition and the definition you’ve given in this post. The geometric definition can be mathematically formalized, and there is a formal proof of the equivalence, and it has nothing to do with deep assumptions about “geometry of spacetime” in any physical sense. So, what gives?

Comment by Todd Trimble | October 14, 2008 |

The ratio only has that value in flat spacetime. If there’s any curvature around, you’re probably not going to get that ratio.

The point is that any mathematician working anywhere will get the same definition of . Including, for example, those in Greg Egan’s new book.

The equivalence I can’t finish off properly until I actually do arc-length, but you should be able to finish it from here.

Comment by John Armstrong | October 14, 2008 |

Yes, John, obviously I’m working with the circle as a subset of the Euclidean plane, using standard arc-length, etc. And so was Blaise I expect. This is formal mathematics; physical referents are quite beside the point in establishing the mathematical equivalence. (And yes, “teach”, I

canfinish it off from here, thank you very much! :-D )Comment by Todd Trimble | October 15, 2008 |

[...] solve certain differential equations, which led us to defining the functions sine and cosine. Then I showed that the sine function must have a least positive zero, which we define to be [...]

Pingback by Pi: A Wrap-Up « The Unapologetic Mathematician | October 16, 2008 |

OK, let’s see if I got this, for the final bit…

Given a curve , the length of the curve from to is . So the total length of the curve from to is . Applying this to the curve (as defined by the differential equation), we get .

So the length of the circular arc from to is . To go from to , you measure the whole circumference as , which ties it back to the “classical” definition of .

Did I finish it off right?

Comment by Blaise Pascal | October 16, 2008 |

Yeah, though I’ll do that again myself when I actually do arc-lengths.

Which will be when I get back into multivariable calculus.

Which will be after I get back to linear algebra.

See, I was going to do linear algebra, then multivariable, then more of these series, because I had to wave my hands at points to do the interchange of summation of double-series, which is really an example of Fubini’s theorem in the case of Riemann-Stieltjes double-integrals. But now I’ve done these and I’ve got sine and cosine and the exponential to work with, so I can use those in my coverage of linear algebra. So it all works out in the end.

Comment by John Armstrong | October 16, 2008 |

[...] range is exactly that of the cosine function. Let’s consider the cosine restricted to the interval , where it’s injective. [...]

Pingback by Inner Products and Angles « The Unapologetic Mathematician | April 17, 2009 |

[...] the famous trigonometric identity. That is, every complex number of the form lies a unit distance from the complex number [...]

Pingback by Complex Numbers and the Unit Circle « The Unapologetic Mathematician | May 26, 2009 |