the natural history of abstract objects

Trig Functions, Turbocharged

From our previous adventures in math and physics, we have some basic knowledge of trigonometric functions—sine, cosine, tangent, and the like. In those classes, in the past, we’ve defined trig functions in terms of a right triangle, like so:

These definitions are awesome, because they are the Rosetta Stone that allow us to go from talking about angles to talking about distances. (In physics: from circular rotation to linear motion). Using trig functions and their inverses, we can go back and forth between angles in a triangle and side lengths:

You might have seen this old XKCD1, making fun of the “soh cah toa” mnemonic that people use to memorize which functions correspond with which sides: In math and physics, you’ve probably used calculators to find sines and cosines most of the time. But you’ve probably also seen that there are some special angles, like \(\pi/6 = 30\degree\), of which we can find the sine/cosine/tangent exactly, and not as a crude and ugly decimal approximation. We can do this using these two special right triangles:

For example, we can exactly evaluate \(\sin(\pi/3)\) by looking at the special right triangle with a \(\pi/3\) angle, seeing that the side opposite to \(\pi/3\) has length \(\sqrt{3}\), and seeing that the hypotenuse of that triangle has length \(2\). So then: \[\begin{align*} \sin\left(\frac{\pi}{3}\right) &= \frac{\quad \text{length of the side opposite }\pi/3 \quad}{\text{length of the hypotenuse} } \\ \\ &= \frac{\sqrt{3}}{2} \end{align*}\] If you plug this into your calculator, you get \(0.866025404\)ish, which is ugly and gross. \(\frac{\sqrt3}{2}\) is much nicer! \(\frac{\sqrt{3}}{2}\) is a beautiful, tractable, irrational number. That other thing is just a lousy, low-resolution, dastardly decimal approximation. We certainly don’t want to think in terms of decimals! But this begets two problems:

We can’t do a lot about the first problem. The fact that there are some angles that we can’t easily and cleanly compute the sine/cosine/tangent of is something we’re going to have to figure out how to live with.

But the second problem is something we can fix! What if we wanted our trig functions to be less sad and lonely? What if we want them to go way further to the left and to the right? What if we want to find the sine/cosine/tangent of angles less than \(0\degree\), and greater than \(90\degree\)? What if we want to find the sine/cosine/tangent of any number? Can we somehow extend our definition so that we can do that??

Here’s my idea: let’s use the coordinate plane. There are two very different approaches to geometry: we can either think of geometry as being made of abstract shapes floating out in the ether, moving around without any fixed reference points. That’s how the ancient Greeks thought of geometry. Or—following the lead of Renaissance mathematicians—we can mash up geometry and algebra, and do geometry on a coordinate plane, in which all of our shapes and lines and points have specific addresses. So let’s put our special right triangles on a coordinate plane!!!

But, actually, let’s make one tiny tweak first. Let’s scale them all down so that they have a hypotenuse of \(1\). (We’ll see why in a second.) So if we divide all the side lengths by the length of the hypotenuse, we’ve got the same triangles (same angles, lengths in the same proportion), or rather, I guess we’ve got similar triangles:

So let’s see what happens if we put a \(\frac{\pi}{6}-\frac{\pi}{3}-\frac{\pi}{2}\) triangle on the coordinate plane, with the \(\pi/6\) angle on the origin: What’s the sine of \(\pi/6\)? It’s \(1/2\)… but that’s also the \(y\)-coordinate of the tip of the triangle! What’s the cosine of \(\pi/6\) ? It’s \(\sqrt{3}/2\)—but that’s also the \(x\)-coordinate of the tip of the triangle! Huh.

The same thing happens if we put our \(\frac{\pi}{4}-\frac{\pi}{4}-\frac{\pi}{2}\) triangle on a coordinate plane: The sine of \(\frac{\pi}{4}\) is \(\frac{1}{\sqrt{2}}\)—and that’s also the \(y\)-coordinate of the tip of the triangle! The cosine of \(\frac{\pi}{4}\) is \(\frac{1}{\sqrt{2}}\)—and that’s also the \(x\)-coordinate of the tip of the triangle!

So what if we redefine our trig functions so that the sine is just the \(y\)-coordinate of the tip of a triangle made in this way, and so that the cosine of some angle is just the \(x\)-coordinate of the tip of a triangle made this way??? In other words, what if we redefine \(\sin\theta\) and \(\cos\theta\) in this way:

\(\sin\theta =\) the \(y\)-coordinate of the tip of a triangle made in this way
\(\cos\theta =\) the \(x\)-coordinate of the tip of a triangle made in this way

This would let us take the sine and cosine of negative angles, because we could make a “negative” angle just by going on the opposite direction. So, for example, if we wanted to find the sine or cosine of \(\pi/3\), we could go \(\pi/3\) in the clockwise direction, and have something like this: So then the sine of \(\pi/3\), if it’s the \(y\)-coordinate of this triangle, would be \(-\sqrt{3}/2\). The cosine, if it’s the \(x\)-coordinate, is still \(+1/2\). And tangent, if we want to know that, too, is still just sine divided by cosine, or \(\frac{-\sqrt{3}/2}{+1/2} = -\sqrt{3}\).

What if we want to find the sine/cosine of an angle that’s bigger than \(90^\circ\)? I guess we could draw an angle in the same way, starting at the origin and rotating counterclockwise. Let’s do that with \(5\pi/6\): Of course, we can’t make a right triangle that has an angle of \(5\pi/6\). But—analogous to what we just did—we can draw a line one unit out from the origin (just like the hypotenuse), and say that wherever that line ends—wherever it’s \(1\) away from the origin, at an angle of \(5\pi/6\)—the \(x\) and \(y\)-coordinates will be the cosine and sine of \(5\pi/6\), respectively: Of course, we don’t actually know what those points are: But we can find them! We can squeeze our \(\frac{\pi}{6}-\frac{\pi}{3}-\frac{\pi}{2}\) special right triangle in there to figure out the \(x\) and \(y\)-coordinates. We know that we can fit a \(\pi/6\) angle into the space left over between \(5\pi/6\) and the horizontal axis. We know the side lengths of that triangle, so then we can find the \(x\) and \(y\)-coordinates of that point: So then we can find the sine and cosine of \(5\pi/6\)! We have: \[\begin{align*} \sin\left(\frac{5\pi}{6}\right) &= \text{the } y\text{-coordinate of that point} = +\frac{1}{2} \\ \\ \cos\left(\frac{5\pi}{6}\right) &= \text{the } x\text{-coordinate of that point} = -\frac{\sqrt{3}}{2} \\ \\ \tan\left(\frac{5\pi}{6}\right) &= \text{still sine over cosine} = \frac{+1/2}{\quad-\sqrt{3}/2\quad} = -\frac{1}{\sqrt{3}} \end{align*}\] So that’s going to be our motivating idea to extend the definition of trig functions. We’re going to draw an angle on the coordinate plane—centered at the origin, considering counter-clockwise as the “positive” direction—and then we’re going to draw a line extending out a distance of \(1\). In other words, we’re going to draw a line, and it’ll intersect at some point with a circle of radius \(1\): Wherever that line and the circle intersect, we’ll define that to be sine and cosine! We’ll define cosine as the \(x\)-coordinate of the intersection point, and sine as the \(y\)-coordinate:

Trig functions, redefined in glory:

\[\begin{align*} \sin(\theta) &= \text{the }y\text{-coordinate on the unit circle, with angle }\theta \\ \\ \cos(\theta) &= \text{the }x\text{-coordinate on the unit circle, with angle }\theta \\ \\ \tan(\theta) &= \text{still just } \frac{\sin(\theta)}{\cos(\theta)} \end{align*}\]

These are our new definitions of sine and cosine. So to calculate the sine/cosine/tangent of any angle (positive, negative, greater than \(90^\circ\), whatever), we just have to draw the angle at the origin, and then draw a line of length \(1\) out to the this circle of radius \(1\) and see what the \(x\) and \(y\) coordinates are. The \(x\)-coordinate will be the cosine of that angle, and the \(y\)-coordinate will be the sine! (By the way, we’ll call that circle of radius \(1\) centered at the origin the unit circle, since that’s the fancy name for it (the number \(1\) being the multiplicative unit, i.e., the number that if we multiply it by any other number, we just get the number back).) Or, phrased more algorithmically, to calculate trig functions, we can:

I guess we can update our pretty visual definitions:

Or, thinking of these as bidirectional functions with inverses:

Note that this new definition of trig functions still gives us the same results as the old, right triangle definition, if \(\theta\) is between \(0\) and \(90^\circ\). But it also gives us a way of calculating the sine and cosine of angles less than \(0^\circ\), and greater than \(90^\circ\)! We’ve zoomed out. We’ve generalized. We can now take the sine/cosine/tangent of any real number:

(Whither can we zoom out from here? What would it mean to take the sine/cosine/tangent of an imaginary number like \(i\)? Does that even make sense? Could we make that make sense???)

This new, more general definition of trig functions doesn’t solve all our problems. We still can’t calculate every single trig function as a decimal. We’re limited, like before, to stuff we can easily calculate using a special right triangle (by fitting it somehow into that diagram). But that’s okay! We’ve made progress.

Problems

Using what you know about trigonometry, special right triangles, and the unit circle, evaluate the following trig functions without a calculator:

  1. \(\sin(0)\)
  2. \(\cos(0)\)
  3. \(\tan(0)\)
  4. \(\sin(\pi)\)
  5. \(\cos(\pi)\)
  6. \(\tan(\pi)\)
  7. \(\sin(2\pi)\)
  8. \(\cos(2\pi)\)
  9. \(\tan(2\pi)\)
  10. \(\sin(3\pi)\)
  11. \(\cos(3\pi)\)
  12. \(\tan(3\pi)\)
  13. \(\sin(4\pi)\)
  14. \(\cos(4\pi)\)
  15. \(\tan(4\pi)\)
  16. \(\sin(-\pi)\)
  17. \(\cos(-\pi)\)
  18. \(\tan(-\pi)\)
  19. \(\sin(-2\pi)\)
  20. \(\cos(-2\pi)\)
  21. \(\tan(-2\pi)\)
  22. \(\sin(-3\pi)\)
  23. \(\cos(-3\pi)\)
  24. \(\tan(-3\pi)\)
  25. \(\sin(-4\pi)\)
  26. \(\cos(-4\pi)\)
  27. \(\tan(-4\pi)\)
  28. \(\sin(\pi/6)\)
  29. \(\cos(\pi/6)\)
  30. \(\tan(\pi/6)\)
  31. \(\sin(5\pi/6)\)
  32. \(\cos(5\pi/6)\)
  33. \(\tan(5\pi/6)\)
  34. \(\sin(7\pi/6)\)
  35. \(\cos(7\pi/6)\)
  36. \(\tan(7\pi/6)\)
  37. \(\sin(11\pi/6)\)
  38. \(\cos(11\pi/6)\)
  39. \(\tan(11\pi/6)\)
  40. \(\sin(13\pi/6)\)
  41. \(\cos(13\pi/6)\)
  42. \(\tan(13\pi/6)\)
  43. \(\sin(\pi/4)\)
  44. \(\cos(\pi/4)\)
  45. \(\tan(\pi/4)\)
  46. \(\sin(3\pi/4)\)
  47. \(\cos(3\pi/4)\)
  48. \(\tan(3\pi/4)\)
  49. \(\sin(7\pi/4)\)
  50. \(\sin(5\pi/4)\)
  51. \(\cos(5\pi/4)\)
  52. \(\tan(5\pi/4)\)
  53. \(\cos(7\pi/4)\)
  54. \(\tan(7\pi/4)\)
  55. \(\sin(9\pi/4)\)
  56. \(\cos(9\pi/4)\)
  57. \(\tan(9\pi/4)\)
  58. \(\sin(\pi/3)\)
  59. \(\cos(\pi/3)\)
  60. \(\tan(\pi/3)\)
  61. \(\sin(2\pi/3)\)
  62. \(\cos(2\pi/3)\)
  63. \(\tan(2\pi/3)\)
  64. \(\sin(4\pi/3)\)
  65. \(\cos(4\pi/3)\)
  66. \(\tan(4\pi/3)\)
  67. \(\sin(5\pi/3)\)
  68. \(\cos(5\pi/3)\)
  69. \(\tan(5\pi/3)\)
  70. \(\sin(7\pi/3)\)
  71. \(\cos(7\pi/3)\)
  72. \(\tan(7\pi/3)\)
  73. \(\sin(\pi/2)\)
  74. \(\cos(\pi/2)\)
  75. \(\tan(\pi/2)\)
  76. \(\sin(3\pi/2)\)
  77. \(\cos(3\pi/2)\)
  78. \(\tan(3\pi/2)\)
  79. \(\sin(5\pi/2)\)
  80. \(\cos(5\pi/2)\)
  81. \(\tan(5\pi/2)\)

  1. https://xkcd.com/809/↩︎