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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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) TeX
\[ \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 TeX
\[ 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 TeX
\[ \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
Quadrant Intervalle \(\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é TeX
\[ \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 TeX
\[ \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és Radians \(\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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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é TeX
\[ \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é TeX
\[ \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\) TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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) TeX
\[ \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 TeX
\[ \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 TeX
\[ \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) TeX
\[ 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 TeX
\[ \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 TeX
\[ \frac12+\sum_{k=1}^{n}\cos(kx)=\frac{\sin\!\left(\left(n+\frac12\right)x\right)}{2\sin\frac x2} \]
Produits remarquables TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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\) TeX
\[ 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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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\).
Fonction Domaine Image Dérivée Parité
\(\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é TeX
\[ \arcsin x+\arccos x=\frac\pi2\ \ (|x|\le1),\qquad \arctan x+\operatorname{arccot} x=\frac\pi2 \]
Inversion de l'argument TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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) TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ 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 TeX
\[ 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 TeX
\[ \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 TeX
\[ \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é TeX
\[ 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é TeX
\[ \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 TeX
\[ 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 TeX
\[ \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 TeX
\[ \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\) Primitive Domaine
\(\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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ 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 TeX
\[ \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) TeX
\[ 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 TeX
\[ \frac{a-b}{a+b}=\frac{\tan\frac{A-B}{2}}{\tan\frac{A+B}{2}} \]
Formules de Mollweide TeX
\[ \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 TeX
\[ a=b\cos C+c\cos B \]
Théorème de la médiane TeX
\[ 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 TeX
\[ 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 TeX
\[ 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 TeX
\[ 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 TeX
\[ \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 TeX
\[ 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 TeX
\[ \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 TeX
\[ \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\) TeX
\[ 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 TeX
\[ \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 TeX
\[ \frac{\sin a}{\sin A}=\frac{\sin b}{\sin B}=\frac{\sin c}{\sin C} \]
Loi des cosinus duale (angles) TeX
\[ \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 TeX
\[ \cos b\cos C=\sin b\cot a-\sin C\cot A \]
Excès sphérique et aire TeX
\[ 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 TeX
\[ 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 TeX
\[ 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 TeX
\[ \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 TeX
\[ 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 TeX
\[ \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 TeX
\[ 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é TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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é TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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 TeX
\[ \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.