FACTOID # 114: In Switzerland, the average person has to work for 102 minutes to buy a kilogram of beef - one of the longest times in the developed world. On the other hand, they only have work 14 hours to buy a refrigerator.
 
 Home   Encyclopedia   Statistics   Countries A-Z   Flags   Maps   Education   Forum   FAQ   About 
 
WHAT'S NEW
RECENT ARTICLES
More Recent Articles »
 

SEARCH ALL

FACTS & STATISTICS   

Search encyclopedia, statistics and forums:

 

 

(* = Graphable)

 

 


Encyclopedia > List of trigonometric identities

In mathematics, trigonometric identities are equalities that involve trigonometric functions that are true for all values of the occurring variables. These identities are useful whenever expressions involving trigonometric functions need to be simplified. An important application is the integration of non-trigonometric functions: a common trick involves first using the substitution rule with a trigonometric function, and then simplifying the resulting integral with a trigonometric identity. For other meanings of mathematics or uses of math and maths, see Mathematics (disambiguation) and Math (disambiguation). ... Sine redirects here. ... In mathematics, the term identity has several important uses: An identity is an equality that remains true regardless of the values of any variables that appear within it, to distinguish it from an equality which is true under more particular conditions. ... This article is about the concept of integrals in calculus. ... In mathematics, trigonometric substitution is the substitution of trigonometric functions for other expressions. ...

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

History
Usage
Functions
Inverse functions
Further reading
Image File history File links Circle-trig6. ... Image File history File links Circle-trig6. ... Image File history File links Unit_circle_angles. ... Image File history File links Unit_circle_angles. ... Illustration of a unit circle. ... Wikibooks has a book on the topic of Trigonometry All of the trigonometric functions of an angle θ can be constructed geometrically in terms of a unit circle centered at O. Trigonometry (from Greek trigōnon triangle + metron measure[1]), informally called trig, is a branch of mathematics that deals with... The history of trigonometry and of trigonometric functions may span about 4000 years. ... Trigonometry has an enormous variety of applications. ... Sine redirects here. ... In mathematics, the inverse trigonometric functions are the inverse functions of the trigonometric functions. ... Trigonometry is a branch of mathematics which deals with angles, triangles and trigonometric functions such as sine, cosine and tangent. ...

Reference

List of identities
Exact constants
Generating trigonometric tables
CORDIC Exact constant expressions for trigonometric expressions are sometimes useful, mainly for simplifying solutions into radical forms which allow further simplification. ... Tables of trigonometric functions are useful in a number of areas. ... CORDIC (digit-by-digit method, Volders algorithm) (for COordinate Rotation DIgital Computer) is a simple and efficient algorithm to calculate hyperbolic and trigonometric functions. ...

Euclidean theory

Law of sines
Law of cosines
Law of tangents
Pythagorean theorem Euclid Euclidean geometry is a mathematical system attributed to the Greek mathematician [[Euclid]] of Alexandria. ... In trigonometry, the law of sines (or sine law, sine formula) is a statement about arbitrary triangles in the plane. ... Fig. ... In trigonometry, the law of tangents is a statement about arbitrary triangles in the plane. ... In mathematics, the Pythagorean theorem (AmE) or Pythagoras theorem (BrE) is a relation in Euclidean geometry among the three sides of a right triangle. ...

Calculus

The Trigonometric integral
Trigonometric substitution
Integrals of functions
Integrals of inverses
For other uses, see Calculus (disambiguation). ... In mathematics, the trigonometric integrals are a family of integrals which involve trigonometric functions. ... In mathematics, trigonometric substitution is the substitution of trigonometric functions for other expressions. ... The following is a list of integrals (antiderivative functions) of trigonometric functions. ... In order to use any table of integrals, one must be aware that usually it must use substitution or algebraic manipulation to arrive at an integral listed in the table. ...

Contents

Notation

To avoid the confusion caused by the ambiguity of sin−1(x), the reciprocals and inverses of trigonometric functions are often displayed as in this table. In representing the cosecant function, the longer form 'cosec' is sometimes used in place of 'csc'.

Function Inverse function Reciprocal Inverse reciprocal
sine sin arcsine arcsin cosecant csc arccosecant arccsc
cosine cos arccosine arccos secant sec arcsecant arcsec
tangent tan arctangent arctan cotangent cot arccotangent arccot

Different angular measures can be appropriate in different situations. This table shows some of the more common systems. Radians is the default angular measure and is the one you use if you use the exponential definitions. All angular measures are unitless. In mathematics, an inverse function is in simple terms a function which does the reverse of a given function. ... The reciprocal function: y = 1/x. ...

Degrees 30 45 60 90 120 180 270 360
Radians π / 6 π / 4 π / 3 π / 2 2π / 3 π 3π / 2
Grads 33 ⅓ 50 66 ⅔ 100 133 ⅓ 200 300 400

This article describes the unit of angle. ... Some common angles, measured in radians. ... The grad is a measurement of plane angles of value 1/400 of a full circle, thus dividing a right angle in 100. ...

Basic relationship

Pythagorean trigonometric identity sin^2 theta + cos^2 theta = 1,[1]
Ratio identity tan theta = frac{sin theta}{cos theta}[1]

From the two identities above, the following table can be extrapolated. Note however that these conversion equations may not provide the correct sign (+ or −). For example, if sin θ = 1/2, the conversion in the table indicates that scriptstylecostheta,=,sqrt{1 - sin^2theta} = sqrt{3}/2, though it is possible that scriptstylecostheta ,=, -sqrt{3}/2. More information would be needed about which quadrant θ lies in to determine a single, exact answer. The Pythagorean trigonometric identity says that for any angle A: Proof Or: Note The reason for: is that any number, when divided by itself, is equal to one. ... It has been suggested that multiple sections of List of trigonometric identities be merged into this article or section. ...

Each trigonometric function in terms of the other five.
Function sin cos tan csc sec cot
sinθ =  sin theta  sqrt{1 - cos^2theta}  frac{tantheta}{sqrt{1 + tan^2theta}}  frac{1}{csc theta}  frac{sqrt{sec^2 theta - 1}}{sec theta}  frac{1}{sqrt{1+cot^2theta}}
cosθ =  sqrt{1 - sin^2theta}  cos theta  frac{1}{sqrt{1 + tan^2 theta}}  frac{sqrt{csc^2theta - 1}}{csc theta}  frac{1}{sec theta}  frac{cot theta}{sqrt{1 + cot^2 theta}}
tanθ =  frac{sintheta}{sqrt{1 - sin^2theta}}  frac{sqrt{1 - cos^2theta}}{cos theta}  tan theta  frac{1}{sqrt{csc^2theta - 1}}  sqrt{sec^2theta - 1}  frac{1}{cot theta}
cscθ =  {1 over sin theta}  {1 over sqrt{1 - cos^2 theta}}  {sqrt{1 + tan^2theta} over tan theta}  csc theta  {sec theta over sqrt{sec^2theta - 1}}  sqrt{1 + cot^2 theta}
secθ =  {1 over sqrt{1 - sin^2theta}}  {1 over cos theta}  sqrt{1 + tan^2theta}  {csctheta over sqrt{csc^2theta - 1}} sectheta  {sqrt{1 + cot^2theta} over cot theta}
cotθ =  {sqrt{1 - sin^2theta} over sin theta}  {cos theta over sqrt{1 - cos^2theta}}  {1 over tantheta}  sqrt{csc^2theta - 1}  {1 over sqrt{sec^2theta - 1}}  cottheta

Historic shorthands

Rarely used today, the versine, coversine, haversine, and exsecant have been defined as below and used in navigation, for example the haversine formula was used to calculate the distance between two points on a sphere. The versed sine, also called the versine and, in Latin, the sinus versus (flipped sine) or the sagitta (arrow), is a trigonometric function versin(θ) (sometimes further abbreviated vers) defined by the equation: versin(θ) = 1 − cos(θ) = 2 sin2(θ / 2) There are also three corresponding functions: the... In trigonometry, the coversine, denoted cvs(x), of an angle is defined as one minus the sine of the angle: The derivative of the coversine is the negative of the cosine and the integral is Very few applications of this function exist, and it is generally only used to provide... The versed sine, also called the versine and, in Latin, the sinus versus (flipped sine) or the sagitta (arrow), is a trigonometric function versin(θ) (sometimes further abbreviated vers) defined by the equation: versin(θ) = 1 − cos(θ) = 2 sin2(θ / 2) There are also three corresponding functions: the... The trigonometric functions, including the exsecant, can be constructed geometrically in terms of a unit circle centered at O. The exsecant is the portion DE of the secant exterior to (ex) the circle. ... The haversine formula is an equation important in navigation, giving great-circle distances between two points on a sphere from their longitudes and latitudes. ...

Name Value
textrm{versin} , theta  1 - cos theta ,
textrm{coversin} , theta 1 - sin theta ,
textrm{haversin} , theta tfrac{1}{2} textrm{versin} theta ,
textrm{exsec} , theta ,  sec theta - 1 ,

Symmetry, shifts, and periodicity

By examining the unit circle, the following properties of the trigonometric functions can be established.


Symmetry

When the trigonometric functions are reflected from certain values of θ, The result is often one of the other trigonometric functions. This leads to the following identities:

Reflected in θ = 0 Reflected in θ = π / 2 Reflected in θ = π
 begin{align} sin(0-theta) &= -sin theta  cos(0-theta) &= +cos theta  tan(0-theta) &= -tan theta  csc(0-theta) &= -csc theta  sec(0-theta) &= +sec theta  cot(0-theta) &= -cot theta end{align}  begin{align} sin(tfrac{pi}{2} - theta) &= +cos theta  cos(tfrac{pi}{2} - theta) &= +sin theta  tan(tfrac{pi}{2} - theta) &= +cot theta  csc(tfrac{pi}{2} - theta) &= +sec theta  sec(tfrac{pi}{2} - theta) &= +csc theta  cot(tfrac{pi}{2} - theta) &= +tan theta end{align}  begin{align} sin(pi - theta) &= +sin theta  cos(pi - theta) &= -cos theta  tan(pi - theta) &= -tan theta  csc(pi - theta) &= +csc theta  sec(pi - theta) &= -sec theta  cot(pi - theta) &= -cot theta  end{align}

Shifts and periodicity

By shifting the function round by certain angles, it is often possible to find different trigonometric functions that express the result more simply. Some examples of this are given shown by shifting functions round by π/2, π and 2π radians. Because the periods of these functions are either π or 2π, there are cases where the new function is exactly the same as the old function without the shift.

Shift by π/2 Shift by π
Period for tan and cot
Shift by 2π
Period for sin, cos, csc and sec
 begin{align} sin(theta + tfrac{pi}{2}) &= +cos theta  cos(theta + tfrac{pi}{2}) &= -sin theta  tan(theta + tfrac{pi}{2}) &= -cot theta  csc(theta + tfrac{pi}{2}) &= +sec theta  sec(theta + tfrac{pi}{2}) &= -csc theta  cot(theta + tfrac{pi}{2}) &= -tan theta end{align}  begin{align} sin(theta + pi) &= -sin theta  cos(theta + pi) &= -cos theta  tan(theta + pi) &= +tan theta  csc(theta + pi) &= -csc theta  sec(theta + pi) &= -sec theta  cot(theta + pi) &= +cot theta  end{align}  begin{align} sin(theta + 2pi) &= +sin theta  cos(theta + 2pi) &= +cos theta  tan(theta + 2pi) &= +tan theta  csc(theta + 2pi) &= +csc theta  sec(theta + 2pi) &= +sec theta  cot(theta + 2pi) &= +cot theta end{align}

Angle sum and difference identities

These are also known as the addition and subtraction theorems or formulæ. The quickest way to prove these is Euler's formula. Eulers formula, named after Leonhard Euler, is a mathematical formula in complex analysis that shows a deep relationship between the trigonometric functions and the complex exponential function. ...

Sine sin(theta pm phi) = sin theta cos phi pm cos theta sin phi ,[2] Note: From Plus-Minus Sign.

begin{align}x pm y = a pm b &Rightarrow  x + y = a + b  &mbox{and}  x -y = a -b end{align}
begin{align} x pm y = a mp b &Rightarrow  x + y = a - b  &mbox{and} x - y = a + bend{align} The plus-minus sign (±) is a mathematical symbol commonly used to indicate the precision of an approximation, or as a convenient shorthand for a quantity which has two possible values opposite in sign. ...

Cosine cos(theta pm phi) = cos theta cos phi mp sin theta sin phi,[2]
Tangent tan(theta pm phi) = frac{tan theta pm tan phi}{1 mp tan theta tan phi}[2]

Sines and cosines of sums of infinitely many terms

 sinleft(sum_{i=1}^infty theta_iright) =sum_{mathrm{odd} k ge 1} (-1)^{(k-1)/2} sum_{begin{smallmatrix} A subseteq {,1,2,3,dots,}  left|Aright| = kend{smallmatrix}} left(prod_{i in A} sintheta_i prod_{i not in A} costheta_iright)
 cosleft(sum_{i=1}^infty theta_iright) =sum_{mathrm{even} k ge 0} ~ (-1)^{k/2} ~~ sum_{begin{smallmatrix} A subseteq {,1,2,3,dots,}  left|Aright| = kend{smallmatrix}} left(prod_{i in A} sintheta_i prod_{i not in A} costheta_iright)

In these two identities an asymmetry appears that is not seen in the case of sums of finitely many terms: in each product, there are only finitely many sine factors and cofinitely many cosine factors. In mathematics, a cofinite subset of a set X is a subset Y whose complement in X is a finite set. ...


If only finitely many of the terms θi are nonzero, then only finitely many of the terms on the right side will be nonzero because sine factors will vanish, and in each term, all but finitely many of the cosine factors will be unity.


Tangents of sums of finitely many terms

Let xi = tan(θi ), for i = 1, ..., n. Let ek be the kth-degree elementary symmetric polynomial in the variables xi, i = 1, ..., n, k = 0, ..., n. Then In mathematics, specifically in commutative algebra, elementary symmetric polynomials are the basic building blocks for symmetric polynomials, in the sense that every symmetric polynomial can be expressed as a sum of products of the elementary symmetric polynomials. ...

tan(theta_1+cdots+theta_n) = frac{e_1 - e_3 + e_5 -cdots}{e_0 - e_2 + e_4 - cdots},

the number of terms depending on n.


For example,

 begin{align} tan(theta_1 + theta_2 + theta_3) &{}= frac{e_1 - e_3}{e_0 - e_2} = frac{(x_1 + x_2 + x_3)  -  (x_1 x_2 x_3)}{ 1  -  (x_1 x_2 + x_1 x_3 + x_2 x_3)},   tan(theta_1 + theta_2 + theta_3 + theta_4) &{}= frac{e_1 - e_3}{e_0 - e_2 + e_4}   &{}= frac{(x_1 + x_2 + x_3 + x_4)  -  (x_1 x_2 x_3 + x_1 x_2 x_4 + x_1 x_3 x_4 + x_2 x_3 x_4)}{ 1  -  (x_1 x_2 + x_1 x_3 + x_1 x_4 + x_2 x_3 + x_2 x_4 + x_3 x_4)  +  (x_1 x_2 x_3 x_4)},end{align}

and so on. The general case can be proved by mathematical induction. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers. ...


Multiple-angle formulae

Tn is the nth Chebyshev polynomial cos ntheta =T_n (cos theta ),[3]
Sn is the nth spread polynomial sin^2 ntheta = S_n (sin^2theta),
de Moivre's formula, i is the Imaginary unit cos ntheta +isin ntheta=(cos(theta)+isin(theta))^n ,
1+2cos(x) + 2cos(2x) + 2cos(3x) + cdots + 2cos(nx) = frac{sinleft(left(n +frac{1}{2}right)xright)}{sin(x/2)}.

(This function of x is the Dirichlet kernel.) In mathematics the Chebyshev polynomials, named after Pafnuty Chebyshev, are a sequence of orthogonal polynomials which are related to de Moivres formula and which are easily defined recursively, like Fibonacci or Lucas numbers. ... In the conventional language of trigonometry, the nth-degree spread polynomial Sn, for n = 0, 1, 2, ..., may be characterized by the trigonometric identity Although that is probably the simplest way to explain what spread polynomials are to those versed in well-known topics in mathematics, spread polynomials were introduced... de Moivres formula, named after Abraham de Moivre, states that for any complex number (and, in particular, for any real number) x and any integer n it holds that The formula is important because it connects complex numbers (i stands for the imaginary unit) and trigonometry. ... In mathematics, the imaginary unit (or sometimes the Latin or the Greek iota, see below) allows the real number system to be extended to the complex number system . ... In mathematical analysis, the Dirichlet kernel is the collection of functions It is named after Johann Peter Gustav Lejeune Dirichlet. ...


Double-, triple-, and half-angle formulae

These can be shown by using either the sum and difference identities or the multiple-angle formulae.

Double-angle formulae [4]
begin{align} sin 2theta &= 2 sin theta cos theta   &= frac{2 tan theta} {1 + tan^2 theta} end{align} begin{align} cos 2theta &= cos^2 theta - sin^2 theta  &= 2 cos^2 theta - 1  &= 1 - 2 sin^2 theta  &= frac{1 - tan^2 theta} {1 + tan^2 theta} end{align} tan 2theta = frac{2 tan theta} {1 - tan^2 theta}, cot 2theta = frac{cot theta - tan theta}{2},
Triple-angle formulae [3]
sin 3theta = 3 sin theta- 4 sin^3theta , cos 3theta = 4 cos^3theta - 3 cos theta , tan 3theta = frac{3 tantheta - tan^3theta}{1 - 3 tan^2theta}  
Half-angle formulae [5]
sin tfrac{theta}{2} = pm, sqrt{frac{1 - cos theta}{2}} cos tfrac{theta}{2} = pm, sqrt{frac{1 + costheta}{2}} begin{align} tan tfrac{theta}{2} &= csc theta - cot theta  &= pm, sqrt{1 - cos theta over 1 + cos theta}  &= frac{sin theta}{1 + cos theta}  &= frac{1-cos theta}{sin theta} end{align} cot tfrac{theta}{2} = csc theta + cot theta

See also Tangent half-angle formula. In various applications of trigonometry, it is useful to rewrite the trigonometric functions (such as sine and cosine) in terms of rational functions of a new variable t. ...


Euler's infinite product

 cosleft({theta over 2}right) cdot cosleft({theta over 4}right) cdot cosleft({theta over 8}right)cdots = prod_{n=1}^infty cosleft({theta over 2^n}right) = {sin(theta)over theta}.

Power-reduction formulae

Obtained by solving the second and third versions of the cosine double-angle formula.

Sine sin^2theta = frac{1 - cos 2theta}{2} sin^3theta = frac{3 sintheta - sin 3theta}{4} sin^4theta = frac{3 - 4 cos 2theta + cos 4theta}{8}
Cosine cos^2theta = frac{1 + cos 2theta}{2} cos^3theta = frac{3 costheta + cos 3theta}{4} cos^4theta = frac{3 + 4 cos 2theta + cos 4theta}{8} cos^5theta = frac{10 costheta + 5 cos 3theta + cos 5theta}{16}
Other sin^2theta cos^2theta = frac{1 - cos 4theta}{8} sin^3theta cos^3theta = frac{sin^3 2theta}{8}

Product-to-sum and sum-to-product identities

The product-to-sum identies can be proven by expanding their right-hand sides using the angle addition theorems. In mathematics, trigonometric identities are equations involving trigonometric functions that are true for all values of the occurring variables. ...

Product-to-sum
cos theta cos phi = {cos(theta - phi) + cos(theta + phi) over 2}
sin theta sin phi = {cos(theta - phi) - cos(theta + phi) over 2}
sin theta cos phi = {sin(theta + phi) + sin(theta - phi) over 2}
Sum-to-product
sin theta + sin phi = 2 sinleft( frac{theta + phi}{2} right) cosleft( frac{theta - phi}{2} right)
cos theta + cos phi = 2 cosleft( frac{theta + phi} {2} right) cosleft( frac{theta - phi}{2} right)
cos theta - cos phi = -2sinleft( {theta + phi over 2}right) sinleft({theta - phi over 2}right)
sin theta - sin phi = 2 cosleft({theta + phi over 2}right) sinleft({theta - phiover 2}right) ;

Other related identities

If x, y, and z are the three angles of any triangle, or in other words

mbox{if }x + y + z = pi = mbox{half circle,},
mbox{then }tan(x) + tan(y) + tan(z) = tan(x)tan(y)tan(z).,

(If any of x, y, z is a right angle, one should take both sides to be ∞. This is neither +∞ nor −∞; for present purposes it makes sense to add just one point at infinity to the real line, that is approached by tan(θ) as tan(θ) either increases through positive values or decreases through negative values. This is a one-point compactification of the real line.) In mathematics, the real numbers may be described informally as numbers that can be given by an infinite decimal representation, such as 2. ... In mathematics, compactification is applied to topological spaces to make them compact spaces. ...

mbox{If }x + y + z = pi = mbox{half circle,},
mbox{then }sin(2x) + sin(2y) + sin(2z) = 4sin(x)sin(y)sin(z).,

Ptolemy's theorem

 mbox{If }w + x + y + z = pi = mbox{half circle,} ,
begin{align} mbox{then } & sin(w + x)sin(x + y)  &{} = sin(x + y)sin(y + z)  &{} = sin(y + z)sin(z + w)  &{} = sin(z + w)sin(w + x) = sin(w)sin(y) + sin(x)sin(z). end{align}

(The first three equalities are trivial; the fourth is the substance of this identity.) Essentially this is Ptolemy's theorem adapted to the language of trigonometry. In mathematics, Ptolemys theorem is a relation in Euclidean geometry between the four sides and two diagonals or chords of a quadrilateral inscribed in circle. ...


Linear combinations

For some purposes it is important to know that any linear combination of sine waves of the same period but different phase shifts is also a sine wave with the same period, but a different phase shift. In the case of a linear combination of a sine and cosine wave, we have This article is about a portion of a periodic process. ...

asin x+bcos x=sqrt{a^2+b^2}cdotsin(x+varphi),

where

varphi = arcsin left(frac{b}{sqrt{a^2+b^2}}right)

More generally, for an arbitrary phase shift, we have

asin x+bsin(x+alpha)= c sin(x+beta),

where

 c = sqrt{a^2 + b^2 +2abcos alpha},

and

 beta = {rm arctan} left(frac{bsin alpha}{a + bcos alpha}right).
  • note: arcsin, arccos, arctan are all inverses.

Other sums of trigonometric functions

Sum of sines and cosines with arguments in arithmetic progression:

sin{varphi} + sin{(varphi + alpha)} + sin{(varphi + 2alpha)} + cdots + sin{(varphi + nalpha)}=frac{sin{left(frac{(n+1) alpha}{2}right)} cdot sin{(varphi + frac{n alpha}{2})}}{sin{frac{alpha}{2}}}.
cos{varphi} + cos{(varphi + alpha)} + cos{(varphi + 2alpha)} + cdots + cos{(varphi + nalpha)}=frac{sin{left(frac{(n+1) alpha}{2}right)} cdot cos{(varphi + frac{n alpha}{2})}}{sin{frac{alpha}{2}}}.

For any a and b:

a cos(x) + b sin(x) = sqrt{ a^2 + b^2 } cos(x - arctan(b, a)) ;

where arctan(y, x) is the generalization of arctan(y/x) which covers the entire circular range (see also the account of this same identity in "symmetry, periodicity, and shifts" above for this generalization of arctan).

tan(x) + sec(x) = tanleft({x over 2} + {pi over 4}right).

The above identity is sometimes convenient to know when thinking about the Gudermanian function. Gudermannian function with its asymptotes y = ±π/2 marked in gray. ...


If x, y, and z are the three angles of any triangle, i.e. if x + y + z = π, then

cot(x)cot(y) + cot(y)cot(z) + cot(z)cot(x) = 1.,

Inverse trigonometric functions

 arcsin(x)+arccos(x)=pi/2;
 arctan(x)+arccot(x)=pi/2.;
arctan(x)+arctan(1/x)=left{begin{matrix} pi/2, & mbox{if }x > 0  -pi/2, & mbox{if }x < 0 end{matrix}right.

Compositions of trig and inverse trig functions

sin[arccos(x)]=sqrt{1-x^2} ,
sin[arctan(x)]=frac{x}{sqrt{1+x^2}}
cos[arctan(x)]=frac{1}{sqrt{1+x^2}}
cos[arcsin(x)]=sqrt{1-x^2} ,
tan[arcsin (x)]=frac{x}{sqrt{1 - x^2}}
tan[arccos (x)]=frac{sqrt{1 - x^2}}{x}

Relation to the complex exponential function

e^{ix} = cos(x) + isin(x), (Euler's formula),
e^{-ix} = cos(-x) + isin(-x) = cos(x) - isin(x),
e^{ipi} = -1,
cos(x) = frac{e^{ix} + e^{-ix}}{2} ;
sin(x) = frac{e^{ix} - e^{-ix}}{2i} ;

where i² = −1. Eulers formula, named after Leonhard Euler, is a mathematical formula in complex analysis that shows a deep relationship between the trigonometric functions and the complex exponential function. ...


"cis"

Occasionally one sees the notation Image File history File links No higher resolution available. ...

operatorname{cis}(x) = cos(x) + isin(x),,

i.e. "cis" abbreviates "cos + i sin".


Though at first glance this notation is redundant, being equivalent to eix, its use is rooted in several advantages.


Convenience

This notation was more common in the post WWII era when typewriters were used to convey mathematical expressions. Superscripts are both offset vertically and smaller than 'cis' or 'exp'; hence, they can be problematic even for hand writing. For example e ix² versus cis( x²) versus exp( ix²). For many readers, cis( x²) is the clearest, easiest to read of the three.


The cis notation is sometimes used to emphasize one method of viewing and dealing with a problem over another. The mathematics of trigonometry and exponentials are related but not exactly the same; exponential notation emphasizes the whole, whereas cis and cos + i sin notations emphasize the parts. This can be rhetorically useful to mathematicians and engineers when discussing this function, and further serve as a mnemonic (for cos + i sin).


The cis notation is convenient for math students whose knowledge of trigonometry and complex numbers permit this notation, but whose conceptual understanding doesn't yet permit the notation e ix. As students learn concepts that build on prior knowledge, it is important not to force them into levels of math they are not yet prepared for.


Pedagogy

In some contexts, the cis notation may serve the pedagogical purpose of emphasizing that one has not yet proved that this is an exponential function. In doing trigonometry without complex numbers, one may prove the two identities

cos(x+y) = cos(x)cos(y) - sin(x)sin(y) = c_1 c_2 - s_1 s_2,,
sin(x+y) = sin(x)cos(y) + cos(x)sin(y) = s_1 c_2 + c_1 s_2.,

Similarly in treating multiplication of complex numbers (with no involvement of trigonometry), one may observe that the real and imaginary parts of the product of c1 + is1 and c2 + is2 are respectively

c_1 c_2 - s_1 s_2,,
s_1 c_2 + c_1 s_2.,

Thus one sees this same pattern arising in two disparate contexts:

  • trigonometry without complex numbers, and
  • complex numbers without trigonometry.

This coincidence can serve as a motivation for conjoining the two contexts and thereby discovering the trigonometric identity

operatorname{cis}(x+y) = operatorname{cis}(x)operatorname{cis}(y),,

and observing that this identity for cis of a sum is simpler than the identities for sin and cos of a sum. Having proved this identity, one can challenge the students to recall which familiar sort of function satisfies this same functional equation In mathematics or its applications, a functional equation is an equation in terms of independent variables, and also unknown functions, which are to be solved for. ...

f(x+y) = f(x)f(y).,

The answer is exponential functions. That suggests that cis may be an exponential function The exponential function is one of the most important functions in mathematics. ...

operatorname{cis}(x) = b^x.,

Then the question is: what is the base b? The definition of cis and the local behavior of sin and cos near zero suggest that

operatorname{cis}(0+dx) = operatorname{cis}(0) + i,dx,

(where dx is an infinitesimal increment of x). Thus the rate of change at 0 is i, so the base should be ei. Thus if this is an exponential function, then it must be Infinitesimals have been used to express the idea of objects so small that there is no way to see them or to measure them. ...

operatorname{cis}(x) = e^{ix}.,

Infinite product formula

For applications to special functions, the following infinite product formulæ for trigonometric functions are useful: In mathematics, several functions are important enough to deserve their own name. ... In mathematics, for a sequence of numbers a1, a2, a3, ... the infinite product is defined to be the limit of the partial products a1a2. ...

sin x = x prod_{n = 1}^inftyleft(1 - frac{x^2}{pi^2 n^2}right)
sinh x = x prod_{n = 1}^inftyleft(1 + frac{x^2}{pi^2 n^2}right)
frac{sin x}{x} = prod_{n = 1}^inftycosleft(frac{x}{2^n}right)
cos x = prod_{n = 1}^inftyleft(1 - frac{x^2}{pi^2(n - frac{1}{2})^2}right)
cosh x = prod_{n = 1}^inftyleft(1 + frac{x^2}{pi^2(n - frac{1}{2})^2}right)

The Gudermannian function

The Gudermannian function relates the circular and hyperbolic trigonometric functions without resorting to complex numbers; see that article for details. The Gudermannian function, named after Christoph Gudermann (1798 - 1852), relates the circular and hyperbolic trigonometric functions without resorting to complex numbers. ... Sine redirects here. ... A ray through the origin intercepts the hyperbola in the point , where is the area between the ray, its mirror image with respect to the -axis, and the hyperbola (see animated version with comparison with the trigonometric (circular) functions). ... The complex numbers are an extension of the real numbers, in which all non-constant polynomials have roots. ...


Identities without variables

The curious identity Morries law is a name, that occasionally is used for the trigonometric identity It is a special case of the more general identity with and . ...

cos 20^circcdotcos 40^circcdotcos 80^circ=frac{1}{8}

is a special case of an identity that contains one variable:

prod_{j=0}^{k-1}cos(2^j x)=frac{sin(2^k x)}{2^ksin(x)}.

A similar-looking identity is

 cosfrac{pi}{7}cosfrac{2pi}{7}cosfrac{3pi}{7} = frac{1}{8},

and in addition

sin 20^circcdotsin 40^circcdotsin 80^circ=sqrt{3}/8.

The following is perhaps not as readily generalized to an identity containing variables:

cos 24^circ+cos 48^circ+cos 96^circ+cos 168^circ=frac{1}{2}.

Degree measure ceases to be more felicitous than radian measure when we consider this identity with 21 in the denominators:

 cosleft( frac{2pi}{21}right) ,+, cosleft(2cdotfrac{2pi}{21}right) ,+, cosleft(4cdotfrac{2pi}{21}right)
 ,+, cosleft( 5cdotfrac{2pi}{21}right) ,+, cosleft( 8cdotfrac{2pi}{21}right) ,+, cosleft(10cdotfrac{2pi}{21}right)=frac{1}{2}.

The factors 1, 2, 4, 5, 8, 10 may start to make the pattern clear: they are those integers less than 21/2 that are relatively prime to (or have no prime factors in common with) 21. The last several examples are corollaries of a basic fact about the irreducible cyclotomic polynomials: the cosines are the real parts of the zeroes of those polynomials; the sum of the zeroes is the Möbius function evaluated at (in the very last case above) 21; only half of the zeroes are present above. The two identities preceding this last one arise in the same fashion with 21 replaced by 10 and 15, respectively. In mathematics, the integers a and b are said to be coprime or relatively prime if and only if they have no common factor other than 1 and &#8722;1, or equivalently, if their greatest common divisor is 1. ... This article is about the concept in number theory. ... In mathematics, the n-th roots of unity or de Moivre numbers, named after Abraham de Moivre (1667 - 1754), are complex numbers located on the unit circle. ... The classical Möbius function is an important multiplicative function in number theory and combinatorics. ...


An efficient way to compute π is based on the following identity without variables, due to Machin: When a circles diameter is 1, its circumference is Ï€. Pi or Ï€ is the ratio of a circles circumference to its diameter in Euclidean geometry, approximately 3. ... John Machin, (1680—June 9, 1751), a professor of astronomy in London, is best known for developing a quickly converging series for Ï€ in 1706 and using it to compute Ï€ to 100 decimal places. ...

frac{pi}{4} = 4 arctanfrac{1}{5} - arctanfrac{1}{239}

or, alternatively, by using Euler's formula: Leonhard Euler aged 49 (oil painting by Emanuel Handmann, 1756) Leonhard Euler (April 15, 1707 - September 18, 1783) (pronounced oiler) was a Swiss mathematician and physicist. ...

frac{pi}{4} = 5 arctanfrac{1}{7} + 2 arctanfrac{3}{79}.
 begin{matrix} sin 0 & = & sin 0^circ & = & 0 & = & cos 90^circ & = & cos left( frac {pi} {2} right)   sin left( frac {pi} {6} right) & = & sin 30^circ & = & 1/2 & = & cos 60^circ & = & cos left( frac {pi} {3} right)   sin left( frac {pi} {4} right) & = & sin 45^circ & = & sqrt{2}/2 & = & cos 45^circ & = & cos left( frac {pi} {4} right)   sin left( frac {pi} {3} right) & = & sin 60^circ & = & sqrt{3}/2 & = & cos 30^circ & = & cos left( frac {pi} {6} right)   sin left( frac {pi} {2} right) & = & sin 90^circ & = & 1 & = & cos 0^circ & = & cos 0 end{matrix}
sin{frac{pi}{7}}=frac{sqrt{7}}{6}- frac{sqrt{7}}{189} sum_{j=0}^{infty} frac{(3j+1)!}{189^j j!,(2j+2)!} !
sin{frac{pi}{18}}= frac{1}{6} sum_{j=0}^{infty} frac{(3j)!}{27^j j!,(2j+1)!} !

With the golden ratio φ: For other uses, see Golden mean. ...

cos left( frac {pi} {5} right) = cos 36^circ={sqrt{5}+1 over 4} = varphi /2
sin left( frac {pi} {10} right) = sin 18^circ = {sqrt{5}-1 over 4} = {varphi - 1 over 2} = {1 over 2varphi}

Also see exact trigonometric constants. Exact constant expressions for trigonometric expressions are sometimes useful, mainly for simplifying solutions into radical forms which allow further simplification. ...


Calculus

In calculus the relations stated below require angles to be measured in radians; the relations would become more complicated if angles were measured in another unit such as degrees. If the trigonometric functions are defined in terms of geometry, their derivatives can be found by verifying two limits. The first is: For other uses, see Calculus (disambiguation). ... Some common angles, measured in radians. ...

lim_{xrightarrow 0}frac{sin(x)}{x}=1,

verified using the unit circle and squeeze theorem. It may be tempting to propose to use L'Hôpital's rule to establish this limit. However, if one uses this limit in order to prove that the derivative of the sine is the cosine, and then uses the fact that the derivative of the sine is the cosine in applying L'Hôpital's rule, one is reasoning circularly—a logical fallacy. The second limit is: Illustration of a unit circle. ... In calculus, the squeeze theorem (also known as the pinching theorem or the sandwich theorem, sometimes the squeeze lemma) is a theorem regarding the limit of a function. ... In calculus, lHôpitals rule uses derivatives to help compute limits with indeterminate forms. ...

lim_{xrightarrow 0}frac{1-cos(x)}{x}=0,

verified using the identity tan(x/2) = (1 − cos(x))/sin(x). Having established these two limits, one can use the limit definition of the derivative and the addition theorems to show that sin′(x) = cos(x) and cos′(x) = −sin(x). If the sine and cosine functions are defined by their Taylor series, then the derivatives can be found by differentiating the power series term-by-term. Series expansion redirects here. ...

{d over dx}sin(x) = cos(x)

The rest of the trigonometric functions can be differentiated using the above identities and the rules of differentiation: This article is about derivatives and differentiation in mathematical calculus. ...

 begin{matrix} {d over dx} sin x =& cos x ,& {d over dx} arcsin x =& {1 over sqrt{1 - x^2} }   {d over dx} cos x =& -sin x ,& {d over dx} arccos x =& {-1 over sqrt{1 - x^2}}   {d over dx} tan x =& sec^2 x ,& {d over dx} arctan x =& { 1 over 1 + x^2}   {d over dx} cot x =& -csc^2 x ,& {d over dx} arccot x =& {-1 over 1 + x^2}   {d over dx} sec x =& tan x sec x ,& {d over dx} arcsec x =& { 1 over |x|sqrt{x^2 - 1}}   {d over dx} csc x =& -csc x cot x ,& {d over dx} arccsc x =& {-1 over |x|sqrt{x^2 - 1}} end{matrix} [6]

The integral identities can be found in "list of integrals of trigonometric functions". The following is a list of integrals (antiderivative functions) of trigonometric functions. ...


Implications

The fact that the differentiation of trigonometric functions (sine and cosine) results in linear combinations of the same two functions is of fundamental importance to many fields of mathematics, including differential equations and fourier transformations. In mathematics, linear combinations are a concept central to linear algebra and related fields of mathematics. ... In mathematics, a differential equation is an equation in which the derivatives of a function appear as variables. ... In mathematics, the Fourier transform is a certain linear operator that maps functions to other functions. ...


Exponential definitions

Function Inverse Function
sin theta = frac{e^{itheta} - e^{-itheta}}{2i} , arcsin x = -i ln left(ix + sqrt{1 - x^2}right) ,
cos theta = frac{e^{itheta} + e^{-itheta}}{2} , arccos x = -i ln left(x + sqrt{x^2 - 1}right) ,
tan theta = frac{e^{itheta} - e^{-itheta}}{i(e^{itheta} + e^{-itheta})} , arctan x = frac{i ln left(frac{i + x}{i - x}right)}{2} ,
csc theta = frac{2i}{e^{itheta} - e^{-itheta}} , arccsc x = -i ln left(tfrac{i}{x} + sqrt{1 - tfrac{1}{x^2}}right) ,
sec theta = frac{2}{e^{itheta} + e^{-itheta}} , arcsec x = -i ln left(tfrac{1}{x} + sqrt{1 - tfrac{i}{x^2}}right) ,
cot theta = frac{i(e^{itheta} + e^{-itheta})}{e^{itheta} - e^{-itheta}} , arccot x = frac{i ln left(frac{i - x}{i + x}right)}{2} ,
operatorname{cis} , theta = e^{itheta} , operatorname{arccis} , x = frac{ln x}{i} ,

Miscellaneous

Dirichlet kernel

The Dirichlet kernel Dn(x) is the function occurring on both sides of the next identity: In mathematical analysis, the Dirichlet kernel is the collection of functions It is named after Johann Peter Gustav Lejeune Dirichlet. ...

1+2cos(x)+2cos(2x)+2cos(3x)+cdots+2cos(nx) = frac{ sinleft[left(n+frac{1}{2}right)xrightrbrack }{ sinleft(frac{x}{2}right) }.

The convolution of any integrable function of period 2π with the Dirichlet kernel coincides with the function's nth-degree Fourier approximation. The same holds for any measure or generalized function. In mathematics and, in particular, functional analysis, convolution is a mathematical operator which takes two functions f and g and produces a third function that in a sense represents the amount of overlap between f and a reversed and translated version of g. ... In mathematics, the term integrable function refers to a function whose integral may be calculated. ... In mathematics the concept of a measure generalizes notions such as length, area, and volume (but not all of its applications have to do with physical sizes). ... In mathematical analysis, distributions (also known as generalized functions) are objects which generalize functions and probability distributions. ...


Extension of half-angle formulae

If we set

t = tanleft(frac{x}{2}right),

then

    sin(x) = frac{2t}{1 + t^2}   and   cos(x) = frac{1 - t^2}{1 + t^2}   and   e^{i x} = frac{1 + i t}{1 - i t}.

where eix is the same as cis(x).


This substitution of t for tan(x/2), with the consequent replacement of sin(x) by 2t/(1 + t²) and cos(x) by (1 − t²)/(1 + t²) is useful in calculus for converting rational functions in sin(x) and cos(x) to functions of t in order to find their antiderivatives. For more information see tangent half-angle formula. For other uses, see Calculus (disambiguation). ... In various applications of trigonometry, it is useful to rewrite the trigonometric functions (such as sine and cosine) in terms of rational functions of a new variable t. ...


See also

Wikibooks has a book on the topic of Trigonometry All of the trigonometric functions of an angle θ can be constructed geometrically in terms of a unit circle centered at O. Trigonometry (from Greek trigōnon triangle + metron measure[1]), informally called trig, is a branch of mathematics that deals with... It has been suggested that multiple sections of List of trigonometric identities be merged into this article or section. ... Trigonometry has an enormous variety of applications. ... In various applications of trigonometry, it is useful to rewrite the trigonometric functions (such as sine and cosine) in terms of rational functions of a new variable t. ... Fig. ... In trigonometry, the law of sines (or sine law, sine formula) is a statement about arbitrary triangles in the plane. ... In trigonometry, the law of tangents is a statement about arbitrary triangles in the plane. ... In mathematics, the Pythagorean theorem (AmE) or Pythagoras theorem (BrE) is a relation in Euclidean geometry among the three sides of a right triangle. ... Exact constant expressions for trigonometric expressions are sometimes useful, mainly for simplifying solutions into radical forms which allow further simplification. ... The primary operation in differential calculus is finding a derivative. ...

References

Dr. Eric W. Weisstein Encyclopedist Dr. Eric W. Weisstein (born March 18, 1969, in Bloomington, Indiana) is a noted encyclopedist in several technical areas of science and mathematics. ... MathWorld is an online mathematics reference work, sponsored by Wolfram Research Inc. ... Dr. Eric W. Weisstein Encyclopedist Dr. Eric W. Weisstein (born March 18, 1969, in Bloomington, Indiana) is a noted encyclopedist in several technical areas of science and mathematics. ... MathWorld is an online mathematics reference work, sponsored by Wolfram Research Inc. ... Dr. Eric W. Weisstein Encyclopedist Dr. Eric W. Weisstein (born March 18, 1969, in Bloomington, Indiana) is a noted encyclopedist in several technical areas of science and mathematics. ... MathWorld is an online mathematics reference work, sponsored by Wolfram Research Inc. ... Dr. Eric W. Weisstein Encyclopedist Dr. Eric W. Weisstein (born March 18, 1969, in Bloomington, Indiana) is a noted encyclopedist in several technical areas of science and mathematics. ... MathWorld is an online mathematics reference work, sponsored by Wolfram Research Inc. ... Dr. Eric W. Weisstein Encyclopedist Dr. Eric W. Weisstein (born March 18, 1969, in Bloomington, Indiana) is a noted encyclopedist in several technical areas of science and mathematics. ... MathWorld is an online mathematics reference work, sponsored by Wolfram Research Inc. ...

External links


  Results from FactBites:
 
  More results at FactBites »

 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your locatio