\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Mes commandes %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\multirows}[3]{\multirow{#1}{#2}{$#3$}}%pour rester en mode math \renewcommand{\arraystretch}{1.3}%pour augmenter la taille des case \newcommand{\point}[1]{\marginnote{\small\vspace*{-1em} #1}}%pour indiquer les points ou le temps \newcommand{\dpl}[1]{\displaystyle{#1}}%megamode \newcommand{\A}{\mathscr{A}} \newcommand{\LN}{\mathscr{N}} \newcommand{\LL}{\mathscr{L}} \newcommand{\K}{\mathbb{K}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\M}{\mathcal{M}} \newcommand{\D}{\mathbb{D}} \newcommand{\E}{\mathcal{E}} \renewcommand{\P}{\mathcal{P}} \newcommand{\G}{\mathcal{G}} \newcommand{\Kk}{\mathcal{K}} \newcommand{\Cc}{\mathcal{C}} \newcommand{\Zz}{\mathcal{Z}} \newcommand{\Ss}{\mathcal{S}} \newcommand{\B}{\mathbb{B}} \newcommand{\inde}{\bot\!\!\!\bot} \newcommand{\Proba}{\mathbb{P}} \newcommand{\Esp}[1]{\dpl{\mathbb{E}\left(#1\right)}} \newcommand{\Var}[1]{\dpl{\mathbb{V}\left(#1\right)}} \newcommand{\Cov}[1]{\dpl{Cov\left(#1\right)}} \newcommand{\base}{\mathcal{B}} \newcommand{\Som}{\textbf{Som}} \newcommand{\Chain}{\textbf{Chain}} \newcommand{\Ar}{\textbf{Ar}} \newcommand{\Arc}{\textbf{Arc}} \newcommand{\Min}{\text{Min}} \newcommand{\Max}{\text{Max}} \newcommand{\Ker}{\text{Ker}} \renewcommand{\Im}{\text{Im}} \newcommand{\Sup}{\text{Sup}} \newcommand{\Inf}{\text{Inf}} \renewcommand{\det}{\texttt{det}} \newcommand{\GL}{\text{GL}} \newcommand{\crossmark}{\text{\ding{55}}} \renewcommand{\checkmark}{\text{\ding{51}}} \newcommand{\Card}{\sharp} \newcommand{\Surligne}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\SurligneMM}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \renewcommand{\lim}[1]{\underset{#1}{lim}\,} \newcommand{\nonor}[1]{\left|#1\right|} \newcommand{\Un}{1\!\!1} \newcommand{\sepon}{\setlength{\columnseprule}{0.5pt}} \newcommand{\sepoff}{\setlength{\columnseprule}{0pt}} \newcommand{\flux}{Flux} \newcommand{\Cpp}{\texttt{C++\ }} \newcommand{\Python}{\texttt{Python\ }} %\newcommand{\comb}[2]{\begin{pmatrix} #1\\ #2\end{pmatrix}} \newcommand{\comb}[2]{C_{#1}^{#2}} \newcommand{\arrang}[2]{A_{#1}^{#2}} \newcommand{\supp}[1]{Supp\left(#1\right)} \newcommand{\BB}{\mathcal{B}} \newcommand{\arc}[1]{\overset{\rotatebox{90}{)}}{#1}} \newcommand{\modpi}{\equiv_{2\pi}} \renewcommand{\Re}{Re} \renewcommand{\Im}{Im} \renewcommand{\bar}[1]{\overline{#1}} \newcommand{\mat}{\mathcal{M}} \newcommand{\und}[1]{{\mathbf{\color{red}\underline{#1}}}} \newcommand{\rdots}{\text{\reflectbox{$\ddots$}}} \newcommand{\Compa}{Compa} \newcommand{\dint}{\dpl{\int}} \newcommand{\intEFF}[2]{\left[\!\left[#1 ; #2\right]\!\right]} \newcommand{\intEFO}[2]{\left[\!\left[#1 ; #2\right[\!\right[} \newcommand{\intEOF}[2]{\left]\!\left]#1 ; #2\right]\!\right]} \newcommand{\intEOO}[2]{\left]\!\left]#1 ; #2\right[\!\right[} \newcommand{\ou}{\vee} \newcommand{\et}{\wedge} \newcommand{\non}{\neg} \newcommand{\implique}{\Rightarrow} \newcommand{\equivalent}{\Leftrightarrow} \newcommand{\Ab}{\overline{A}} \newcommand{\Bb}{\overline{B}} \newcommand{\Cb}{\overline{C}} \newcommand{\Cl}{\texttt{Cl}} \newcommand{\ab}{\overline{a}} \newcommand{\bb}{\overline{b}} \newcommand{\cb}{\overline{c}} \newcommand{\Rel}{\mathcal{R}} \newcommand{\superepsilon}{\varepsilon\!\!\varepsilon} \newcommand{\supere}{e\!\!e} \makeatletter \newenvironment{console}{\noindent\color{white}\begin{lrbox}{\@tempboxa}\begin{minipage}{\columnwidth} \ttfamily \bfseries\vspace*{0.5cm}} {\vspace*{0.5cm}\end{minipage}\end{lrbox}\colorbox{black}{\usebox{\@tempboxa}} } \makeatother \def\ie{\textit{i.e. }} \def\cf{\textit{c.f. }} \def\vide{ { $ {\text{ }} $ } } %Commande pour les vecteurs \newcommand{\grad}{\overrightarrow{Grad}} \newcommand{\Vv}{\overrightarrow{v}} \newcommand{\Vu}{\overrightarrow{u}} \newcommand{\Vw}{\overrightarrow{w}} \newcommand{\Vup}{\overrightarrow{u'}} \newcommand{\Zero}{\overrightarrow{0}} \newcommand{\Vx}{\overrightarrow{x}} \newcommand{\Vy}{\overrightarrow{y}} \newcommand{\Vz}{\overrightarrow{z}} \newcommand{\Vt}{\overrightarrow{t}} \newcommand{\Va}{\overrightarrow{a}} \newcommand{\Vb}{\overrightarrow{b}} \newcommand{\Vc}{\overrightarrow{c}} \newcommand{\Vd}{\overrightarrow{d}} \newcommand{\Ve}[1]{\overrightarrow{e_{#1}}} \newcommand{\Vf}[1]{\overrightarrow{f_{#1}}} \newcommand{\Vn}{\overrightarrow{0}} \newcommand{\Mat}{Mat} \newcommand{\Pass}{Pass} \newcommand{\mkF}{\mathfrak{F}} \renewcommand{\sp}{Sp} \newcommand{\Co}{Co} \newcommand{\vect}[1]{\texttt{Vect}\dpl{\left( #1\right)}} \newcommand{\prodscal}[2]{\dpl{\left\langle #1\left|\vphantom{#1 #2}\right. #2\right\rangle}} \newcommand{\trans}[1]{{\vphantom{#1}}^{t}{#1}} \newcommand{\ortho}[1]{{#1}^{\bot}} \newcommand{\oplusbot}{\overset{\bot}{\oplus}} \SelectTips{cm}{12}%Change le bout des flèches dans un xymatrix \newcommand{\pourDES}[8]{ \begin{itemize} \item Pour la ligne : le premier et dernier caractère forment $#1#2$ soit $#4$ en base 10. \item Pour la colonne : les autres caractères du bloc forment $#3$ soit $#5$ en base 10. \item A l'intersection de la ligne $#4+1$ et de la colonne $#5+1$ de $S_{#8}$ se trouve l'entier $#6$ qui, codé sur $4$ bits, est \textbf{\texttt{$#7$}}. \end{itemize} } \)

Nous souhaitons résoudre l'équation \( cos(x)=0.1\) . D'après ce que nous avons vu dans le chapitre sur les équations trigonométrique, cette équations admet deux solutions sur \( [-\pi, \pi]\) dont toutes les solutions réelles se déduisent par des tours de cercles (\( +2k\pi\) ). Dans les exemples que nous avons traités, cela tombait toujours sur des valeurs dont nous connaissions l'expression. Mais dans ce cas nous ne connaissons par la valeur de \( x\) tel que \( cos(x)=0.1\) . Elle(s) existe(nt) mais nous ne savons pas les exprimer. Utilisons les fonctions réciproques.

Définition [La fonction \( Arccos\) ]


La fonction \( cos\) est strictement décroissante sur \( [0, \pi]\) à valeur dans \( [-1; 1]\) . Elle admet donc une fonction réciproque notée \( Arccos\) . \begin{eqnarray*} cos : [0; \pi] &\longrightarrow&[-1 ; 1]\\ Arccos : [-1; 1] &\longrightarrow&[0 ; \pi] \end{eqnarray*} En particulier \[\forall x\in[0 ; \pi], \\ Arccos(cos(x))=x\] \[\forall y\in[-1 ; 1], \\ cos(Arccos(y))=y\]
En d'autre terme l'arc cosinus d'une valeur \( a\) entre \( -1\) et \( 1\) est un angle \( \vartheta\) nécessairement entre \( 0\) et \( \pi\) qui vérifie \( cos(\vartheta)=a\) . Par exemple, en s'appuyant sur les valeurs connue du cosinus, on a \( Arccos(0.5)=\dfrac{\pi}{3}\) . Voyons à présent comment résoudre l'équation \( cos(x)=0.1\) . On sait qu'il existe deux solutions. L'une d'elle, celle entre \( 0\) et \( \pi\) est \( Arccos(0.1)\) . L'autre est son opposé, c'est à dire \( -Arccos(0.1)\) . En conclusion, toutes les solutions réelles de l'équation \( cos(x)=0.1\) sont \[x_{1,k}=Arccos(0.1)+2k\pi,\qquad x_{2,k}=-Arccos(0.1)+2k\pi\] Comment calculer \( Arccos(0.1)\) ? Une seule solution : la calculatrice ! Elle nous donne \( Arccos(0.1)\simeq 1.47\) On peut d'ailleurs enrichir le théorème donnant toutes les solutions d'une équation trigonométrique en cosinus.

Corollaire


L'ensemble des solutions de l'équation \( cos(x)=a\in]-1 ; 1[\) sont de la forme \[x_{1,k}=Arccos(a)+2k\pi,\qquad x_{2,k}=-Arccos(a)+2k\pi\]
Tout ce qui viens d'être fait pour le cosinus a son pendant pour le sinus.

Définition [La fonction \( Arcsin\) ]


La fonction \( sin\) est strictement croissante sur \( \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right]\) à valeur dans \( [-1; 1]\) . Elle admet donc une fonction réciproque notée \( Arcsin\) . \begin{eqnarray*} sin : \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right] &\longrightarrow&[-1 ; 1]\\ Arcsin : [-1; 1] &\longrightarrow&\left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right] \end{eqnarray*} En particulier \[\forall x\in\left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right], \\ Arcsin(sin(x))=x\] \[\forall y\in[-1 ; 1], \\ sin(Arcsin(y))=y\]

Corollaire


L'ensemble des solutions de l'équation \( sin(x)=a\in]-1 ; 1[\) sont de la forme \[x_{1,k}=Arcsin(a)+2k\pi,\qquad x_{2,k}=\pi-Arcsin(a)+2k\pi\]
Nos avions laisser de coté la fonction tangente mais on peut aussi considérer sa fonction réciproque.

Définition [La fonction \( Arctan\) ]


La fonction \( tan\) est strictement croissante sur \( \left]-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right[\) à valeur dans \( \R\) . Elle admet donc une fonction réciproque notée \( Arctan\) . \begin{eqnarray*} tan : \left]-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right[ &\longrightarrow&[-1 ; 1]\\ Arctan : \R &\longrightarrow&\left]-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right[ \end{eqnarray*} En particulier \[\forall x\in\left]-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right[, \\ Arctan(tan(x))=x\] \[\forall y\in\R, \\ tan(Arctan(y))=y\]