Mathématiques
Précédent
Suivant
A propos des rotations dans R2

Soit élément élément de l'intervalle et l'endomorphisme de dont la matrice dans la base canonique est de la forme . C'est une rotation vectorielle de (la base canonique de est orthonormée pour la structure euclidienne usuelle de ).

  • Rotation d'angle dans

La question qui se pose, est celle de l'existence de sous-espaces vectoriels de stables par .

Supposons qu'il existe un sous-espace vectoriel de , stable par , différent de et de . Il est alors de dimension , c'est une droite vectorielle. Il existe donc un vecteur non nul qui définit une base de cette droite. Comme elle est stable par , appartient à cette droite et donc il existe un scalaire tel que .

Cette égalité équivaut, en notant , à l'égalité matricielle :

qui équivaut au système

qui est équivalent à

Le déterminant de ce système est égal à .

Cherchons s'il existe des valeurs de pour lesquelles . Le discriminant de cette équation du second degré est égale à .

Trois cas sont alors possibles :

  • Premier cas :

    Alors est égale à .

  • Deuxième cas :

    Alors est égale à .

  • Troisième cas : et

    L'équation a donc un discriminant strictement négatif et n'a donc pas de racine réelle.

    Le déterminant du système étant non nul, le système n'a donc qu'une seule solution, le couple . On aboutit donc à une contradiction puisque le vecteur est non nul.

Il en résulte que si l'on a une rotation différente de et de , il n'existe pas de sous-espace stable autre que et .

Il est possible de traduire ce résultat dans le langage de la théorie de la réduction des matrices. En effet cela signifie qu'une rotation de , différente de et de , n'a pas de valeur propre donc pas de vecteur propre et donc n'est pas diagonalisable.

Si l'on était parti directement de ce point de vue on aurait pu chercher le polynôme caractéristique de , soit

.

Cela nous donne une interprétation de l'équation étudiée : ce n'est rien d'autre que l'équation .

Légende :
Apprendre
S'évaluer
S'exercer
Observer
Simuler
Réalisé avec Scenari (nouvelle fenêtre)