Relation de Chasles

Modèle:Confusion Modèle:Sources 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 Modèle:S-, dont les travaux en géométrie ont contribué à son adoption dans le monde francophone.

Calcul vectoriel

La 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 :

$\overrightarrow{AB}+\overrightarrow{BC}=\overrightarrow{AC}.$

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 $\overrightarrow{AC}$ est ainsi la composée de deux translations : celle de vecteur $\overrightarrow{AB}$ et celle de vecteur $\overrightarrow{BC}.$

Angles orientés

On retrouve aussi cette propriété pour décrire une relation entre des angles orientés en géométrie plane.

Pour tous vecteurs $\overrightarrow{u},\overrightarrow{v},\overrightarrow{w}$ non nuls, on a :

$(\widehat{\overrightarrow{u},\overrightarrow{v}})+(\widehat{\overrightarrow{v},\overrightarrow{w}})=(\widehat{\overrightarrow{u},\overrightarrow{w}}).$

Mesures algébriques

On 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 :

$\overline{AB}+\overline{BC}=\overline{AC}.$

Intégration

Il existe aussi une relation de Chasles en calcul intégral.

Si Modèle:Math est une fonction intégrable sur un intervalle Modèle:Math, alors pour tous Modèle:Math, Modèle:Math et Modèle:Math dans Modèle:Math, on a :

$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x+\underset{b}{\overset{c}{\int }}f(x)\mathrm{d}x=\underset{a}{\overset{c}{\int }}f(x)\mathrm{d}x.$

Somme

Dans 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 Modèle:Math, Modèle:Math et Modèle:Math tels que Modèle:Math, on a :

$\sum _{k=m}^n{x}_k+\sum _{k=n+1}^p{x}_k=\sum _{k=m}^p{x}_k.$

Rapport anharmonique

Par 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 Modèle:Math le rapport anharmonique des quatre nombres complexes Modèle:Math, Modèle:Math, Modèle:Math et Modèle:Math, alors pour tous nombres complexes Modèle:Math, Modèle:Math, Modèle:Math, Modèle:Math et Modèle:Math deux à deux distincts, on a :

$(a,b;c,d)\times (a,b;d,e)=(a,b;c,e).$

Bibliographie

• Modèle:Ouvrage.

Modèle:Portail