Voici un cours sur la géométrie du plan complexe avec des figures et des exercices interactifs. Avant de l'aborder, il serait bon de maîtriser le contenu et les exercices du cours
Nombres complexes
. Pour l'étude des isométries, il est utile de se référer au document
Isométries du plan
. Version pdf de ce cours
avec liens vers les exercices.
Avertissement
Ce cours est une partie de l'option de géométrie enseignée de 2013 à 2015 au premier semestre de la première année de licence MPI à la Faculté des Sciences d'Orsay de l'université Paris Sud. Il s'agissait de pallier l'absence des transformations au Lycée.
Pour afficher les figures mobiles GeoGebra, il faut activer WebGL sur son navigateur.
Dans le plan orienté par un repère orthonormé
, on considère un vecteur
de composantes
; on appelle affixe du vecteur
le nombre complexe
.
En particulier, l'affixe de
est égal à celui de
. L'affixe du vecteur
est
quand
et
sont des points d'affixes respectives
et
.
Proposition
Soient
et
deux vecteurs non nuls d'affixes respectives
et
. L'angle orienté
a pour mesure l'argument de
. Pour
et
deux points distincts d'affixes respectives
et
et
et
deux points distincts d'affixes respectives
et
, l'angle orienté
a pour mesure l'argument de
.
Démonstration
Par relation de Chasles, on a
La formule est démontrée et s'applique à
pour donner :
Ces descriptions sont des applications directes des propriétés du module et de l'argument d'un nombre complexes. Soient
,
et
des points d'affixes respectives
,
et
.
L'ensemble des points
vérifiant
est la médiatrice de
, ensemble des points équidistants de
et
.
L'ensemble des points
vérifiant
est le cercle centré en
passant par
.
L'ensemble des points
vérifiant
est le disque unité ouvert (c'est-à-dire le disque sans le cercle unité).
L'ensemble des points
vérifiant
est le disque unité fermé (c'est-à-dire avec le cercle unité).
L'ensemble des points
vérifiant
ne contient pas
donc on peut poser
; la condition s'écrit alors
. L'ensemble des points
vérifiant
est la droite
.
L'ensemble des points
vérifiant
ne contient pas
donc on peut poser
; la condition s'écrit alors
. L'ensemble des points
vérifiant
est la droite
.
Les points
tel que
soit égal à
sont les intersections du cercle de diamètre
et de la médiatrice de
en effet le triangle
est rectangle isocèle en
.
Les points
tel que
soit un imaginaire pur sont les points différents de
du cercle de diamètre
en effet le triangle
est rectangle en
.
Un point dans le plan avec un repère orthonormé
peut être déterminé par ses coordonnées
ou son affixe
. Ainsi on peut définir une transformation en donnant pour chaque point les coordonnées de son image ou son affixe.
Définition
Soient deux nombres complexes
(non nul) et
. On s'intéresse aux transformations
et
définies pour
par :
Les transformations présentées ici sont définies dans le document
Isométries du plan
sauf l'homothétie (voir
ici
). On considère
et
d'affixes respectifs
et
.
La transformation
est la translation de vecteur
d'affixe b.
En effet, de
, on tire :
puisque
est l'affixe de
.
La transformation
est la symétrie centrale de centre
d'affixe
.
en effet, de
, on tire
donc
est le milieu de
.
Pour
réel, non nul et différent de
, et
,
est l'homothétie de centre
d'affixe
et de rapport
.
En effet, pour
, on a :
.
Pour
, l'image de
par la rotation de centre
d'affixe
et d'angle
est le point
dont l'affixe vérifie :
La transformation
est la réflexion d'axe
:
.
Pour
et
,
est la réflexion d'axe
où
est la droite passant par
et tel que
.
En effet, de
, on tire :
.
Soient
et
deux nombres complexes. Les applications
et
multiplient les longueurs par
. Les applications
conservent les angles orientés. Les applications
transforment un angle orienté en son opposé.
Démonstration
Soient
et
d'affixes respectives
et
; on note
et
les affixes de leurs images.
Pour les applications
, on a :
d'où
.
Pour les applications
, on a :
d'où
.
Dans les deux cas, la longueur
est le produit de
par
.
On suppose
et
distincts et on considère deux autres points distincts
et
d'affixes respectives
et
; on note
et
les affixes de leurs images.
Pour les applications
, on a :
donc les angles orientés sont conservés.
Pour les applications
, on a :
donc un angle orienté est transformé en son opposé.
Pour
, on pose
avec
. Alors
est la rotation de centre
d'affixe
et d'angle
.
Pour chaque translation ou rotation, on peut trouver un couple de nombres complexes
telle que son expression complexe soit
et ce couple est unique.
Démonstration
Pour l'essentiel, ces résultats ont été vus dans les exemples
ici
.
L'équation aux points fixes
donne la valeur de
. Si on soustrait cette relation à
, on obtient
, donc
est la rotation de centre
et d'angle
.
Comme
est de la forme
avec
de module
,
est une isométrie positive qui n'est pas une translation donc c'est une rotation. Son centre est le point
d'affixe
vérifiant l'équation au point fixe :
donc
a pour affixe
. L'angle de
est l'argument de
soit
. Pour conclure,
est la rotation
où
le point d'affixe
.
Remarque
Pour résoudre l'équation au point fixe, il est recommandé de savoir calculer un quotient de nombres complexes. On trouvera la méthode à cette page
Quotient de nombres complexes