Résumé
Cette leçon associe à chaque nombre complexe la matrice de la transformation du plan qui multiplie par , et démontre que cette correspondance est injective et transforme les sommes en sommes et les produits en produits : les matrices de cette forme constituent une copie fidèle des nombres complexes au sein des matrices carrées d’ordre deux. Dans cette copie, l’unité imaginaire est la rotation d’un quart de tour, dont le carré est l’opposée de l’identité ; le carré du module est le déterminant, le conjugué est la transposée et l’inverse est la matrice inverse. La forme polaire décompose chacune de ces matrices en une rotation, puis une homothétie, et les formules d’Euler et de Moivre réapparaissent comme la règle de composition des rotations. La leçon explique pourquoi ces matrices commutent, bien que les matrices en général ne le fassent pas, et se termine par un premier regard sur les quaternions de Hamilton, dont le produit n’est plus commutatif.
Objectifs d’apprentissage
- Obtenir la matrice de la multiplication par un nombre complexe et démontrer que la correspondance entre complexes et matrices conserve la somme et le produit.
- Traduire en matrices le module, le conjugué, l’inverse et la forme polaire d’un complexe, et interpréter géométriquement chaque traduction.
- Calculer des puissances, des inverses et des racines de nombres complexes au moyen de leurs matrices, et reconnaître dans les formules d’Euler et de Moivre la composition de rotations.
- Expliquer pourquoi les matrices des complexes commutent entre elles, démontrer que ce sont celles qui commutent avec la rotation d’un quart de tour et vérifier avec leurs matrices que le produit des quaternions n’est pas commutatif.
La matrice de la multiplication par un complexe
Dans la leçon du cours Algèbre et géométrie I sur les nombres complexes, on a identifié chaque complexe au point du plan, et on a démontré que multiplier par fait tourner chaque point d’un quart de tour autour de l’origine. S’il en est ainsi, multiplier par un complexe fixé est une transformation du plan, qui à chaque point associe le point . Dans la leçon sur les matrices comme transformations du plan, on a démontré qu’une transformation linéaire est déterminée par une matrice, dont les colonnes sont les images des vecteurs et . Il en découle la question qui oriente cette leçon : quelle matrice a la multiplication par , et que gagne-t-on à représenter chaque nombre complexe par cette matrice ?
Soit un complexe fixé. La transformation du plan qui multiplie chaque complexe par est linéaire ; sa matrice a pour colonnes et , et, si , elle envoie le carré unité sur un carré de côté .
Nous développons le produit et y lisons la matrice. La figure utilise .
Démonstration
Nous développons le produit par distributivité et remplaçons par .
Nous écrivons les points comme vecteurs colonnes. Les coordonnées de sont des combinaisons de et de à coefficients fixes : c’est le produit d’une matrice par le vecteur de , et la transformation est donc linéaire.
Les colonnes de la matrice sont les images de et de . La première est ; la seconde est , l’image de par la rotation d’un quart de tour.
Le carré unité, de sommets , , et , est transformé en le quadrilatère de sommets , , et . Ses côtés issus de l’origine ont la même longueur et sont perpendiculaires : l’image est un carré de côté , tourné par rapport au carré unité.
La matrice obtenue a une forme très spéciale : ses deux coefficients diagonaux sont égaux, et les deux autres sont opposés. On appelle matrice du complexe , avec et réels, la matrice de la multiplication par :
La première colonne de est lui-même, et la seconde est . En séparant les deux composantes du complexe, la matrice se décompose en une combinaison de deux matrices fixes : l’identité , qui est la matrice du nombre , et la matrice du nombre .
Notamment, les nombres réels correspondent aux multiples de l’identité, , qui sont les homothéties de centre l’origine, et les imaginaires purs aux multiples de . Les premières lignes du tableau de correspondances sont celles-ci.
Chargement du contenu…