PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (210)
Orphanage
Unclass'd (1)
Unproven (473)
Corrections (34)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: Very high
[parent] trigonometry (Topic)

Geometrical definitions

Trigonometry arose in ancient times out of attempts to measure the lengths of various lines associated with circles. For example, consider this diagram showing the upper right quadrant with a unit circle:

\begin{pspicture*}(-1,-1)(5,5) \rput(-1.01,-1.01){.} \rput(5.01,5.01){.} \psline... ...{.1}[0]{90}(4,1){$\tan\alpha$} \uput{.2}[30]{0}(.2,0){$\alpha$} \end{pspicture*}
The point $ B$, external to the circle with center $ O$, determines a unique secant $ BO$ and two tangent lines of equal length, one of which is $ BA$. It thus also uniquely determines an angle $ \alpha=\angle AOB$. The trigonometric functions $ \sec$ and $ \tan$ simply measure the ratio of the lengths of the secant and tangent lines to the radius of the circle.

Thus, in the diagram, $ \tan\alpha=AB = AB:OA$. But triangles $ OAB$ and $ ODC$ are obviously similar, so $ \tan\alpha$ is also equal to $ CD:OD$, and we recover the usual current-day definition of $ \tan$. Similarly, from the diagram, $ \sec\alpha = OB = OB:OA$ and again, using similarity, we also have $ \sec\alpha=OC:OD$, which is again the usual modern definition.

The cosecant, $ \csc$, is the ratio of the secant to the other leg of the right triangle. Using the standard definitions today for $ \sec$ and $ \csc$, we see that this is correct:

$\displaystyle \csc(x)=\frac{\sec(x)}{\tan(x)}=\frac{1}{\cos(x)}\cdot\frac{cos(x)}{\sin(x)}=\frac{1}{\sin(x)}$

The sine arose in attempts to measure the length of a chord traversing a given angle on a circle. Consider the following diagram:


\begin{pspicture*}(-5,-5)(5,5) \rput(-5.01,-5.01){.} \rput(5.01,5.01){.} \psline... ...sline(-3.9,.8888)(3.4641,-2) \uput{.2}[0](-3.9,.8888){$\alpha$} \end{pspicture*}
Here, the arc $ CE$ is the circular angle $ \alpha$, which is also $ \angle CFE$, $ \angle COD$, and $ \angle DOE$ (recall that a circumferential angle is the same measure as the arc subtended, while a central angle is twice the arc subtended). The length of the chord $ CE$ is in fact $ 2\sin\alpha$. Presumably because central angles are easier to work with, the common definition was that of the half-chord, and one can see by considering $ \triangle COD$ that in fact $ CD$ is $ \sin \alpha$ using the modern definitions.

The term “sine” has an interesting history. The Hindus gave the name jiva to the half-chord $ CD$; the Arabs used (or created) the word jiba for this concept. When Robert of Chester, an early translator of al-Khowarizmi's Algebra, translated this word, he mistook it for a similar Arabic word, jaib, which means “bay” or “inlet”. As a result, he used the Latin term “sinus”, which also means bay or inlet.

To understand how the trigonometric functions are defined today, consider the right triangle $ ABC$ below.

\includegraphics{triangle}
Noting that $ 0^\circ<\alpha<90^\circ$, we define the trigonometric functions sine, cosine, tangent, secant, cosecant and cotangent for angle $ \alpha$ respectively as:
$\displaystyle \sin(\alpha)= \frac{BC}{CA},\qquad\qquad \csc(\alpha) = \frac{CA}{BC}$
$\displaystyle \cos(\alpha)= \frac{AB}{CA},\qquad\qquad \sec(\alpha) = \frac{CA}{AB}$
$\displaystyle \tan(\alpha)= \frac{BC}{AB},\qquad\qquad \cot(\alpha) = \frac{AB}{BC}$

We will discuss later how to extend these definitions to a broader set of values for $ \alpha$.

Several identities follow directly from the definitions:

  • $ \tan(\alpha)=\sin(\alpha)/\cos(\alpha)$.
  • $ \sec(\alpha)=1/\cos(\alpha),\qquad \csc(\alpha)=1/\sin(\alpha),\qquad\cot(\alpha)=1/\tan(\alpha)$.
  • $ \sin(\alpha) = \cos(90^\circ-\alpha),\qquad\tan(\alpha)=\cot(90^\circ -\alpha),\qquad\sec(\alpha)=\csc(90^\circ-\alpha)$.
The last property follows from the fact that $ \angle ACB=90^\circ-\alpha$.

The Pythagorean theorem states that $ CA^2 = AB^2+BC^2$ and thus

$\displaystyle 1=\frac{CA^2}{CA^2}=\frac{AB^2+ BC^2}{CA^2} = \left(\frac{AB}{CA}\right)^2+\left(\frac{BC}{CA}\right)^2 = (\cos(\alpha))^2 + (\sin(\alpha))^2. $
It is customary to write $ (\sin(\alpha))^n$, $ (\cos(\alpha))^n$, etc. as $ \sin^n(\alpha)$, $ \cos^n(\alpha)$, etc. respectively, so the previous identity is usually written as
$\displaystyle \sin^2(\alpha) + \cos^2(\alpha) = 1 $
and it is known as the Pythagorean identity. Notice that the first three identities let us to express any expression involving trigonometric functions using only sines and cosines, whereas the Pythagorean identity lets us reduce it further, using only sines. This technique is sometimes used when proving trigonometric identities.

Two other identities that can be obtained from the Pythagorean theorem or from the Pythagorean identity are

$\displaystyle \tan^2(\alpha) + 1 = \sec^2(\alpha),\qquad 1 + \cot^2(\alpha) = \csc^2(\alpha). $

Extending the domain

There are several approaches for extending the domain of the trigonometric functions so they are not restricted to angles between 0 and $ 90^\circ$. We could use the angle sum identities below in order to calculate the value of the trigonometric functions outside the given range (for instance, $ \sin(120^\circ)$ could be found as $ \sin(60^\circ + 60^\circ)$. Some other more formal approaches use power series expansion to define the functions for any real value (or even complex!), but we will use a more geometrical approach, using the unit circle.
\includegraphics{unitcircle}

Consider a unit circle centered at origin of the plane (that is, a circle of radius $ 1$ and center $ (0,0)$), and draw a ray from the center making an angle of $ \alpha$ with the horizontal axis, measured counter-clockwise from the positive $ x$-axis. (This ray is the terminal ray of the angle.) Let $ P$ be the point of intersection of this line with the circle, and $ T$ the intersection with the line $ x=1$. Finally, let us denote by $ (x,y)$ the coordinates of $ P$ and $ (1,t)$ the coordinates of $ T$.

Since the circle has radius $ 1$, the distance from origin to $ P$ is also $ 1$ and thus

$\displaystyle \cos\alpha= \frac{x}{1}=x,\qquad \sin\alpha=\frac{y}{1}=y,$
in other words, the coordinates of $ P$ are precisely $ (\cos \alpha,\sin\alpha)$.

Now, the two right triangles made with the projections of $ P$ and $ T$ to the $ x$-axis are similar, so we have

$\displaystyle \tan \alpha = \frac{y}{x}=\frac{t}{1}=t, $
that is, the point $ t$ has ordinate equal to $ \tan\alpha$.

This formulation makes it much easier to generalize the definitions to arbitrary angles: $ \cos\alpha, \sin\alpha$ are the coordinates of the intersection of the circle with the line through the origin making angle $ \alpha$ with the positive $ x$-axis:

\includegraphics{unitcircle2}

You may be wondering now why we put $ -\tan \alpha$ instead of $ \tan\alpha$ if the analogy was to be continued. The reason is that we only need $ \sin \alpha$ and $ \cos \alpha$ to define all the other trigonometric functions, and given that

$\displaystyle \tan\alpha=\frac{\sin\alpha}{\cos\alpha}$
we use that identity to extend the domain of $ \tan\alpha$. In the particular case of the drawing above, both $ \cos \alpha$ and $ \sin \alpha$ are negative, so their quotient must be positive, and that's why we added a minus sign to $ \tan\alpha$.

The geometrical approach lets us easily verify the following relations:

  $\displaystyle \sin(180^\circ-\alpha)=\sin\alpha, \quad$   $\displaystyle \sin(180^\circ+\alpha)= -\sin\alpha,\quad$   $\displaystyle \sin(-\alpha)=-\sin\alpha$    
  $\displaystyle \cos(180^\circ-\alpha)=-\cos\alpha, \quad$   $\displaystyle \cos(180^\circ+\alpha)= -\cos\alpha,\quad$   $\displaystyle \cos(-\alpha)=\cos\alpha$    
  $\displaystyle \tan(180^\circ-\alpha)=-\tan\alpha, \quad$   $\displaystyle \tan(180^\circ+\alpha)= \tan\alpha,\quad$   $\displaystyle \tan(-\alpha)=-\tan\alpha$    

Graphs

The graph of $ \sin$ appears below. Note that the $ x$-axis is scaled not in degrees, but rather in radians.
\includegraphics{sinx}

The graph of $ \cos$ is below. Note the similarity between the two graphs: the graphs of $ \cos$ is just like the graph of $ \sin$, but shifted by $ 90^\circ$ ($ \pi/2$ radians). This precisely reflects the identity $ \sin \alpha = \cos (\alpha-90^\circ)$.

\includegraphics{cosx}

Also notice that you can read off directly from the graphs the facts that

$\displaystyle \sin\alpha=-\sin(-\alpha),\qquad\cos\alpha=\cos(-\alpha)$

Trigonometrical identities

There are literally thousands of trigonometric identities. Some of the most common (and most useful) are:

Sum and difference of angles

$\displaystyle \sin(x+y)$ $\displaystyle = \sin x\cos y + \cos x \sin y,$ $\displaystyle \sin(x-y)$ $\displaystyle = \sin x\cos y - \cos x \sin y,$    
$\displaystyle \cos(x+y)$ $\displaystyle = \cos x\cos y - \sin x \sin y,$ $\displaystyle \cos(x-y)$ $\displaystyle = \cos x\cos y + \sin x \sin y,$    
$\displaystyle \tan(x+y)$ $\displaystyle = \frac{\tan x + \tan y}{1-\tan x\tan y},$ $\displaystyle \tan(x-y)$ $\displaystyle = \frac{\tan x - \tan y}{1+\tan x\tan y}.$    

(There is a proof of angle sum identities, as well as a geometric derivation of addition formulas for sine and cosine, on this site).

Half and double angles

The double angle formulas are derived directly from the sum of angles formulas above. The half-angle formulas can then be derived from the double angle formulas by substituting $ x/2$ for $ x$ and simplifying, using the identity $ sin^2+cos^2=1$.

$\displaystyle \sin(x/2) = \pm\sqrt{\frac{1-\cos x }{2}},$   $\displaystyle \sin(2x)$ $\displaystyle = 2\sin x \cos x,$    
$\displaystyle \cos(x/2)= \pm\sqrt{\frac{1+\cos x}{2}},$   $\displaystyle \cos(2x)$ $\displaystyle = \cos^2 x - \sin^2 x = 2\cos^2 x -1 = 1-2\sin^2 x.$    



Anyone with an account can edit this entry. Please help improve it!

"trigonometry" is owned by rm50. [ full author list (5) | owner history (2) ]
(view preamble)

View style:

See Also: definitions in trigonometry, exact trigonometry tables, sohcahtoa, determining signs of trigonometric functions, terminal ray, calculator trigonometric functions, goniometric formulas

Also defines:  sine, cosine, tangent, secant, cosecant, cotangent

This object's parent.

Attachments:
table of values for $\sin(x)$ (Example) by drini
table of values for $\cos(x)$ (Example) by drini
table of values for $\tan(x)$ (Example) by drini
$\operatorname{arc tan}$ with two arguments (Definition) by matte
exact trigonometry tables (Example) by stevecheng
goniometric formulas (Topic) by Wkbj79
proof of angle sum identities (Proof) by rspuzio
phase parametrization in $\cos(x+p)=\cos x$ (Definition) by perucho
Log in to rate this entry.
(view current ratings)

Cross-references: double angle formulas, site, geometric derivation of addition formulas for sine and cosine, proof of angle sum identities, difference, sum, thousands, reflects, radians, in degrees, graph, relations, quotient, negative, ordinate, projections, distance, coordinates, intersection, terminal ray, positive, axis, ray, plane, origin, complex, even, real, functions, power series, range, calculate, order, angle sum identities, restricted, domain, trigonometric identities, expression, Pythagorean identity, Pythagorean theorem, property, identities, algebra, term, central angle, circumferential angle, arc, chord, definitions, right triangle, leg, similarity, similar, triangles, radius, ratio, trigonometric functions, angle, center, point, unit circle, quadrant, right, circles, lines, lengths, measure
There are 74 references to this entry.

This is version 28 of trigonometry, born on 2005-02-22, modified 2007-12-09.
Object id is 6807, canonical name is Trigonometry.
Accessed 19803 times total.

Classification:
AMS MSC: 33B10 (Special functions :: Elementary classical functions :: Exponential and trigonometric functions)
 42-00 (Fourier analysis :: General reference works )
 51-00 (Geometry :: General reference works )
 43-00 (Abstract harmonic analysis :: General reference works )
Pending Errata and Addenda
None.
[ View all 5 ]
Discussion
Style: Expand: Order:
forum policy
Trigonometry discussion page by rspuzio on 2005-02-23 14:47:05
Please post all further discussion of this entry to the following webpage:

http://oddwiki.taoriver.net/wiki.pl/AsteroidMeta/Discussion_of_Trigonometry
[ reply | up ]
basic trigonometric entry by drini on 2005-02-22 21:26:43
to my surprise there wasn't an entry defining and dealing and defining the elementary trigonometric functions, so I went and created this.

I know this entry is the kind of entry that will generate a long thread about comments, suggestions criticism and all that jazz, so why don't someone better sets up an asteroidmeta page for this so we can avoid polluting the page (and making it a lot larger and slower to load ;)

It's incomplete as it stands right now, but I'm making it world editable so anyone can work on it directly. Ah, and I'd like it to keep it as real trig mostly entru, so please do not dwell too much into complex analysis (perhaps just some mention and references)
 f
G -----> H G
p \ /_ ----- ~ f(G)
 \ / f ker f
 G/ker f 
[ reply | up ]
Interact
post | correct | update request | add example | add (any)