Trigonometric functions

In mathematics, the trigonometric functions (also called circular functions) are functions of an angle. They are important in the study of triangles and modeling periodic phenomena, among many other applications. Trigonometric functions are commonly defined as ratios of two sides of a right triangle containing the angle, and can equivalently be defined as the lengths of various line segments from a unit circle. More modern definitions express them as infinite series or as solutions of certain differential equations, allowing their extension to arbitrary positive and negative values and even to complex numbers.

In modern usage, there are six basic trigonometric functions, which are tabulated here along with equations relating them to one another. Especially in the case of the last four, these relations are often taken as the definitions of those functions, but one can define them equally well geometrically or by other means and then derive these relations.

Trigonometry

History
Usage
Functions
Inverse functions
Further reading

Reference

List of identities
Exact constants
Generating trigonometric tables
CORDIC

Euclidean theory

Law of sines
Law of cosines
Law of tangents
Pythagorean theorem

Calculus

The Trigonometric integral
Trigonometric substitution
Integrals of functions
Derivatives of functions
Integrals of inverses

Contents

Right-angled triangle definitions

A right triangle always includes a 90° (π/2 radians) angle, here labeled C. Angles A and B may vary. Trigonometric functions specify the relationships among side lengths and interior angles of a right triangle.
Function Abbreviation Identities (using radians)
Sine sin \sin \theta \equiv \cos \left(\frac{\pi}{2} - \theta \right) \equiv \frac{1}{\csc \theta}\,
Cosine cos \cos \theta \equiv \sin \left(\frac{\pi}{2} - \theta \right) \equiv \frac{1}{\sec \theta}\,
Tangent tan
(or tg)
\tan \theta \equiv \frac{\sin \theta}{\cos \theta} \equiv \cot \left(\frac{\pi}{2} - \theta \right) \equiv \frac{1}{\cot \theta} \,
Cosecant csc
(or cosec)
\csc \theta \equiv \sec \left(\frac{\pi}{2} - \theta \right) \equiv\frac{1}{\sin \theta} \,
Secant sec \sec \theta \equiv \csc \left(\frac{\pi}{2} - \theta \right) \equiv\frac{1}{\cos \theta} \,
Cotangent cot
(or ctg or ctn)
\cot \theta \equiv \frac{\cos \theta}{\sin \theta} \equiv \tan \left(\frac{\pi}{2} - \theta \right) \equiv \frac{1}{\tan \theta} \,
The sine, tangent, and secant functions of an angle constructed geometrically in terms of a unit circle. The number θ is the length of the curve; thus angles are being measured in radians. The secant and tangent functions rely on a fixed vertical line and the sine function on a moving vertical line. ("Fixed" in this context means not moving as θ changes; "moving" means depending on θ.) Thus, as θ goes from 0 up to a right angle, sin θ goes from 0 to 1, tan θ goes from 0 to ∞, and sec θ goes from 1 to ∞.
The cosine, cotangent, and cosecant functions of an angle θ constructed geometrically in terms of a unit circle. The functions whose names have the prefix co- use horizontal lines where the others use vertical lines.

The notion that there should be some standard correspondence between the lengths of the sides of a triangle and the angles of the triangle comes as soon as one recognizes that similar triangles maintain the same ratios between their sides. That is, for any similar triangle the ratio of the hypotenuse (for example) and another of the sides remains the same. If the hypotenuse is twice as long, so are the sides. It is these ratios that the trigonometric functions express.

In order to define the trigonometric functions for the angle A, start with an arbitrary right triangle that contains the angle A:

We use the following names for the three sides of the triangle:

All triangles are taken to exist in the Euclidean plane so that the inside angles of each triangle sum to 180°radians); thus for a right angled triangle the two non-right angles are between zero and 90° (π/2 radians). The following definitions are therefore restricted to this 0 to 90° range. We extend them to the full set of real arguments by using the unit circle, or by requiring certain symmetries and that they be periodic functions.

Sine

The sine of an angle is the ratio of the length of the opposite side to the length of the hypotenuse. In our case

\sin A = \frac {\textrm{opposite}} {\textrm{hypotenuse}} = \frac {a} {h}\,.

Note that this ratio does not depend on size of the particular right triangle chosen, as long as it contains the angle A, since all such triangles are similar.

Cosine

The cosine of an angle is the ratio of the length of the adjacent side to the length of the hypotenuse. In our case

\cos A = \frac {\textrm{adjacent}} {\textrm{hypotenuse}} = \frac {b} {h}\,.

Tangent

The tangent of an angle is the ratio of the length of the opposite side to the length of the adjacent side. In our case

\tan A = \frac {\textrm{opposite}} {\textrm{adjacent}} = \frac {a} {b}\,.

The above three formulae in the order Sin, Cos, Tan i.e. Opposite/Hypotenuse, Adjacent/Hypotenuse & Opposite/Adjacent can be easily remembered by the mnemonic "Old Harry And His Old Aunt" or "Some Old Hags Can't Always Hide Their Old Age".

another mnemonic is "Soh Cah Toa" reference: [1]

Reciprocal functions

The remaining three functions are best defined using the above three functions.

The cosecant csc(A) is the reciprocal of sin(A), i.e. the ratio of the length of the hypotenuse to the length of the opposite side:

\csc A = \frac {\textrm{hypotenuse}} {\textrm{opposite}} = \frac {h} {a}\,.

The secant sec(A) is the reciprocal of cos(A), i.e. the ratio of the length of the hypotenuse to the length of the adjacent side:

\sec A = \frac {\textrm{hypotenuse}} {\textrm{adjacent}} = \frac {h} {b}\,.

The cotangent cot(A) is the reciprocal of tan(A), i.e. the ratio of the length of the adjacent side to the length of the opposite side:

\cot A = \frac {\textrm{adjacent}} {\textrm{opposite}} = \frac {b} {a}\,.

Slope definitions

Equivalent to the right-triangle definitions, the trigonometric functions can be defined in terms of the rise, run, and slope of a line segment relative to some horizontal line. The slope is commonly taught as "rise over run" or rise/run. The three main trigonometric functions are commonly taught in the order sine, cosine, tangent. With a unit circle, the following correspondence of definitions exists:

  1. Sine is first, rise is first. Sine takes an angle and tells the rise when the length of the line is 1.
  2. Cosine is second, run is second. Cosine takes an angle and tells the run when the length of the line is 1.
  3. Tangent is the slope formula that combines the rise and run. Tangent takes an angle and tells the slope when the length of the line is 1, and tells the rise when the run is 1.

This shows the main use of tangent and arctangent: converting between the two ways of telling the slant of a line, i.e., angles and slopes. (Note that the arctangent or "inverse tangent" is not to be confused with the cotangent, which is cos divided by sin.)

While the radius of the circle makes no difference for the slope (the slope does not depend on the length of the slanted line), it does affect rise and run. To adjust and find the actual rise and run, just multiply the sine and cosine by the radius. For instance, if the circle has radius 5, the run at an angle of 1° is 5 cos(1°)

Unit-circle definitions

The unit circle

The six trigonometric functions can also be defined in terms of the unit circle, the circle of radius one centered at the origin. The unit circle definition provides little in the way of practical calculation; indeed it relies on right triangles for most angles. The unit circle definition does, however, permit the definition of the trigonometric functions for all positive and negative arguments, not just for angles between 0 and π/2 radians. It also provides a single visual picture that encapsulates at once all the important triangles. From the Pythagorean theorem the equation for the unit circle is:

x^2 + y^2 = 1

In the picture, some common angles, measured in radians, are given. Measurements in the counter clockwise direction are positive angles and measurements in the clockwise direction are negative angles. Let a line through the origin, making an angle of θ with the positive half of the x-axis, intersect the unit circle. The x- and y-coordinates of this point of intersection are equal to cos θ and sin θ, respectively. The triangle in the graphic enforces the formula; the radius is equal to the hypotenuse and has length 1, so we have sin θ = y/1 and cos θ = x/1. The unit circle can be thought of as a way of looking at an infinite number of triangles by varying the lengths of their legs but keeping the lengths of their hypotenuses equal to 1.

The sine and cosine functions graphed on the Cartesian plane.
Trigonometric functions: Sine, Cosine, Tangent, Cosecant, Secant, Cotangent

For angles greater than 2π or less than −2π, simply continue to rotate around the circle. In this way, sine and cosine become periodic functions with period 2π:

\sin\theta = \sin\left(\theta + 2\pi k \right)\,,
\cos\theta = \cos\left(\theta + 2\pi k \right)\,,

for any angle θ and any integer k.

The smallest positive period of a periodic function is called the primitive period of the function. The primitive period of the sine, cosine, secant, or cosecant is a full circle, i.e. 2π radians or 360 degrees; the primitive period of the tangent or cotangent is only a half-circle, i.e. π radians or 180 degrees. Above, only sine and cosine were defined directly by the unit circle, but the other four trigonometric functions can be defined by:

\tan\theta = \frac{\sin\theta}{\cos\theta}\,, \quad \sec\theta = \frac{1}{\cos\theta}\,,
\csc\theta = \frac{1}{\sin\theta}\,, \quad \cot\theta = \frac{\cos\theta}{\sin\theta}\,.

To the right is an image that displays a noticeably different graph of the trigonometric function f(θ)= tan(θ) graphed on the cartesian plane. Note that its x-intercepts correspond to that of sin(θ) while its undefined values correspond to the x-intercepts of the cos(θ). Observe that the function's results change slowly around angles of kπ, but change rapidly at angles close to (k + 1/2)π. The graph of the tangent function also has a vertical asymptote at θ = (k + 1/2)π. This is the case because the function approaches infinity as θ approaches (k + 1/2)π from the left and minus infinity as it approaches (k + 1/2)π from the right.

All of the trigonometric functions of the angle θ can be constructed geometrically in terms of a unit circle centered at O.

Alternatively, all of the basic trigonometric functions can be defined in terms of a unit circle centered at O (as shown in the picture to the right), and similar such geometric definitions were used historically. In particular, for a chord AB of the circle, where θ is half of the subtended angle, sin(θ) is AC (half of the chord), a definition introduced in India (see above). cos(θ) is the horizontal distance OC, and versin(θ) = 1 − cos(θ) is CD. tan(θ) is the length of the segment AE of the tangent line through A, hence the word tangent for this function. cot(θ) is another tangent segment, AF. sec(θ) = OE and csc(θ) = OF are segments of secant lines (intersecting the circle at two points), and can also be viewed as projections of OA along the tangent at A to the horizontal and vertical axes, respectively. DE is exsec(θ) = sec(θ) − 1 (the portion of the secant outside, or ex, the circle). From these constructions, it is easy to see that the secant and tangent functions diverge as θ approaches π/2 (90 degrees) and that the cosecant and cotangent diverge as θ approaches zero. (Many similar constructions are possible, and the basic trigonometric identities can also be proven graphically.)

Series definitions

The sine function (blue) is closely approximated by its Taylor polynomial of degree 7 (pink) for a full cycle centered on the origin.

Using only geometry and properties of limits, it can be shown that the derivative of sine is cosine and the derivative of cosine is the negative of sine. (Here, and generally in calculus, all angles are measured in radians; see also the significance of radians below.) One can then use the theory of Taylor series to show that the following identities hold for all real numbers x:[1]


\begin{align}
\sin x & = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \\  \\
& = \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{(2n+1)!}
= \sum_{\text{odd }m \ge 1} (-1)^{(m-1)/2} \frac{x^m}{m!}, \\  \\
\cos x & = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \\  \\
& = \sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)!}
= \sum_{\text{even }m \ge 0} (-1)^{m/2} \frac{x^m}{m!}.
\end{align}

These identities are sometimes taken as the definitions of the sine and cosine function. They are often used as the starting point in a rigorous treatment of trigonometric functions and their applications (e.g., in Fourier series), since the theory of infinite series can be developed from the foundations of the real number system, independent of any geometric considerations. The differentiability and continuity of these functions are then established from the series definitions alone.

Other series can be found:[2]

Tangent


\begin{align}
\tan x & {} = \sum_{n=0}^\infty \frac{U_{2n+1} x^{2n+1}}{(2n+1)!} \\
& {} = \sum_{n=1}^\infty \frac{(-1)^{n-1} 2^{2n} (2^{2n}-1) B_{2n} x^{2n-1}}{(2n)!} \\
& {} = x + \frac{x^3}{3} + \frac{2 x^5}{15} + \frac{17 x^7}{315} + \cdots, \qquad \text{for } |x| < \frac{\pi}{2}\,,
\end{align}

where

Un is the nth up/down number,
Bn is the nth Bernoulli number, and
En (below) is the nth Euler number.

When this series for the tangent function is expressed in a form in which the denominators are the corresponding factorials, and the numerators, called the "tangent numbers", have a combinatorial interpretation: they enumerate alternating permutations of finite sets of odd cardinality.

Cosecant


\begin{align}
\csc x & {} = \sum_{n=0}^\infty \frac{(-1)^{n+1} 2 (2^{2n-1}-1) B_{2n} x^{2n-1}}{(2n)!} \\
& {} = \frac {1} {x} + \frac {x} {6} + \frac {7 x^3} {360} + \frac {31 x^5} {15120} + \cdots, \qquad \text{for } 0 < |x| < \pi\,.
\end{align}

Secant


\begin{align}
\sec x & {} = \sum_{n=0}^\infty \frac{U_{2n} x^{2n}}{(2n)!}
= \sum_{n=0}^\infty \frac{(-1)^n E_{2n} x^{2n}}{(2n)!} \\
& {} = 1 + \frac {x^2} {2} + \frac {5 x^4} {24} + \frac {61 x^6} {720} + \cdots, \qquad \text{for } |x| < \frac{\pi}{2}\,.
\end{align}

When this series for the secant function is expressed in a form in which the denominators are the corresponding factorials, the numerators, called the "secant numbers", have a combinatorial interpretation: they enumerate alternating permutations of finite sets of even cardinality.

Cotangent


\begin{align}
\cot x & {} = \sum_{n=0}^\infty \frac{(-1)^n 2^{2n} B_{2n} x^{2n-1}}{(2n)!} \\
& {} = \frac {1} {x} - \frac {x}{3} - \frac {x^3} {45} - \frac {2 x^5} {945} - \cdots, \qquad \text{for } 0 < |x| < \pi\,.
\end{align}

From a theorem in complex analysis, there is a unique analytic continuation of this real function to the domain of complex numbers. They have the same Taylor series, and so the trigonometric functions are defined on the complex numbers using the Taylor series above.

Relationship to exponential function and complex numbers

Euler's formula illustrated with the three dimensional helix, starting with the 2-D orthogonal components of the unit circle, sine and cosine (using \theta = t).

It can be shown from the series definitions[3] that the sine and cosine functions are the imaginary and real parts, respectively, of the complex exponential function when its argument is purely imaginary:

 e^{i \theta} = \cos\theta + i\sin\theta \,.

This identity is called Euler's formula. In this way, trigonometric functions become essential in the geometric interpretation of complex analysis. For example, with the above identity, if one considers the unit circle in the complex plane, defined by e^{ix}, and as above, we can parametrize this circle in terms of cosines and sines, the relationship between the complex exponential and the trigonometric functions becomes more apparent.

Furthermore, this allows for the definition of the trigonometric functions for complex arguments z:

\sin z = \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n+1)!}z^{2n+1} \, = \, {e^{i z} - e^{-i z} \over 2i} = -i \sinh \left( i z\right) \,,
\cos z = \sum_{n=0}^{\infty}\frac{(-1)^{n}}{(2n)!}z^{2n} \, = \, {e^{i z} + e^{-i z} \over 2} = \cosh \left(i z\right)\,,

where i 2 = −1. Also, for purely real x,

\cos x = \mbox{Re } (e^{i x})\,,
\sin x = \mbox{Im } (e^{i x})\,.

Complex graphs

In the following graphs, the domain is the complex plane pictured, and the range values are indicated at each point by color. Brightness indicates the size (absolute value) of the range value, with black being zero. Hue varies with argument, or angle, measured from the positive real axis. (more)

Trigonometric functions in the complex plane
Complex sin.jpg
Complex cos.jpg
Complex tan.jpg
Complex Cot.jpg
Complex Sec.jpg
Complex Csc.jpg

\sin z\,

\cos z\,

\tan z\,

\cot z\,

\sec z\,

\csc z\,

Definitions via differential equations

Both the sine and cosine functions satisfy the differential equation

y''=-y\,.

That is to say, each is the negative of its own second derivative. Within the 2-dimensional function space V consisting of all solutions of this equation, the sine function is the unique solution satisfying the initial conditions y(0) = 0 and y'(0)= 1, and the cosine function is the unique solution satisfying the initial conditions y(0) = 1 and y'(0) = 0. Since the sine and cosine functions are linearly independent, together they form a basis of V. This method of defining the sine and cosine functions is essentially equivalent to using Euler's formula. (See linear differential equation.) It turns out that this differential equation can be used not only to define the sine and cosine functions but also to prove the trigonometric identities for the sine and cosine functions. Further, the observation that sine and cosine satisfies \scriptstyle y''=-y\, means that they are eigenfunctions of the second-derivative operator.

The tangent function is the unique solution of the nonlinear differential equation

y'=1+y^2\,

satisfying the initial condition y(0) = 0. There is a very interesting visual proof that the tangent function satisfies this differential equation; see Needham's Visual Complex Analysis.[4]

The significance of radians

Radians specify an angle by measuring the length around the path of the unit circle and constitute a special argument to the sine and cosine functions. In particular, only those sines and cosines which map radians to ratios satisfy the differential equations which classically describe them. If an argument to sine or cosine in radians is scaled by frequency,

f(x) = \sin(kx) \,,

then the derivatives will scale by amplitude.

f'(x) = k\cos(kx) \,.

Here, k is a constant that represents a mapping between units. If x is in degrees, then

k = \frac{\pi}{180^\circ}.

This means that the second derivative of a sine in degrees satisfies not the differential equation

y'' = -y \,,

but rather

y'' = -k^2 y \,.

The cosine's second derivative behaves similarly.

This means that these sines and cosines are different functions, and that the fourth derivative of sine will be sine again only if the argument is in radians.

Identities

Main article: List of trigonometric identities

Many identities exist which interrelate the trigonometric functions. Among the most frequently used is the Pythagorean identity, which states that for any angle, the square of the sine plus the square of the cosine is always 1. This is easy to see by studying a right triangle of hypotenuse 1 and applying the Pythagorean theorem. In symbolic form, the Pythagorean identity reads,

\left(\sin x\right)^2 + \left(\cos x\right)^2 = 1\,,

which is more commonly written with the exponent "two" next to the sine and cosine symbol:

\sin^2 x  + \cos^2 x  = 1\,.

Other key relationships are the sum and difference formulas, which give the sine and cosine of the sum and difference of two angles in terms of sines and cosines of the angles themselves. These can be derived geometrically, using arguments which go back to Ptolemy; one can also produce them algebraically using Euler's formula.

\sin \left(x+y\right)=\sin x \cos y + \cos x \sin y\,,
\cos \left(x+y\right)=\cos x \cos y - \sin x \sin y\,,
\sin \left(x-y\right)=\sin x \cos y - \cos x \sin y\,,
\cos \left(x-y\right)=\cos x \cos y + \sin x \sin y\,.

When the two angles are equal, the sum formulas reduce to simpler equations known as the double-angle formulas.

These identities can also be used to derive the product-to-sum identities that were used in antiquity to transform the product of two numbers into a sum of numbers and greatly speed operations, much like the logarithm function.

Calculus

For integrals and derivatives of trigonometric functions, see the relevant sections of table of derivatives, table of integrals, and list of integrals of trigonometric functions. Below is the list of the derivatives and integrals of the six basic trigonometric functions.

\ \ \ \ f(x) \frac{d}{dx} f(x) \int f(x)\,dx
\,\ \sin x \,\ \cos x \,\ -\cos x + C
\,\ \cos x \,\ -\sin x \,\ \sin x + C
\,\ \tan x \,\ \sec^{2} x -\ln \left |\cos x\right | + C
\,\ \cot x \,\ -\csc^{2} x \ln \left |\sin x\right | + C
\,\ \sec x \,\ \sec{x}\tan{x} \ln \left |\sec x + \tan x\right | + C
\,\ \csc x \,\ -\csc{x}\cot{x} -\ln \left |\csc x + \cot x\right | + C

Definitions using functional equations

In mathematical analysis, one can define the trigonometric functions using functional equations based on properties like the sum and difference formulas. Taking as given these formulas and the Pythagorean identity, for example, one can prove that only two real functions satisfy those conditions. Symbolically, we say that there exists exactly one pair of real functions—namely sin, cos—such that for all real numbers x and y, the following equations hold:

\sin^2(x) + \cos^2(x) = 1\,,
\sin(x\pm y) = \sin x\cos y \pm \cos x\sin y\,,
\cos(x\pm y) = \cos x\cos y \mp \sin x\sin y\,,

with the added condition that

0 < x\cos x < \sin x < x \text{ for }0 < x < 1\,.

Other derivations, starting from other functional equations, are also possible, and such derivations can be extended to the complex numbers. As an example, this derivation can be used to define trigonometry in Galois fields.

Computation

The computation of trigonometric functions is a complicated subject, which can today be avoided by most people because of the widespread availability of computers and scientific calculators that provide built-in trigonometric functions for any angle. In this section, however, we describe more details of their computation in three important contexts: the historical use of trigonometric tables, the modern techniques used by computers, and a few "important" angles where simple exact values are easily found.

The first step in computing any trigonometric function is range reduction -- reducing the given angle to a "reduced angle" inside a small range of angles, say 0 to \pi/2, using the periodicity and symmetries of the trigonometric functions.

Main article: Generating trigonometric tables

Prior to computers, people typically evaluated trigonometric functions by interpolating from a detailed table of their values, calculated to many significant figures. Such tables have been available for as long as trigonometric functions have been described (see History above), and were typically generated by repeated application of the half-angle and angle-addition identities starting from a known value (such as \sin(\pi/2) = 1).

Modern computers use a variety of techniques.[5] One common method, especially on higher-end processors with floating point units, is to combine a polynomial or rational approximation (such as Chebyshev approximation, best uniform approximation, and Padé approximation, and typically for higher or variable precisions, Taylor and Laurent series) with range reduction and a table lookup — they first look up the closest angle in a small table, and then use the polynomial to compute the correction.[6] On devices that lack hardware multipliers, an algorithm called CORDIC (as well as related techniques) which uses only addition, subtraction, bitshift and table lookup, is often used. All of these methods are commonly implemented in hardware floating point units for performance reasons.

For very high precision calculations, when series expansion convergence becomes too slow, trigonometric functions can be approximated by the arithmetic-geometric mean, which itself approximates the trigonometric function by the (complex) elliptic integral.[7]

Main article: Exact trigonometric constants

Finally, for some simple angles, the values can be easily computed by hand using the Pythagorean theorem, as in the following examples. In fact, the sine, cosine and tangent of any integer multiple of \pi / 60 radians (3°) can be found exactly by hand.

Consider a right triangle where the two other angles are equal, and therefore are both \pi / 4 radians (45°). Then the length of side b and the length of side a are equal; we can choose a = b = 1. The values of sine, cosine and tangent of an angle of \pi / 4 radians (45°) can then be found using the Pythagorean theorem:

c = \sqrt { a^2+b^2 } = \sqrt2\,.

Therefore:

\sin \left(\pi / 4 \right) = \sin \left(45^\circ\right) = \cos \left(\pi / 4 \right) = \cos \left(45^\circ\right) = {1 \over \sqrt2}\,,
\tan \left(\pi / 4 \right) = \tan \left(45^\circ\right) = {{\sin \left(\pi / 4 \right)}\over{\cos \left(\pi / 4 \right)}} = {1 \over \sqrt2} \cdot {\sqrt2 \over 1} = {\sqrt2 \over \sqrt2} = 1\,.

To determine the trigonometric functions for angles of π/3 radians (60 degrees) and π/6 radians (30 degrees), we start with an equilateral triangle of side length 1. All its angles are π/3 radians (60 degrees). By dividing it into two, we obtain a right triangle with π/6 radians (30 degrees) and π/3 radians (60 degrees) angles. For this triangle, the shortest side = 1/2, the next largest side =(√3)/2 and the hypotenuse = 1. This yields:

\sin \left(\pi / 6 \right) = \sin \left(30^\circ\right) = \cos \left(\pi / 3 \right) = \cos \left(60^\circ\right) = {1 \over 2}\,,
\cos \left(\pi / 6 \right) = \cos \left(30^\circ\right) = \sin \left(\pi / 3 \right) = \sin \left(60^\circ\right) = {\sqrt3 \over 2}\,,
\tan \left(\pi / 6 \right) = \tan \left(30^\circ\right) = \cot \left(\pi / 3 \right) = \cot \left(60^\circ\right) = {1 \over \sqrt3}\,.

Inverse functions

The trigonometric functions are periodic, and hence not injective, so strictly they do not have an inverse function. Therefore to define an inverse function we must restrict their domains so that the trigonometric function is bijective. In the following, the functions on the left are defined by the equation on the right; these are not proved identities. The principal inverses are usually defined as:

 \begin{matrix}

 \mbox{for} & -\frac{\pi}{2} \le y \le \frac{\pi}{2},
 & y = \arcsin x & \mbox{if} & x = \sin y \,;\\ \\
 \mbox{for} & 0 \le y \le \pi,
 & y = \arccos x & \mbox{if} & x = \cos y \,;\\ \\
 \mbox{for} & -\frac{\pi}{2} < y < \frac{\pi}{2},
 & y = \arctan x & \mbox{if} & x = \tan y \,;\\ \\
 \mbox{for} & -\frac{\pi}{2} \le y \le \frac{\pi}{2}, y \ne 0,
 & y = \arccsc x & \mbox{if} & x = \csc y \,;\\ \\
 \mbox{for} & 0 \le y \le \pi, y \ne \frac{\pi}{2},
 & y = \arcsec x & \mbox{if} & x = \sec y \,;\\ \\
 \mbox{for} & 0 < y < \pi,
 & y = \arccot x & \mbox{if} & x = \cot y \,.

\end{matrix}

For inverse trigonometric functions, the notations sin−1 and cos−1 are often used for arcsin and arccos, etc. When this notation is used, the inverse functions could be confused with the multiplicative inverses of the functions. The notation using the "arc-" prefix avoids such confusion, though "arcsec" can be confused with "arcsecond".

Just like the sine and cosine, the inverse trigonometric functions can also be defined in terms of infinite series. For example,


\arcsin z = z + \left( \frac {1} {2} \right) \frac {z^3} {3} + \left( \frac {1 \cdot 3} {2 \cdot 4} \right) \frac {z^5} {5} + \left( \frac{1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6 } \right) \frac{z^7} {7} + \cdots\,.

These functions may also be defined by proving that they are antiderivatives of other functions. The arcsine, for example, can be written as the following integral:


\arcsin z =
\int_0^z \frac 1 {\sqrt{1 - x^2}}\,dx, \quad |z| < 1\,.

Analogous formulas for the other functions can be found at Inverse trigonometric function. Using the complex logarithm, one can generalize all these functions to complex arguments:


\arcsin z = -i \log \left( i z + \sqrt{1 - z^2} \right)\,,

\arccos z = -i \log \left( z + \sqrt{z^2 - 1}\right)\,,

\arctan z = \frac{i}{2} \log\left(\frac{1-iz}{1+iz}\right)\,.

Properties and applications

Main article: Uses of trigonometry

The trigonometric functions, as the name suggests, are of crucial importance in trigonometry, mainly because of the following two results.

Law of sines

The law of sines states that for an arbitrary triangle with sides a, b, and c and angles opposite those sides A, B and C:

\frac{\sin A}{a} = \frac{\sin B}{b} = \frac{\sin C}{c}\,,

or, equivalently,

\frac{a}{\sin A} = \frac{b}{\sin B} = \frac{c}{\sin C} = 2R\,,

where R is the radius of the triangle's circumcircle.

A Lissajous curve, a figure formed with a trigonometry-based function.

It can be proven by dividing the triangle into two right ones and using the above definition of sine. The law of sines is useful for computing the lengths of the unknown sides in a triangle if two angles and one side are known. This is a common situation occurring in triangulation, a technique to determine unknown distances by measuring two angles and an accessible enclosed distance.

Law of cosines

The law of cosines (also known as the cosine formula) is an extension of the Pythagorean theorem:

c^2=a^2+b^2-2ab\cos C \,,

also known as:

\cos C=\frac{a^2+b^2-c^2}{2ab}\,.

In this formula the angle at C is opposite to the side c. This theorem can be proven by dividing the triangle into two right ones and using the Pythagorean theorem.

The law of cosines is mostly used to determine a side of a triangle if two sides and an angle are known, although in some cases there can be two positive solutions as in the SSA ambiguous case. It can also be used to find the cosine of an angle (and consequently the angle itself) if all the sides are known.

Other useful properties

There is also a law of tangents:

\frac{a+b}{a-b} = \frac{\tan[\frac{1}{2}(A+B)]}{\tan[\frac{1}{2}(A-B)]}\,.

Periodic functions

Animation of the additive synthesis of a square wave with an increasing number of harmonics

The trigonometric functions are also important in physics. The sine and the cosine functions, for example, are used to describe the simple harmonic motion, which models many natural phenomena, such as the movement of a mass attached to a spring and, for small angles, the pendular motion of a mass hanging by a string. The sine and cosine functions are one-dimensional projections of the uniform circular motion.

Trigonometric functions also prove to be useful in the study of general periodic functions. These functions have characteristic wave patterns as graphs, useful for modeling recurring phenomena such as sound or light waves. Every signal can be written as a (typically infinite) sum of sine and cosine functions of different frequencies; this is the basic idea of Fourier analysis, where trigonometric series are used to solve a variety of boundary-value problems in partial differential equations. For example the square wave, can be written as the Fourier series

 x_{\mathrm{square}}(t) = \frac{4}{\pi} \sum_{k=1}^\infty {\sin{\left ( (2k-1)t \right )}\over(2k-1)}.

In the animation on the right it can be seen that just a few terms already produce a fairly good approximation.

History

Main article: History of trigonometric functions

The chord function was discovered by Hipparchus of Nicaea (180–125 BC) and Ptolemy of Egypt (90–165 AD). The sine and cosine functions were discovered by Aryabhata (476–550) and studied by Varahamihira and Brahmagupta. The tangent function was discovered by Muḥammad ibn Mūsā al-Ḵwārizmī (780-850), and the reciprocal functions of secant, cotangent and cosecant were discovered by Abū al-Wafā' al-Būzjānī (940-998). All six trigonometric functions were then studied by Omar Khayyam, Bhāskara II, Nasir al-Din al-Tusi, Ghiyath al-Kashi (14th century), Ulugh Beg (14th century), Regiomontanus (1464), Rheticus, and Rheticus' student Valentin Otho.

Madhava of Sangamagramma (c. 1400) made early strides in the analysis of trigonometric functions in terms of infinite series.[8] Leonhard Euler's Introductio in analysin infinitorum (1748) was mostly responsible for establishing the analytic treatment of trigonometric functions in Europe, also defining them as infinite series and presenting "Euler's formula", as well as the near-modern abbreviations sin., cos., tang., cot., sec., and cosec.[9]

A few functions were common historically, but are now seldom used, such as the chord (crd(θ) = 2 sin(θ/2)), the versine (versin(θ) = 1 − cos(θ) = 2 sin2(θ/2)) (which appeared in the earliest tables [9]), the haversine (haversin(θ) = versin(θ) / 2 = sin2(θ/2)), the exsecant (exsec(θ) = sec(θ) − 1) and the excosecant (excsc(θ) = exsec(π/2 − θ) = csc(θ) − 1). Many more relations between these functions are listed in the article about trigonometric identities.

Etymologically, the word sine derives from the Sanskrit word for half the chord, jya-ardha, abbreviated to jiva. This was transliterated in Arabic as jiba, written jb, vowels not being written in Arabic. Next, this transliteration was mis-translated in the 12th century into Latin as sinus, under the mistaken impression that jb stood for the word jaib, which means "bosom" or "bay" or "fold" in Arabic, as does sinus in Latin.[10] Finally, English usage converted the Latin word sinus to sine.[11] The word tangent comes from Latin tangens meaning "touching", since the line touches the circle of unit radius, whereas secant stems from Latin secans — "cutting" — since the line cuts the circle.

See also

  • Generating trigonometric tables
  • Hyperbolic function
  • Pythagorean theorem
  • Unit vector (explains direction cosines)
  • Table of Newtonian series
  • List of trigonometric identities
  • Proofs of trigonometric identities
  • Euler's formula
  • Polar sine — a generalization to vertex angles
  • All Students Take Calculus — a mnemonic for recalling the signs of trigonometric functions in a particular quadrant of a Cartesian plane
  • Continued fraction of Gauss — a continued fraction definition for the tangent function

Notes

  1. See Ahlfors, pages 43–44.
  2. Abramowitz; Weisstein.
  3. For a demonstration, see Euler's_formula#Using Taylor series
  4. Needham, p. "[ix INSERT TITLE]".
  5. Kantabutra.
  6. However, doing that while maintaining precision is nontrivial, and methods like Gal's accurate tables, Cody and Waite reduction, and Payne and Hanek reduction algorithms can be used.
  7. "R. P. Brent, "Fast Multiple-Precision Evaluation of Elementary Functions", J. ACM 23, 242 (1976).".
  8. J J O'Connor and E F Robertson. "Madhava of Sangamagrama". School of Mathematics and Statistics University of St Andrews, Scotland. Retrieved on 2007-09-08.
  9. 9.0 9.1 See Boyer (1991).
  10. See Maor (1998), chapter 3, regarding the etymology.
  11. "Clark University".

References

  • Abramowitz, Milton and Irene A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, Dover, New York. (1964). ISBN 0-486-61272-4.
  • Lars Ahlfors, Complex Analysis: an introduction to the theory of analytic functions of one complex variable, second edition, McGraw-Hill Book Company, New York, 1966.
  • Boyer, Carl B., A History of Mathematics, John Wiley & Sons, Inc., 2nd edition. (1991). ISBN 0-471-54397-7.
  • Joseph, George G., The Crest of the Peacock: Non-European Roots of Mathematics, 2nd ed. Penguin Books, London. (2000). ISBN 0-691-00659-8.
  • Kantabutra, Vitit, "On hardware for computing exponential and trigonometric functions," IEEE Trans. Computers 45 (3), 328–339 (1996).
  • Maor, Eli, Trigonometric Delights, Princeton Univ. Press. (1998). Reprint edition (February 25, 2002): ISBN 0-691-09541-8.
  • Needham, Tristan, "Preface"" to Visual Complex Analysis. Oxford University Press, (1999). ISBN 0-19-853446-9.
  • O'Connor, J.J., and E.F. Robertson, "Trigonometric functions", MacTutor History of Mathematics Archive. (1996).
  • O'Connor, J.J., and E.F. Robertson, "Madhava of Sangamagramma", MacTutor History of Mathematics Archive. (2000).
  • Pearce, Ian G., "Madhava of Sangamagramma", MacTutor History of Mathematics Archive. (2002).
  • Weisstein, Eric W., "Tangent" from MathWorld, accessed 21 January 2006.

External links