Relation de Chasles

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (février 2023).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes 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 XIX^e siècle, dont les travaux en géométrie ont contribué à son adoption dans le monde francophone^{[note 1]}.

Calcul vectoriel[modifier | modifier le code]

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[modifier | modifier le code]

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

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

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

Mesures algébriques[modifier | modifier le code]

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[modifier | modifier le code]

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

\int _{a}^{b}{f(x)\mathrm {d} x}+\int _{b}^{c}{f(x)\mathrm {d} x}=\int _{a}^{c}{f(x)\mathrm {d} x}.

Somme[modifier | modifier le code]

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 $m$ , $n$ et $p$ tels que $m \leq n < p$ , on a :

\sum _{k=m}^{n}{x_{k}}+\sum _{k=n+1}^{p}{x_{k}}=\sum _{k=m}^{p}{x_{k}}.

Rapport anharmonique[modifier | modifier le code]

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 $(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 :

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

Notes[modifier | modifier le code]

↑ 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 | modifier le code]

Katsumi Nomizu et Takeshi Sasaki, Affine Differential Geometry, vol. 111, Cambridge University Press, coll. « Cambridge Tracts in Mathematics », 2008, 280 p. (ISBN 978-0-521-06439-2, présentation en ligne).

Sur les autres projets Wikimedia :

relation de Chasles, sur le Wiktionnaire

Portail des mathématiques

[1] 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).

[note 1]