Leçon
La théorie — Explorateur des fonctions hyperboliques
Les fonctions hyperboliques portent le nom d’une courbe, et ce nom contient toute l’idée. Là où (cos t, sin t) parcourt le cercle x² + y² = 1, le couple (cosh t, sinh t) parcourt l’hyperbole x² − y² = 1 — un signe changé, une courbe échangée. La question plus difficile, et le vrai sujet de cette leçon, est de savoir ce que signifie le paramètre commun t une fois le cercle quitté.
Ce que signifie chaque symbole
t- le paramètre. Sur le cercle, on a appris à l’appeler un angle. Cette lecture ne survit pas au passage à l’hyperbole, et la remplacer correctement est l’objet des étapes 3 et 4.
cosh t(eᵗ + e⁻ᵗ)/2, l’abscisse du point. Jamais inférieure à 1 et jamais oscillante — deux choses que le mot « cosinus » suggère activement et qui sont ici toutes deux fausses.sinh t(eᵗ − e⁻ᵗ)/2, l’ordonnée. Non bornée dans les deux sens, et nulle seulement ent = 0.x² − y² = 1- l’hyperbole unité. Cette page affiche
cosh²t − sinh²tdans ses résultats et montre toujours 1 — ce nombre est cette équation, et c’est là la raison du nom.
D’où vient la formule
- Partons de là où l’intuition s’est formée. Le point
(cos t, sin t)est sur le cercle unité, et sur un cercle le paramètreta deux lectures qui donnent le même nombre : c’est la longueur d’arc parcourue depuis(1, 0), et c’est le double de l’aire du secteur balayé depuis le centre. Comme les deux coïncident, personne n’est jamais forcé de choisir, et tout le monde sort de l’école en appelanttun angle. - Changeons maintenant un signe et demandons un point sur
x² − y² = 1. Prenonscosh t = (eᵗ + e⁻ᵗ)/2etsinh t = (eᵗ − e⁻ᵗ)/2, élevons au carré et soustrayons : les termes croisés s’annulent et il reste(e²ᵗ + 2 + e⁻²ᵗ)/4 − (e²ᵗ − 2 + e⁻²ᵗ)/4 = 1. Donc(cosh t, sinh t)est sur cette hyperbole pour touttréel, par construction. C’est l’identité qu’affiche la page, et toute la justification du mot « hyperbolique ». - Laquelle des deux lectures de
tpasse donc le cap ? Pas la longueur d’arc. La distance parcourue le long de l’hyperbole de(1, 0)à(cosh t, sinh t)n’est past, et n’a aucune formule élémentaire — c’est une intégrale elliptique, raison pour laquelle aucun manuel ne la donne. Celle qui survit est l’autre : l’aire. - Voici cette affirmation méritée plutôt qu’assénée. Le secteur hyperbolique — borné par l’axe des x, le rayon jusqu’à
(cosh t, sinh t)et la courbe elle-même — vaut le triangle sous le rayon moins la région sous l’hyperbole. Le triangle vaut½·cosh t·sinh t. Pour l’autre morceau,∫√(x² − 1) dx = ½(x√(x² − 1) − arcosh x), et l’évaluation de1àcosh tdonne½(cosh t·sinh t − t), puisque√(cosh²t − 1) = sinh tetarcosh(cosh t) = t. En soustrayant :½·cosh t·sinh t − ½(cosh t·sinh t − t) = t/2. L’aire du secteur vaut exactementt/2— la même règle que pour le cercle. - L’énoncé honnête est donc que
test le double d’une aire balayée, dans les deux géométries, et que « angle » était une coïncidence du cercle qui ne voyage pas. C’est pourquoi le panneau géométrique marque ici deux points et aucun angle : en tirant le curseur, le point circulaire balaie à vitesse angulaire constante alors que le point hyperbolique, visiblement, non — et la quantité qu’ils partagent est l’aire derrière eux, non la direction où ils se trouvent.
Comment lire ce que vous voyez
Deux panneaux et deux nombres. À gauche, la fonction choisie en fonction de t ; à droite, la géométrie, la plus intéressante des deux — un cercle unité portant (cos t, sin t) à côté de l’hyperbole portant (cosh t, sinh t), tous deux pilotés par le même curseur. La case « comparer aux circulaires » superpose le partenaire circulaire, rendant la divergence directement visible. Parmi les affichages, c’est le second qu’il faut regarder : cosh²(t) − sinh²(t) indique 1.000000 à tous les réglages, parce que ce n’est pas un résultat calculé mais l’équation de la courbe, réécrite.
- Suppose
- Un
tréel, et la branche droite de l’hyperbole —cosh t ≥ 1toujours, donc ce paramétrage n’atteint jamais la branche gauche, et aucuntréel ne l’atteindra. L’hyperbole unité en particulier, ses deux demi-axes valant 1 ; unex²/a² − y²/b² = 1générale demande(a·cosh t, b·sinh t)et le joli résultat d’aire gagne un facteurab. Et l’aire comptée comme secteur signé mesuré depuis le demi-axe positif, si bien qu’untnégatif balaie en dessous. - Ne tient plus quand
- Le nom induit en erreur dans deux directions à la fois, et les deux méritent d’être retenues. Lisez
tcomme un angle et tout tracé hyperbolique devient discrètement faux : aucun angle de la figure ne vautt, et la longueur d’arc, autre candidat naturel, n’est pas élémentaire. Lisez « cosinus » comme une oscillation bornée et l’erreur inverse suit —cosh tn’est jamais inférieur à 1 et ne redescend jamais, ce qui explique qu’il soit la forme d’une chaîne suspendue et non celle d’une onde. Ces fonctions sont nommées d’après la courbe qu’elles paramètrent, non d’après un comportement partagé avec leurs homonymes circulaires.
Problème entièrement résolu
-
Cosh 1 à partir des exponentielles et de la quantité physique 1,543081 6 étapes
Calculez cosh 1 à partir des exponentielles, démontrez l'identité qui donne leur nom à ces fonctions — puis déterminez quelle grandeur physique représente 1,543081.
-
Les deux fonctions sont construites à partir des deux mêmes exponentielles, ne différant que par un signe. Tout le reste en découle.
-
Évaluez en t = 1 avec e = 2,718282. C'est le nombre affiché par l'outil.
-
Élevez les deux au carré et soustrayez. Les termes croisés s'annulent et ce qui subsiste est 4/4 — une identité sans aucune approximation, et la raison pour laquelle le paramètre trace une hyperbole plutôt qu'un cercle.
-
Additionnez-les plutôt et l'exponentielle réapparaît intacte. Le rapport est tanh, qui est borné par ±1 quelle que soit la valeur atteinte par l'argument — un plafond qui aura son importance dans un instant.
-
Prenez ce rapport borné comme vitesse en unités de c et calculez le facteur de Lorentz. Il donne exactement le nombre de l'étape 2.
-
Additionnez maintenant deux rapidités de manière ordinaire et effectuez la conversion inverse. Le résultat concorde avec l'addition relativiste des vitesses, ce qui fait de la rapidité la coordonnée naturelle.
Réponse
1,543081, soit le facteur de Lorentz d'un objet se déplaçant à 0,7616 c. Ce n'est pas une simple coïncidence déguisée. Si l'on définit la rapidité par β = tanh φ, alors γ = cosh φ découle de l'identité démontrée à l'étape 3, et l'ensemble de la relativité restreinte unidimensionnelle devient de la trigonométrie hyperbolique. L'avantage est que les rapidités s'additionnent tout simplement : deux boosts de rapidité 1 donnent tanh 2 = 0,9640 c, ce qui est précisément ce que donne la formule d'addition des vitesses d'Einstein pour 0,7616 c combiné avec lui-même. Les vitesses ne s'additionnent pas ; ce sont les angles dont elles sont les cosinus qui s'additionnent.
-
Références (2)
- The lesson — the definitions, the identity and the sector-area interpretation of the argument: F. W. J. Olver, D. W. Lozier, R. F. Boisvert and C. W. Clark (eds.), NIST Handbook of Mathematical Functions, ch. 4. Cambridge University Press, 2010. ISBN 978-0-521-19225-5.
- Where the functions and their name come from: V. Riccati, Opusculorum ad res physicas et mathematicas pertinentium, vol. I. Bologna, 1757 — where the hyperbolic sine and cosine are introduced. J. H. Lambert, "Mémoire sur quelques propriétés remarquables des quantités transcendentes circulaires et logarithmiques", Mémoires de l'Académie royale des sciences de Berlin 17, 1768, which brought them into general use.