PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] trigonometric formulas from series (Derivation)

One may define the sine and the cosine functions for real (and complex) arguments using the power series

$\displaystyle \sin{x} \;=\; x-\frac{x^3}{3!}+\frac{x^5}{5!}-+\ldots,$ (1)

$\displaystyle \cos{x} \;=\; 1-\frac{x^2}{2!}+\frac{x^4}{4!}-+\ldots,$ (2)

and using only the properties of power series, easily derive most of the goniometric formulas, without any geometry. For example, one gets instantly from (1) and (2) the values $$\sin0 \;=\; 0, \qquad \cos0 \;=\; 1$$ and the parity relations $$\sin(-x) \;=\; -\sin{x}, \qquad \cos(-x) \;=\; \cos{x}.$$ Using the Cauchy multiplication rule for series one can obtain the addition formulas
\begin{align*}\begin{cases}\sin(x\!+\!y) \;=\; \sin{x}\cos{y}+\cos{x}\sin{y},\\ \cos(x\!+\!y) \;=\; \cos{x}\cos{y}-\sin{x}\sin{y}. \end{cases}\end{align*} (3)

These produce straightforward many other important formulae, e.g.
$\displaystyle \sin2x \;=\; 2\sin{x}\cos{x}, \qquad \cos2x \;=\; \cos^2x-\sin^2x \qquad (y := x)$ (4)

and
$\displaystyle \cos^2x+\sin^2x \;=\; 1 \qquad\qquad\qquad (y := -x).$ (5)

The value $\displaystyle\cos\frac{\pi}{2} = 0$ , as well as the formulae expressing the periodicity of sine and cosine, cannot be directly obtained from the series (1) and (2) -- in fact, one must define the number $\pi$ by using the function properties of the cosine series and its derivative series.

The equation $$\cos{x} \;=\; 0$$ has on the interval $(0,\,2)$ exactly one root. Actually, as sum of a power series, $\cos{x}$ is continuous, $\cos0 = 1 > 0$ and $\cos2 < 1-\frac{2^2}{2!}+\frac{2^4}{4!} < 0$ (see Leibniz' estimate for alternating series), whence there is at least one root. If there were more than one root, then the derivative $$-\sin{x} \;=\; -x+\frac{x^3}{3!}-+\ldots \;=\; -x(1-\frac{x^2}{3!}+-\ldots)$$ would have at least one zero on the interval; this is impossible, since by Leibniz the parentheses series does not change its sign on the interval: $$1-\frac{x^2}{3!}+-\ldots \;>\;1-\frac{2^2}{3!} \;>\; 0$$ Accordingly, we can define the number pi to be the least positive solution of the equation $\cos{x} = 0$ , multiplied by 2.

Thus we have $0 < \pi < 4$ and $\cos\frac{\pi}{2} = 0$ . Furthermore, by (5), $$\sin\frac{\pi}{2} \;=\; 1,$$ and by (4), $$\sin\pi \;=\; 0, \qquad \cos\pi \;=\; -1, \qquad \sin2\pi \;=\; 0, \qquad \cos2\pi \;=\; 1.$$ Consequently, the addition formulas (3) yield the periodicities $$\sin(x\!+\!2\pi) \;=\; \sin{x}, \qquad \cos(x\!+\!2\pi) \;=\; \cos{x}.$$




"trigonometric formulas from series" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: rigorous definition of trigonometric functions, application of fundamental theorem of integral calculus, trigonometric formulas from de Moivre identity, goniometric formulas

Other names:  series definition of sine and cosine
Also defines:  $\pi$
Keywords:  sine, cosine

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: solution, positive, derivative, root, continuous, sum, interval, equation, number, periodicity, addition formulas, series, Cauchy multiplication rule, geometry, goniometric formulas, properties, power series, arguments, complex, real, functions, cosine, sine
There are 5 references to this entry.

This is version 4 of trigonometric formulas from series, born on 2009-02-24, modified 2009-02-24.
Object id is 11654, canonical name is TrigonometricFormulasFromSeries.
Accessed 1145 times total.

Classification:
AMS MSC26A09 (Real functions :: Functions of one variable :: Elementary functions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)