Voir la source de Translation

{{Voir homonyme|Translation (reliques)}}
[[Image:TraslazioneOK.png|thumb|Une translation déplace tous les points d'un objet géométrique de la même distance, selon la même direction et dans le même sens. C'est-à-dire suivant un même [[vecteur]].]]

En [[géométrie]], une '''translation''' est une [[transformation géométrique]] qui correspond à l'idée intuitive de « glissement » d'un objet, sans [[Rotation plane|rotation]], retournement ni déformation de cet objet.

En [[géométrie classique]], la notion de translation est très fortement liée à celle de [[vecteur]], qu'elle suit ou précède. Ainsi trouve-t-on la translation de vecteur <math>\vec{u}</math> définie comme une [[Transformation géométrique|transformation]] qui, à tout point ''M'', associe le point ''M' '' tel que : 
:<math>\overrightarrow{MM'} = \vec{u}</math>

On dit alors que ''M’'' est le '''translaté''' de ''M''. C'est l'image de ''M'' par cette translation.

La notion se généralise en [[géométrie affine]], associée à l'application linéaire associée : une translation est une [[application affine]] dont l'application linéaire associée est l'[[application identité|identité]].

On parle également de translation, ou de '''mouvement de translation''' en physique pour un mouvement dans lequel, à tout instant, le solide garde la même orientation dans l'espace. Ce mouvement n'est pas toujours [[mouvement rectiligne|rectiligne]]. Ainsi le mouvement d'une nacelle dans la grande roue d'une fête foraine est un mouvement de [[translation circulaire]] (la trajectoire est circulaire mais la nacelle reste toujours verticale).

== Géométrie « classique » ==

=== Plusieurs approches ===
[[Fichier:Translation AB DC.PNG|thumb|La translation qui transforme A en B transforme C en D car [BC] et [AD] ont même milieu.]]

En géométrie classique, selon les approches, on peut définir d'abord les vecteurs et ensuite les translations ou bien définir les vecteurs à partir des translations.

Le vecteur peut être défini comme une [[Relation d'équivalence|classe d'équivalence]] de bipoints [[Équipollence (mathématiques)|équipollents]]<ref>{{Ouvrage |auteur=Collectif |titre=Les mathématiques |collection=Les encyclopédies du savoir moderne |éditeur=Retz |année=1975 |lire en ligne={{Google Livres|id=qd7CM2MpZMsC|page=298}} |passage=298}}.</ref> : (A,B) et (C,D) sont équipollents si les segments [AD] et [BC] ont même milieu, c'est-à-dire  si (ABDC) est un parallélogramme (éventuellement plat). Dans ce cas, la translation de vecteur <math>\overrightarrow{AB}</math> est définie comme l'application qui au point M associe le point M' tel que 
{{retrait|<math>\overrightarrow{MM'}=\overrightarrow{AB}.</math>}}

Selon une seconde approche, pour tous points A et B, et pour tout point C, il existe un unique point D tel que le quadrilatère ABDC dessine un parallélogramme éventuellement plat<ref>Programme de mathématiques du collège, [[Bulletin officiel (France)|BO]] n° 44 du 12 décembre 1985.</ref> ou bien tel que [AD] et [BC] ont même milieu<ref>[http://media.education.gouv.fr/file/30/52/3/programme_mathematiques_seconde_65523.pdf Programme de mathématiques de la classe de seconde], BO n°30 du 23 juillet 2009.</ref>. L'application qui, au point C, associe le point D est appelée translation de vecteur <math>\overrightarrow{AB}</math>. Deux vecteurs sont égaux s'ils conduisent à la même translation. 

[[Image:Translation geometrique.png|thumb|left|La translation de vecteur '''u''' transforme le triangle ABC en le triangle A'B'C'. On remarque la présence de plusieurs parallélogrammes : ABB'A', ACC'A', BCC'B'.]]

Cependant, quelle que soit l'approche, la translation est liée à la présence de parallélogramme. Elle se traduit par un déplacement de toute la figure sans changement ni de la direction, ni du sens, ni des longueurs.

Construire l'image d'une figure par une translation revient à la faire glisser dans une [[direction (géométrie)|direction]], un [[vecteur|sens]] et avec une [[longueur]] donnée.

Remarquons enfin que dans le cadre de l'approche [[Géométrie analytique|analytique]] héritée de [[Descartes]], on peut d'emblée {{infra|Expressions analytiques d’une translation}} se placer dans un [[espace vectoriel]] ''E'' (par exemple, sur '''R''' : le plan '''R'''{{2}} ou l'espace '''R'''{{3}}) et définir la translation de vecteur ''a'' comme<ref>{{Ouvrage|langue=|auteur1=[[Jean Dieudonné]]|titre=Algèbre linéaire et géométrie élémentaire|passage=34|lieu=|éditeur=Hermann|date=1964|pages totales=|isbn=|lire en ligne=}}.</ref> l'application qui à tout point ''x'' de ''E'' associe le point ''a + x'' de ''E''.

=== Propriétés de conservation ===
Un tel glissement n'entraîne pas de déformation ni de changement de disposition, donc :
* dans une translation, les longueurs, le parallélisme, la perpendicularité et plus généralement les angles sont conservés ;
* une translation transforme une droite en une droite parallèle ;
* par une translation, une figure géométrique est transformée en une figure géométrique [[Isométrie|isométrique]]. En effet, il n'y a aucune déformation : les deux figures sont superposables.

Pour construire l'image d'une figure géométrique, on ne construit donc que l'image de ses points caractéristiques : pour un segment, ses extrémités, pour un triangle, ses trois sommets, pour un cercle, son centre et son rayon{{, etc.}}

La translation est la seule transformation qui laisse invariants les vecteurs c’est-à-dire telle que 
:<math>\overrightarrow{AB} = \overrightarrow{A'B'}</math>

=== Composition ===
[[Fichier:Enchainement translation.PNG|thumb|'''Composée de plusieurs translations''' - Pour passer du point M au point M{{ind|5}}, plusieurs chemins sont possibles. On peut transformer ''M'' en ''M1'', ''M1'' en ''M2'', ''M2'' en ''M3'', ''M3'' en ''M4'' et ''M4'' en ''M5'' ou aller directement du point ''M'' au point ''M5''. Cette propriété illustre la [[relation de Chasles]] lorsque le vecteur est défini à partir de la notion de translation. En effet, pour additionner deux vecteurs, on a recours à une composée de deux translations.]]

La notion de [[Composition de fonctions|composée]] de translations est fortement liée à la notion de somme de vecteurs, qu'elle la précède ou qu'elle en soit une conséquence. 

La composée de deux translations de vecteur <math>\vec{u}</math> et <math>\vec{v}</math> est une translation de vecteur <math>\vec{u}+\vec{v}</math>. La translation de vecteur nul est l’[[application identité|identité]]. Ces propriétés confèrent à l’ensemble des translations muni de la loi de composition un statut de [[groupe (mathématiques)|groupe]] [[Groupe abélien|commutatif]] isomorphe à l’ensemble des vecteurs du plan ou de l’espace.

Ce groupe est un sous-groupe du groupe des [[déplacement (géométrie)|déplacement]]s.

[[Image:Simx2=traslOK.png|left|thumb|Une [[Réflexion (mathématiques)|réflexion]] selon un [[axe de symétrie]] suivie d'une autre réflexion selon un deuxième axe de symétrie parallèle au premier est équivalent à une translation.]]

Une translation est aussi le résultat de la composée de deux réflexions selon des axes parallèles : si (d) et (d') sont deux droites parallèles et si ''R'' est un point de (d), la composée s{{ind|d'}} o s{{ind|d}} des réflexions d'axe (d) et (d') est une translation qui transforme ''R'' en son symétrique par rapport à (d').

Une translation peut aussi être obtenue en composant deux [[homothétie]]s de rapports inverses et de centres différents, ou deux [[rotation plane|rotations planes]] d'angles opposés et de centres différents. Ces faits expliquent que l'on trouve les translations dans le groupe des homothéties-translations et dans celui des rotations-translations.

{{clr}}

== Généralisation à un espace affine ==
{{article détaillé|espace affine}}

Un espace affine peut être défini comme associé à un espace vectoriel. Quelle que soit alors la définition envisagée, la translation en est une composante principale.

Si on définit l'espace affine à l'aide d'une application φ, qui à chaque bipoint associe un vecteur, φ(''AB'')='''u''', la seconde propriété que doit vérifier φ est l'existence des translations : pour tout vecteur '''u''', et tout point ''M'', il existe un unique point ''M’''tel que φ(MM’) = '''u'''. L'application qui associe M’ à M est appelée la translation de vecteur '''u'''.

Si on définit l'espace affine à partir d'une loi externe qui, à chaque couple formé d'un point et d'un vecteur (''A'', '''u''') associe un point ''B'' noté ''A'' + '''u''', la translation de vecteur '''u''' est l'application qui, à M, associe le point M + '''u'''<ref>[[Jacqueline Lelong-Ferrand]] et [[Jean-Marie Arnaudiès]], ''Cours de mathématiques - Tome 3, Géométrie'', Dunod, 1977, {{p.|12}}.</ref>.

L'ensemble des translations muni de la loi de composition interne est un groupe isomorphe à V muni de l'addition des vecteurs.

Les translations sont les applications affines dont l'application linéaire associée est l'identité dans V.

== Mouvement de translation ==
[[Fichier:Translation movement in Ferris wheel.svg|thumb|'''Translation circulaire dans une grande roue'''. Il existe une translation permettant de passer de la position de la nacelle à un instant t{{ind|1}}  à sa position à l'instant t{{ind|2}}. La trajectoire du point d'attache est circulaire, et celle du bord inférieur droit de la nacelle(en rouge) lui est identique à une translation près. Les rayons de la roue, quant à eux, ont un mouvement de rotation.]]

En cinématique, un solide indéformable est en mouvement de translation si tout segment joignant deux points du solide reste parallèle à lui-même au cours du mouvement<ref>Séverine Bagard, Physique-Chimie 1e S: Tout-en-un, Editions Bréal, 2008, [https://books.google.fr/books?id=C9SY3rayOFYC&pg=PA51#v=onepage&q&f=false {{p.|51}}]</ref>.

La trajectoire du solide n'est pas nécessairement rectiligne, et peut être curviligne. Ainsi en est-il de la nacelle d'une grande roue, dont la trajectoire est circulaire, qui subit un mouvement de [[translation circulaire]]. Un mouvement de translation peut être considéré comme une succession de translations mathématiques infinitésimales. À chaque instant, chaque point du solide possède le même vecteur vitesse.

Pour deux instants t{{ind|1}} et t{{ind|2}}, on peut définir une translation T{{ind|t1,t2}} opérant de la manière suivante : pour tout point M du solide, dont la position en  t{{ind|1}} est M{{ind|1}} et la position en t{{ind|2}} est M{{ind|2}}, on a T{{ind|t1,t2}}(M{{ind|1}})=M{{ind|2}}.

De plus tous les points du solide possèdent des trajectoires homologues, c'est-à-dire identiques à une translation près.

== Expressions analytiques d’une translation==

=== Coordonnées cartésiennes ===
Dans le plan, la translation de vecteur <math>\vec{u}(a , b)</math>, transforme le point ''M''(''x'', ''y'') en ''M'' {{'}}(''x'' {{'}}, ''y'' {{'}}) tel que
:''x' = x + a''
:''y' = y + b''

Dans l’espace, la translation de vecteur <math>\vec{u}(a , b , c)</math>, transforme le point ''M''(''x'', ''y'', ''z'') en ''M'' {{'}}(''x'' {{'}}, ''y'' {{'}}, ''z'' {{'}}) tel que
:''x' = x + a''
:''y' = y + b''
:''z' = z + c''

Plus généralement, dans un espace de dimension ''n'', la translation de vecteur <math>\vec{u}</math> de coordonnées <math>(a_i)_{i \in [1, n]}</math>, transforme le point <math>M(x_i)_{i \in [1,n]}</math> en <math>M'(x'_i)_{i \in [1,n]}</math> tel que
: <math>x'_i   = x_i + a_i, \forall i \in \{ 1 , n\}</math>

=== Expression complexe ===
Dans le plan complexe, la translation de vecteur <math>\vec{u}</math> d'affixe complexe ''t'', transforme le point ''M'' d'affixe ''z'' en ''M{{'}}'' d'affixe ''z{{'}}'' tel que 
:''z' = z + t''

=== Coordonnées homogènes===
En travaillant avec les [[coordonnées homogènes]], on peut définir une matrice de translation :

Dans un espace affine de dimension n, la matrice de translation de  vecteur <math>\vec{u} (a_i)_{i \in [1, n]}</math> est une matrice de dimension n+1 définie par :
: <math> T_{\mathbf{v}} = 
\begin{bmatrix}
1 & 0 &\cdots&0 & a_1 \\
0 & 1 &\cdots&0& a_2 \\
\vdots&\vdots&\ddots&\vdots&\vdots\\
0 & 0 &\cdots& 1 & a_n \\
0 & 0 &\cdots& 0 & 1
\end{bmatrix}
. \! </math>
L'écriture de la translation devient alors
: <math> T_{\mathbf{v}} \mathbf{M} =
\begin{bmatrix}
1 & 0 &\cdots&0 & a_1 \\
0 & 1 &\cdots&0& a_2 \\
\vdots&\vdots&\ddots&\vdots&\vdots\\
0 & 0 &\cdots& 1 & a_n \\
0 & 0 &\cdots& 0 & 1
\end{bmatrix}
\begin{bmatrix}
x_1\\ x_2\\\vdots\\ x_n \\ 1
\end{bmatrix}
=
\begin{bmatrix}
x_1+a_1 \\ x_2+a_2 \\\vdots\\ x_n+a_n \\ 1
\end{bmatrix}
= \mathbf{M'} </math>

Cette écriture permet de créer un isomorphisme entre les matrices n+1 de cette forme et l'ensemble des translations dans un espace de dimension n.

L'inverse d'une telle matrice s'obtient en changeant le signe du vecteur :
: <math> T^{-1}_{\mathbf{v}} = T_{-\mathbf{v}} . \! </math>

De même, le produit des matrices revient à faire une somme de vecteurs:
: <math> T_{\mathbf{u}}T_{\mathbf{v}} = T_{\mathbf{u}+\mathbf{v}} . \! </math>

Et puisque l'addition des vecteurs est commutative, le groupe multiplicatif de matrices ainsi créé est un groupe commutatif.

== Notes et références ==
{{Références}}

== Bibliographie ==
* [http://www2.cndp.fr/archivage/valid/54412/54412-9700-12061.pdf Programme du cycle central du collège]- BO hors série {{n°|1}} du 13 février 1997.
* Cissé Ba, ''Etude épistémologique et didactique de l'utilisation du vecteur en mathématiques et en physique – lien entre mouvement de translation et translation mathématique.'', Thèse 2007, [http://tel.archives-ouvertes.fr/docs/00/19/22/41/PDF/These-BA-2007.pdf Lire en ligne]

{{Portail|géométrie}}

[[Catégorie:Transformation géométrique]]