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:

    “Through a series of gradual power losses, the modern parent is in danger of losing sight of her own child, as well as her own vision and style. It’s a very big price to pay emotionally. Too bad it’s often accompanied by an equally huge price financially.”
    —Sonia Taitz (20th century)

    “Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
    There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.”
    —Edmond De Goncourt (1822–1896)