# Cosinus

En mathématiques, le cosinus d'un angle non droit d'un triangle rectangle est le rapport de la longueur du côté adjacent par la longueur de l'hypoténuse. On peut définir plus généralement le cosinus de l'angle entre deux vecteurs d'un espace euclidien.
La fonction cosinus est une fonction mathématique paire de variable réelle. Elle est habituellement citée en deuxième parmi les fonctions trigonométriques, la première étant la fonction sinus. Elle se déduit de cette dernière par la relation : $\cos x=\sin \left({\frac {\pi }{2}}-x\right)$ (le cosinus est le sinus du complémentaire).
Les fonctions trigonométriques sont habituellement définies à partir du cercle unité, mais des définitions plus modernes les caractérisent par des séries entières ou comme solutions d'équations différentielles particulières, permettant leur extension à des valeurs arbitraires et aux nombres complexes.
La fonction cosinus est utilisée couramment pour modéliser des phénomènes périodiques comme les ondes sonores ou lumineuses ou encore les variations de température au cours de l'année.

## Définitions
### Cosinus d'un angle géométrique

Pour définir le cosinus d'un angle ${\widehat {A}}$, noté $\cos {\widehat {A}}$, considérons un triangle rectangle arbitraire qui contient l'angle ${\widehat {A}}$.
Les côtés du triangle rectangle sont appelés :
* l’hypoténuse : c'est le côté opposé à l'angle droit et le côté le plus long du triangle ;
* le côté opposé : c'est le côté opposé à l'angle ${\widehat {A}}$ qui nous intéresse ;
* le côté adjacent : c'est le côté qui est une jambe de l'angle ${\widehat {A}}$, qui n'est pas l'hypoténuse.
On notera :
    $h$ : la longueur de l'hypoténuse ;
    $a$ : la longueur du côté adjacent.
Alors :
    $\cos {\widehat {A}}={\frac {a}{h}}$.
Ce rapport ne dépend pas du triangle rectangle choisi, puisque tous les triangles rectangles avec une même mesure d'angle aigu sont semblables.

### Cosinus de l'angle entre deux vecteurs d'un espace euclidien

Étant donné deux vecteurs non nuls ${\vec {u}},{\vec {v}}$ d'un espace euclidien, on définit le cosinus de l'angle ${\widehat {{\vec {u}},{\vec {v}}}}$ par la formule : $\cos {\widehat {{\vec {u}},{\vec {v}}}}={\frac {{\vec {u}}\cdot {\vec {v}}}{\lVert {\vec {u}}\rVert \lVert {\vec {v}}\rVert }}$ où ${\vec {u}}\cdot {\vec {v}}$ est le produit scalaire de ${\vec {u}}{\text{ et }}{\vec {v}}$ et $\lVert {\vec {u}}\rVert ={\sqrt {{\vec {u}}\cdot {\vec {u}}}}$ la norme de ${\vec {u}}$.
On retrouve des propriétés similaires au cosinus défini par la trigonométrie grâce à l'inégalité de Cauchy-Schwarz.

### Fonction cosinus
#### À partir du cercle unité

Le plan euclidien étant rapporté à un système de coordonnées cartésiennes $(Oxy)$, on désigne par cercle unité ou cercle trigonométrique le cercle de rayon 1 centré à l'origine $O$.
Étant donné un réel $\omega$, La demi-droite d'origine $O$ $(Ou)$ faisant un angle orienté de mesure $\omega$ avec $(Ox)$ coupe le cercle en un point $M$ ; par définition, $\cos \omega$ est l'abscisse de $M$.

#### À partir des séries entières

La fonction cosinus peut être définie à partir de la série entière, qui converge pour tout réel $x$ :
    $\cos x=\sum _{n=0}^{+\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}$.
Autrement dit, le cosinus de $x$ est défini comme la partie réelle de la série exponentielle de $\mathrm {i} x$ :
    $\cos x={\frac {\operatorname {e} ^{\mathrm {i} x}+\operatorname {e} ^{-\mathrm {i} x}}{2}}$.
Cette définition, jointe à celle analogue du sinus (comme partie imaginaire), est équivalente à la formule d'Euler.

#### Comme solution d'une équation différentielle

La série entière précédente est l'unique solution de l'équation différentielle suivante qui constitue donc une définition équivalente de la fonction cosinus :
    ${\begin{cases}\forall x\in \mathbb {R} ,y''(x)=-y(x)\\y(0)=1\\y'(0)=0\end{cases}}$.

## Propriétés
### Périodicité

La fonction cosinus est périodique, de période $2\pi$ :
    $\forall x\in \mathbb {R} \quad \cos(x+2\pi )=\cos x$.
Cette propriété découle directement de la définition à partir du cercle unité (voir supra).
Plus précisément, deux nombres réels ont le même cosinus si et seulement si leur somme ou leur différence appartient à $2\pi \mathbb {Z}$.
Une autre approche consiste à partir de la série entière de l’exponentielle, et à montrer que cette fonction est périodique de période $\mathrm {i} T$ pour un certain $T>0$.

### Parité

La fonction cosinus est paire :
    $\forall x\in \mathbb {R} \quad \cos(-x)=\cos x$.
Cette propriété se déduit en remarquant que la définition à partir du cercle unité est symétrique par rapport à l'axe des abscisses, et apparaît dans le développement en série entière, qui ne contient que des termes de degrés pairs.

### Réciproque

La fonction cosinus est périodique donc non injective. Aussi, on considère sa restriction à $[0;\pi ]$ qui, elle, est bien bijective de $[0;\pi ]$ vers $[-1;1]$, et l'on définit alors la fonction réciproque arc cosinus :
    ${\begin{matrix}\mathrm {arccos} :&[-1,1]&\to &[0,\pi ]\\&x&\mapsto &\arccos x\end{matrix}}$
qui vérifie donc
    $\forall x\in [0,\pi ]\quad \arccos(\cos x)=x$ ;
    $\forall x\in [-1,1]\quad \cos(\arccos x)=x$.

### Dérivée

La dérivée de la fonction cosinus est l'opposée de la fonction sinus :
    $\forall x\in \mathbb {R} \quad \cos 'x=-\sin x$.

### Primitive

Une primitive de $\cos$ est $\sin$ :
    $\forall x\in \mathbb {R} \quad \sin 'x=\cos x$, à laquelle on peut ajouter une constante $C$.
L'ensemble des primitives de la fonction cosinus est donc l'ensemble des fonctions $F$ telles que : $F(x)=\sin x+C$, $C\in \mathbb {R}$.

### Limites

Pour tout réel $x$, la fonction cosinus est continue au point $x$, donc sa limite en ce point est $\cos x$.
Du fait de sa périodicité, elle n'a pas de limite en $\pm \infty$.

### Valeurs remarquables

Les valeurs figurant dans le tableau ci-dessous correspondent à des angles pour lesquels une expression à l'aide de racines carrées est possible, et plus précisément pour lesquels le théorème de Wantzel s'applique ; pour plus de détails, voir l'article Polynôme minimal des valeurs spéciales trigonométriques.
| $x$ (angle) | $x$ (angle) | $x$ (angle) | $\cos x$ | $\cos x$ |
| Degrés | Radians | Grades | Exacte | Décimale |
| 0 | 0 | 0 | 1 | 1 |
| 180 | $\pi$ | 200 | -1 | -1 |
| 15 | ${\frac {\pi }{12}}$ | 16 $^2$⁄$_3$ | ${\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}$ | 0,965925826289068 |
| 165 | ${\frac {11\pi }{12}}$ | 183 1/3 | $-{\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}$ | -0,965925826289068 |
| 30 | ${\frac {\pi }{6}}$ | 33 $^1$⁄$_3$ | ${\frac {\sqrt {3}}{2}}$ | 0,866025403784439 |
| 150 | ${\frac {5\pi }{6}}$ | 166 $^2$⁄$_3$ | $-{\frac {\sqrt {3}}{2}}$ | -0,866025403784439 |
| 45 | ${\frac {\pi }{4}}$ | 50 | ${\frac {\sqrt {2}}{2}}$ | 0,707106781186548 |
| 135 | ${\frac {3\pi }{4}}$ | 150 | $-{\frac {\sqrt {2}}{2}}$ | -0,707106781186548 |
| 60 | ${\frac {\pi }{3}}$ | 66 $^2$⁄$_3$ | ${\frac {1}{2}}$ | 0,5 |
| 120 | ${\frac {2\pi }{3}}$ | 133 $^1$⁄$_3$ | $-{\frac {1}{2}}$ | -0,5 |
| 75 | ${\frac {5\pi }{12}}$ | 83 $^1$⁄$_3$ | ${\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}$ | 0,258819045102521 |
| 105 | ${\frac {7\pi }{12}}$ | 116 $^2$⁄$_3$ | $-{\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}$ | -0,258819045102521 |
| 90 | ${\frac {\pi }{2}}$ | 100 | 0 | 0 |
| 36 | ${\frac {\pi }{5}}$ | 40 | ${\frac {1+{\sqrt {5}}}{4}}$ | 0,8090169944 |
| 54 | ${\frac {3\pi }{10}}$ | 60 | ${\frac {\sqrt {10-2{\sqrt {5}}}}{4}}$ | 0,5877852523 |
| 126 | ${\frac {7\pi }{10}}$ | 140 | $-{\frac {\sqrt {10-2{\sqrt {5}}}}{4}}$ | -0,5877852523 |
La solution de l'équation $\cos x=x$ est ipso facto un nombre remarquable, appelé nombre de Dottie.

## Relation avec les nombres complexes

Le cosinus est utilisé pour déterminer la partie réelle d'un nombre complexe $z$ donné en coordonnées polaires, par son module $r$ et son argument $\varphi$ :
    $\Re (z)=\Re \left(r\mathrm {e} ^{\mathrm {i} \varphi }\right)=r\cos \varphi$.

### Cosinus avec un argument complexe

La fonction cosinus peut s'étendre sur le domaine complexe, où elle est une fonction entière :
    $\forall z\in \mathbb {C} \quad \cos z=\sum _{n=0}^{+\infty }{\frac {(-1)^{n}z^{2n}}{(2n)!}}={\frac {\mathrm {e} ^{\mathrm {i} z}+\mathrm {e} ^{-\mathrm {i} z}}{2}}$.
On a alors : $\cos z=\cos \Re (z)\cosh \Im (z)-\mathrm {i} \sin \Re (z)\sinh \Im (z)$.
Pour $z=x+\mathrm {i} y,x,y$ réels,
    $\cos z={\frac {1}{2}}\left[\mathrm {e} ^{\mathrm {i} x-y}+\mathrm {e} ^{-\mathrm {i} x+y}\right]={\frac {1}{2}}\mathrm {e} ^{-y}\left[\cos x+\mathrm {i} \sin x\right]+{\frac {1}{2}}\mathrm {e} ^{y}\left[\cos x-\mathrm {i} \sin x\right]=\cos x\cosh y-\mathrm {i} \sin x\sinh y$.
En particulier, pour $y\in \mathbb {R}$, on a $\cos(\mathrm {i} y)=\cosh y$, ce qui montre que la fonction cosinus croît exponentiellement sur l'axe imaginaire.