Trigonométrie

Aide-mémoire — trigonométrie

Un cercle de rayon 1,
une abscisse,
une ordonnée.

Toute la trigonométrie tient dans cette phrase : le cosinus est une abscisse, le sinus une ordonnée. Le reste — angles associés, addition, duplication, linéarisation, équations, triangle quelconque — s'en déduit. Dans tout le formulaire, le cobalt marque le cosinus et le carmin le sinus. Cliquez sur TeX pour copier une formule.

Angle
30°
Radians
π/6
cos θ
√3/2
sin θ
1/2
tan θ
√3/3
Quadrant
I

Aucune formule ne correspond. Essayez Al-Kashi, Moivre, arctan ou Héron.

Section 01

Cercle trigonométrique et définitions

Sur le cercle unité orienté, à tout réel \(\theta\) correspond un point \(M(\theta)=(\cos\theta,\sin\theta)\). Toutes les identités de ce formulaire sont des conséquences de cette seule définition.

Mesure des angles

Conversion degrés ↔ radians
\[ \frac{\theta_{\text{rad}}}{\pi}=\frac{\theta_{\deg}}{180}=\frac{\theta_{\text{gr}}}{200},\qquad 1\ \text{rad}=\frac{180}{\pi}\approx 57{,}2958^\circ \]

Le radian est la mesure de l'angle interceptant un arc de longueur égale au rayon. Longueur d'arc : \(\ell=R\theta\) ; aire de secteur : \(\mathcal A=\tfrac12R^{2}\theta\) — uniquement en radians.

Mesure principale
\[ \theta\equiv\theta_0 \pmod{2\pi},\qquad \theta_0\in\,]-\pi,\pi]\ \ \text{(mesure principale)} \]

Calcul pratique : \(\theta_0=\theta-2\pi\left\lfloor\dfrac{\theta+\pi}{2\pi}\right\rfloor\).

Définitions

Les six fonctions
\[ \tan\theta=\frac{\sin\theta}{\cos\theta},\quad \cot\theta=\frac{\cos\theta}{\sin\theta}=\frac{1}{\tan\theta},\quad \sec\theta=\frac{1}{\cos\theta},\quad \csc\theta=\frac{1}{\sin\theta} \]

Domaines : \(\tan,\sec\) définies pour \(\theta\neq\frac\pi2+k\pi\) ; \(\cot,\csc\) pour \(\theta\neq k\pi\). Interprétation : \(\tan\theta\) est l'ordonnée du point d'intersection de la droite \((OM)\) avec la tangente au cercle en \((1,0)\).

Triangle rectangle
\[ \sin\widehat A=\frac{\text{opposé}}{\text{hypoténuse}},\qquad \cos\widehat A=\frac{\text{adjacent}}{\text{hypoténuse}},\qquad \tan\widehat A=\frac{\text{opposé}}{\text{adjacent}} \]

Moyen mnémotechnique SOH-CAH-TOA. Valable seulement pour \(\widehat A\in\,]0,\frac\pi2[\) ; le cercle unité étend les définitions à \(\mathbb R\).

Identité fondamentale (Pythagore)
\[ \cos^{2}\theta+\sin^{2}\theta=1 \]

C'est l'équation du cercle unité \(x^{2}+y^{2}=1\). Conséquences : \(|\cos\theta|\le1\) et \(|\sin\theta|\le1\).

Identités dérivées
\[ 1+\tan^{2}\theta=\frac{1}{\cos^{2}\theta}=\sec^{2}\theta,\qquad 1+\cot^{2}\theta=\frac{1}{\sin^{2}\theta}=\csc^{2}\theta \]

Obtenues en divisant l'identité fondamentale par \(\cos^{2}\theta\) puis \(\sin^{2}\theta\).

Expression croisée
\[ \cos\theta=\frac{\varepsilon}{\sqrt{1+\tan^{2}\theta}},\qquad \sin\theta=\frac{\varepsilon\tan\theta}{\sqrt{1+\tan^{2}\theta}},\qquad \varepsilon=\operatorname{signe}(\cos\theta) \]

Le signe \(\varepsilon\) ne peut pas être omis : \(\tan\) ne détermine l'angle qu'à \(\pi\) près.

Signes et variations

QuadrantIntervalle\(\cos\)\(\sin\)\(\tan\)
I\(\left]0,\frac\pi2\right[\)\(+\)\(+\)\(+\)
II\(\left]\frac\pi2,\pi\right[\)\(-\)\(+\)\(-\)
III\(\left]\pi,\frac{3\pi}2\right[\)\(-\)\(-\)\(+\)
IV\(\left]\frac{3\pi}2,2\pi\right[\)\(+\)\(-\)\(-\)
Périodicité et parité
\[ \cos(\theta+2\pi)=\cos\theta,\quad \sin(\theta+2\pi)=\sin\theta,\quad \tan(\theta+\pi)=\tan\theta \]\[ \cos(-\theta)=\cos\theta\ \text{(paire)},\qquad \sin(-\theta)=-\sin\theta,\quad \tan(-\theta)=-\tan\theta\ \text{(impaires)} \]

Angles associés

Angle\(\cos\)\(\sin\)\(\tan\)Transformation géométrique
\(-\theta\)\(\cos\theta\)\(-\sin\theta\)\(-\tan\theta\)symétrie / axe \(Ox\)
\(\pi-\theta\)\(-\cos\theta\)\(\sin\theta\)\(-\tan\theta\)symétrie / axe \(Oy\)
\(\pi+\theta\)\(-\cos\theta\)\(-\sin\theta\)\(\tan\theta\)symétrie / origine
\(\frac\pi2-\theta\)\(\sin\theta\)\(\cos\theta\)\(\cot\theta\)symétrie / droite \(y=x\)
\(\frac\pi2+\theta\)\(-\sin\theta\)\(\cos\theta\)\(-\cot\theta\)rotation de \(+\frac\pi2\)
\(\frac{3\pi}2-\theta\)\(-\sin\theta\)\(-\cos\theta\)\(\cot\theta\)symétrie / droite \(y=-x\)
\(\frac{3\pi}2+\theta\)\(\sin\theta\)\(-\cos\theta\)\(-\cot\theta\)rotation de \(-\frac\pi2\)
Règle mnémotechnique
\[ \theta\mapsto k\pi\pm\theta:\ \text{la fonction est conservée};\qquad \theta\mapsto\tfrac\pi2+k\pi\pm\theta:\ \text{la fonction est échangée} \]

Le signe se lit sur le quadrant d'arrivée en supposant \(\theta\) petit et positif. Exemple : \(\frac\pi2+\theta\) tombe dans le quadrant II, où le cosinus est négatif, donc \(\cos\left(\frac\pi2+\theta\right)=-\sin\theta\).

Valeurs remarquables

DegrésRadians\(\cos\)\(\sin\)\(\tan\)
\(0^\circ\)\(0\)\(1\)\(0\)\(0\)
\(15^\circ\)\(\frac{\pi}{12}\)\(\frac{\sqrt6+\sqrt2}{4}\)\(\frac{\sqrt6-\sqrt2}{4}\)\(2-\sqrt3\)
\(18^\circ\)\(\frac{\pi}{10}\)\(\frac{\sqrt{10+2\sqrt5}}{4}\)\(\frac{\sqrt5-1}{4}\)\(\frac{\sqrt{25-10\sqrt5}}{5}\)
\(30^\circ\)\(\frac{\pi}{6}\)\(\frac{\sqrt3}{2}\)\(\frac12\)\(\frac{\sqrt3}{3}\)
\(36^\circ\)\(\frac{\pi}{5}\)\(\frac{1+\sqrt5}{4}\)\(\frac{\sqrt{10-2\sqrt5}}{4}\)\(\sqrt{5-2\sqrt5}\)
\(45^\circ\)\(\frac{\pi}{4}\)\(\frac{\sqrt2}{2}\)\(\frac{\sqrt2}{2}\)\(1\)
\(60^\circ\)\(\frac{\pi}{3}\)\(\frac12\)\(\frac{\sqrt3}{2}\)\(\sqrt3\)
\(72^\circ\)\(\frac{2\pi}{5}\)\(\frac{\sqrt5-1}{4}\)\(\frac{\sqrt{10+2\sqrt5}}{4}\)\(\sqrt{5+2\sqrt5}\)
\(75^\circ\)\(\frac{5\pi}{12}\)\(\frac{\sqrt6-\sqrt2}{4}\)\(\frac{\sqrt6+\sqrt2}{4}\)\(2+\sqrt3\)
\(90^\circ\)\(\frac{\pi}{2}\)\(0\)\(1\)non définie
Mnémotechnique de la main
\[ \sin\theta=\frac{\sqrt n}{2}\quad\text{pour}\quad \theta=0^\circ,30^\circ,45^\circ,60^\circ,90^\circ\ \text{et}\ n=0,1,2,3,4 \]

Le cosinus se lit dans l'ordre inverse (\(n=4,3,2,1,0\)).

Nombre d'or et pentagone
\[ \cos\frac{\pi}{5}=\frac{1+\sqrt5}{4}=\frac{\varphi}{2},\qquad \cos\frac{2\pi}{5}=\frac{\sqrt5-1}{4}=\frac{1}{2\varphi},\qquad \varphi=\frac{1+\sqrt5}{2} \]

Ces valeurs découlent de \(\cos 2\theta=\cos 3\theta\) pour \(\theta=\frac{2\pi}{5}\), et fondent la constructibilité du pentagone régulier à la règle et au compas.

Section 02

Addition, duplication, arcs multiples

Le socle du calcul trigonométrique. Toutes ces identités se démontrent en une ligne à partir de \(e^{i(a+b)}=e^{ia}e^{ib}\) (§07).

Addition et soustraction

Cosinus d'une somme
\[ \cos(a+b)=\cos a\cos b-\sin a\sin b,\qquad \cos(a-b)=\cos a\cos b+\sin a\sin b \]

Le signe est opposé à celui de la somme : c'est l'erreur la plus fréquente.

Sinus d'une somme
\[ \sin(a+b)=\sin a\cos b+\cos a\sin b,\qquad \sin(a-b)=\sin a\cos b-\cos a\sin b \]
Tangente d'une somme
\[ \tan(a+b)=\frac{\tan a+\tan b}{1-\tan a\tan b},\qquad \tan(a-b)=\frac{\tan a-\tan b}{1+\tan a\tan b} \]

Sous réserve que \(a\), \(b\) et \(a\pm b\) évitent \(\frac\pi2+k\pi\), et que le dénominateur ne s'annule pas.

Cotangente d'une somme
\[ \cot(a+b)=\frac{\cot a\cot b-1}{\cot a+\cot b},\qquad \cot(a-b)=\frac{\cot a\cot b+1}{\cot b-\cot a} \]

Duplication

Arc double
\[ \sin 2a=2\sin a\cos a,\qquad \tan 2a=\frac{2\tan a}{1-\tan^{2}a} \]\[ \cos 2a=\cos^{2}a-\sin^{2}a=2\cos^{2}a-1=1-2\sin^{2}a \]

Les trois formes de \(\cos 2a\) servent selon ce qu'on veut éliminer.

Abaissement du degré
\[ \cos^{2}a=\frac{1+\cos 2a}{2},\qquad \sin^{2}a=\frac{1-\cos 2a}{2},\qquad \tan^{2}a=\frac{1-\cos 2a}{1+\cos 2a} \]

Formules de linéarisation les plus utilisées en intégration.

Arc moitié
\[ \left|\cos\frac a2\right|=\sqrt{\frac{1+\cos a}{2}},\qquad \left|\sin\frac a2\right|=\sqrt{\frac{1-\cos a}{2}} \]\[ \tan\frac a2=\frac{\sin a}{1+\cos a}=\frac{1-\cos a}{\sin a} \]

Les valeurs absolues sont indispensables : le signe dépend du quadrant de \(\frac a2\). Les deux expressions de \(\tan\frac a2\) en sont exemptes.

Paramétrage rationnel \(t=\tan\frac a2\)
\[ \cos a=\frac{1-t^{2}}{1+t^{2}},\qquad \sin a=\frac{2t}{1+t^{2}},\qquad \tan a=\frac{2t}{1-t^{2}} \]

Bijection de \(]-\pi,\pi[\) sur \(\mathbb R\) ; exclut \(a=\pi\). Base du changement de variable universel en intégration et du paramétrage rationnel du cercle (triplets pythagoriciens).

Arcs multiples

Arc triple
\[ \cos 3a=4\cos^{3}a-3\cos a,\qquad \sin 3a=3\sin a-4\sin^{3}a,\qquad \tan 3a=\frac{3\tan a-\tan^{3}a}{1-3\tan^{2}a} \]
Arc quadruple
\[ \cos 4a=8\cos^{4}a-8\cos^{2}a+1,\qquad \sin 4a=4\sin a\cos a\,(2\cos^{2}a-1) \]
Formule de Moivre
\[ \cos na+i\sin na=(\cos a+i\sin a)^{n},\qquad n\in\mathbb Z \]

En développant par le binôme : \(\cos na=\sum_{k\ \text{pair}}\binom nk(-1)^{k/2}\cos^{n-k}a\,\sin^{k}a\), et de même pour \(\sin na\) avec les indices impairs.

Polynômes de Tchebychev
\[ \cos(na)=T_n(\cos a),\qquad T_{n+1}=2XT_n-T_{n-1},\quad T_0=1,\ T_1=X \]\[ \sin\big((n+1)a\big)=\sin a\;U_n(\cos a),\qquad U_{n+1}=2XU_n-U_{n-1},\quad U_0=1,\ U_1=2X \]

\(T_2=2X^{2}-1\), \(T_3=4X^{3}-3X\), \(T_4=8X^{4}-8X^{2}+1\). Racines de \(T_n\) : \(\cos\frac{(2k+1)\pi}{2n}\).

Récurrence linéaire
\[ \cos\big((n+1)a\big)=2\cos a\cos(na)-\cos\big((n-1)a\big) \]

Idem pour le sinus : moyen de calcul rapide sans développer les puissances.

Section 03

Produits, sommes et linéarisation

Passer d'un produit à une somme (pour intégrer) ou d'une somme à un produit (pour factoriser et résoudre) : deux jeux de formules réciproques.

Produit → somme

Linéarisation d'un produit
\[ \cos a\cos b=\tfrac12\big[\cos(a-b)+\cos(a+b)\big],\qquad \sin a\sin b=\tfrac12\big[\cos(a-b)-\cos(a+b)\big] \]\[ \sin a\cos b=\tfrac12\big[\sin(a+b)+\sin(a-b)\big] \]

Retenir : le produit de deux fonctions de même nature donne des cosinus, de natures différentes des sinus.

Puissances de cosinus et sinus
\[ \cos^{3}a=\frac{3\cos a+\cos 3a}{4},\qquad \sin^{3}a=\frac{3\sin a-\sin 3a}{4} \]\[ \cos^{4}a=\frac{3+4\cos 2a+\cos 4a}{8},\qquad \sin^{4}a=\frac{3-4\cos 2a+\cos 4a}{8} \]
Linéarisation générale (Euler)
\[ \cos^{2p}a=\frac{1}{4^{p}}\left[\binom{2p}{p}+2\sum_{k=0}^{p-1}\binom{2p}{k}\cos\big((2p-2k)a\big)\right] \]

Se retrouve en développant \(\left(\frac{e^{ia}+e^{-ia}}{2}\right)^{2p}\) par le binôme puis en regroupant les termes conjugués.

Somme → produit

Formules de factorisation
\[ \sin p+\sin q=2\sin\frac{p+q}{2}\cos\frac{p-q}{2},\qquad \sin p-\sin q=2\cos\frac{p+q}{2}\sin\frac{p-q}{2} \]\[ \cos p+\cos q=2\cos\frac{p+q}{2}\cos\frac{p-q}{2},\qquad \cos p-\cos q=-2\sin\frac{p+q}{2}\sin\frac{p-q}{2} \]

Attention au signe moins de la dernière. Ces formules transforment une équation « somme nulle » en équation produit, donc en union de cas simples (§04).

Somme de tangentes
\[ \tan p\pm\tan q=\frac{\sin(p\pm q)}{\cos p\cos q},\qquad \cot p\pm\cot q=\frac{\sin(q\pm p)}{\sin p\sin q} \]
Combinaison linéaire (amplitude–phase)
\[ a\cos x+b\sin x=R\cos(x-\varphi),\qquad R=\sqrt{a^{2}+b^{2}},\quad \cos\varphi=\frac aR,\ \sin\varphi=\frac bR \]

\(\varphi=\operatorname{atan2}(b,a)\). Forme équivalente : \(R\sin(x+\psi)\) avec \(\psi=\frac\pi2-\varphi\). Conséquence immédiate : l'expression est bornée par \(\pm R\), et l'équation \(a\cos x+b\sin x=c\) n'a de solution que si \(|c|\le R\).

Sommes finies

Somme géométrique trigonométrique
\[ \sum_{k=0}^{n-1}\cos(a+kb)=\frac{\sin\frac{nb}{2}}{\sin\frac b2}\cos\!\left(a+\frac{(n-1)b}{2}\right),\qquad b\not\equiv0\!\!\pmod{2\pi} \]

Idem avec \(\sin\) en remplaçant le facteur \(\cos\) final par \(\sin\). Se démontre via \(\sum e^{i(a+kb)}\) et la factorisation par l'arc moitié.

Noyau de Dirichlet
\[ \frac12+\sum_{k=1}^{n}\cos(kx)=\frac{\sin\!\left(\left(n+\frac12\right)x\right)}{2\sin\frac x2} \]
Produits remarquables
\[ \prod_{k=1}^{n}\cos\frac{x}{2^{k}}=\frac{\sin x}{2^{n}\sin\frac{x}{2^{n}}}\ \xrightarrow[n\to\infty]{}\ \frac{\sin x}{x},\qquad \prod_{k=1}^{n-1}\sin\frac{k\pi}{n}=\frac{n}{2^{n-1}} \]

La première est la formule de Viète ; la seconde donne le nombre d'arbres couvrants du graphe cycle.

Section 04

Équations et inéquations

Une équation trigonométrique a presque toujours deux familles de solutions. En oublier une est l'erreur structurelle du chapitre.

Équation en cosinus
\[ \cos x=\cos a\iff x=a+2k\pi\quad\text{ou}\quad x=-a+2k\pi,\qquad k\in\mathbb Z \]

Les deux solutions sont symétriques par rapport à l'axe \(Ox\). Forme compacte : \(x\equiv\pm a\ [2\pi]\).

Équation en sinus
\[ \sin x=\sin a\iff x=a+2k\pi\quad\text{ou}\quad x=\pi-a+2k\pi,\qquad k\in\mathbb Z \]

Symétrie par rapport à l'axe \(Oy\).

Équation en tangente
\[ \tan x=\tan a\iff x=a+k\pi,\qquad k\in\mathbb Z \]

Une seule famille, car \(\tan\) est \(\pi\)-périodique. Ne pas oublier la condition d'existence \(x\neq\frac\pi2+k\pi\).

Cas d'un second membre numérique
\[ \cos x=m\ \ (|m|\le1)\iff x=\pm\arccos m+2k\pi;\qquad \sin x=m\iff x=\arcsin m+2k\pi\ \text{ou}\ \pi-\arcsin m+2k\pi \]

Aucune solution si \(|m|>1\). \(\tan x=m\iff x=\arctan m+k\pi\), pour tout \(m\in\mathbb R\).

Valeurs particulières
\[ \cos x=0\iff x=\tfrac\pi2+k\pi;\qquad \sin x=0\iff x=k\pi;\qquad \cos x=1\iff x=2k\pi;\qquad \sin x=1\iff x=\tfrac\pi2+2k\pi \]
Équation \(a\cos x+b\sin x=c\)
\[ R\cos(x-\varphi)=c\iff \cos(x-\varphi)=\frac cR,\qquad R=\sqrt{a^{2}+b^{2}} \]

Solutions si et seulement si \(|c|\le R\) : \(x=\varphi\pm\arccos\frac cR+2k\pi\). Méthode alternative : \(t=\tan\frac x2\) ramène à une équation du second degré, mais perd la solution \(x=\pi+2k\pi\), à tester séparément.

Équation produit
\[ \cos p=\cos q\iff \sin\frac{p+q}{2}\sin\frac{q-p}{2}=0 \]

Stratégie générale : tout ramener à \(0\), factoriser par les formules somme→produit (§03), puis annuler chaque facteur.

Inéquations de référence
\[ \cos x\ge m\iff x\in\big[-\arccos m+2k\pi,\ \arccos m+2k\pi\big],\qquad |m|\le1 \]\[ \sin x\ge m\iff x\in\big[\arcsin m+2k\pi,\ \pi-\arcsin m+2k\pi\big] \]

Toujours résoudre sur le cercle : repérer l'arc solution, puis translater de \(2k\pi\).

Système somme–produit
\[ \begin{cases}\cos x+\cos y=s\\ \cos x\cos y=p\end{cases}\ \Longrightarrow\ \cos x,\cos y\ \text{racines de}\ X^{2}-sX+p=0 \]
Contrôle des solutions parasites
\[ \sqrt{\ \cdot\ },\quad \text{élévation au carré},\quad t=\tan\tfrac x2\ \Longrightarrow\ \text{vérifier chaque solution} \]

Élever au carré ou multiplier par un facteur pouvant s'annuler crée des solutions parasites ; le changement \(t=\tan\frac x2\) en supprime. Dans les deux cas, une vérification finale s'impose.

Section 05

Fonctions circulaires réciproques

Ces fonctions ne sont réciproques que sur un intervalle de restriction bien choisi. Hors de cet intervalle, \(\arcsin(\sin x)\neq x\).

FonctionDomaineImageDérivéeParité
\(\arcsin\)\([-1,1]\)\(\left[-\frac\pi2,\frac\pi2\right]\)\(\frac{1}{\sqrt{1-x^{2}}}\)impaire, croissante
\(\arccos\)\([-1,1]\)\([0,\pi]\)\(-\frac{1}{\sqrt{1-x^{2}}}\)décroissante
\(\arctan\)\(\mathbb R\)\(\left]-\frac\pi2,\frac\pi2\right[\)\(\frac{1}{1+x^{2}}\)impaire, croissante
\(\operatorname{arccot}\)\(\mathbb R\)\(]0,\pi[\)\(-\frac{1}{1+x^{2}}\)décroissante
Relations de complémentarité
\[ \arcsin x+\arccos x=\frac\pi2\ \ (|x|\le1),\qquad \arctan x+\operatorname{arccot} x=\frac\pi2 \]
Inversion de l'argument
\[ \arctan x+\arctan\frac1x=\frac{\pi}{2}\operatorname{signe}(x),\qquad x\neq0 \]

Vaut \(+\frac\pi2\) si \(x>0\), \(-\frac\pi2\) si \(x<0\). Le signe ne peut pas être omis.

Compositions directes
\[ \sin(\arccos x)=\cos(\arcsin x)=\sqrt{1-x^{2}},\qquad \tan(\arcsin x)=\frac{x}{\sqrt{1-x^{2}}} \]\[ \cos(\arctan x)=\frac{1}{\sqrt{1+x^{2}}},\qquad \sin(\arctan x)=\frac{x}{\sqrt{1+x^{2}}} \]

La racine est positive car l'image de \(\arccos\) est \([0,\pi]\) (sinus positif) et celle de \(\arcsin\) est \(\left[-\frac\pi2,\frac\pi2\right]\) (cosinus positif).

Compositions inverses
\[ \arcsin(\sin x)=x\ \textbf{ seulement si }\ x\in\left[-\frac\pi2,\frac\pi2\right] \]\[ \arcsin(\sin x)=\pi-x\ \text{ si }\ x\in\left[\frac\pi2,\frac{3\pi}2\right],\qquad \arccos(\cos x)=|x|\ \text{ si }\ x\in[-\pi,\pi] \]

En général : \(\arcsin(\sin x)\) est la fonction « triangle » \(2\pi\)-périodique, \(\arccos(\cos x)\) la fonction « dent de scie » paire, \(\arctan(\tan x)=x-k\pi\) sur chaque branche.

Addition des arctangentes
\[ \arctan a+\arctan b=\arctan\frac{a+b}{1-ab}+\varepsilon\pi,\qquad \varepsilon=\begin{cases}0&\text{si } ab<1\\ +1&\text{si } ab>1,\ a>0\\ -1&\text{si } ab>1,\ a<0\end{cases} \]

Si \(ab=1\), la somme vaut \(\pm\frac\pi2\). Le terme \(\varepsilon\pi\) est la source d'erreur classique.

Formules de type Machin
\[ \frac{\pi}{4}=4\arctan\frac15-\arctan\frac{1}{239}=\arctan\frac12+\arctan\frac13 \]

Associées à la série \(\arctan x=\sum_{n\ge0}\frac{(-1)^{n}x^{2n+1}}{2n+1}\) (\(|x|\le1\)), elles ont fourni les premiers calculs rapides des décimales de \(\pi\).

Fonction atan2
\[ \operatorname{atan2}(y,x)=\arg(x+iy)\in\,]-\pi,\pi] \]

Contrairement à \(\arctan\frac yx\), elle distingue les quatre quadrants. Indispensable en conversion cartésien → polaire.

Primitives
\[ \int\arcsin x\,dx=x\arcsin x+\sqrt{1-x^{2}},\qquad \int\arctan x\,dx=x\arctan x-\tfrac12\ln(1+x^{2}) \]

Section 06

Trigonométrie hyperbolique

Même structure que la trigonométrie circulaire, sur l'hyperbole \(x^{2}-y^{2}=1\) au lieu du cercle. Presque toutes les formules se déduisent des précédentes par la règle d'Osborn.

Définitions
\[ \operatorname{ch} x=\frac{e^{x}+e^{-x}}{2},\qquad \operatorname{sh} x=\frac{e^{x}-e^{-x}}{2},\qquad \operatorname{th} x=\frac{e^{x}-e^{-x}}{e^{x}+e^{-x}}=\frac{e^{2x}-1}{e^{2x}+1} \]

\(\operatorname{ch}\) est paire, \(\operatorname{sh}\) et \(\operatorname{th}\) impaires. \(\operatorname{ch} x\ge1\), \(|\operatorname{th} x|<1\). Notations anglo-saxonnes : \(\cosh,\sinh,\tanh\).

Identité fondamentale
\[ \operatorname{ch}^{2}x-\operatorname{sh}^{2}x=1,\qquad 1-\operatorname{th}^{2}x=\frac{1}{\operatorname{ch}^{2}x},\qquad \coth^{2}x-1=\frac{1}{\operatorname{sh}^{2}x} \]
Règle d'Osborn
\[ \cos\to\operatorname{ch},\quad \sin\to\operatorname{sh},\quad \textbf{et l'on change le signe de tout produit de deux sinus} \]

Exemple : \(\cos^{2}+\sin^{2}=1\) devient \(\operatorname{ch}^{2}-\operatorname{sh}^{2}=1\). Attention : \(\tan^{2}\) compte comme un produit de deux sinus.

Addition
\[ \operatorname{ch}(a+b)=\operatorname{ch} a\operatorname{ch} b+\operatorname{sh} a\operatorname{sh} b,\qquad \operatorname{sh}(a+b)=\operatorname{sh} a\operatorname{ch} b+\operatorname{ch} a\operatorname{sh} b \]\[ \operatorname{th}(a+b)=\frac{\operatorname{th} a+\operatorname{th} b}{1+\operatorname{th} a\operatorname{th} b} \]
Duplication
\[ \operatorname{sh} 2a=2\operatorname{sh} a\operatorname{ch} a,\qquad \operatorname{ch} 2a=\operatorname{ch}^{2}a+\operatorname{sh}^{2}a=2\operatorname{ch}^{2}a-1=1+2\operatorname{sh}^{2}a \]
Lien avec les fonctions circulaires
\[ \operatorname{ch}(ix)=\cos x,\qquad \operatorname{sh}(ix)=i\sin x,\qquad \cos(ix)=\operatorname{ch} x,\qquad \sin(ix)=i\operatorname{sh} x \]

La règle d'Osborn n'est que la traduction réelle de ces substitutions.

Réciproques (formes logarithmiques)
\[ \operatorname{argsh} x=\ln\!\big(x+\sqrt{x^{2}+1}\big),\qquad \operatorname{argch} x=\ln\!\big(x+\sqrt{x^{2}-1}\big)\ (x\ge1) \]\[ \operatorname{argth} x=\frac12\ln\frac{1+x}{1-x}\ (|x|<1),\qquad \operatorname{argcoth} x=\frac12\ln\frac{x+1}{x-1}\ (|x|>1) \]
Dérivées
\[ \operatorname{ch}'=\operatorname{sh},\quad \operatorname{sh}'=\operatorname{ch},\quad \operatorname{th}'=1-\operatorname{th}^{2}=\frac{1}{\operatorname{ch}^{2}} \]\[ \operatorname{argsh}'x=\frac{1}{\sqrt{x^{2}+1}},\quad \operatorname{argch}'x=\frac{1}{\sqrt{x^{2}-1}},\quad \operatorname{argth}'x=\frac{1}{1-x^{2}} \]

Aucun signe négatif, contrairement au cas circulaire : \(\operatorname{ch}\) et \(\operatorname{sh}\) s'échangent sans alternance.

Paramétrage de l'hyperbole
\[ \begin{cases}x=a\operatorname{ch} t\\ y=b\operatorname{sh} t\end{cases}\ \Longrightarrow\ \frac{x^{2}}{a^{2}}-\frac{y^{2}}{b^{2}}=1 \]

Le paramètre \(t\) est le double de l'aire du secteur hyperbolique — exactement comme \(\theta\) est le double de l'aire du secteur circulaire.

Chaînette
\[ y=a\operatorname{ch}\frac xa,\qquad L=2a\operatorname{sh}\frac{\ell}{2a} \]

Forme d'équilibre d'un fil pesant homogène suspendu entre deux points — première application physique historique de \(\operatorname{ch}\).

Section 07

Nombres complexes et formules d'Euler

Le point de vue qui unifie tout le chapitre : la trigonométrie est l'arithmétique du cercle unité de \(\mathbb C\).

Exponentielle complexe
\[ e^{i\theta}=\cos\theta+i\sin\theta,\qquad \big|e^{i\theta}\big|=1,\qquad e^{i(a+b)}=e^{ia}e^{ib} \]

Cette dernière égalité contient les formules d'addition : il suffit d'identifier parties réelle et imaginaire.

Formules d'Euler
\[ \cos\theta=\frac{e^{i\theta}+e^{-i\theta}}{2},\qquad \sin\theta=\frac{e^{i\theta}-e^{-i\theta}}{2i} \]

Outil de linéarisation : développer par le binôme puis regrouper les exponentielles conjuguées.

Formule de Moivre
\[ \big(e^{i\theta}\big)^{n}=e^{in\theta}\iff(\cos\theta+i\sin\theta)^{n}=\cos n\theta+i\sin n\theta \]

Outil d'anti-linéarisation : exprimer \(\cos n\theta\) en polynôme de \(\cos\theta\) (§02).

Factorisation par l'arc moitié
\[ 1+e^{i\theta}=2\cos\frac\theta2\,e^{i\theta/2},\qquad 1-e^{i\theta}=-2i\sin\frac\theta2\,e^{i\theta/2} \]\[ e^{ia}+e^{ib}=2\cos\frac{a-b}{2}\,e^{i\frac{a+b}{2}} \]

Technique clé pour sommer des séries trigonométriques et retrouver les formules somme→produit.

Racines n-ièmes de l'unité
\[ \mathbb U_n=\left\{\omega_k=e^{2ik\pi/n},\ 0\le k\le n-1\right\},\qquad \sum_{k=0}^{n-1}\omega_k=0\ (n\ge2),\qquad \prod_{k=0}^{n-1}\omega_k=(-1)^{n+1} \]

Elles forment les sommets d'un polygone régulier à \(n\) côtés inscrit dans le cercle unité.

Argument et forme trigonométrique
\[ z=re^{i\theta}=r(\cos\theta+i\sin\theta),\qquad r=|z|,\ \theta=\arg z,\qquad \arg(z_1z_2)=\arg z_1+\arg z_2\ [2\pi] \]
Fonctions trigonométriques complexes
\[ \cos(x+iy)=\cos x\operatorname{ch} y-i\sin x\operatorname{sh} y,\qquad \sin(x+iy)=\sin x\operatorname{ch} y+i\cos x\operatorname{sh} y \]

Sur \(\mathbb C\), \(\cos\) et \(\sin\) ne sont plus bornés : \(|\cos(iy)|=\operatorname{ch} y\to+\infty\).

Produit eulérien du sinus
\[ \sin(\pi z)=\pi z\prod_{n=1}^{\infty}\left(1-\frac{z^{2}}{n^{2}}\right) \]

En identifiant les coefficients, on obtient \(\zeta(2)=\frac{\pi^{2}}{6}\) — le problème de Bâle.

Section 08

Dérivées, primitives et développements

Dérivées

\(f\)\(f'\)\(f\)\(f'\)
\(\sin x\)\(\cos x\)\(\arcsin x\)\(\dfrac{1}{\sqrt{1-x^{2}}}\)
\(\cos x\)\(-\sin x\)\(\arccos x\)\(-\dfrac{1}{\sqrt{1-x^{2}}}\)
\(\tan x\)\(1+\tan^{2}x=\dfrac{1}{\cos^{2}x}\)\(\arctan x\)\(\dfrac{1}{1+x^{2}}\)
\(\cot x\)\(-1-\cot^{2}x=-\dfrac{1}{\sin^{2}x}\)\(\operatorname{arccot} x\)\(-\dfrac{1}{1+x^{2}}\)
\(\sec x\)\(\sec x\tan x\)\(\csc x\)\(-\csc x\cot x\)
\(\sin^{(n)}x\)\(\sin\!\left(x+\frac{n\pi}{2}\right)\)\(\cos^{(n)}x\)\(\cos\!\left(x+\frac{n\pi}{2}\right)\)

Primitives

\(f\)PrimitiveDomaine
\(\tan x\)\(-\ln|\cos x|\)\(x\neq\frac\pi2+k\pi\)
\(\cot x\)\(\ln|\sin x|\)\(x\neq k\pi\)
\(\dfrac{1}{\sin x}\)\(\ln\left|\tan\dfrac x2\right|\)\(x\neq k\pi\)
\(\dfrac{1}{\cos x}\)\(\ln\left|\tan\!\left(\dfrac x2+\dfrac\pi4\right)\right|\)\(x\neq\frac\pi2+k\pi\)
\(\sin^{2}x\)\(\dfrac x2-\dfrac{\sin 2x}{4}\)\(\mathbb R\)
\(\cos^{2}x\)\(\dfrac x2+\dfrac{\sin 2x}{4}\)\(\mathbb R\)
\(e^{ax}\cos bx\)\(\dfrac{e^{ax}(a\cos bx+b\sin bx)}{a^{2}+b^{2}}\)\((a,b)\neq(0,0)\)

Séries et approximations

Séries entières
\[ \sin x=\sum_{n=0}^{\infty}\frac{(-1)^{n}x^{2n+1}}{(2n+1)!},\qquad \cos x=\sum_{n=0}^{\infty}\frac{(-1)^{n}x^{2n}}{(2n)!}\qquad(\forall x\in\mathbb R) \]

Rayon de convergence infini. Versions hyperboliques : mêmes séries sans le facteur \((-1)^{n}\).

Développements limités en 0
\[ \sin x=x-\frac{x^{3}}{6}+\frac{x^{5}}{120}+o(x^{6}),\qquad \cos x=1-\frac{x^{2}}{2}+\frac{x^{4}}{24}+o(x^{5}) \]\[ \tan x=x+\frac{x^{3}}{3}+\frac{2x^{5}}{15}+o(x^{6}),\qquad \arctan x=x-\frac{x^{3}}{3}+\frac{x^{5}}{5}+o(x^{6}) \]
Équivalents usuels en 0
\[ \sin x\sim x,\quad \tan x\sim x,\quad \arcsin x\sim x,\quad 1-\cos x\sim\frac{x^{2}}{2},\quad \tan x-\sin x\sim\frac{x^{3}}{2} \]
Encadrements
\[ \forall x\ge0:\ \sin x\le x;\qquad \forall x\in\left[0,\frac\pi2\right]:\ \frac{2}{\pi}x\le\sin x\le x\le\tan x \]

La minoration \(\frac2\pi x\) est l'inégalité de Jordan, essentielle dans les lemmes de convergence. Par ailleurs \(|\sin a-\sin b|\le|a-b|\) (fonction 1-lipschitzienne).

Équation différentielle caractéristique
\[ y''+\omega^{2}y=0\iff y(t)=A\cos(\omega t)+B\sin(\omega t)=R\cos(\omega t-\varphi) \]

Toute la trigonométrie peut être définie à partir de cette équation, indépendamment de la géométrie.

Section 09

Trigonométrie du triangle

Notations standard : côtés \(a,b,c\) opposés aux angles \(A,B,C\) ; \(p=\frac{a+b+c}{2}\) le demi-périmètre ; \(R\) le rayon du cercle circonscrit, \(r\) celui du cercle inscrit, \(S\) l'aire.

Relations métriques

Loi des sinus
\[ \frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2R=\frac{abc}{2S} \]

Cas d'usage : on connaît un côté et deux angles, ou deux côtés et un angle non compris (attention : ce dernier cas peut donner deux triangles).

Loi des cosinus (Al-Kashi)
\[ a^{2}=b^{2}+c^{2}-2bc\cos A\qquad\Longleftrightarrow\qquad \cos A=\frac{b^{2}+c^{2}-a^{2}}{2bc} \]

Généralise Pythagore, retrouvé pour \(A=\frac\pi2\). Cas d'usage : trois côtés connus, ou deux côtés et l'angle compris.

Loi des tangentes
\[ \frac{a-b}{a+b}=\frac{\tan\frac{A-B}{2}}{\tan\frac{A+B}{2}} \]
Formules de Mollweide
\[ \frac{a+b}{c}=\frac{\cos\frac{A-B}{2}}{\sin\frac C2},\qquad \frac{a-b}{c}=\frac{\sin\frac{A-B}{2}}{\cos\frac C2} \]

Elles font intervenir les six éléments du triangle : excellent contrôle de cohérence d'une résolution.

Théorème de la projection
\[ a=b\cos C+c\cos B \]
Théorème de la médiane
\[ m_a^{2}=\frac{2b^{2}+2c^{2}-a^{2}}{4},\qquad MB^{2}+MC^{2}=2MI^{2}+\frac{BC^{2}}{2} \]

\(I\) milieu de \([BC]\). Formulation vectorielle du théorème d'Al-Kashi.

Aire et rayons

Aire — formes usuelles
\[ S=\tfrac12 bc\sin A=\tfrac12 ab\sin C=\frac{abc}{4R}=pr=2R^{2}\sin A\sin B\sin C \]
Formule de Héron
\[ S=\sqrt{p(p-a)(p-b)(p-c)} \]

Ne nécessite que les trois côtés. Numériquement instable pour les triangles très aplatis ; préférer alors la forme de Kahan avec côtés triés.

Rayons inscrit et exinscrits
\[ r=\frac Sp=(p-a)\tan\frac A2=4R\sin\frac A2\sin\frac B2\sin\frac C2,\qquad r_a=\frac{S}{p-a} \]
Demi-angles
\[ \sin\frac A2=\sqrt{\frac{(p-b)(p-c)}{bc}},\qquad \cos\frac A2=\sqrt{\frac{p(p-a)}{bc}},\qquad \tan\frac A2=\sqrt{\frac{(p-b)(p-c)}{p(p-a)}} \]

Toutes les racines sont positives car \(\frac A2\in\left]0,\frac\pi2\right[\).

Relation d'Euler
\[ OI^{2}=R^{2}-2Rr\ \Longrightarrow\ R\ge 2r \]

\(O\) centre du cercle circonscrit, \(I\) du cercle inscrit. Égalité si et seulement si le triangle est équilatéral.

Identités liées à \(A+B+C=\pi\)

Tangentes et cotangentes
\[ \tan A+\tan B+\tan C=\tan A\tan B\tan C,\qquad \cot\frac A2+\cot\frac B2+\cot\frac C2=\cot\frac A2\cot\frac B2\cot\frac C2 \]

La première suppose le triangle non rectangle.

Sinus et cosinus
\[ \sin A+\sin B+\sin C=4\cos\frac A2\cos\frac B2\cos\frac C2,\qquad \cos A+\cos B+\cos C=1+\frac rR \]
Cas d'un triangle rectangle en \(A\)
\[ a^{2}=b^{2}+c^{2},\qquad S=\frac{bc}{2},\qquad R=\frac a2,\qquad r=\frac{b+c-a}{2} \]

Section 10

Trigonométrie sphérique

Sur une sphère de rayon 1, les « côtés » \(a,b,c\) d'un triangle sont eux-mêmes des angles (longueurs d'arcs de grands cercles). Base de la navigation et de l'astronomie de position.

Loi des cosinus sphérique
\[ \cos a=\cos b\cos c+\sin b\sin c\cos A \]

Pour de petits côtés, un développement limité redonne Al-Kashi : \(a^{2}\approx b^{2}+c^{2}-2bc\cos A\).

Loi des sinus sphérique
\[ \frac{\sin a}{\sin A}=\frac{\sin b}{\sin B}=\frac{\sin c}{\sin C} \]
Loi des cosinus duale (angles)
\[ \cos A=-\cos B\cos C+\sin B\sin C\cos a \]

Sur la sphère, les trois angles déterminent le triangle : il n'existe pas de triangles semblables non isométriques.

Formule des cotangentes
\[ \cos b\cos C=\sin b\cot a-\sin C\cot A \]
Excès sphérique et aire
\[ E=A+B+C-\pi>0,\qquad S=R^{2}E \]

Théorème de Girard. La somme des angles dépasse \(\pi\) : c'est la signature de la courbure positive.

Distance orthodromique
\[ d=R\arccos\big(\sin\varphi_1\sin\varphi_2+\cos\varphi_1\cos\varphi_2\cos(\lambda_2-\lambda_1)\big) \]

\(\varphi\) latitude, \(\lambda\) longitude. Pour de petites distances, préférer la formule du haversine, numériquement stable : \(d=2R\arcsin\sqrt{\sin^{2}\frac{\Delta\varphi}{2}+\cos\varphi_1\cos\varphi_2\sin^{2}\frac{\Delta\lambda}{2}}\).

Section 11

Oscillations, signaux et Fourier

La trigonométrie appliquée : décrire, composer et décomposer des phénomènes périodiques.

Signal sinusoïdal
\[ s(t)=A\sin(\omega t+\varphi),\qquad \omega=2\pi f=\frac{2\pi}{T} \]

\(A\) amplitude, \(\varphi\) phase à l'origine, \(\omega\) pulsation (rad·s⁻¹), \(f\) fréquence (Hz), \(T\) période (s).

Valeurs moyenne et efficace
\[ \langle s\rangle=\frac1T\int_0^{T}s(t)\,dt=0,\qquad s_{\text{eff}}=\sqrt{\frac1T\int_0^{T}s^{2}}=\frac{A}{\sqrt2} \]

Pour un signal sinusoïdal pur. Redressement double alternance : \(\langle|s|\rangle=\frac{2A}{\pi}\).

Superposition de même fréquence
\[ A_1\cos(\omega t+\varphi_1)+A_2\cos(\omega t+\varphi_2)=A\cos(\omega t+\varphi) \]\[ A^{2}=A_1^{2}+A_2^{2}+2A_1A_2\cos(\varphi_1-\varphi_2) \]

C'est la loi d'Al-Kashi appliquée aux vecteurs de Fresnel — d'où les interférences constructives (\(\Delta\varphi=0\)) et destructives (\(\Delta\varphi=\pi\)).

Battements
\[ \cos(\omega_1t)+\cos(\omega_2t)=2\cos\!\left(\frac{\omega_1-\omega_2}{2}t\right)\cos\!\left(\frac{\omega_1+\omega_2}{2}t\right) \]

Deux fréquences proches produisent une porteuse de fréquence moyenne modulée à la fréquence \(\frac{|f_1-f_2|}{2}\) ; le battement audible est à \(|f_1-f_2|\).

Série de Fourier
\[ f(t)=\frac{a_0}{2}+\sum_{n=1}^{\infty}\Big(a_n\cos(n\omega t)+b_n\sin(n\omega t)\Big),\qquad \omega=\frac{2\pi}{T} \]\[ a_n=\frac2T\int_0^{T}f(t)\cos(n\omega t)\,dt,\qquad b_n=\frac2T\int_0^{T}f(t)\sin(n\omega t)\,dt \]

\(f\) est paire \(\Rightarrow\) tous les \(b_n\) sont nuls ; impaire \(\Rightarrow\) tous les \(a_n\) sont nuls.

Relations d'orthogonalité
\[ \int_{-\pi}^{\pi}\cos(mx)\cos(nx)\,dx=\pi\delta_{mn},\quad \int_{-\pi}^{\pi}\sin(mx)\sin(nx)\,dx=\pi\delta_{mn},\quad \int_{-\pi}^{\pi}\cos(mx)\sin(nx)\,dx=0 \]

\(m,n\ge1\). Ce sont ces relations qui donnent les formules des coefficients.

Égalité de Parseval
\[ \frac1T\int_0^{T}f^{2}=\frac{a_0^{2}}{4}+\frac12\sum_{n=1}^{\infty}\big(a_n^{2}+b_n^{2}\big) \]

Interprétation physique : la puissance moyenne est la somme des puissances des harmoniques.

Signal carré — exemple canonique
\[ \operatorname{sgn}(\sin t)=\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\sin\big((2k+1)t\big)}{2k+1} \]

En \(t=\frac\pi2\) : \(\frac\pi4=1-\frac13+\frac15-\dots\) (série de Leibniz).

Section 12

Pièges et vérifications

Les erreurs de trigonométrie sont presque toujours des erreurs de domaine, de signe ou de famille de solutions oubliée — rarement des erreurs de calcul.

La linéarité n'existe pas
\[ \sin(a+b)\neq\sin a+\sin b,\qquad \cos(2a)\neq 2\cos a,\qquad \sin(ab)\neq \sin a\cdot\sin b \]

\(\sin\) et \(\cos\) ne sont pas des applications linéaires. Test rapide : \(a=b=\frac\pi2\) donne \(\sin\pi=0\) alors que \(\sin\frac\pi2+\sin\frac\pi2=2\).

Notation des puissances
\[ \sin^{2}x=(\sin x)^{2},\qquad\text{mais}\qquad \sin^{-1}x=\arcsin x\neq\frac{1}{\sin x}=\csc x \]

Notation ambiguë de la littérature anglo-saxonne. Écrire \(\arcsin\) et \(\csc\) lève toute ambiguïté.

Racine d'un carré
\[ \sqrt{\sin^{2}x}=|\sin x|\neq\sin x,\qquad \sqrt{1-\cos^{2}x}=|\sin x| \]

Le signe se détermine par le quadrant. C'est l'oubli le plus fréquent dans les formules d'arc moitié.

Une seule famille de solutions
\[ \cos x=\tfrac12\ \Longrightarrow\ x=\tfrac\pi3+2k\pi\ \textbf{ et }\ x=-\tfrac\pi3+2k\pi \]

Écrire seulement \(x=\arccos\frac12\) donne une valeur ; l'équation en a une infinité, réparties en deux familles.

Degrés contre radians
\[ \sin x\sim x\ \text{(en 0)},\qquad (\sin x)'=\cos x,\qquad \ell=R\theta \]

Ces trois énoncés sont faux en degrés. Toute l'analyse (dérivées, séries, équivalents, intégrales) suppose des radians. Vérifier le mode de la calculatrice avant tout calcul numérique.

Domaines de définition
\[ \tan\frac\pi2\ \text{n'existe pas},\qquad \arcsin(2)\ \text{n'existe pas},\qquad \frac{1}{1-\tan a\tan b}\ \text{peut être indéfini} \]

Avant d'appliquer une identité en \(\tan\), s'assurer que les trois angles concernés (\(a\), \(b\), \(a\pm b\)) sont dans le domaine.

Simplification abusive de la réciproque
\[ \arccos(\cos 4)=2\pi-4\approx 2{,}283\qquad\text{et non}\qquad 4 \]

Car \(4\notin[0,\pi]\). Méthode : ramener l'angle dans l'intervalle image en utilisant les angles associés (§01), puis simplifier.

Contrôles de cohérence
\[ \textbf{1.}\ |\cos|,|\sin|\le1\quad \textbf{2.}\ \text{parité}\quad \textbf{3.}\ \text{cas particuliers } a=0,\ b=a\quad \textbf{4.}\ \text{valeur numérique} \]

Toute identité douteuse se teste en 10 secondes : poser \(a=b=\frac\pi6\) et comparer les deux membres à la calculatrice. Un contre-exemple numérique suffit à réfuter ; l'accord ne prouve rien mais élimine 90 % des erreurs de signe.

LaTeX copié