\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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} } \)

Équations trigonométriques
On cherche à résoudre des équations de la forme \( cos(x)=0.7\) ou \( sin(x)=\dfrac{1}{2}\) . Raisonnons sur cette dernière. Pour résoudre ces équations faisant intervenir des sinus ou cosinus est l'éternel cercle trigonométrique. Le cosinus se lit sur l'axe des abscisses et le sinus sur l'axe des ordonnées.
Su le cercle trigonométrique, on voit que l'équation \( sin(x)=\dfrac{1}{2}\) admet deux solutions, dont le formulaire nous souffle qu'il s'agit de \( \dfrac{\pi}{6}\) et \( \dfrac{5\pi}{6}\) . Voilà, c'est fini... Ah ! Non ! Car sur le cercle trigonométrique l'angle \( \dfrac{\pi}{6}\) et l'angle \( \dfrac{13\pi}{6}\) sont positionnés au même endroit. Précisément \( \dfrac{\pi}{6}\equiv_{2\pi}\dfrac{13\pi}{6}\) . En d'autre terme on a fait un tour de cercle puisque \( \dfrac{13\pi}{6}=\dfrac{\pi}{6}+2\pi\) . Pourquoi s'arrêter à un tour, on pourrait en faire \( 2\) ou \( 1983\) , le sinus vaudrait toujours \( \dfrac{1}{2}\) . Une manière élégante (pompeuse) d'écrire toutes les solutions est donc la suivante Les solutions de l'équation \( sin(x)=\dfrac{1}{2}\) sont de la forme \( x_{1,k}=\dfrac{\pi}{6}+2k\pi\) et \( x_{2,k}=\dfrac{5\pi}{6}+2k\pi\) où \( k\in \Z\) . Imaginons à présent que l'on souhaite trouver toutes les solutions de l'équation \( sin(x)=\dfrac{1}{2}\) avec \( x\in\left[16\pi ; \dfrac{33\pi}{2}\right[\) . Puisque nous avons trouver toutes les solutions (dans \( \R\) ), le problème revient à trouver quel \( k\in\Z\) il faut choisir. Prenons la première forme \( x_{1,k}\) . Il s'agit donc de trouver \( k\) pour avoir \( x_{1,k}\in\left[16\pi ; \dfrac{33\pi}{2}\right[\) . \begin{eqnarray*} x_{1,k}\in\left[16\pi ; \dfrac{33\pi}{2}\right[ &\Leftrightarrow& 16\pi\leqslant x_{1,k}\leqslant\dfrac{33\pi}{2}\\ &\Leftrightarrow& 16\pi\leqslant \dfrac{\pi}{6}+2k\pi\leqslant\dfrac{33\pi}{2}\\ &\Leftrightarrow& 16\pi-\dfrac{\pi}{6}\leqslant 2k\pi\leqslant\dfrac{33\pi}{2}-\dfrac{\pi}{6}\\ &\Leftrightarrow& \dfrac{95\pi}{6}\leqslant 2k\pi\leqslant\dfrac{98\pi}{6}\\ &\Leftrightarrow& \dfrac{95}{6}\leqslant 2k\leqslant\dfrac{98}{6}\\ &\Leftrightarrow& \dfrac{95}{12}\leqslant k\leqslant\dfrac{98}{12} \end{eqnarray*} A l'aide de la calculatrice, on observe que \( \dfrac{95}{12}\simeq7.92\) et \( \dfrac{98}{12}\simeq8.17\) . Or, \( k\) doit être un nombre entier. Le seul nombre entier entre \( 7.92\) et \( 8.17\) est le nombre \( 8\) . Il faut donc choisir le nombre \( k=8\) . Dans ce cas la solution est \[x_1=\dfrac{\pi}{6}+2\times8\pi=\dfrac{97\pi}{6}\] Prenons à présent la seconde forme \( x_{2,k}\) et raisonnons de la même manière. \begin{eqnarray*} x_{2,k}\in\left[16\pi ; \dfrac{33\pi}{2}\right[ &\Leftrightarrow& 16\pi\leqslant x_{2,k}\leqslant\dfrac{33\pi}{2}\\ &\Leftrightarrow& 16\pi\leqslant \dfrac{5\pi}{6}+2k\pi\leqslant\dfrac{33\pi}{2}\\ &\Leftrightarrow& 16\pi-\dfrac{5\pi}{6}\leqslant 2k\pi\leqslant\dfrac{33\pi}{2}-\dfrac{5\pi}{6}\\ &\Leftrightarrow& \dfrac{91\pi}{6}\leqslant 2k\pi\leqslant\dfrac{94\pi}{6}\\ &\Leftrightarrow& \dfrac{91}{6}\leqslant 2k\leqslant\dfrac{94}{6}\\ &\Leftrightarrow& \dfrac{91}{12}\leqslant k\leqslant\dfrac{94}{12} \end{eqnarray*} Mais \( \dfrac{91}{12}\simeq7.58\) et \( \dfrac{94}{12}\simeq7.83\) . Dans ce cas, il n'existe aucun nombre entier \( k\) satisfaisant cette inéquation. En conclusion, \[ \left. \begin{array}{r} sin(x)=\dfrac{1}{2}\\ x\in\left[16\pi ; \dfrac{33\pi}{2}\right[ \end{array} \right\}\Longrightarrow x=\dfrac{97\pi}{6} \] Prenons un autre exemple et cherchons à résoudre l'équation \( cos(x)=1\) . Exactement comme précédemment, on utilise le cercle trigonométrique pour voir ce qui se passe.
Su le cercle trigonométrique, on voit que l'équation \( cos(x)=1\) admet une unique solution à savoir \( x=0\) . Comme précédemment, on peut "tourner", ce qui se traduit par l'ajout de \( +2k\pi\) . En conclusion l'équation \( cos(x)=1\) admet pour solution \[x_k=2k\pi\] Le même type de manipulation permet, si l'intervalle est spécifié, de trouver des solutions spécifiques. Que dire de l'équation \( cos(x)=1.01\) ? On observe sur le dessin, qu'il n'y a, dans ce cas, aucune intersection entre la droite \( x=1.01\) et le cercle trigonométrique et donc l'équation \( cos(x)=1.01\) n'admet aucune solution. Faisons un cours de mathématiques avec un théorème (que nous venons de démontrer en partie par les exemples précédent).

Théorème [Équation en sinus]


L'équation \( sin(x)=a\) pour
\( a\in]-1;1[\) admet deux solutions sur \( ]-\pi ; \pi[\) notées \( x_1\) et \( x_2\) . Toutes les solutions de l'équation sur \( \R\) sont de la forme \[x_{1,k}=x_1+2k\pi,\qquad\text{et}\qquad x_{2,k}=x_2+2k\pi\] pour \( k\in \Z\) .

L'équation \( sin(x)=1\)
admet pour solutions \( \dfrac{\pi}{2}+2k\pi\) pour \( k\in \Z\) .

L'équation \( sin(x)=-1\)
admet pour solutions \( -\dfrac{\pi}{2}+\pi+2k\pi\) pour \( k\in \Z\) .

L'équation \( sin(x)=a\) pour
\( a\not\in[-1;1]\) n'admet aucune solution réelle.

Théorème [Équation en cosinus]


L'équation \( cos(x)=a\) pour
\( a\in]-1;1[\) admet deux solutions sur \( ]-\pi ; \pi[\) notées \( x_1\) et \( x_2\) . Toutes les solutions de l'équation sur \( \R\) sont de la forme \[x_{1,k}=x_1+2k\pi,\qquad\text{et}\qquad x_{2,k}=x_2+2k\pi\] pour \( k\in \Z\) .

L'équation \( cos(x)=1\)
admet pour solutions \( 2k\pi\) pour \( k\in \Z\) .

L'équation \( cos(x)=-1\)
admet pour solutions \( \pi+2k\pi\) pour \( k\in \Z\) .

L'équation \( cos(x)=a\) pour
\( a\not\in[-1;1]\) n'admet aucune solution réelle.
Dans la pratique on n'utilise pas ces théorèmes mais plutôt la méthode décrite dans les exemples précédents (le cercle trigonométrique est votre meilleur ami !).
Inéquations trigonométriques
A présent on cherche à résoudre une inéquation de la forme \( cos(x)\geqslant\dfrac{1}{2}\) . Encore une fois, un dessin éclaire la situation.
Sur le dessin, il apparait clairement que touts les angles de l'intervalle \( \left[-\dfrac{\pi}{3} ; \dfrac{\pi}{3}\right]\) ont leur cosinus supérieur ou égale à \( \dfrac{1}{2}\) . Exactement comme précédemment, il faut "penser" à tourner. En conclusion, toutes les solution réelles sont des intervalles de la forme \[\left[-\dfrac{\pi}{3}+2k\pi ; \dfrac{\pi}{3}+2k\pi\right]\] pour \( k\in \Z\) . Attention, lorsque l'on décrit un intervalle \( [a ; b]\) il faut que \( a{<}b\) . Prenons à présent l'inéquation \( sin(x){>} -\dfrac{1}{2}\) .
A l'aide du dessin on serait tenté d'écrire qu'un intervalle solution est \( \left]-\dfrac{\pi}{6} ; -\dfrac{5\pi}{6}\right[\) mais dans ce cas, la borne inférieur de cet intervalle est plus grande que la borne supérieur. C'est une erreur. Il faut soit écrire \( \left]-\dfrac{\pi}{6} ; \dfrac{7\pi}{6}\right[\) où \( \left]-\dfrac{13\pi}{6} ; -\dfrac{5\pi}{6}\right[\) pour respecter les intervalles.