Trigonometric Functions - Series Definitions

Series Definitions

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

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

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

Combining these two series gives Euler's formula: cos x + i sin x = eix.

Other series can be found. For the following trigonometric functions:

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

Tangent

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

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

Cosecant

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

Secant

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

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

Cotangent

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

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

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:

\pi \cdot \cot (\pi x) = \lim_{N\to\infty}\sum_{n=-N}^N \frac{1}{x+n}.

This identity can be proven with the Herglotz trick. By combining the -th with the -th term, it can be expressed as an absolutely convergent series:

\pi \cdot \cot (\pi x) = \frac{1}{x} + \sum_{n=1}^\infty \frac{2x}{x^2-n^2}.

Read more about this topic:  Trigonometric Functions

Famous quotes containing the words series and/or definitions:

    “Life ... is not simply a series of exciting new ventures. The future is not always a whole new ball game. There tends to be unfinished business. One trails all sorts of things around with one, things that simply won’t be got rid of.”
    —Anita Brookner (b. 1928)

    “The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.”
    —Pamela Patrick Novotny (20th century)