Trigonometric functions

Functions of an angle

Trigonometry
  • Outline
  • History
  • Usage
  • Functions (inverse)
  • Generalized trigonometry
Reference
Laws and theorems
  • Sines
  • Cosines
  • Tangents
  • Cotangents
  • Pythagorean theorem
Calculus
Mathematicians
  • v
  • t
  • e
Basis of trigonometry: if two right triangles have equal acute angles, they are similar, so their corresponding side lengths are proportional.

In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions)[1][2] are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all sciences that are related to geometry, such as navigation, solid mechanics, celestial mechanics, geodesy, and many others. They are among the simplest periodic functions, and as such are also widely used for studying periodic phenomena through Fourier analysis.

The trigonometric functions most widely used in modern mathematics are the sine, the cosine, and the tangent functions. Their reciprocals are respectively the cosecant, the secant, and the cotangent functions, which are less used. Each of these six trigonometric functions has a corresponding inverse function, and an analog among the hyperbolic functions.

The oldest definitions of trigonometric functions, related to right-angle triangles, define them only for acute angles. To extend the sine and cosine functions to functions whose domain is the whole real line, geometrical definitions using the standard unit circle (i.e., a circle with radius 1 unit) are often used; then the domain of the other functions is the real line with some isolated points removed. Modern definitions express trigonometric functions as infinite series or as solutions of differential equations. This allows extending the domain of sine and cosine functions to the whole complex plane, and the domain of the other trigonometric functions to the complex plane with some isolated points removed.

Notation

Conventionally, an abbreviation of each trigonometric function's name is used as its symbol in formulas. Today, the most common versions of these abbreviations are "sin" for sine, "cos" for cosine, "tan" or "tg" for tangent, "sec" for secant, "csc" or "cosec" for cosecant, and "cot" or "ctg" for cotangent. Historically, these abbreviations were first used in prose sentences to indicate particular line segments or their lengths related to an arc of an arbitrary circle, and later to indicate ratios of lengths, but as the function concept developed in the 17th–18th century, they began to be considered as functions of real-number-valued angle measures, and written with functional notation, for example sin(x). Parentheses are still often omitted to reduce clutter, but are sometimes necessary; for example the expression sin x + y {\displaystyle \sin x+y} would typically be interpreted to mean sin ( x ) + y , {\displaystyle \sin(x)+y,} so parentheses are required to express sin ( x + y ) . {\displaystyle \sin(x+y).}

A positive integer appearing as a superscript after the symbol of the function denotes exponentiation, not function composition. For example sin 2 x {\displaystyle \sin ^{2}x} and sin 2 ( x ) {\displaystyle \sin ^{2}(x)} denote sin ( x ) sin ( x ) , {\displaystyle \sin(x)\cdot \sin(x),} not sin ( sin x ) . {\displaystyle \sin(\sin x).} This differs from the (historically later) general functional notation in which f 2 ( x ) = ( f f ) ( x ) = f ( f ( x ) ) . {\displaystyle f^{2}(x)=(f\circ f)(x)=f(f(x)).}

However, the exponent 1 {\displaystyle {-1}} is commonly used to denote the inverse function, not the reciprocal. For example sin 1 x {\displaystyle \sin ^{-1}x} and sin 1 ( x ) {\displaystyle \sin ^{-1}(x)} denote the inverse trigonometric function alternatively written arcsin x : {\displaystyle \arcsin x\colon } The equation θ = sin 1 x {\displaystyle \theta =\sin ^{-1}x} implies sin θ = x , {\displaystyle \sin \theta =x,} not θ sin x = 1. {\displaystyle \theta \cdot \sin x=1.} In this case, the superscript could be considered as denoting a composed or iterated function, but negative superscripts other than 1 {\displaystyle {-1}} are not in common use.

Right-angled triangle definitions

In this right triangle, denoting the measure of angle BAC as A: sin A = a/c; cos A = b/c; tan A = a/b.
Plot of the six trigonometric functions, the unit circle, and a line for the angle θ = 0.7 radians. The points labelled 1, Sec(θ), Csc(θ) represent the length of the line segment from the origin to that point. Sin(θ), Tan(θ), and 1 are the heights to the line starting from the x-axis, while Cos(θ), 1, and Cot(θ) are lengths along the x-axis starting from the origin.

If the acute angle θ is given, then any right triangles that have an angle of θ are similar to each other. This means that the ratio of any two side lengths depends only on θ. Thus these six ratios define six functions of θ, which are the trigonometric functions. In the following definitions, the hypotenuse is the length of the side opposite the right angle, opposite represents the side opposite the given angle θ, and adjacent represents the side between the angle θ and the right angle.[3][4]

sine
sin θ = o p p o s i t e h y p o t e n u s e {\displaystyle \sin \theta ={\frac {\mathrm {opposite} }{\mathrm {hypotenuse} }}}
cosecant
csc θ = h y p o t e n u s e o p p o s i t e {\displaystyle \csc \theta ={\frac {\mathrm {hypotenuse} }{\mathrm {opposite} }}}
cosine
cos θ = a d j a c e n t h y p o t e n u s e {\displaystyle \cos \theta ={\frac {\mathrm {adjacent} }{\mathrm {hypotenuse} }}}
secant
sec θ = h y p o t e n u s e a d j a c e n t {\displaystyle \sec \theta ={\frac {\mathrm {hypotenuse} }{\mathrm {adjacent} }}}
tangent
tan θ = o p p o s i t e a d j a c e n t {\displaystyle \tan \theta ={\frac {\mathrm {opposite} }{\mathrm {adjacent} }}}
cotangent
cot θ = a d j a c e n t o p p o s i t e {\displaystyle \cot \theta ={\frac {\mathrm {adjacent} }{\mathrm {opposite} }}}

Various mnemonics can be used to remember these definitions.

In a right-angled triangle, the sum of the two acute angles is a right angle, that is, 90° or π/2 radians. Therefore sin ( θ ) {\displaystyle \sin(\theta )} and cos ( 90 θ ) {\displaystyle \cos(90^{\circ }-\theta )} represent the same ratio, and thus are equal. This identity and analogous relationships between the other trigonometric functions are summarized in the following table.

Top: Trigonometric function sin θ for selected angles θ, πθ, π + θ, and 2πθ in the four quadrants.
Bottom: Graph of sine function versus angle. Angles from the top panel are identified.
Summary of relationships between trigonometric functions[5]
Function Description Relationship
using radians using degrees
sine opposite/hypotenuse sin θ = cos ( π 2 θ ) = 1 csc θ {\displaystyle \sin \theta =\cos \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\csc \theta }}} sin x = cos ( 90 x ) = 1 csc x {\displaystyle \sin x=\cos \left(90^{\circ }-x\right)={\frac {1}{\csc x}}}
cosine adjacent/hypotenuse cos θ = sin ( π 2 θ ) = 1 sec θ {\displaystyle \cos \theta =\sin \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\sec \theta }}\,} cos x = sin ( 90 x ) = 1 sec x {\displaystyle \cos x=\sin \left(90^{\circ }-x\right)={\frac {1}{\sec x}}\,}
tangent opposite/adjacent tan θ = sin θ cos θ = cot ( π 2 θ ) = 1 cot θ {\displaystyle \tan \theta ={\frac {\sin \theta }{\cos \theta }}=\cot \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\cot \theta }}} tan x = sin x cos x = cot ( 90 x ) = 1 cot x {\displaystyle \tan x={\frac {\sin x}{\cos x}}=\cot \left(90^{\circ }-x\right)={\frac {1}{\cot x}}}
cotangent adjacent/opposite cot θ = cos θ sin θ = tan ( π 2 θ ) = 1 tan θ {\displaystyle \cot \theta ={\frac {\cos \theta }{\sin \theta }}=\tan \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\tan \theta }}} cot x = cos x sin x = tan ( 90 x ) = 1 tan x {\displaystyle \cot x={\frac {\cos x}{\sin x}}=\tan \left(90^{\circ }-x\right)={\frac {1}{\tan x}}}
secant hypotenuse/adjacent sec θ = csc ( π 2 θ ) = 1 cos θ {\displaystyle \sec \theta =\csc \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\cos \theta }}} sec x = csc ( 90 x ) = 1 cos x {\displaystyle \sec x=\csc \left(90^{\circ }-x\right)={\frac {1}{\cos x}}}
cosecant hypotenuse/opposite csc θ = sec ( π 2 θ ) = 1 sin θ {\displaystyle \csc \theta =\sec \left({\frac {\pi }{2}}-\theta \right)={\frac {1}{\sin \theta }}} csc x = sec ( 90 x ) = 1 sin x {\displaystyle \csc x=\sec \left(90^{\circ }-x\right)={\frac {1}{\sin x}}}

Radians versus degrees

In geometric applications, the argument of a trigonometric function is generally the measure of an angle. For this purpose, any angular unit is convenient. One common unit is degrees, in which a right angle is 90° and a complete turn is 360° (particularly in elementary mathematics).

However, in calculus and mathematical analysis, the trigonometric functions are generally regarded more abstractly as functions of real or complex numbers, rather than angles. In fact, the functions sin and cos can be defined for all complex numbers in terms of the exponential function, via power series,[6] or as solutions to differential equations given particular initial values[7] (see below), without reference to any geometric notions. The other four trigonometric functions (tan, cot, sec, csc) can be defined as quotients and reciprocals of sin and cos, except where zero occurs in the denominator. It can be proved, for real arguments, that these definitions coincide with elementary geometric definitions if the argument is regarded as an angle given in radians.[6] Moreover, these definitions result in simple expressions for the derivatives and indefinite integrals for the trigonometric functions.[8] Thus, in settings beyond elementary geometry, radians are regarded as the mathematically natural unit for describing angle measures.

When radians (rad) are employed, the angle is given as the length of the arc of the unit circle subtended by it: the angle that subtends an arc of length 1 on the unit circle is 1 rad (≈ 57.3°), and a complete turn (360°) is an angle of 2π (≈ 6.28) rad. For real number x, the notations sin x, cos x, etc. refer to the value of the trigonometric functions evaluated at an angle of x rad. If units of degrees are intended, the degree sign must be explicitly shown (e.g., sin , cos , etc.). Using this standard notation, the argument x for the trigonometric functions satisfies the relationship x = (180x/π)°, so that, for example, sin π = sin 180° when we take x = π. In this way, the degree symbol can be regarded as a mathematical constant such that 1° = π/180 ≈ 0.0175.

Unit-circle definitions

All of the trigonometric functions of the angle θ (theta) can be constructed geometrically in terms of a unit circle centered at O.
Sine function on unit circle (top) and its graph (bottom)
In this illustration, the six trigonometric functions of an arbitrary angle θ are represented as Cartesian coordinates of points related to the unit circle. The ordinates of A, B and D are sin θ, tan θ and csc θ, respectively, while the abscissas of A, C and E are cos θ, cot θ and sec θ, respectively.
Signs of trigonometric functions in each quadrant. The mnemonic "all science teachers (are) crazy" indicates when sine, cosine, and tangent are positive from quadrants I to IV.[9]

The six trigonometric functions can be defined as coordinate values of points on the Euclidean plane that are related to the unit circle, which is the circle of radius one centered at the origin O of this coordinate system. While right-angled triangle definitions allow for the definition of the trigonometric functions for angles between 0 and π 2 {\textstyle {\frac {\pi }{2}}} radians (90°), the unit circle definitions allow the domain of trigonometric functions to be extended to all positive and negative real numbers.

Let L {\displaystyle {\mathcal {L}}} be the ray obtained by rotating by an angle θ the positive half of the x-axis (counterclockwise rotation for θ > 0 , {\displaystyle \theta >0,} and clockwise rotation for θ < 0 {\displaystyle \theta <0} ). This ray intersects the unit circle at the point A = ( x A , y A ) . {\displaystyle \mathrm {A} =(x_{\mathrm {A} },y_{\mathrm {A} }).} The ray L , {\displaystyle {\mathcal {L}},} extended to a line if necessary, intersects the line of equation x = 1 {\displaystyle x=1} at point B = ( 1 , y B ) , {\displaystyle \mathrm {B} =(1,y_{\mathrm {B} }),} and the line of equation y = 1 {\displaystyle y=1} at point C = ( x C , 1 ) . {\displaystyle \mathrm {C} =(x_{\mathrm {C} },1).} The tangent line to the unit circle at the point A, is perpendicular to L , {\displaystyle {\mathcal {L}},} and intersects the y- and x-axes at points D = ( 0 , y D ) {\displaystyle \mathrm {D} =(0,y_{\mathrm {D} })} and E = ( x E , 0 ) . {\displaystyle \mathrm {E} =(x_{\mathrm {E} },0).} The coordinates of these points give the values of all trigonometric functions for any arbitrary real value of θ in the following manner.

The trigonometric functions cos and sin are defined, respectively, as the x- and y-coordinate values of point A. That is,

cos θ = x A {\displaystyle \cos \theta =x_{\mathrm {A} }\quad } and sin θ = y A . {\displaystyle \quad \sin \theta =y_{\mathrm {A} }.} [10]

In the range 0 θ π / 2 {\displaystyle 0\leq \theta \leq \pi /2} , this definition coincides with the right-angled triangle definition, by taking the right-angled triangle to have the unit radius OA as hypotenuse. And since the equation x 2 + y 2 = 1 {\displaystyle x^{2}+y^{2}=1} holds for all points P = ( x , y ) {\displaystyle \mathrm {P} =(x,y)} on the unit circle, this definition of cosine and sine also satisfies the Pythagorean identity.

cos 2 θ + sin 2 θ = 1. {\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1.}

The other trigonometric functions can be found along the unit circle as

tan θ = y B {\displaystyle \tan \theta =y_{\mathrm {B} }\quad } and cot θ = x C , {\displaystyle \quad \cot \theta =x_{\mathrm {C} },}
csc θ   = y D {\displaystyle \csc \theta \ =y_{\mathrm {D} }\quad } and sec θ = x E . {\displaystyle \quad \sec \theta =x_{\mathrm {E} }.}

By applying the Pythagorean identity and geometric proof methods, these definitions can readily be shown to coincide with the definitions of tangent, cotangent, secant and cosecant in terms of sine and cosine, that is

tan θ = sin θ cos θ , cot θ = cos θ sin θ , sec θ = 1 cos θ , csc θ = 1 sin θ . {\displaystyle \tan \theta ={\frac {\sin \theta }{\cos \theta }},\quad \cot \theta ={\frac {\cos \theta }{\sin \theta }},\quad \sec \theta ={\frac {1}{\cos \theta }},\quad \csc \theta ={\frac {1}{\sin \theta }}.}
Trigonometric functions: Sine, Cosine, Tangent, Cosecant (dotted), Secant (dotted), Cotangent (dotted) – animation

Since a rotation of an angle of ± 2 π {\displaystyle \pm 2\pi } does not change the position or size of a shape, the points A, B, C, D, and E are the same for two angles whose difference is an integer multiple of 2 π {\displaystyle 2\pi } . Thus trigonometric functions are periodic functions with period 2 π {\displaystyle 2\pi } . That is, the equalities

sin θ = sin ( θ + 2 k π ) {\displaystyle \sin \theta =\sin \left(\theta +2k\pi \right)\quad } and cos θ = cos ( θ + 2 k π ) {\displaystyle \quad \cos \theta =\cos \left(\theta +2k\pi \right)}

hold for any angle θ and any integer k. The same is true for the four other trigonometric functions. By observing the sign and the monotonicity of the functions sine, cosine, cosecant, and secant in the four quadrants, one can show that 2 π {\displaystyle 2\pi } is the smallest value for which they are periodic (i.e., 2 π {\displaystyle 2\pi } is the fundamental period of these functions). However, after a rotation by an angle π {\displaystyle \pi } , the points B and C already return to their original position, so that the tangent function and the cotangent function have a fundamental period of π {\displaystyle \pi } . That is, the equalities

tan θ = tan ( θ + k π ) {\displaystyle \tan \theta =\tan(\theta +k\pi )\quad } and cot θ = cot ( θ + k π ) {\displaystyle \quad \cot \theta =\cot(\theta +k\pi )}

hold for any angle θ and any integer k.

Algebraic values

The unit circle, with some points labeled with their cosine and sine (in this order), and the corresponding angles in radians and degrees.

The algebraic expressions for the most important angles are as follows:

sin 0 = sin 0 = 0 2 = 0 {\displaystyle \sin 0=\sin 0^{\circ }\quad ={\frac {\sqrt {0}}{2}}=0} (zero angle)
sin π 6 = sin 30 = 1 2 = 1 2 {\displaystyle \sin {\frac {\pi }{6}}=\sin 30^{\circ }={\frac {\sqrt {1}}{2}}={\frac {1}{2}}}
sin π 4 = sin 45 = 2 2 = 1 2 {\displaystyle \sin {\frac {\pi }{4}}=\sin 45^{\circ }={\frac {\sqrt {2}}{2}}={\frac {1}{\sqrt {2}}}}
sin π 3 = sin 60 = 3 2 {\displaystyle \sin {\frac {\pi }{3}}=\sin 60^{\circ }={\frac {\sqrt {3}}{2}}}
sin π 2 = sin 90 = 4 2 = 1 {\displaystyle \sin {\frac {\pi }{2}}=\sin 90^{\circ }={\frac {\sqrt {4}}{2}}=1} (right angle)

Writing the numerators as square roots of consecutive non-negative integers, with a denominator of 2, provides an easy way to remember the values.[11]

Such simple expressions generally do not exist for other angles which are rational multiples of a right angle.

  • For an angle which, measured in degrees, is a multiple of three, the exact trigonometric values of the sine and the cosine may be expressed in terms of square roots. These values of the sine and the cosine may thus be constructed by ruler and compass.
  • For an angle of an integer number of degrees, the sine and the cosine may be expressed in terms of square roots and the cube root of a non-real complex number. Galois theory allows a proof that, if the angle is not a multiple of 3°, non-real cube roots are unavoidable.
  • For an angle which, expressed in degrees, is a rational number, the sine and the cosine are algebraic numbers, which may be expressed in terms of nth roots. This results from the fact that the Galois groups of the cyclotomic polynomials are cyclic.
  • For an angle which, expressed in degrees, is not a rational number, then either the angle or both the sine and the cosine are transcendental numbers. This is a corollary of Baker's theorem, proved in 1966.

Simple algebraic values

The following table lists the sines, cosines, and tangents of multiples of 15 degrees from 0 to 90 degrees.

Angle, θ, in sin ( θ ) {\displaystyle \sin(\theta )} cos ( θ ) {\displaystyle \cos(\theta )} tan ( θ ) {\displaystyle \tan(\theta )}
radians degrees
0 {\displaystyle 0} 0 {\displaystyle 0^{\circ }} 0 {\displaystyle 0} 1 {\displaystyle 1} 0 {\displaystyle 0}
π 12 {\displaystyle {\frac {\pi }{12}}} 15 {\displaystyle 15^{\circ }} 6 2 4 {\displaystyle {\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}} 6 + 2 4 {\displaystyle {\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}} 2 3 {\displaystyle 2-{\sqrt {3}}}
π 6 {\displaystyle {\frac {\pi }{6}}} 30 {\displaystyle 30^{\circ }} 1 2 {\displaystyle {\frac {1}{2}}} 3 2 {\displaystyle {\frac {\sqrt {3}}{2}}} 3 3 {\displaystyle {\frac {\sqrt {3}}{3}}}
π 4 {\displaystyle {\frac {\pi }{4}}} 45 {\displaystyle 45^{\circ }} 2 2 {\displaystyle {\frac {\sqrt {2}}{2}}} 2 2 {\displaystyle {\frac {\sqrt {2}}{2}}} [a] 1 {\displaystyle 1}
π 3 {\displaystyle {\frac {\pi }{3}}} 60 {\displaystyle 60^{\circ }} 3 2 {\displaystyle {\frac {\sqrt {3}}{2}}} 1 2 {\displaystyle {\frac {1}{2}}} 3 {\displaystyle {\sqrt {3}}}
5 π 12 {\displaystyle {\frac {5\pi }{12}}} 75 {\displaystyle 75^{\circ }} 6 + 2 4 {\displaystyle {\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}} 6 2 4 {\displaystyle {\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}} 2 + 3 {\displaystyle 2+{\sqrt {3}}}
π 2 {\displaystyle {\frac {\pi }{2}}} 90 {\displaystyle 90^{\circ }} 1 {\displaystyle 1} 0 {\displaystyle 0} Undefined

In calculus

Graphs of sine, cosine and tangent
The sine function (blue) is closely approximated by its Taylor polynomial of degree 7 (pink) for a full cycle centered on the origin.
Animation for the approximation of cosine via Taylor polynomials.
cos ( x ) {\displaystyle \cos(x)} together with the first Taylor polynomials p n ( x ) = k = 0 n ( 1 ) k x 2 k ( 2 k ) ! {\displaystyle p_{n}(x)=\sum _{k=0}^{n}(-1)^{k}{\frac {x^{2k}}{(2k)!}}}

The modern trend in mathematics is to build geometry from calculus rather than the converse.[citation needed] Therefore, except at a very elementary level, trigonometric functions are defined using the methods of calculus.

Trigonometric functions are differentiable and analytic at every point where they are defined; that is, everywhere for the sine and the cosine, and, for the tangent, everywhere except at π/2 + kπ for every integer k.

The trigonometric function are periodic functions, and their primitive period is 2π for the sine and the cosine, and π for the tangent, which is increasing in each open interval (π/2 + kπ, π/2 + (k + 1)π). At each end point of these intervals, the tangent function has a vertical asymptote.

In calculus, there are two equivalent definitions of trigonometric functions, either using power series or differential equations. These definitions are equivalent, as starting from one of them, it is easy to retrieve the other as a property. However the definition through differential equations is somehow more natural, since, for example, the choice of the coefficients of the power series may appear as quite arbitrary, and the Pythagorean identity is much easier to deduce from the differential equations.

Definition by differential equations

Sine and cosine can be defined as the unique solution to the initial value problem:

d d x sin x = cos x ,   d d x cos x = sin x ,   sin ( 0 ) = 0 ,   cos ( 0 ) = 1. {\displaystyle {\frac {d}{dx}}\sin x=\cos x,\ {\frac {d}{dx}}\cos x=-\sin x,\ \sin(0)=0,\ \cos(0)=1.}

Differentiating again, d 2 d x 2 sin x = d d x cos x = sin x {\textstyle {\frac {d^{2}}{dx^{2}}}\sin x={\frac {d}{dx}}\cos x=-\sin x} and d 2 d x 2 cos x = d d x sin x = cos x {\textstyle {\frac {d^{2}}{dx^{2}}}\cos x=-{\frac {d}{dx}}\sin x=-\cos x} , so both sine and cosine are solutions of the same ordinary differential equation

y + y = 0 . {\displaystyle y''+y=0\,.}

Sine is the unique solution with y(0) = 0 and y′(0) = 1; cosine is the unique solution with y(0) = 1 and y′(0) = 0.

Applying the quotient rule to the tangent tan x = sin x / cos x {\displaystyle \tan x=\sin x/\cos x} ,

d d x tan x = cos 2 x + sin 2 x cos 2 x = 1 + tan 2 x , {\displaystyle {\frac {d}{dx}}\tan x={\frac {\cos ^{2}x+\sin ^{2}x}{\cos ^{2}x}}=1+\tan ^{2}x\,,}

so the tangent function satisfies the ordinary differential equation

y = 1 + y 2 . {\displaystyle y'=1+y^{2}\,.}

It is the unique solution with y(0) = 0.

Power series expansion

Applying the differential equations to power series with indeterminate coefficients, one may deduce recurrence relations for the coefficients of the Taylor series of the sine and cosine functions. These recurrence relations are easy to solve, and give the series expansions[12]

sin x = x x 3 3 ! + x 5 5 ! x 7 7 ! + = n = 0 ( 1 ) n ( 2 n + 1 ) ! x 2 n + 1 cos x = 1 x 2 2 ! + x 4 4 ! x 6 6 ! + = n = 0 ( 1 ) n ( 2 n ) ! x 2 n . {\displaystyle {\begin{aligned}\sin x&=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots \\[6mu]&=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}\\[8pt]\cos x&=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-{\frac {x^{6}}{6!}}+\cdots \\[6mu]&=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}.\end{aligned}}}

The radius of convergence of these series is infinite. Therefore, the sine and the cosine can be extended to entire functions (also called "sine" and "cosine"), which are (by definition) complex-valued functions that are defined and holomorphic on the whole complex plane.

Being defined as fractions of entire functions, the other trigonometric functions may be extended to meromorphic functions, that is functions that are holomorphic in the whole complex plane, except some isolated points called poles. Here, the poles are the numbers of the form ( 2 k + 1 ) π 2 {\textstyle (2k+1){\frac {\pi }{2}}} for the tangent and the secant, or k π {\displaystyle k\pi } for the cotangent and the cosecant, where k is an arbitrary integer.

Recurrences relations may also be computed for the coefficients of the Taylor series of the other trigonometric functions. These series have a finite radius of convergence. Their coefficients have a combinatorial interpretation: they enumerate alternating permutations of finite sets.[13]

More precisely, defining

Un, the nth up/down number,
Bn, the nth Bernoulli number, and
En, is the nth Euler number,

one has the following series expansions:[14]

tan x = n = 0 U 2 n + 1 ( 2 n + 1 ) ! x 2 n + 1 = n = 1 ( 1 ) n 1 2 2 n ( 2 2 n 1 ) B 2 n ( 2 n ) ! x 2 n 1 = x + 1 3 x 3 + 2 15 x 5 + 17 315 x 7 + , for  | x | < π 2 . {\displaystyle {\begin{aligned}\tan x&{}=\sum _{n=0}^{\infty }{\frac {U_{2n+1}}{(2n+1)!}}x^{2n+1}\\[8mu]&{}=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}2^{2n}\left(2^{2n}-1\right)B_{2n}}{(2n)!}}x^{2n-1}\\[5mu]&{}=x+{\frac {1}{3}}x^{3}+{\frac {2}{15}}x^{5}+{\frac {17}{315}}x^{7}+\cdots ,\qquad {\text{for }}|x|<{\frac {\pi }{2}}.\end{aligned}}}
csc x = n = 0 ( 1 ) n + 1 2 ( 2 2 n 1 1 ) B 2 n ( 2 n ) ! x 2 n 1 = x 1 + 1 6 x + 7 360 x 3 + 31 15120 x 5 + , for  0 < | x | < π . {\displaystyle {\begin{aligned}\csc x&=\sum _{n=0}^{\infty }{\frac {(-1)^{n+1}2\left(2^{2n-1}-1\right)B_{2n}}{(2n)!}}x^{2n-1}\\[5mu]&=x^{-1}+{\frac {1}{6}}x+{\frac {7}{360}}x^{3}+{\frac {31}{15120}}x^{5}+\cdots ,\qquad {\text{for }}0<|x|<\pi .\end{aligned}}}
sec x = n = 0 U 2 n ( 2 n ) ! x 2 n = n = 0 ( 1 ) n E 2 n ( 2 n ) ! x 2 n = 1 + 1 2 x 2 + 5 24 x 4 + 61 720 x 6 + , for  | x | < π 2 . {\displaystyle {\begin{aligned}\sec x&=\sum _{n=0}^{\infty }{\frac {U_{2n}}{(2n)!}}x^{2n}=\sum _{n=0}^{\infty }{\frac {(-1)^{n}E_{2n}}{(2n)!}}x^{2n}\\[5mu]&=1+{\frac {1}{2}}x^{2}+{\frac {5}{24}}x^{4}+{\frac {61}{720}}x^{6}+\cdots ,\qquad {\text{for }}|x|<{\frac {\pi }{2}}.\end{aligned}}}
cot x = n = 0 ( 1 ) n 2 2 n B 2 n ( 2 n ) ! x 2 n 1 = x 1 1 3 x 1 45 x 3 2 945 x 5 , for  0 < | x | < π . {\displaystyle {\begin{aligned}\cot x&=\sum _{n=0}^{\infty }{\frac {(-1)^{n}2^{2n}B_{2n}}{(2n)!}}x^{2n-1}\\[5mu]&=x^{-1}-{\frac {1}{3}}x-{\frac {1}{45}}x^{3}-{\frac {2}{945}}x^{5}-\cdots ,\qquad {\text{for }}0<|x|<\pi .\end{aligned}}}

Continued fraction expansion

The following expansions are valid in the whole complex plane:

sin x = x 1 + x 2 2 3 x 2 + 2 3 x 2 4 5 x 2 + 4 5 x 2 6 7 x 2 + {\displaystyle \sin x={\cfrac {x}{1+{\cfrac {x^{2}}{2\cdot 3-x^{2}+{\cfrac {2\cdot 3x^{2}}{4\cdot 5-x^{2}+{\cfrac {4\cdot 5x^{2}}{6\cdot 7-x^{2}+\ddots }}}}}}}}}
cos x = 1 1 + x 2 1 2 x 2 + 1 2 x 2 3 4 x 2 + 3 4 x 2 5 6 x 2 + {\displaystyle \cos x={\cfrac {1}{1+{\cfrac {x^{2}}{1\cdot 2-x^{2}+{\cfrac {1\cdot 2x^{2}}{3\cdot 4-x^{2}+{\cfrac {3\cdot 4x^{2}}{5\cdot 6-x^{2}+\ddots }}}}}}}}}
tan x = x 1 x 2 3 x 2 5 x 2 7 = 1 1 x 1 3 x 1 5 x 1 7 x {\displaystyle \tan x={\cfrac {x}{1-{\cfrac {x^{2}}{3-{\cfrac {x^{2}}{5-{\cfrac {x^{2}}{7-\ddots }}}}}}}}={\cfrac {1}{{\cfrac {1}{x}}-{\cfrac {1}{{\cfrac {3}{x}}-{\cfrac {1}{{\cfrac {5}{x}}-{\cfrac {1}{{\cfrac {7}{x}}-\ddots }}}}}}}}}

The last one was used in the historically first proof that π is irrational.[15]

Partial fraction expansion

There is a series representation as partial fraction expansion where just translated reciprocal functions are summed up, such that the poles of the cotangent function and the reciprocal functions match:[16]

π cot π x = lim N n = N N 1 x + n . {\displaystyle \pi \cot \pi x=\lim _{N\to \infty }\sum _{n=-N}^{N}{\frac {1}{x+n}}.}

This identity can be proved with the Herglotz trick.[17] Combining the (–n)th with the nth term lead to absolutely convergent series:

π cot π x = 1 x + 2 x n = 1 1 x 2 n 2 . {\displaystyle \pi \cot \pi x={\frac {1}{x}}+2x\sum _{n=1}^{\infty }{\frac {1}{x^{2}-n^{2}}}.}

Similarly, one can find a partial fraction expansion for the secant, cosecant and tangent functions:

π csc π x = n = ( 1 ) n x + n = 1 x + 2 x n = 1 ( 1 ) n x 2 n 2 , {\displaystyle \pi \csc \pi x=\sum _{n=-\infty }^{\infty }{\frac {(-1)^{n}}{x+n}}={\frac {1}{x}}+2x\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{x^{2}-n^{2}}},}
π 2 csc 2 π x = n = 1 ( x + n ) 2 , {\displaystyle \pi ^{2}\csc ^{2}\pi x=\sum _{n=-\infty }^{\infty }{\frac {1}{(x+n)^{2}}},}
π sec π x = n = 0 ( 1 ) n ( 2 n + 1 ) ( n + 1 2 ) 2 x 2 , {\displaystyle \pi \sec \pi x=\sum _{n=0}^{\infty }(-1)^{n}{\frac {(2n+1)}{(n+{\tfrac {1}{2}})^{2}-x^{2}}},}
π tan π x = 2 x n = 0 1 ( n + 1 2 ) 2 x 2 . {\displaystyle \pi \tan \pi x=2x\sum _{n=0}^{\infty }{\frac {1}{(n+{\tfrac {1}{2}})^{2}-x^{2}}}.}

Infinite product expansion

The following infinite product for the sine is of great importance in complex analysis:

sin z = z n = 1 ( 1 z 2 n 2 π 2 ) , z C . {\displaystyle \sin z=z\prod _{n=1}^{\infty }\left(1-{\frac {z^{2}}{n^{2}\pi ^{2}}}\right),\quad z\in \mathbb {C} .}

For the proof of this expansion, see Sine. From this, it can be deduced that

cos z = n = 1 ( 1 z 2 ( n 1 / 2 ) 2 π 2 ) , z C . {\displaystyle \cos z=\prod _{n=1}^{\infty }\left(1-{\frac {z^{2}}{(n-1/2)^{2}\pi ^{2}}}\right),\quad z\in \mathbb {C} .}

Relationship to exponential function (Euler's formula)

cos ( θ ) {\displaystyle \cos(\theta )} and sin ( θ ) {\displaystyle \sin(\theta )} are the real and imaginary part of e i θ {\displaystyle e^{i\theta }} respectively.

Euler's formula relates sine and cosine to the exponential function:

e i x = cos x + i sin x . {\displaystyle e^{ix}=\cos x+i\sin x.}

This formula is commonly considered for real values of x, but it remains true for all complex values.

Proof: Let f 1 ( x ) = cos x + i sin x , {\displaystyle f_{1}(x)=\cos x+i\sin x,} and f 2 ( x ) = e i x . {\displaystyle f_{2}(x)=e^{ix}.} One has d f j ( x ) / d x = i f j ( x ) {\displaystyle df_{j}(x)/dx=if_{j}(x)} for j = 1, 2. The quotient rule implies thus that d / d x ( f 1 ( x ) / f 2 ( x ) ) = 0 {\displaystyle d/dx\,(f_{1}(x)/f_{2}(x))=0} . Therefore, f 1 ( x ) / f 2 ( x ) {\displaystyle f_{1}(x)/f_{2}(x)} is a constant function, which equals 1, as f 1 ( 0 ) = f 2 ( 0 ) = 1. {\displaystyle f_{1}(0)=f_{2}(0)=1.} This proves the formula.

One has

e i x = cos x + i sin x e i x = cos x i sin x . {\displaystyle {\begin{aligned}e^{ix}&=\cos x+i\sin x\\[5pt]e^{-ix}&=\cos x-i\sin x.\end{aligned}}}

Solving this linear system in sine and cosine, one can express them in terms of the exponential function:

sin x = e i x e i x 2 i cos x = e i x + e i x 2 . {\displaystyle {\begin{aligned}\sin x&={\frac {e^{ix}-e^{-ix}}{2i}}\\[5pt]\cos x&={\frac {e^{ix}+e^{-ix}}{2}}.\end{aligned}}}

When x is real, this may be rewritten as

cos x = Re ( e i x ) , sin x = Im ( e i x ) . {\displaystyle \cos x=\operatorname {Re} \left(e^{ix}\right),\qquad \sin x=\operatorname {Im} \left(e^{ix}\right).}

Most trigonometric identities can be proved by expressing trigonometric functions in terms of the complex exponential function by using above formulas, and then using the identity e a + b = e a e b {\displaystyle e^{a+b}=e^{a}e^{b}} for simplifying the result.

Definitions using functional equations

One can also define the trigonometric functions using various functional equations.

For example,[18] the sine and the cosine form the unique pair of continuous functions that satisfy the difference formula

cos ( x y ) = cos x cos y + sin x sin y {\displaystyle \cos(x-y)=\cos x\cos y+\sin x\sin y\,}

and the added condition

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

In the complex plane

The sine and cosine of a complex number z = x + i y {\displaystyle z=x+iy} can be expressed in terms of real sines, cosines, and hyperbolic functions as follows:

sin z = sin x cosh y + i cos x sinh y cos z = cos x cosh y i sin x sinh y {\displaystyle {\begin{aligned}\sin z&=\sin x\cosh y+i\cos x\sinh y\\[5pt]\cos z&=\cos x\cosh y-i\sin x\sinh y\end{aligned}}}

By taking advantage of domain coloring, it is possible to graph the trigonometric functions as complex-valued functions. Various features unique to the complex functions can be seen from the graph; for example, the sine and cosine functions can be seen to be unbounded as the imaginary part of z {\displaystyle z} becomes larger (since the color white represents infinity), and the fact that the functions contain simple zeros or poles is apparent from the fact that the hue cycles around each zero or pole exactly once. Comparing these graphs with those of the corresponding Hyperbolic functions highlights the relationships between the two.

Trigonometric functions in the complex plane

sin z {\displaystyle \sin z\,}

cos z {\displaystyle \cos z\,}

tan z {\displaystyle \tan z\,}

cot z {\displaystyle \cot z\,}

sec z {\displaystyle \sec z\,}

csc z {\displaystyle \csc z\,}

Basic identities

Many identities interrelate the trigonometric functions. This section contains the most basic ones; for more identities, see List of trigonometric identities. These identities may be proved geometrically from the unit-circle definitions or the right-angled-triangle definitions (although, for the latter definitions, care must be taken for angles that are not in the interval [0, π/2], see Proofs of trigonometric identities). For non-geometrical proofs using only tools of calculus, one may use directly the differential equations, in a way that is similar to that of the above proof of Euler's identity. One can also use Euler's identity for expressing all trigonometric functions in terms of complex exponentials and using properties of the exponential function.

Parity

The cosine and the secant are even functions; the other trigonometric functions are odd functions. That is:

sin ( x ) = sin x cos ( x ) = cos x tan ( x ) = tan x cot ( x ) = cot x csc ( x ) = csc x sec ( x ) = sec x . {\displaystyle {\begin{aligned}\sin(-x)&=-\sin x\\\cos(-x)&=\cos x\\\tan(-x)&=-\tan x\\\cot(-x)&=-\cot x\\\csc(-x)&=-\csc x\\\sec(-x)&=\sec x.\end{aligned}}}

Periods

All trigonometric functions are periodic functions of period 2π. This is the smallest period, except for the tangent and the cotangent, which have π as smallest period. This means that, for every integer k, one has

sin ( x + 2 k π ) = sin x cos ( x + 2 k π ) = cos x tan ( x + k π ) = tan x cot ( x + k π ) = cot x csc ( x + 2 k π ) = csc x sec ( x + 2 k π ) = sec x . {\displaystyle {\begin{array}{lrl}\sin(x+&2k\pi )&=\sin x\\\cos(x+&2k\pi )&=\cos x\\\tan(x+&k\pi )&=\tan x\\\cot(x+&k\pi )&=\cot x\\\csc(x+&2k\pi )&=\csc x\\\sec(x+&2k\pi )&=\sec x.\end{array}}}

Pythagorean identity

The Pythagorean identity, is the expression of the Pythagorean theorem in terms of trigonometric functions. It is

sin 2 x + cos 2 x = 1 {\displaystyle \sin ^{2}x+\cos ^{2}x=1} .

Dividing through by either cos 2 x {\displaystyle \cos ^{2}x} or sin 2 x {\displaystyle \sin ^{2}x} gives

tan 2 x + 1 = sec 2 x {\displaystyle \tan ^{2}x+1=\sec ^{2}x}

and

1 + cot 2 x = csc 2 x {\displaystyle 1+\cot ^{2}x=\csc ^{2}x} .

Sum and difference formulas

The sum and difference formulas allow expanding the sine, the cosine, and the tangent of a sum or a difference of two angles in terms of sines and cosines and tangents of the angles themselves. These can be derived geometrically, using arguments that date to Ptolemy. One can also produce them algebraically using Euler's formula.

Sum
sin ( x + y ) = sin x cos y + cos x sin y , cos ( x + y ) = cos x cos y sin x sin y , tan ( x + y ) = tan x + tan y 1 tan x tan y . {\displaystyle {\begin{aligned}\sin \left(x+y\right)&=\sin x\cos y+\cos x\sin y,\\[5mu]\cos \left(x+y\right)&=\cos x\cos y-\sin x\sin y,\\[5mu]\tan(x+y)&={\frac {\tan x+\tan y}{1-\tan x\tan y}}.\end{aligned}}}
Difference
sin ( x y ) = sin x cos y cos x sin y , cos ( x y ) = cos x cos y + sin x sin y , tan ( x y ) = tan x tan y 1 + tan x tan y . {\displaystyle {\begin{aligned}\sin \left(x-y\right)&=\sin x\cos y-\cos x\sin y,\\[5mu]\cos \left(x-y\right)&=\cos x\cos y+\sin x\sin y,\\[5mu]\tan(x-y)&={\frac {\tan x-\tan y}{1+\tan x\tan y}}.\end{aligned}}}

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

sin 2 x = 2 sin x cos x = 2 tan x 1 + tan 2 x , cos 2 x = cos 2 x sin 2 x = 2 cos 2 x 1 = 1 2 sin 2 x = 1 tan 2 x 1 + tan 2 x , tan 2 x = 2 tan x 1 tan 2 x . {\displaystyle {\begin{aligned}\sin 2x&=2\sin x\cos x={\frac {2\tan x}{1+\tan ^{2}x}},\\[5mu]\cos 2x&=\cos ^{2}x-\sin ^{2}x=2\cos ^{2}x-1=1-2\sin ^{2}x={\frac {1-\tan ^{2}x}{1+\tan ^{2}x}},\\[5mu]\tan 2x&={\frac {2\tan x}{1-\tan ^{2}x}}.\end{aligned}}}

These identities can be used to derive the product-to-sum identities.

By setting t = tan 1 2 θ , {\displaystyle t=\tan {\tfrac {1}{2}}\theta ,} all trigonometric functions of θ {\displaystyle \theta } can be expressed as rational fractions of t {\displaystyle t} :

sin θ = 2 t 1 + t 2 , cos θ = 1 t 2 1 + t 2 , tan θ = 2 t 1 t 2 . {\displaystyle {\begin{aligned}\sin \theta &={\frac {2t}{1+t^{2}}},\\[5mu]\cos \theta &={\frac {1-t^{2}}{1+t^{2}}},\\[5mu]\tan \theta &={\frac {2t}{1-t^{2}}}.\end{aligned}}}

Together with

d θ = 2 1 + t 2 d t , {\displaystyle d\theta ={\frac {2}{1+t^{2}}}\,dt,}

this is the tangent half-angle substitution, which reduces the computation of integrals and antiderivatives of trigonometric functions to that of rational fractions.

Derivatives and antiderivatives

The derivatives of trigonometric functions result from those of sine and cosine by applying quotient rule. The values given for the antiderivatives in the following table can be verified by differentiating them. The number C is a constant of integration.

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

Note: For 0 < x < π {\displaystyle 0<x<\pi } the integral of csc x {\displaystyle \csc x} can also be written as arsinh ( cot x ) , {\displaystyle -\operatorname {arsinh} (\cot x),} and for the integral of sec x {\displaystyle \sec x} for π / 2 < x < π / 2 {\displaystyle -\pi /2<x<\pi /2} as arsinh ( tan x ) , {\displaystyle \operatorname {arsinh} (\tan x),} where arsinh {\displaystyle \operatorname {arsinh} } is the inverse hyperbolic sine.

Alternatively, the derivatives of the 'co-functions' can be obtained using trigonometric identities and the chain rule:

d cos x d x = d d x sin ( π / 2 x ) = cos ( π / 2 x ) = sin x , d csc x d x = d d x sec ( π / 2 x ) = sec ( π / 2 x ) tan ( π / 2 x ) = csc x cot x , d cot x d x = d d x tan ( π / 2 x ) = sec 2 ( π / 2 x ) = csc 2 x . {\displaystyle {\begin{aligned}{\frac {d\cos x}{dx}}&={\frac {d}{dx}}\sin(\pi /2-x)=-\cos(\pi /2-x)=-\sin x\,,\\{\frac {d\csc x}{dx}}&={\frac {d}{dx}}\sec(\pi /2-x)=-\sec(\pi /2-x)\tan(\pi /2-x)=-\csc x\cot x\,,\\{\frac {d\cot x}{dx}}&={\frac {d}{dx}}\tan(\pi /2-x)=-\sec ^{2}(\pi /2-x)=-\csc ^{2}x\,.\end{aligned}}}

Inverse functions

The trigonometric functions are periodic, and hence not injective, so strictly speaking, they do not have an inverse function. However, on each interval on which a trigonometric function is monotonic, one can define an inverse function, and this defines inverse trigonometric functions as multivalued functions. To define a true inverse function, one must restrict the domain to an interval where the function is monotonic, and is thus bijective from this interval to its image by the function. The common choice for this interval, called the set of principal values, is given in the following table. As usual, the inverse trigonometric functions are denoted with the prefix "arc" before the name or its abbreviation of the function.

Function Definition Domain Set of principal values
y = arcsin x {\displaystyle y=\arcsin x} sin y = x {\displaystyle \sin y=x} 1 x 1 {\displaystyle -1\leq x\leq 1} π 2 y π 2 {\textstyle -{\frac {\pi }{2}}\leq y\leq {\frac {\pi }{2}}}
y = arccos x {\displaystyle y=\arccos x} cos y = x {\displaystyle \cos y=x} 1 x 1 {\displaystyle -1\leq x\leq 1} 0 y π {\textstyle 0\leq y\leq \pi }
y = arctan x {\displaystyle y=\arctan x} tan y = x {\displaystyle \tan y=x} < x < {\displaystyle -\infty <x<\infty } π 2 < y < π 2 {\textstyle -{\frac {\pi }{2}}<y<{\frac {\pi }{2}}}
y = arccot x {\displaystyle y=\operatorname {arccot} x} cot y = x {\displaystyle \cot y=x} < x < {\displaystyle -\infty <x<\infty } 0 < y < π {\textstyle 0<y<\pi }
y = arcsec x {\displaystyle y=\operatorname {arcsec} x} sec y = x {\displaystyle \sec y=x} x < 1  or  x > 1 {\displaystyle x<-1{\text{ or }}x>1} 0 y π , y π 2 {\textstyle 0\leq y\leq \pi ,\;y\neq {\frac {\pi }{2}}}
y = arccsc x {\displaystyle y=\operatorname {arccsc} x} csc y = x {\displaystyle \csc y=x} x < 1  or  x > 1 {\displaystyle x<-1{\text{ or }}x>1} π 2 y π 2 , y 0 {\textstyle -{\frac {\pi }{2}}\leq y\leq {\frac {\pi }{2}},\;y\neq 0}

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

Just like the sine and cosine, the inverse trigonometric functions can also be expressed in terms of infinite series. They can also be expressed in terms of complex logarithms.

Applications

Angles and sides of a triangle

In this section A, B, C denote the three (interior) angles of a triangle, and a, b, c denote the lengths of the respective opposite edges. They are related by various formulas, which are named by the trigonometric functions they involve.

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:

sin A a = sin B b = sin C c = 2 Δ a b c , {\displaystyle {\frac {\sin A}{a}}={\frac {\sin B}{b}}={\frac {\sin C}{c}}={\frac {2\Delta }{abc}},}
where Δ is the area of the triangle, or, equivalently,
a sin A = b sin B = c sin C = 2 R , {\displaystyle {\frac {a}{\sin A}}={\frac {b}{\sin B}}={\frac {c}{\sin C}}=2R,}
where R is the triangle's circumradius.

It can be proved 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 or cosine rule) is an extension of the Pythagorean theorem:

c 2 = a 2 + b 2 2 a b cos C , {\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos C,}
or equivalently,
cos C = a 2 + b 2 c 2 2 a b . {\displaystyle \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 proved by dividing the triangle into two right ones and using the Pythagorean theorem.

The law of cosines can be used to determine a side of a triangle if two sides and the angle between them are known. It can also be used to find the cosines of an angle (and consequently the angles themselves) if the lengths of all the sides are known.

Law of tangents

The law of tangents says that:

tan A B 2 tan A + B 2 = a b a + b {\displaystyle {\frac {\tan {\frac {A-B}{2}}}{\tan {\frac {A+B}{2}}}}={\frac {a-b}{a+b}}} .

Law of cotangents

If s is the triangle's semiperimeter, (a + b + c)/2, and r is the radius of the triangle's incircle, then rs is the triangle's area. Therefore Heron's formula implies that:

r = 1 s ( s a ) ( s b ) ( s c ) {\displaystyle r={\sqrt {{\frac {1}{s}}(s-a)(s-b)(s-c)}}} .

The law of cotangents says that:[19]

cot A 2 = s a r {\displaystyle \cot {\frac {A}{2}}={\frac {s-a}{r}}}

It follows that

cot A 2 s a = cot B 2 s b = cot C 2 s c = 1 r . {\displaystyle {\frac {\cot {\dfrac {A}{2}}}{s-a}}={\frac {\cot {\dfrac {B}{2}}}{s-b}}={\frac {\cot {\dfrac {C}{2}}}{s-c}}={\frac {1}{r}}.}

Periodic functions

A Lissajous curve, a figure formed with a trigonometry-based function.
An animation of the additive synthesis of a square wave with an increasing number of harmonics
Sinusoidal basis functions (bottom) can form a sawtooth wave (top) when added. All the basis functions have nodes at the nodes of the sawtooth, and all but the fundamental (k = 1) have additional nodes. The oscillation seen about the sawtooth when k is large is called the Gibbs phenomenon

The trigonometric functions are also important in physics. The sine and the cosine functions, for example, are used to describe 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 uniform circular motion.

Trigonometric functions also prove to be useful in the study of general periodic functions. The characteristic wave patterns of periodic functions are useful for modeling recurring phenomena such as sound or light waves.[20]

Under rather general conditions, a periodic function f (x) can be expressed as a sum of sine waves or cosine waves in a Fourier series.[21] Denoting the sine or cosine basis functions by φk, the expansion of the periodic function f (t) takes the form:

f ( t ) = k = 1 c k φ k ( t ) . {\displaystyle f(t)=\sum _{k=1}^{\infty }c_{k}\varphi _{k}(t).}

For example, the square wave can be written as the Fourier series

f square ( t ) = 4 π k = 1 sin ( ( 2 k 1 ) t ) 2 k 1 . {\displaystyle f_{\text{square}}(t)={\frac {4}{\pi }}\sum _{k=1}^{\infty }{\sin {\big (}(2k-1)t{\big )} \over 2k-1}.}

In the animation of a square wave at top right it can be seen that just a few terms already produce a fairly good approximation. The superposition of several terms in the expansion of a sawtooth wave are shown underneath.

History

While the early study of trigonometry can be traced to antiquity, the trigonometric functions as they are in use today were developed in the medieval period. The chord function was discovered by Hipparchus of Nicaea (180–125 BCE) and Ptolemy of Roman Egypt (90–165 CE). The functions of sine and versine (1 – cosine) can be traced back to the jyā and koti-jyā functions used in Gupta period Indian astronomy (Aryabhatiya, Surya Siddhanta), via translation from Sanskrit to Arabic and then from Arabic to Latin.[22] (See Aryabhata's sine table.)

All six trigonometric functions in current use were known in Islamic mathematics by the 9th century, as was the law of sines, used in solving triangles.[23] With the exception of the sine (which was adopted from Indian mathematics), the other five modern trigonometric functions were discovered by Persian and Arab mathematicians, including the cosine, tangent, cotangent, secant and cosecant.[23] Al-Khwārizmī (c. 780–850) produced tables of sines, cosines and tangents. Circa 830, Habash al-Hasib al-Marwazi discovered the cotangent, and produced tables of tangents and cotangents.[24][25] Muhammad ibn Jābir al-Harrānī al-Battānī (853–929) discovered the reciprocal functions of secant and cosecant, and produced the first table of cosecants for each degree from 1° to 90°.[25] The trigonometric functions were later studied by mathematicians including Omar Khayyám, Bhāskara II, Nasir al-Din al-Tusi, Jamshīd al-Kāshī (14th century), Ulugh Beg (14th century), Regiomontanus (1464), Rheticus, and Rheticus' student Valentinus Otho.

Madhava of Sangamagrama (c. 1400) made early strides in the analysis of trigonometric functions in terms of infinite series.[26] (See Madhava series and Madhava's sine table.)

The tangent function was brought to Europe by Giovanni Bianchini in 1467 in trigonometry tables he created to support the calculation of stellar coordinates.[27]

The terms tangent and secant were first introduced by the Danish mathematician Thomas Fincke in his book Geometria rotundi (1583).[28]

The 17th century French mathematician Albert Girard made the first published use of the abbreviations sin, cos, and tan in his book Trigonométrie.[29]

In a paper published in 1682, Gottfried Leibniz proved that sin x is not an algebraic function of x.[30] Though introduced as ratios of sides of a right triangle, and thus appearing to be rational functions, Leibnitz result established that they are actually transcendental functions of their argument. The task of assimilating circular functions into algebraic expressions was accomplished by Euler in his Introduction to the Analysis of the Infinite (1748). His method was to show that the sine and cosine functions are alternating series formed from the even and odd terms respectively of the exponential series. He presented "Euler's formula", as well as near-modern abbreviations (sin., cos., tang., cot., sec., and cosec.).[22]

A few functions were common historically, but are now seldom used, such as the chord, the versine (which appeared in the earliest tables[22]), the coversine, the haversine,[31] the exsecant and the excosecant. The list of trigonometric identities shows more relations between these functions.

  • crd(θ) = 2 sin(θ/2)
  • versin(θ) = 1 − cos(θ) = 2 sin2(θ/2)
  • coversin(θ) = 1 − sin(θ) = versin(π/2θ)
  • haversin(θ) = 1/2versin(θ) = sin2(θ/2)
  • exsec(θ) = sec(θ) − 1
  • excsc(θ) = exsec(π/2θ) = csc(θ) − 1

Historically, trigonometric functions were often combined with logarithms in compound functions like the logarithmic sine, logarithmic cosine, logarithmic secant, logarithmic cosecant, logarithmic tangent and logarithmic cotangent.[32][33][34][35]

Etymology

The word sine derives[36] from Latin sinus, meaning "bend; bay", and more specifically "the hanging fold of the upper part of a toga", "the bosom of a garment", which was chosen as the translation of what was interpreted as the Arabic word jaib, meaning "pocket" or "fold" in the twelfth-century translations of works by Al-Battani and al-Khwārizmī into Medieval Latin.[37] The choice was based on a misreading of the Arabic written form j-y-b (جيب), which itself originated as a transliteration from Sanskrit jīvā, which along with its synonym jyā (the standard Sanskrit term for the sine) translates to "bowstring", being in turn adopted from Ancient Greek χορδή "string".[38]

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.[39]

The prefix "co-" (in "cosine", "cotangent", "cosecant") is found in Edmund Gunter's Canon triangulorum (1620), which defines the cosinus as an abbreviation for the sinus complementi (sine of the complementary angle) and proceeds to define the cotangens similarly.[40][41]

See also

Notes

  1. ^ Also equal to 1 2 {\displaystyle {\frac {1}{\sqrt {2}}}}
  1. ^ Klein, Christian Felix (1924) [1902]. Elementarmathematik vom höheren Standpunkt aus: Arithmetik, Algebra, Analysis (in German). Vol. 1 (3rd ed.). Berlin: J. Springer.
  2. ^ Klein, Christian Felix (2004) [1932]. Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis. Translated by Hedrick, E. R.; Noble, C. A. (Translation of 3rd German ed.). Dover Publications, Inc. / The Macmillan Company. ISBN 978-0-48643480-3. Archived from the original on 2018-02-15. Retrieved 2017-08-13.
  3. ^ Protter & Morrey (1970, pp. APP-2, APP-3)
  4. ^ "Sine, Cosine, Tangent". www.mathsisfun.com. Retrieved 2020-08-29.
  5. ^ Protter & Morrey (1970, p. APP-7)
  6. ^ a b Rudin, Walter, 1921–2010. Principles of mathematical analysis (Third ed.). New York. ISBN 0-07-054235-X. OCLC 1502474.{{cite book}}: CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)
  7. ^ Diamond, Harvey (2014). "Defining Exponential and Trigonometric Functions Using Differential Equations". Mathematics Magazine. 87 (1): 37–42. doi:10.4169/math.mag.87.1.37. ISSN 0025-570X. S2CID 126217060.
  8. ^ Spivak, Michael (1967). "15". Calculus. Addison-Wesley. pp. 256–257. LCCN 67-20770.
  9. ^ Heng, H. H.; Cheng, Khoo; Talbert, J. F. (2001). Additional Mathematics. Pearson Education South Asia. ISBN 978-981-235-211-8.
  10. ^ Bityutskov, V.I. (2011-02-07). "Trigonometric Functions". Encyclopedia of Mathematics. Archived from the original on 2017-12-29. Retrieved 2017-12-29.
  11. ^ Larson, Ron (2013). Trigonometry (9th ed.). Cengage Learning. p. 153. ISBN 978-1-285-60718-4. Archived from the original on 2018-02-15. Extract of page 153 Archived 15 February 2018 at the Wayback Machine
  12. ^ See Ahlfors, pp. 43–44.
  13. ^ Stanley, Enumerative Combinatorics, Vol I., p. 149
  14. ^ Abramowitz; Weisstein.
  15. ^ Lambert, Johann Heinrich (2004) [1768], "Mémoire sur quelques propriétés remarquables des quantités transcendantes circulaires et logarithmiques", in Berggren, Lennart; Borwein, Jonathan M.; Borwein, Peter B. (eds.), Pi, a source book (3rd ed.), New York: Springer-Verlag, pp. 129–140, ISBN 0-387-20571-3
  16. ^ Aigner, Martin; Ziegler, Günter M. (2000). Proofs from THE BOOK (Second ed.). Springer-Verlag. p. 149. ISBN 978-3-642-00855-9. Archived from the original on 2014-03-08.
  17. ^ Remmert, Reinhold (1991). Theory of complex functions. Springer. p. 327. ISBN 978-0-387-97195-7. Archived from the original on 2015-03-20. Extract of page 327 Archived 20 March 2015 at the Wayback Machine
  18. ^ Kannappan, Palaniappan (2009). Functional Equations and Inequalities with Applications. Springer. ISBN 978-0387894911.
  19. ^ The Universal Encyclopaedia of Mathematics, Pan Reference Books, 1976, pp. 529–530. English version George Allen and Unwin, 1964. Translated from the German version Meyers Rechenduden, 1960.
  20. ^ Farlow, Stanley J. (1993). Partial differential equations for scientists and engineers (Reprint of Wiley 1982 ed.). Courier Dover Publications. p. 82. ISBN 978-0-486-67620-3. Archived from the original on 2015-03-20.
  21. ^ See for example, Folland, Gerald B. (2009). "Convergence and completeness". Fourier Analysis and its Applications (Reprint of Wadsworth & Brooks/Cole 1992 ed.). American Mathematical Society. pp. 77ff. ISBN 978-0-8218-4790-9. Archived from the original on 2015-03-19.
  22. ^ a b c Boyer, Carl B. (1991). A History of Mathematics (Second ed.). John Wiley & Sons, Inc. ISBN 0-471-54397-7, p. 210.
  23. ^ a b Gingerich, Owen (1986). "Islamic Astronomy". Scientific American. Vol. 254. p. 74. Archived from the original on 2013-10-19. Retrieved 2010-07-13.
  24. ^ Jacques Sesiano, "Islamic mathematics", p. 157, in Selin, Helaine; D'Ambrosio, Ubiratan, eds. (2000). Mathematics Across Cultures: The History of Non-western Mathematics. Springer Science+Business Media. ISBN 978-1-4020-0260-1.
  25. ^ a b "trigonometry". Encyclopedia Britannica. 2023-11-17.
  26. ^ O'Connor, J. J.; Robertson, E. F. "Madhava of Sangamagrama". School of Mathematics and Statistics University of St Andrews, Scotland. Archived from the original on 2006-05-14. Retrieved 2007-09-08.
  27. ^ Van Brummelen, Glen (2018). "The end of an error: Bianchini, Regiomontanus, and the tabulation of stellar coordinates". Archive for History of Exact Sciences. 72 (5): 547–563. doi:10.1007/s00407-018-0214-2. JSTOR 45211959. S2CID 240294796.
  28. ^ "Fincke biography". Archived from the original on 2017-01-07. Retrieved 2017-03-15.
  29. ^ O'Connor, John J.; Robertson, Edmund F., "Trigonometric functions", MacTutor History of Mathematics Archive, University of St Andrews
  30. ^ Bourbaki, Nicolás (1994). Elements of the History of Mathematics. Springer. ISBN 9783540647676.
  31. ^ Nielsen (1966, pp. xxiii–xxiv)
  32. ^ von Hammer, Ernst Hermann Heinrich [in German], ed. (1897). Lehrbuch der ebenen und sphärischen Trigonometrie. Zum Gebrauch bei Selbstunterricht und in Schulen, besonders als Vorbereitung auf Geodäsie und sphärische Astronomie (in German) (2 ed.). Stuttgart, Germany: J. B. Metzlerscher Verlag. Retrieved 2024-02-06.
  33. ^ Heß, Adolf (1926) [1916]. Trigonometrie für Maschinenbauer und Elektrotechniker - Ein Lehr- und Aufgabenbuch für den Unterricht und zum Selbststudium (in German) (6 ed.). Winterthur, Switzerland: Springer. doi:10.1007/978-3-662-36585-4. ISBN 978-3-662-35755-2.
  34. ^ Lötzbeyer, Philipp (1950). "§ 14. Erläuterungen u. Beispiele zu T. 13: lg sin X; lg cos X und T. 14: lg tg x; lg ctg X". Erläuterungen und Beispiele für den Gebrauch der vierstelligen Tafeln zum praktischen Rechnen (in German) (1 ed.). Berlin, Germany: Walter de Gruyter & Co. doi:10.1515/9783111507545. ISBN 978-3-11114038-4. Archive ID 541650. Retrieved 2024-02-06.
  35. ^ Roegel, Denis, ed. (2016-08-30). A reconstruction of Peters’s table of 7-place logarithms (volume 2, 1940). Vandoeuvre-lès-Nancy, France: Université de Lorraine. hal-01357842. Archived from the original on 2024-02-06. Retrieved 2024-02-06.
  36. ^ The anglicized form is first recorded in 1593 in Thomas Fale's Horologiographia, the Art of Dialling.
  37. ^ Various sources credit the first use of sinus to either See Merlet, A Note on the History of the Trigonometric Functions in Ceccarelli (ed.), International Symposium on History of Machines and Mechanisms, Springer, 2004
    See Maor (1998), chapter 3, for an earlier etymology crediting Gerard.
    See Katx, Victor (July 2008). A history of mathematics (3rd ed.). Boston: Pearson. p. 210 (sidebar). ISBN 978-0321387004.
  38. ^ See Plofker, Mathematics in India, Princeton University Press, 2009, p. 257
    See "Clark University". Archived from the original on 2008-06-15.
    See Maor (1998), chapter 3, regarding the etymology.
  39. ^ Oxford English Dictionary
  40. ^ Gunter, Edmund (1620). Canon triangulorum.
  41. ^ Roegel, Denis, ed. (2010-12-06). "A reconstruction of Gunter's Canon triangulorum (1620)" (Research report). HAL. inria-00543938. Archived from the original on 2017-07-28. Retrieved 2017-07-28.

References

  • Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. Vol. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253.
  • 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.
  • Cajori, Florian (1929). "§2.2.1. Trigonometric Notations". A History of Mathematical Notations. Vol. 2. Open Court. pp. 142–179 (¶511–537).
  • Gal, Shmuel and Bachelis, Boris. An accurate elementary mathematical library for the IEEE floating point standard, ACM Transactions on Mathematical Software (1991).
  • 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 (2002): ISBN 0-691-09541-8.
  • Needham, Tristan, "Preface"" to Visual Complex Analysis. Oxford University Press, (1999). ISBN 0-19-853446-9.
  • Nielsen, Kaj L. (1966), Logarithmic and Trigonometric Tables to Five Places (2nd ed.), New York: Barnes & Noble, LCCN 61-9103
  • 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" Archived 2006-05-05 at the Wayback Machine, MacTutor History of Mathematics archive. (2002).
  • Protter, Murray H.; Morrey, Charles B. Jr. (1970), College Calculus with Analytic Geometry (2nd ed.), Reading: Addison-Wesley, LCCN 76087042
  • Weisstein, Eric W., "Tangent" from MathWorld, accessed 21 January 2006.

External links

Wikibooks has a book on the topic of: Trigonometry
  • v
  • t
  • e
Trigonometric and hyperbolic functions
Groups
Other
Authority control databases Edit this at Wikidata
International
  • FAST
National
  • France
  • BnF data
  • Germany
  • Israel
  • United States
  • Japan
  • Czech Republic