Relation de Chasles
En mathématiques, plus précisément en géométrie vectorielle euclidienne, la relation de Chasles est une relation permettant d'additionner deux vecteurs dans un espace affine. Par extension, elle peut aussi être utilisée en géométrie plane, en intégration, en analyse complexe, etc.
Son nom vient de Michel Chasles, un mathématicien français du XIXe siècle, dont les travaux en géométrie ont contribué à son adoption dans le monde francophone[note 1].
Calcul vectoriel
modifierLa relation de Chasles permet de calculer la somme de deux vecteurs dans un espace affine, quand l'extrémité du premier est choisie égale à l'origine du second. Elle s'énonce de la manière suivante.
Pour tous points A, B et C d'un espace affine, on a :
Cette identité signifie que la translation du point A vers le point C peut être réalisée en passant par un point quelconque B. La translation de vecteur est ainsi la composée de deux translations : celle de vecteur et celle de vecteur
Angles orientés
modifierOn retrouve aussi cette propriété pour décrire une relation entre des angles orientés en géométrie plane.
Pour tous vecteurs non nuls, on a :
Mesures algébriques
modifierOn trouve aussi cette propriété pour exprimer des mesures algébriques sur une droite orientée.
Pour tous points A, B et C d'une droite orientée, on a :
Intégration
modifierIl existe aussi une relation de Chasles en calcul intégral.
Si f est une fonction intégrable sur un intervalle I, alors pour tous a, b et c dans I, on a :
Somme
modifierDans le cas de sommes, on dispose d'une relation analogue au cas de l'intégration, à ceci près que la deuxième somme débute au rang suivant la fin de la première (et non pas au même rang).
Plus formellement, pour tous entiers naturels m, n et p tels que m ≤ n < p, on a :
Rapport anharmonique
modifierPar extension, il existe également une relation de Chasles multiplicative (et non pas additive comme l'originale) pour le rapport anharmonique de nombres complexes.
Si l'on note (a, b ; c, d) le rapport anharmonique des quatre nombres complexes a, b, c et d, alors pour tous nombres complexes a, b, c, d et e deux à deux distincts, on a :
Notes
modifier- Dans le monde anglophone, cette relation fait partie des axiomes de base de la géométrie vectorielle et n'est pas rattachée au nom de Chasles. Nomizu et Sasaki l'intègrent aux axiomes de Weyl (voir « Affine space » sur le Wikipédia anglais).
Bibliographie
modifier- Katsumi Nomizu et Takeshi Sasaki, Affine Differential Geometry, vol. 111, Cambridge University Press, coll. « Cambridge Tracts in Mathematics », , 280 p. (ISBN 978-0-521-06439-2, présentation en ligne).