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 (\frac{\pi }{2}-x)$ (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

Cosinus  = Côté adjacent (noté a) / Hypoténuse (noté h).

Pour définir le cosinus d'un angle $\hat{A}$, noté $\cos \hat{A}$, considérons un triangle rectangle arbitraire qui contient l'angle $\hat{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 $\hat{A}$ qui nous intéresse ;
• le côté adjacent : c'est le côté qui est une jambe de l'angle $\hat{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 \hat{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 $\overrightarrow{u},\overrightarrow{v}$ d'un espace euclidien, on définit le cosinus de l'angle $\widehat{\overrightarrow{u},\overrightarrow{v}}$ par la formule : $$\cos \widehat{\overrightarrow{u},\overrightarrow{v}}=\frac{\overrightarrow{u}\cdot \overrightarrow{v}}{\Vert \overrightarrow{u}\Vert \Vert \overrightarrow{v}\Vert }$$ où $\overrightarrow{u}\cdot \overrightarrow{v}$ est le produit scalaire de $\overrightarrow{u}\text{ et }\overrightarrow{v}$ et $\Vert \overrightarrow{u}\Vert =\sqrt{\overrightarrow{u}\cdot \overrightarrow{u}}$ la norme de $\overrightarrow{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

Cercle trigonométrique avec indication du cosinus et du sinus.

À 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$.

Animation montrant le graphique de $y=\cos x$ (où $x$ est l'angle en radians) sur le cercle unité.

À 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}^{+\mathrm{\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{{\mathrm{e}}^{\mathrm{i}x}+{\mathrm{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

Modèle:Article connexe 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{array}{c}\mathrm{\forall }x\in ℝ,y^{″}(x)=-y(x)\\ y(0)=1\\ y^{\prime }(0)=0\end{array}$.

Propriétés

Périodicité

La fonction cosinus est périodique, de période $2\pi$ :

$\mathrm{\forall }x\in ℝ\cos (x+2\pi )=\cos x$.

Cette propriété découle directement de la définition à partir du cercle unité Modèle: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 :

$\mathrm{\forall }x\in ℝ\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

Modèle:Article détaillé 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{array}{cccc}\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{c}\mathrm{o}\mathrm{s}:& [-1,1]& \to & [0,\pi ]\\ & x& \mapsto & \arccos x\end{array}$

qui vérifie donc

$\mathrm{\forall }x\in [0,\pi ]\arccos (\cos x)=x$ ;

$\mathrm{\forall }x\in [-1,1]\cos (\arccos x)=x$.

Dérivée

La dérivée de la fonction cosinus est l'opposée de la fonction sinus :

$\mathrm{\forall }x\in ℝ{\cos }^{\prime }x=-\sin x$.

Primitive

Une primitive de $\cos$ est $\sin$ :

$\mathrm{\forall }x\in ℝ{\sin }^{\prime }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 ℝ$.

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 \mathrm{\infty }$.

Valeurs remarquables

Quelques angles communs ($\theta$) sur le cercle unité. Les angles sont indiqués en degrés et en radians, ainsi que leur intersection avec le cercle unité ($\cos \theta$, $\sin \theta$).

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)			$\cos x$
Degrés	Radians	Grades	Exacte	Décimale
0	0	0	1	1
180	$\pi$	200	-1	-1
15	$\frac{\pi }{12}$	16 Modèle:Frac	$\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 Modèle:Frac	$\frac{\sqrt{3}}{2}$	0,866025403784439
150	$\frac{5\pi }{6}$	166 Modèle:Frac	$-\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 Modèle:Frac	$\frac{1}{2}$	0,5
120	$\frac{2\pi }{3}$	133 Modèle:Frac	$-\frac{1}{2}$	-0,5
75	$\frac{5\pi }{12}$	83 Modèle:Frac	$\frac{\sqrt{6}-\sqrt{2}}{4}$	0,258819045102521
105	$\frac{7\pi }{12}$	116 Modèle:Frac	$-\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

Modèle:... 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 $\phi$ :

$\mathrm{\Re }(z)=\mathrm{\Re }\left(r{\mathrm{e}}^{\mathrm{i}\phi }\right)=r\cos \phi$.

Cosinus avec un argument complexe

La fonction cosinus peut s'étendre sur le domaine complexe, où elle est une fonction entière :

$\mathrm{\forall }z\in ℂ\cos z=\sum _{n=0}^{+\mathrm{\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 \mathrm{\Re }(z)\cosh \mathrm{\Im }(z)-\mathrm{i}\sin \mathrm{\Re }(z)\sinh \mathrm{\Im }(z)$. Modèle:Démonstration En particulier, pour $y\in ℝ$, on a $\cos (\mathrm{i}y)=\cosh y$, ce qui montre que la fonction cosinus croît exponentiellement sur l'axe imaginaire.

Liens externes

• Modèle:MathWorld