Cosinus

Principales caractéristiques
Notation
Réciproque	(sur )
Dérivée
Primitives
Ensemble de définition
Ensemble image
Parité	paire
Périodicité
Valeur en zéro	1
Maxima	1
Minima	-1
Zéros	avec
Points critiques	avec
Points d'inflexion	avec
Points fixes	Nombre de Dottie

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[modifier | modifier le code]

Cosinus d'un angle géométrique[modifier | modifier le code]

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 sont semblables.

Cosinus de l'angle entre deux vecteurs d'un espace euclidien[modifier | modifier le code]

É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[modifier | modifier le code]

À partir du cercle unité[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

Propriétés[modifier | modifier le code]

Périodicité[modifier | modifier le code]

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^[1] 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é[modifier | modifier le code]

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[modifier | modifier le code]

Article détaillé : Arc cosinus.

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[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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[modifier | modifier le code]

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 ²⁄₃	${\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 ¹⁄₃	${\frac {\sqrt {3}}{2}}$	0,866025403784439
150	${\frac {5\pi }{6}}$	166 ²⁄₃	$-{\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 ²⁄₃	${\frac {1}{2}}$	0,5
120	${\frac {2\pi }{3}}$	133 ¹⁄₃	$-{\frac {1}{2}}$	-0,5
75	${\frac {5\pi }{12}}$	83 ¹⁄₃	${\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}$	0,258819045102521
105	${\frac {7\pi }{12}}$	116 ²⁄₃	$-{\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[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

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[modifier | modifier le code]

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

Démonstration

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^[2].

Calcul numérique[modifier | modifier le code]

Article détaillé : Sinus (mathématiques)#Calcul numérique.

Notes et références[modifier | modifier le code]

↑ C'est par exemple ce que fait Walter Rudin, Analyse réelle et complexe [détail des éditions], Dunod, 1998, p. 1-3.
↑ Jean Dieudonné, Calcul infinitésimal, Hermann, 1980 (ISBN 978-2-7056-5907-3, OCLC 6787042), p. 186.

Liens externes[modifier | modifier le code]

(en) Eric W. Weisstein, « Cosine », sur MathWorld

Notices dans des dictionnaires ou encyclopédies généralistes :

Portail des mathématiques

[1] C'est par exemple ce que fait Walter Rudin, Analyse réelle et complexe [détail des éditions], Dunod, 1998, p. 1-3.

[2] Jean Dieudonné, Calcul infinitésimal, Hermann, 1980 (ISBN 978-2-7056-5907-3, OCLC 6787042), p. 186.

[1]

[2]