Arc cosinus

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Fonction arccos)
Aller à : navigation, rechercher
Représentation graphique

En mathématiques, l’arc cosinus d'un nombre réel compris au sens large entre −1 et 1 est l'unique mesure d'angle dont le cosinus vaut ce nombre, entre l'angle nul et l'angle plat.

La fonction qui associe à tout nombre réel compris au sens large entre −1 et 1 la valeur de son arc cosinus en radians est notée arccos[1] (Acos en notation française, et cos−1, parfois acos ou acs, en notation anglo-saxonne).

Il s'agit alors de la réciproque de la fonction trigonométrique cosinus sur l'intervalle [0, π], et dans un repère cartésien (ortho)normé du plan, la courbe représentative de arc cosinus s'obtient à partir de la courbe de la restriction du cosinus par la réflexion d'axe la droite d'équation y = x
N.B. Dans la représentation graphique ci-contre, le repère n'est pas normé

Dérivée[modifier | modifier le code]

Comme dérivée d'une fonction réciproque, arccos est dérivable sur ]–1, 1[ et vérifie

 \arccos'(x)=\frac{-1}{\sqrt{1-x^2}}.

Cette formule s'obtient grâce au théorème sur la dérivée d'une fonction réciproque.

Forme intégrale indéfinie[modifier | modifier le code]

Cette fonction peut s'écrire sous la forme d'une intégrale indéfinie :

\arccos(x)=\int_1^x-\frac1{\sqrt{1-t^2}}\,\mathrm dt.

Primitives[modifier | modifier le code]

Les primitives de l'arc cosinus s'obtiennent par intégration par parties :

 \int \arccos(x)~\mathrm dx = x\, \arccos(x) - \sqrt{1-x^2} + C.

Relation entre arc cosinus et arc sinus[modifier | modifier le code]

arccos(x) (bleu) et arcsin(x) (rouge)
 \arccos(x) + \arcsin(x) = \frac{\pi}2.
Preuve par la dérivée.

Soit f la fonction qui à x dans [–1, 1] associe \arccos(x) + \arcsin(x). Sa dérivée, définie sur ]–1, 1[, est nulle :

\forall x \in \left]-1\, ,1\right[, f'(x) = \arccos'(x) + \arcsin'(x) = \frac{-1}{\sqrt{1-x^2}} + \frac{1}{\sqrt{1-x^2}} = 0

donc f est constante sur ]–1, 1[, et même sur [–1, 1] par continuité. Donc :

\forall x\in[-1,1],f(x)=f(0)=\arccos(0) + \arcsin(0)=\frac{\pi}2+0=\frac{\pi}2.

Preuve trigonométrique.

Pour tout x dans [–1, 1], on pose \alpha=\frac{\pi}2-\arccos(x).

On calcule \sin(\alpha)=\sin\left(\frac{\pi}2-\arccos(x)\right)=\cos(\arccos(x))=x.

Or \arccos(x)\in[0,\pi] donc \alpha\in\left[-\frac{\pi}2,\frac{\pi}2\right].

Donc \alpha=\arcsin(x).

Donc \arccos(x)+\arcsin(x)=\frac{\pi}2-\alpha+\alpha=\frac{\pi}2.

Forme logarithmique[modifier | modifier le code]

On peut exprimer la fonction arc cosinus avec un logarithme complexe :

\arccos(x)=-\mathrm i\,\ln\left(x+\mathrm i\,\sqrt{1-x^2}\right)=\frac{\pi}2\,+\mathrm i\ln\left(\mathrm i\,x+\sqrt{1-x^2}\right) = \frac{\pi}2-\arcsin(x).

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

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