Vue d'ensemble
Les fonctions circulaires (sin, cos, tan) et leurs réciproques (arcsin, arccos, arctan), puis les fonctions hyperboliques (sh, ch, th) et leurs réciproques (argsh, argch, argth), constituent le kit d'outils analytiques de toute la prépa : on les croise en dérivation, en intégration, en équations différentielles, en géométrie complexe et en physique des oscillateurs. Cette fiche rassemble les 13 propriétés / théorèmes incontournables, les 6 démonstrations à savoir refaire et les pièges qui font perdre des points sur les domaines de définition et les valeurs principales des réciproques.
Prérequis
- Cercle trigonométrique et angles orientés (radians, valeurs remarquables : 0, π/6, π/4, π/3, π/2)
- Fonction exponentielle réelle et complexe, formule d'Euler e^(iθ) = cos θ + i sin θ
- Dérivation des fonctions composées et théorème de dérivation d'une réciproque
- Notions de bijection, injectivité, surjectivité sur un intervalle
Tu confonds encore arcsin(sin x) et x ? C'est LE piège n°1 du chapitre, celui qui distingue les copies à 12 de celles à 16. Nos mentors alumni X · Centrale · Mines te débriefent tes propres exos et te font intégrer les valeurs principales par des schémas mentaux solides, en 1 à 2 séances ciblées.
Trouver un mentor MPSI →1. Fonctions circulaires sin, cos, tan
1.1 — Définitions et propriétés générales
Pour tout réel , on définit et comme les coordonnées du point du cercle trigonométrique repéré par l'angle orienté (en radians) :
Équivalent analytique : , . Les deux fonctions sont définies sur , à valeurs dans .
- Identité fondamentale : ; périodicité ; parité : paire, impaire.
- Translation : , .
- Dérivées : , .
La fonction tangente est définie par pour tout tel que , c'est-à-dire :
est -périodique (et non ) et impaire. Sa dérivée est .
1.2 — Formules d'addition et de duplication
Pour tous réels :
Démonstration (à partir de la formule d'Euler)
On part de la formule d'Euler : pour tout réel , . Avec , la propriété fondamentale de l'exponentielle complexe donne :
En développant le produit du membre de droite :
D'un autre côté, . Par identification des parties réelles et imaginaires (deux nombres complexes sont égaux ssi leurs parties réelles et imaginaires le sont) :
Pour et , on substitue en utilisant la parité de et l'imparité de .
En posant dans les formules d'addition :
D'où la linéarisation : , . À connaître par cœur pour calculer les intégrales .
En combinant les formules d'addition de et :
Et réciproquement, avec , :
- ⇔ ou , .
- ⇔ ou , .
- ⇔ , (n'oublie jamais d'imposer AVANT).
2. Réciproques circulaires arcsin, arccos, arctan
2.1 — Fonction arcsin
La restriction est continue, strictement croissante et surjective : c'est une bijection. Sa réciproque, appelée arc sinus, est notée :
Caractérisation : pour et , .
- est impaire, continue et strictement croissante sur ; dérivable sur avec .
- uniquement si ; en revanche pour tout .
Pour tout :
Démonstration (dérivation de la réciproque)
Soit . Posons , donc et . La fonction est dérivable sur et sa dérivée y est non nulle ( sur cet intervalle ouvert). Par le théorème de dérivation d'une bijection réciproque, est dérivable en et :
Il reste à exprimer en fonction de . De on tire , donc . Comme , , donc . On obtient bien :
Remarque : aux bornes , la dérivée tend vers — la courbe de y présente des tangentes verticales.
2.2 — Fonction arccos
La restriction est continue, strictement décroissante et surjective. Sa réciproque, notée , est définie sur à valeurs dans :
Caractérisation : pour et , .
- est continue, strictement décroissante sur ; ni paire ni impaire ; .
- Relation fondamentale : sur ; dérivable sur avec .
2.3 — Fonction arctan
La restriction est une bijection (continue, strictement croissante, surjective). Sa réciproque, notée , est définie sur à valeurs dans :
est dérivable sur et :
Démonstration (dérivation de la réciproque)
Soit et , donc et . La fonction est dérivable sur de dérivée , qui est strictement positive (donc non nulle) sur cet intervalle. Le théorème de dérivation d'une bijection réciproque donne :
Or , donc et . D'où :
Cette formule est fondamentale : elle fait de la primitive canonique de sur , à connaître par cœur pour toute primitive du type .
- est impaire, strictement croissante, continue sur ; limites aux bornes (asymptotes horizontales).
- Identité pour , pour .
Les réciproques trigonométriques sont LE piège n°1 des khôlles MPSI. Domaines, symétries, dérivées, identités … nos mentors alumni X · Centrale · Mines te font passer une khôlle blanche d'une heure pour fixer les automatismes avant ta vraie khôlle.
Réserver une khôlle blanche →3. Fonctions hyperboliques sh, ch, th
3.1 — Définitions exponentielles
Pour tout réel , on pose :
et sont définies sur ; l'est aussi ( pour tout ).
- Parité : paire, et impaires ; positivité (égalité ssi ).
- Dérivées : , (pas de signe — différence cruciale avec sin/cos), .
- Limites : en (asymptotes horizontales).
3.2 — Identité fondamentale et formules d'addition
Pour tout réel :
Démonstration (calcul direct à partir des définitions)
Par les définitions exponentielles :
En soustrayant :
Conséquence géométrique : le point parcourt, quand décrit , la branche d'hyperbole d'équation avec — d'où le nom de fonctions « hyperboliques ».
Pour tous réels :
À retenir : par rapport aux formules circulaires, le signe entre les deux produits dans est positif (alors que dans il est négatif). En duplication : , .
4. Réciproques hyperboliques argsh, argch, argth
4.1 — Argument sinus hyperbolique
est continue, strictement croissante et surjective (limites aux bornes) : c'est une bijection. Sa réciproque est notée :
Pour tout :
De plus, est dérivable sur et :
Démonstration (équation du second degré en )
Soit et , donc , c'est-à-dire . Multipliant par :
On pose : , équation du second degré en de discriminant . Les deux racines sont :
Or impose de garder uniquement la racine positive. Comme , on a et . Donc , d'où :
Pour la dérivée, on dérive directement cette expression (composée logarithme/racine) ou on applique le théorème de dérivation d'une réciproque : , avec (signe positif car ).
4.2 — Argument cosinus hyperbolique
La restriction est une bijection (continue, strictement croissante, surjective). Sa réciproque est notée :
Expression logarithmique (démonstration analogue à argsh) :
Dérivée sur : .
4.3 — Argument tangente hyperbolique
est une bijection. Sa réciproque, notée , est définie sur :
Dérivée sur : .
Tableau des dérivées (à savoir réciter en 10 secondes) :
- sur
- sur
- sur
- sur
- sur
- sur
- → primitive (ou )
- → primitive
- → primitive
- → primitive sur
- → primitive sur
5. Erreurs classiques en copie (vues par les correcteurs)
Ces erreurs sont relevées chaque année dans les rapports de jury (CCINP, Mines-Ponts, Centrale, X-ENS) sur les épreuves comportant des fonctions trigonométriques et hyperboliques. Elles coûtent typiquement entre 0,5 et 1,5 point par occurrence.
6. Pour aller plus loin
Ce chapitre est l'atlas de référence de toute la suite du programme d'analyse et de géométrie. Les réinvestissements directs :
- Calcul intégral — primitives types sortent toutes de cette fiche.
- Équations différentielles d'ordre 2 — donne ; donne .
- Nombres complexes — la formule d'Euler fonde toute la trigonométrie analytique.
- Géométrie euclidienne — angles non orientés mesurés via (formule ).
- Physique des oscillateurs — oscillateur amorti, caténaire .
Tu veux verrouiller trigonométrie et hyperbolique avant le DS de janvier ? Nos stages intensifs vacances (1 semaine, 25h) reprennent l'intégralité du chapitre avec exos type concours, calculs de primitives chronométrés et khôlles blanches. Encadrés par des alumni X · ENS · Centrale · Mines.
Voir les stages MPSI →Récap final — Ce qu'il faut absolument retenir
À la veille d'une khôlle ou d'un DS, parcours cette checklist : tu dois pouvoir répondre « oui, sans hésiter » à chaque question.
- Sais-tu énoncer et démontrer les formules d'addition , à partir de la formule d'Euler ?
- Connais-tu les formules de duplication , , , et la linéarisation ?
- Sais-tu transformer un produit en somme et inversement en produit ?
- Sais-tu résoudre , , ?
- Connais-tu les domaines et images de , , ?
- Sais-tu démontrer et ?
- Connais-tu la relation ?
- Sais-tu pourquoi en général, et comment ramener dans ?
- Sais-tu donner les définitions exponentielles de , , et démontrer ?
- Connais-tu les dérivées , (sans signe !) ?
- Sais-tu démontrer en posant ?
- Connais-tu par cœur le tableau des 6 dérivées des réciproques (arcsin, arccos, arctan, argsh, argch, argth) pour reconnaître une primitive cachée ?
Démonstrations à savoir refaire
- Formules d'addition trigonométriques — à partir de (Euler)
- Dérivée de arcsin — théorème de dérivation d'une réciproque + sur
- Dérivée de arctan — théorème de dérivation d'une réciproque +
- Identité ch² - sh² = 1 — calcul direct via les définitions exponentielles
- Expression logarithmique de argsh — équation du second degré en , choix de la racine positive