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] algebraic sines and cosines (Corollary)

For any rational number $r$ , the sine and the cosine of the number $r\pi$ are algebraic numbers.

Proof. According to the parent entry, $\sin{n\varphi}$ and $\cos{n\varphi}$ can be expressed as polynomials with integer coefficients of $\sin\varphi$ or $\cos\varphi$ , respectively, when $n$ is an integer. Thus we can write $$\sin{n\varphi} \;=\; P(\sin\varphi), \quad \cos{n\varphi} \;=\; Q(\cos\varphi),$$ where $P(x),\,Q(x) \in \mathbb{Z}[x]$ . If $\displaystyle r = \frac{m}{n}$ where $m,\,n$ are integers and $n \neq 0$ , we have $$P(\sin{r\pi}) \;=\; \sin{nr\pi} \;=\; \sin{m\pi} \;=\; 0, \quad Q(\cos{r\pi}) \;=\; \cos{nr\pi} \;=\; \cos{m\pi} \;=\; \pm1,$$ i.e. both $\sin{r\pi}$ and $\cos{r\pi}$ satisfy an algebraic equation. Q.E.D.

For example, $$\cos{7\varphi} \;=\; 64\cos^7\varphi-112\cos^5\varphi+56\cos^3\varphi-7\cos\varphi,$$ whence we have the identity $$64\cos^7\frac{\pi}{7}-112\cos^5\frac{\pi}{7}+56\cos^3\frac{\pi}{7}-7\cos\frac{\pi}{7}+1 \;=\; 0,$$ and therefore $\cos\frac{\pi}{7}$ is algebraic over $\mathbb{Z}$ .




"algebraic sines and cosines" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: rational sine and cosine, multiples of an algebraic number


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

Cross-references: algebraic, identity, algebraic equation, coefficients, integer, polynomials, proof, algebraic numbers, number, cosine, sine, rational number
There is 1 reference to this entry.

This is version 4 of algebraic sines and cosines, born on 2009-03-17, modified 2009-03-19.
Object id is 11667, canonical name is AlgebraicSinesAndCosines.
Accessed 472 times total.

Classification:
AMS MSC11C08 (Number theory :: Polynomials and matrices :: Polynomials)
 11R04 (Number theory :: Algebraic number theory: global fields :: Algebraic numbers; rings of algebraic integers)

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

No messages.

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