Voir la source de Similitude (géométrie)

{{Voir homonymes|Similitude}}
{{autre|la similitude des triangles|Triangles semblables}}
En [[géométrie euclidienne]], une '''similitude''' est une [[transformation géométrique]] qui multiplie toutes les distances par une constante fixe, appelée son rapport. L'[[Image directe|image]] de toute figure par une telle application est une figure ''semblable'', c'est-à-dire intuitivement « de même forme ».
[[Fichier:Similar-geometric-shapes.svg|thumb|300px|Dans ce dessin, les objets de même couleur sont ''semblables''.]]

Les [[isométrie]]s, c'est-à-dire les transformations qui conservent les distances sont des cas particuliers de similitudes ; elles transforment des figures en des figures de même forme et de même taille. Les autres similitudes sont les composées d'une isométrie et d'une [[homothétie]] qui [[agrandissement et réduction|agrandit ou réduit]] la taille des figures. Parmi les similitudes, certaines conservent l'[[Orientation (mathématiques)|orientation]], elles sont appelées '''similitudes directes'''. Les autres sont appelées '''similitudes indirectes'''.

Dans le plan, les [[Translation (géométrie)|translations]], les [[rotation plane|rotations]], les [[Réflexion (mathématiques)|symétries orthogonales selon un axe]], les homothéties sont des cas particuliers de similitudes. On démontre qu'une similitude plane est toujours décomposable en au plus deux transformations de ce type. L'expression complexe d'une similitude plane est la donnée de la relation entre l'[[plan complexe|affixe d'un point]] et l'affixe de son image, l'expression complexe d'une similitude directe est celle d'une [[application affine]] sur le corps des complexes <math>\mathbb{C}</math>.

Dans un [[espace euclidien]] quelconque, la similitude se décrit à l'aide d'une [[Matrice (mathématiques)|matrice]]. Dans le cas d'une similitude vectorielle, cette matrice est [[Matrice inversible|inversible]] et la matrice inverse est proportionnelle à la [[matrice transposée]].

Une similitude peut aussi se définir plus généralement dans un [[espace vectoriel]] quelconque muni d'une [[forme quadratique]].

== Similitudes planes ==
=== Définitions ===
==== Définitions équivalentes ====
[[Fichier:SimilitudeL.svg|thumb|Le L bleu est l'image du L noir par une similitude directe de rapport plus grand que 1 (agrandissement), le L inversé rouge est l'image du L noir par une similitude indirecte de rapport plus petit que 1 (réduction)]]
Si l'on considère, dans le plan euclidien, une transformation, c'est-à-dire une [[bijection]] du plan dans lui-même, ''ƒ'', les propositions suivantes sont équivalentes :
* ƒ multiplie les distances par un réel strictement positif ''k'' ;
* ƒ conserve les rapports de distances ;
* ƒ conserve les angles géométriques (c'est-à-dire les mesures d'angles non orientés).

Une transformation du plan qui vérifie ces propositions est appelée une '''similitude du plan'''.

On trouve cette définition, dans de nombreux ouvrages, et dans les directives de l'[[Ministère de l'Éducation nationale (France)|Éducation nationale française]]<ref>{{harvsp|id=prog2002|texte=Programme TS 2002, Document d'accompagnement|p=60}}.</ref>, mais il n'est pas toujours nécessaire de supposer au départ que la fonction ƒ du plan dans lui-même soit une bijection :
* une [[Application (mathématiques)|application]] qui multiplie les distances par un réel strictement positif est toujours une similitude<ref name=Tauvel113>{{harvsp|Tauvel|2005|p=113}}.</ref> ;
* une [[Injection (mathématiques)|injection]] qui conserve les rapports de distance ou les angles orientés ou seulement l'orthogonalité est une similitude<ref>{{harvsp|Tauvel|2005|p=114}}.</ref>.

Les similitudes conservant les rapports de distances et les alignements, conservent également les [[barycentre (géométrie élémentaire)|barycentres]] et les cercles. Réciproquement, une transformation du plan qui transforme des cercles en des cercles est une similitude<ref>{{harvsp|Tauvel|2005|p=115}}.</ref>.

==== Similitudes directes et indirectes ====
Les similitudes qui conservent les angles orientés sont appelées des similitudes directes, les autres similitudes sont appelées indirectes. On démontre que les similitudes indirectes planes changent ''tous'' les angles orientés en leur opposé.

Les isométries directes sont appelés des [[Déplacement (géométrie)|déplacements]]. Les isométries indirectes sont appelées des antidéplacements.

=== Éléments caractéristiques ===
==== Rapport d'une similitude ====

Le '''rapport d’une similitude''' est le coefficient k de  proportionnalité entre les longueurs  d’une première figure géométrique, et les longueurs correspondantes dans l’image de la première par la similitude. Pour le déterminer, il suffit de connaitre deux points distincts A et B et leurs images, A' et B'. Le rapport de la similitude est alors le rapport <math>k = \frac{\mathrm{A'B'}}{\mathrm{AB}}</math>.

Autrement dit, dans une similitude de rapport ''k'', la seconde figure reproduit la première '''{{nobr|à l’échelle ''k''}}'''. Le nombre {{nobr|''k'' × ''k''}} ou  ''k''{{Exp|2}} est alors le coefficient de proportionnalité entre les [[Aire (géométrie)|aires]] correspondantes. Par exemple, une similitude de rapport dix multiplie les longueurs par dix et les aires par cent.

Si le rapport est plus grand que 1, les figures sont agrandies, si le rapport est plus petit que 1, les figures sont réduites. Si le rapport est égal à 1, les figures gardent la même taille, la similitude est alors une [[isométrie]].

Les [[homothétie]]s sont des similitudes, et il faut noter l’ambiguïté du mot ''rapport'' à leur sujet. Le rapport d’une homothétie concerne des vecteurs, il peut être négatif, tandis que le rapport d’une similitude est un rapport de distances, toujours positif. Par exemple, une homothétie de rapport négatif –1 est  une similitude de rapport positif 1, on peut la voir comme une symétrie par rapport à son centre ou  une rotation d’angle {{unité|180|°}} (un demi-tour). Dans tous les cas, une homothétie de rapport ''k'' est une similitude de rapport positif |''k''|.

Le propre des similitudes est d'envoyer toute figure sur une figure semblable, c'est-à-dire « de même forme » mais pas nécessairement « de même taille ». Par exemple : * l'image d’un [[carré]] par une similitude est un carré ;
* tout [[triangle rectangle]] isocèle est semblable à n’importe quel triangle rectangle isocèle ;
* n’importe quel [[cercle]] est semblable à n’importe quel cercle.
Une similitude transforme un [[triangle équilatéral]] en un triangle équilatéral.

==== Angle d'une similitude directe ====

Une similitude directe conserve les angles orientés. On démontre alors que l'angle que forme un vecteur <math>\overrightarrow{\mathrm{AB}}</math> avec son image <math>\overrightarrow{\mathrm{A'B'}}</math>  est constant. Cet angle est appelé l''''angle''' de la similitude directe.

Dans le cas d'une similitude indirecte, l'angle que forme un vecteur avec son image est variable. C'est la raison pour laquelle on ne peut pas définir d'angle pour une similitude indirecte plane.

==== Similitudes à centre ====

Toute similitude de rapport ''k'' différent de 1, c'est-à-dire toute similitude différente d'une isométrie, possède un unique point invariant I qui est appelé le '''centre''' de la similitude. Il existe plusieurs méthodes pour déterminer géométriquement le centre d'une similitude connaissant deux points distincts A et B et leurs images A’ et B’.

[[Fichier:CentresSimilitudes.svg|thumb|Recherche des centres des deux similitudes qui transforment A et B en A’ et B’. I<sub>1</sub> est le centre de la similitude directe et I<sub>2</sub> est celui de la similitude indirecte.]]

L'une d'entre elles consiste à utiliser le fait que l'ensemble <math>\mathrm{C}_{\mathrm{A}, \mathrm{A}', k}</math> des points M vérifiant <math>\frac{\mathrm{MA'}}{\mathrm{MA}} = k</math> est un cercle de diamètre A<sub>1</sub>A<sub>2</sub> où A<sub>1</sub> et A<sub>2</sub> sont les barycentres de A et A’ affectés des coefficients ''k'' et ±1. Le centre I de la similitude est situé sur les cercles <math>\mathrm{C}_{\mathrm{A}, \mathrm{A'}, k}</math> et <math>\mathrm{C}_{\mathrm{B}, \mathrm{B'}, k}</math>. En général, ces cercles se rencontrent en deux points. L'un est le centre de la similitude directe transformant (A, B) en (A’, B’), l'autre est le centre de la similitude indirecte.

[[Fichier:CentreSimilitudeEuler.svg|thumb|left|Recherche du centre de la similitude directe selon Euler]]

Pour la recherche du centre de la similitude directe transformant  (A, B) en (A’, B’), Euler<ref>{{harvsp|id=Euler2012|texte=Euler2012|p=1;2}}</ref> propose une méthode plus simple utilisant les cercles circonscrits.
* Le cas où les segments [AB] et [A’B’] sont parallèles est rapidement traité : ƒ est alors une homothétie et son centre est le point d'intersection des droites (AA’) et (BB’). Les cas particulier où A = A’ ou B = B’ ne sont pas étudiés car le centre de la similitude est immédiat. Le cas où les 4 points seraient alignés nécessite la construction à l'aide de triangles directement semblables de points C et C’ non alignés avec A et B.
* Quand les droites (AB) et (A’B’) sont sécantes en P, il suffit de construire les cercles circonscrits aux triangles AA’P<ref>Si P est confondu avec A (ou A’), on trace le cercle passant par A’ et A et tangent à la droite (AB) (ou à (A’B’)</ref> et BB’P. Le centre de la similitude est l’''autre'' point commun aux deux cercles<ref> Si les deux cercles sont tangents, on considère que les deux points d'intersections sont confondus et I = P</ref>. Cette méthode utilise le fait que I et P regardent les points A et A’ et les points B et B’ sous le même angle égal à l'angle de la similitude directe. Les points IPAA’  d'une part et IPBB’ d'autre part, sont donc, selon la [[Théorème de l'angle inscrit et de l'angle au centre|propriété des angles inscrits]], cocycliques.

[[Fichier:CentreSimilitudeCarre.svg|thumb|Recherche du centre d'une similitude directe à l'aide d'un carré et son image]]

Mais il existe une méthode pour trouver le centre d'une similitude directe ne demandant pas la construction de cercles<ref>{{harvsp|id=prog2002|texte=Programme TS 2002, Document d'accompagnement|p=64-65}}</ref>. Elle utilise le fait que, dans un similitude directe de centre I, les droites (MM’) et (NN’) sont parallèles si et seulement si les points I, M et N sont alignés ainsi que les points I, M’ et N’. Il suffit alors de construire deux carrés ABCD et A’B’C’D’ directement semblables. Comme dans la méthode précédente, le cas où les droites (AB) et (A’B’) sont parallèles est facile à traiter. Dans le cas contraire, on construit les points d'intersections P, Q, R et S des droites (AB) et (A’B’), (BC) et (B’C’), (CD) et (C’D’), (DA) et (D’A’). Le point d'intersection des droites (PR) et (QS) fournit le centre de la similitude. Le principe est que P et son image sont sur (A’B’), R et son image sont sur (C’D’). Les droites (PP’) et (RR’) sont parallèles, le centre de la similitude est alors sur (PR) et (P’R’).

Les isométries, quant à elles, sont de 4 types : 
* celles qui ne possèdent aucun point invariant (translation de vecteur non nul pour les déplacements, ou symétrie glissée pour les antidéplacements) ;
* celles qui possèdent un seul point invariant I (les rotations de centre I d'angle non nul) ;
* celles qui possèdent une droite comme ensemble de points invariants (les réflexions d'axe ''d'') ;
* celle dont tous les points sont invariants (l'application identité).
On peut utiliser l'une ou l'autre des méthodes décrites ci-dessus pour déterminer le centre d'une rotation, ou bien chercher un point commun aux médiatrices de [AA’] et [BB’] .

=== Inventaire et décomposition canonique ===

[[Fichier:SimilitudeHomothétieL.svg|thumb|upright=0.8|L'homothétie de centre I et de rapport 1/2 transforme le L noir en L bleu. C'est un cas particulier de similitude directe.]]

Outre l'identité (similitude directe de rapport 1, d'angle nul, sans centre unique), les similitudes fondamentales sont : 
* les [[translation (géométrie)|translations]] de vecteur non nul (similitudes directes, de rapport 1, d'angle nul, sans centre) ;
* les [[rotation plane|rotations]] d'angle non nul (similitudes directes, de rapport 1, d'angle égal à celui de la rotation, de centre égal au centre de la rotation) ;
* les [[homothétie]]s de rapport différent de 1(similitudes directes, de rapport égal à la [[valeur absolue]] du rapport de l'homothétie, d'angle nul si le rapport de l'homothétie est positif, d'angle plat si le rapport de l'homothétie est négatif, de centre le centre de l'homothétie) ;
* les [[réflexion (mathématiques)|réflexions]] d'axe d (similitudes indirectes, de rapport 1, sans centre).
Toute similitude est une similitude fondamentale  ou la composée de deux d'entre elles. À condition de bien les choisir, ces deux similitudes fondamentales [[Loi commutative|commutent]] entre elles, c'est-à-dire que ƒ ∘ ''g'' = ''g'' ∘ ƒ.

{{clear}}

==== Inventaire des isométries ====

* Déplacements ou isométries directes :  outre l'identité, les isométries directes sont les translations et les rotations.
* Antidéplacements ou isométries indirectes : les isométries indirectes sont les réflexions, ou les symétries glissées (composée commutative d'une translation de vecteur <math> \vec u </math> et d'une réflexion selon un axe dont la direction est  <math> \vec u </math>.

{| width="100%" align="center" border="0" cellpadding="4" cellspacing="4" 
|- valign="top"
| width="25%" |
[[fichier:TranslationL.svg|thumb|upright=0.8|center|Le L bleu est l'image du L noir par une translation (isométrie directe)]]
| width="25%" |
[[fichier:RotationL.svg|thumb|upright=0.8|center|Le L bleu est l'image du L noir par une rotation (isométrie directe)]]
| width="25%" |
[[fichier:SymétrieL.svg|thumb|upright=0.8|center|Le L inversé rouge est l'image du L noir par une réflexion d'axe d (isométrie indirecte)]]
| width="25%" |
[[fichier:SymétrieGlisseeL.svg|thumb|upright=0.8|center|Le L inversé rouge est l'image du L noir par une symétrie glissée d'axe d (isométrie indirecte)]]
|}

==== Inventaire des similitudes de rapport différent de 1 ====

Une similitude de rapport ''k'' différent de 1 possède un centre I. Elle est la composée commutative d'une homothétie de centre I et de rapport ''k'' et d'une isométrie à point(s) fixe(s), c'est-à-dire une rotation de centre I ou une réflexion.

* Similitudes directes : Une similitude directe de centre I, de rapport ''k'' et d'angle θ est la composée commutative d'une homothétie de centre I et de rapport ''k'' et d'une rotation de centre I et d'angle θ.
* Similitudes indirectes : une similitude indirecte de centre I et de rapport ''k'' est la composée commutative d'une homothétie de centre I et de rapport ''k'' et d'une réflexion d'axe (''d'') passant par I.

{| width="100%" align="center" border="0" cellpadding="4" cellspacing="4" 
|- valign="top"
| width="50%" |
[[fichier:SimilitudeDirecteL.svg|thumb|upright=0.8|center|Le L bleu est l'image du L noir par la composée d'une homothétie et d'une rotation (similitude directe)]]
| width="50%" |
[[fichier:SimilitudeIndirecteL.svg|thumb|upright=0.8|center|Le L inversé rouge est l'image du L noir par la composée d'une homothétie et d'une réflexion (similitude indirecte)]]
|}

=== Caractérisation par l'image de deux points ===

Une similitude directe ou indirecte est entièrement déterminée par l'image de deux points distincts. Plus exactement, si on considère 4 points A, B, A’, B’ tels que A ≠ B et A’ ≠ B’, il existe une unique similitude directe et une unique similitude indirecte transformant (A, B) en (A’, B’).

==== Similitude directe définie par l'image de deux points ====

Le rapport ''k'' de la similitude est donné par <math>\frac{\mathrm{A'B'}}{AB}</math>, l'angle par <math>(\overrightarrow{AB};\overrightarrow{A'B'})</math>. Si le rapport est 1 et l'angle est nul, il s'agit d'une translation de vecteur <math>\overrightarrow{AA'}</math>. Dans tous les autres cas, la similitude possède un centre I que l'on peut déterminer géométriquement.

==== Similitude indirecte définie par l'image de deux points ====

Le rapport ''k'' de la similitude est donné par <math>\frac{\mathrm{A'B'}}{\mathrm{AB}}</math>. On ne parle pas d'angle pour cette similitude car elle est indirecte.
* Si le rapport est 1, il s'agit d'une symétrie ou d'une symétrie glissée. En construisant le triangle A’B’A’’ indirectement semblable au triangle ABA’, on peut construire le point A<sub>1</sub> milieu de [AA’’].
** Si le vecteur <math>\vec u=\overrightarrow{\mathrm{AA}_1}</math> est nul, la similitude est une réflexion d'axe (''d''). Si  A et B sont invariants, cet axe est la droite (AB), sinon cet axe est la médiatrice de [AA’] ou de [BB’].
** Si le vecteur <math>\vec u = \overrightarrow{\mathrm{AA}_1}</math> est non nul, la similitude est alors la composée commutative de la translation de vecteur <math>\vec u</math> et d'une réflexion d'axe (''d'') passant par le milieu de [A’A<sub>1</sub>] et de direction <math>\vec u</math>.
* Si ce rapport est différent de 1, le centre I de la similitude peut se construire géométriquement. La similitude est alors la composée commutative d'une homothétie de centre I et de rapport ''k'' et d'une réflexion d'axe (''d''). Cet axe peut se construire comme la [[bissectrice]] de l'angle AIA’ ou de l'angle BIB’.

=== Expression  complexe ===

Dans le [[plan complexe]], chaque point M a une affixe. Si ƒ est une application du plan dans lui-même et si on note ''z''’ l'affixe du point M’ image du point M par ƒ, la relation existant entre ''z''’ et ''z'' est appelée l'expression complexe de l'application.

==== Expression complexe d'une similitude directe ====

{{Théorème|1=Une transformation du plan est une similitude directe si et seulement si son écriture complexe est de la forme ''z''’ = ''az'' + ''b'', avec <math>a\in\Complex^*, b \in\Complex</math> fixés.}}

{{Démonstration/début}}
*'''Toute transformation qui s'écrit ''z''’ = ''az'' + ''b'' est une similitude directe.'''
En effet, si ''a'' = 1 c'est la translation dont le vecteur a pour affixe ''b'', et si ''a'' ≠ 1, le point Ω d'affixe <math>\omega = \frac {b}{1-a}</math> est fixe et la transformation s'écrit ''z''’ – ω = ''ke''<sup>''i''θ</sup>(''z'' – ω) (avec ''k'' = |''a''| et θ = arg(''a'')) donc c'est la composée de l'homothétie de centre Ω et de rapport ''k'' par la rotation de centre Ω et d'angle θ.
*'''Toute similitude plane directe s'écrit ''z''’ = ''az'' + ''b''.'''
Soient O et A les points d'affixes respectives 0 et 1, O’, A’ leurs images (distinctes) par cette transformation et ''b'', ''c'' leurs affixes. Soient M ≠ O un point quelconque, d'affixe ''z'', et M’ son image, d'affixe ''z''’. Alors
: <math>\frac{\mathrm{O'M'}}{\mathrm{O'A'}} = \frac{\mathrm{OM}}{\mathrm{OA}} \qquad \text{et} \qquad \widehat{(\overrightarrow{\mathrm{O'A'}}, \overrightarrow{\mathrm{O'M'}})} = \widehat{(\overrightarrow{\mathrm{OA}},\overrightarrow{\mathrm{OM}})},</math>
donc
: <math>\frac{z' - b}{c - b} = \frac{z - 0}{1 - 0},</math>
c'est-à-dire, en notant ''a'' le complexe ''c'' – ''b'' (qui est non nul) :
: ''z''’ = ''az'' + ''b''
(et cette équation est encore vérifiée pour M = O, M’ = O’ : ''b'' = ''a''⋅0 + ''b'').
{{Démonstration/fin}}

L'expression complexe permet de déterminer facilement les éléments caractéristiques d'une similitude directe : 
* son rapport est égal au module de ''a'' ;
* son angle est égal à un argument de ''a'' ;
* son centre existe si et seulement si ''a'' est différent de 1, et son affixe est <math>\frac{b}{1-a}</math>.

Cas spéciaux :

* Dans le cas où ''a'' = 1, la similitude est une translation.
* Dans le cas où ''a'' = –1, la similitude est une [[symétrie centrale]] de centre <math>\Omega \left(\frac b2\right)</math>. On peut aussi la considérer comme une rotation de centre <math>\Omega \left(\frac b2\right)</math> et d'angle π, ou encore une homothétie de centre <math>\Omega \left(\frac b2\right)</math> et de rapport ''k'' = –1.

* Dans le cas où '''<math>a \in \R^*\setminus\{ 1 \} </math>''', alors la similitude est une homothétie de centre <math>\Omega \left(\frac b{1-a}\right)</math> et de rapport ''a''.

Si l'on connait deux points distincts A(''z''<sub>A</sub>) et B(''z''<sub>B</sub>) et leurs images A’(''z''<sub>A’</sub>) et B’(''z''<sub>B’</sub>), on peut déterminer les valeurs de ''a'' et ''b'' :
{{retrait|<math>a = \frac{z_{\mathrm{A}'} - z_{\mathrm{B}'}}{z_\mathrm{A} - z_\mathrm{B}}</math>}}
{{retrait|<math>b = z_{\mathrm{A}'} - az_\mathrm{A}</math>}}
{{démonstration|contenu=Soient ''z''<sub>A</sub>, ''z''<sub>B</sub>, ''z''<sub>A’</sub>, ''z''<sub>B’</sub> les affixes respectives de ces quatre points, et S une similitude directe, qui s'écrit ''z''’ = ''az'' + ''b''. Alors
:<math>\begin{align}\mathrm{S}(\mathrm{A}) = \mathrm{A}' \quad \text{et} \quad \mathrm{S}(\mathrm{B}) = \mathrm{B}' & \Leftrightarrow z_{\mathrm{A}'} = az_\mathrm{A} + b \quad \text{et} \quad z_{\mathrm{B}'} = az_\mathrm{B} + b\\
& \Leftrightarrow z_{\mathrm{A}'} = az_\mathrm{A} + b \quad \text{et} \quad z_{\mathrm{B}'} - z_{\mathrm{A}'} = a(z_\mathrm{B} - z_\mathrm{A})\\
& \Leftrightarrow a = \frac{z_{\mathrm{B}'} - z_{\mathrm{A}'}}{z_\mathrm{B} - z_\mathrm{A}} \quad\text{et} \quad b = z_{\mathrm{A}'} - \frac{z_{\mathrm{B}'} - z_{\mathrm{A}'}}{z_\mathrm{B} - z_\mathrm{A}}z_\mathrm{A} \\
& \Leftrightarrow a = \frac{z_{\mathrm{B}'} - z_{\mathrm{A}'}}{z_\mathrm{B} - z_\mathrm{A}} \quad\text{et} \quad b = \frac{z_{\mathrm{A}'}z_\mathrm{B} - z_{\mathrm{B}'}z_\mathrm{A}}{z_\mathrm{B} - z_\mathrm{A}},\end{align}</math>
d'où l'existence et l'unicité de la solution <math>(a, b)\in\Complex^*\times\Complex</math> c'est-à-dire de la solution S.
}}

==== Expression complexe d'une similitude indirecte ====

Une application ƒ du plan dans lui-même est une similitude indirecte si et seulement s'il existe deux complexes ''a'' et ''b'', ''a'' étant non nul, tels que l'expression complexe de ƒ soit 
: ''z''’ = ''a''{{surligner|''z''}} + ''b''.

Comme pour la similitude directe, l'expression complexe d'une similitude indirecte permet d'en déterminer les éléments caractéristiques : 
* son rapport est égal au module de ''a'' ;
* une similitude indirecte n'ayant pas d'angle, on ne peut rien tirer de l'argument de ''a''.

Selon le rapport de la similitude, les éléments caractéristiques vont changer :
* si le rapport est 1, il s'agit d'une symétrie ou d'une symétrie glissée :
** si ''a{{surligner|b}}'' + ''b'' = 0, c'est une réflexion d'axe passant par B(''b''/2) et de direction <math>\vec u (1 + a)</math> (ou <math>\vec u (i)</math> si le vecteur précédent est nul) ;
** si ''a{{surligner|b}}'' + ''b'' ≠ 0, c'est une symétrie glissée de vecteur <math>\vec v \left(\frac{a\overline b + b}{2}\right)</math> et d'axe passant par <math>\mathrm{B}\left(\frac{b - a\overline b}{4}\right)</math> et de direction <math>\vec u (1 + a)</math> (ou <math>\vec u (i)</math> si le vecteur précédent est nul) ;
* si le rapport est différent de 1, il s'agit de la composée d'une homothétie de rapport |''a''|, de centre I d'affixe <math>\frac{b + a\overline b}{1 - |a|^2}</math> avec une réflexion d'axe passant par I et de direction  <math>\vec u \left(1 + \frac{a}{|a|}\right)</math>(ou <math>\vec u (i)</math> si le vecteur précédent est nul)

Si l'on connait deux points distincts A(''z''<sub>A</sub>) et B(''z''<sub>B</sub>) et leurs images A’(''z''<sub>A’</sub>) et B’(''z''<sub>B’</sub>), on peut déterminer les valeurs de ''a'' et ''b'' :
{{retrait|<math>a = \frac{z_{A'}-z_{B'}}{\overline{z_A}-\overline{z_B}}</math>}}
{{retrait|<math>b = z_{A'}-a \overline{z_A}</math>}}

=== Composition, groupes et sous-groupes ===

Quand on compose deux similitudes de rapports ''k'' et ''k''’ on obtient encore une similitude de rapport ''kk''’. La réciproque d'une similitude de rapport ''k'' est une similitude de rapport 1/''k''. L'ensemble des similitudes muni de la [[composition de fonctions]] est donc un [[groupe (mathématiques)|groupe]]. Celui-ci est  non commutatif : la composée de ƒ par ''g'' est, en général, différente de la composée de ''g'' par ƒ.

Quand on compose deux isométries, on obtient une isométrie, et la réciproque d'une isométrie est encore une isométrie. L'ensemble des isométries est donc un sous-groupe du groupe des similitudes.

Quand on compose deux similitudes directes de rapports ''k'' et ''k''’ et d'angles θ et θ’, on obtient une similitude directe de rapport ''kk''’ et d'angle θ + θ’. La réciproque d'une similitude directe de rapport ''k'' et d'angle θ est une similitude directe de rapport 1/''k'' et d'angle –θ. L'ensemble des similitudes directes est donc un sous-groupe du groupe des similitudes. Mais quand on compose deux similitudes indirectes, on obtient une similitude directe, l'ensemble des similitudes indirectes n'est donc pas stable pour la composition des fonctions.

Il existe de nombreux sous-groupes du groupe des similitudes, on peut citer par exemple, le groupe des déplacements, le groupe des homothéties- translations, le groupe des similitudes de même centre. Le sous-groupe des homothéties de centre I et le sous-groupe des translations sont des sous-groupes commutatifs.

=== Matrice d'une similitude vectorielle plane et lien avec l'ensemble des complexes ===

Une similitude vectorielle plane est une [[application linéaire]] du [[plan vectoriel]] P dans lui-même qui multiplie les [[Norme (mathématiques)|norme]]s par une constante strictement positive ''k''. Si le plan vectoriel est muni d'une [[Base orthonormale|base orthonormée]], la similitude vectorielle est caractérisée par [[Matrice d'une application linéaire|sa matrice]].

Une matrice M est la matrice d'une similitude directe si et seulement s'il existe deux réels ''a'' et ''b'' non tous deux nuls, tels que
{{retrait|1=<math> \mathrm{M} = \begin{pmatrix} a & -b \\ b & a \end{pmatrix}</math>.}}
L'ensemble des matrices de ce type pour ''a'' et ''b'' quelconques (pouvant à présent être nuls simultanément), muni de l'addition et de la [[produit matriciel|multiplication des matrices]], forme un [[corps commutatif]] isomorphe au corps des complexes. Cette identité de structure a conduit à définir parfois l'ensemble des complexes comme l'ensemble de ces matrices carrées<ref>Voir par exemple {{Ouvrage
 | prénom1=M.
 | nom1=Queysanne
 | lien auteur1=Michel Queysanne
 | prénom2=A.
 | nom2=Revuz
 | lien auteur2=André Revuz
 | titre=Mathématiques, Terminales C et E
 | tome=1
 | éditeur=[[Nathan (éditions)|Nathan]]
 | année=1974
 | isbn=
}} ou bien  l'arrêté du 14 mai 1971 B.O.E.N. 25 (24-6-71).</ref>.

Par exemple, si ''a'' = 1 et ''b'' = 1, on obtient la similitude décrite par l'équation ''z''’= (1 + ''i'')''z'', équivalente à ''x''’ = ''x'' – ''y'' et ''y''’ = ''x'' + ''y'', qui laisse [[Partie stable|stable]] l'[[Anneau unifère|anneau]] <math>\Z[i]</math> des [[entier de Gauss|entiers de Gauss]].

Une matrice M est la matrice d'une similitude indirecte si et seulement s'il existe deux réels ''a'' et ''b'' non tous deux nuls tels que
{{retrait|1=<math> \mathrm{M} = \begin{pmatrix} a & b \\ b & -a \end{pmatrix}</math>.}}

== Similitude dans un espace euclidien ==

La notion de similitude ne se limite pas à la similitude plane mais se rencontre aussi dans tout [[espace euclidien]], c'est-à-dire tout espace vectoriel ou affine de dimension finie sur le [[nombre réel|corps des réels]] <math>\mathbb{R}</math>, muni d'un [[produit scalaire]] (''u''|''v'').

=== Similitude vectorielle ===

Si φ est une [[application linéaire]] de l'espace vectoriel euclidien E dans lui-même, les propositions suivantes sont équivalentes<ref>{{harvsp|Tauvel|2005|p=112}}</ref> :
* il existe un réel strictement positif α tel que, pour tous vecteurs ''u'' et ''v'', (φ(''u'')|φ(''v'')) = α(''u''|''v'') ;
* il existe un réel strictement positif β tel que, pour tout vecteur ''u'', ∥φ(''u'')∥ = β∥''u''∥ ;
* φ possède un [[Opérateur adjoint|endomorphisme adjoint]] φ* et il existe un réel strictement positif γ tel que φ∘φ* = φ*∘φ = γId<sub>E</sub> ;
* φ est non nul et conserve l'orthogonalité (les vecteurs images de deux vecteurs orthogonaux sont orthogonaux).

Un tel endomorphisme est alors appelé une similitude vectorielle. Son rapport est <math>\beta = \sqrt{\alpha} = \sqrt{\gamma}</math>.

Une base orthonormée étant choisie, à chaque endomorphisme d'un espace euclidien de dimension ''n'', on peut associer une matrice carrée M. La matrice M est la matrice d'une similitude si et seulement si<ref name="Chambadal205" /> elle est inversible et s'il existe un réel strictement positif γ tel que <sup>t</sup>M = γM<sup>–1</sup>.

L'ensemble des similitudes vectorielles sur E muni de la [[loi de composition]] est un sous-groupe de GL(E) noté GO(E). Il est relié au [[groupe orthogonal]] O(E) par la relation suivante : l'application de ℝ*<sub>+</sub> × O(E) dans GO(E) qui au couple (''k'', φ) associe l'endomorphisme ''k''φ est un [[isomorphisme]] de groupes. Le groupe des similitudes vectorielles est [[Produit direct (groupes)|produit direct]] du sous-groupe des isométries et du sous-groupe des homothéties de rapport strictement positif.

Comme il existe des isométries directes formant le groupe O<sup>+</sup> (E) et des isométries indirectes réunies dans l'ensemble O<sup>–</sup> (E), on peut définir les similitudes directes formant le groupe GO<sup>+</sup> (E) et des similitudes indirectes réunies dans l'ensemble GO<sup>–</sup> (E). Si la similitude est directe, le déterminant de sa matrice est positif. Sinon il est négatif.

=== Similitude affine ===

Une application affine ƒ d'un espace affine <math>\mathcal E</math> dans lui-même dont l'application linéaire associée est une similitude vectorielle est appelée une similitude affine<ref name=Tauvel113 />. Pour un [[espace affine]] euclidien, le sous-groupe des similitudes affines est le [[produit semi-direct]] des translations par le groupe des similitudes vectorielles.

Une application de <math>\mathcal E</math> dans lui-même  est une similitude directe de rapport ''k'' strictement positif si et seulement si elle multiplie les distances par ''k''<ref name=Tauvel113/>.

Une bijection ƒ de  <math>\mathcal E</math> dans lui-même est une similitude si et seulement si elle vérifie l'une des propriétés suivantes<ref>{{harvsp|Tauvel|2005|p=114;115}}</ref> :
* ƒ conserve l'orthogonalité ;
* ƒ transforme les sphères en sphères ;
* ƒ conserve les angles géométriques.

Si ''k'' est égal à 1, la similitude affine est une [[isométrie affine]]. Si ''k'' est différent de 1, la similitude affine possède une unique point invariant I appelé centre de la similitude, elle est la composée commutative d'une homothétie de centre I et de rapport ''k'' avec une isométrie dont l'ensemble des points invariants contient au moins le point I<ref name=Tauvel113/>.

Dans l'espace affine de dimension 3 par exemple, les similitudes affines sont 
* si ''k'' = 1, les isométries de l'espace (symétrie centrale, rotation suivant un axe, symétrie orthogonale par rapport à un plan, composée d'une rotation d'axe (''d'') avec une symétrie orthogonale de direction (''d''), translation, vissage, symétrie glissée) ;
* si ''k'' est différent de 1, la similitude est une homothétie de rapport ''k'' ou la composée commutative d'une homothétie de centre I et d'une rotation suivant un axe contenant I  ou la composée commutative d'une homothétie de centre I et d'une symétrie orthogonale par rapport à un plan contenant I ou la composée commutative d'une homothétie de centre I et d'une rotation suivant un axe contenant I  et d'une symétrie orthogonale par rapport à un plan passant par I et orthogonal à (''d''). De telles transformations multiplient les longueurs par ''k'', les aires par ''k''² et les volumes par ''k''{{exp|3}}.

Afin de représenter toutes ces transformations par des multiplications matricielles de même format, le graphisme numérique utilise toujours les [[coordonnées homogènes]]. De longueur {{nobr|''n'' + 1}}, la dernière ligne d’une telle matrice est alors toujours la même, inutile de la ranger en mémoire pour chaque transformation. Son dernier terme 1 est précédé de termes tous nuls.{{référence souhaitée}}

== Les similitudes : un des outils de construction des systèmes de fonctions itérées ==
Beaucoup d'[[Système de fonctions itérées|attracteurs classiques]] de [[Système de fonctions itérées|systèmes de fonctions itérées]] sont construits avec des similitudes. Souvent même, même si pas toujours, les éléments d'une [[Famille (mathématiques)|famille]] de [[Application contractante|contractions]] seront des similitudes<ref>{{article|langue=en|titre=Fractals and Self-Similarity|périodique=Indiana University of Mathematics Journal|lire en ligne=http://www.iumj.indiana.edu/docs/30055/30055.asp|année=1981}}</ref>.

== Similitude à multiplicateur et forme quadratique ==

La notion de similitude peut se généraliser à tout [[espace quadratique]] (espace vectoriel V sur un corps K muni d'une [[forme quadratique]] Q).

Un automorphisme φ est une similitude de multiplicateur α non nul si et seulement si<ref name=Chambadal205>{{harvsp|Chambadal|1969|p=205}}</ref> pour tout vecteur ''v'' de V, Q(ƒ(''v'')) = αQ(''v''). Une homothétie de rapport ''k'' non nul est un exemple de similitude de multiplicateur ''k''².

Si Q est non dégénérée, un automorphisme φ est une similitude de multiplicateur α si et seulement si<ref name=Chambadal205/> il possède un [[opérateur adjoint|endomorphisme adjoint]] φ* vérifiant φ* = αφ{{exp|-1}}.

Si le corps K est le corps des réels, et si Q est définie positive, c'est-à-dire si elle est associée à un produit scalaire, le réel α est strictement positif et sa [[racine carrée]] est  le rapport de la similitude.

== Notes et références ==
{{Références|colonnes=2}}

== Voir aussi ==
{{autres projets
  | wikiversity = Similitude
  | wikiversity titre = Similitude
}}

*[[Triangles semblables]]

== Bibliographie ==
* {{Ouvrage|langue=fr|nom1=Direction de l'enseignement scolaire, ministère de l'éducation nationale|titre=Mathématiques|sous-titre=Classes terminales de la série scientifique|lieu=Paris|éditeur=Centre national de documentation pédagogique|collection=Lycée|série=Accompagnement des programmes|année=2002|pages totales=123|isbn=2-240-00854-7|id=prog2002}}
* {{Ouvrage|langue=fr|prénom1=Patrice|nom1=Tauvel|titre=Géométrie|sous-titre=agrégation, licence 3e année, master|lieu=Paris|éditeur=[[Éditions Dunod|Dunod]]|année=2005|pages totales=532|isbn=2-10-049413-9}}
* {{Ouvrage|prénom1=Lucien|nom1=Chambadal|lien auteur1=Lucien Chambadal|titre=Dictionnaire des mathématiques modernes|éditeur=Larousse|année=1969}}
* {{Lien web|auteur=Homer S. White|titre= Leonard Euler on the Center of Similitude|url=http://www.math.dartmouth.edu/~euler/Estudies/White.pdf<!--|consulté le=20/7/2013-->|id=Euler2012}}

{{Portail|géométrie}}

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