Ivan Shishkin, Rye (1878)

Problems/Linear algebraReviewed

M12M^{12} est hideux ?

by Anduril·
47
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
Français
FrançaisEnglish

Soit MM2(Z)M \in M_2(\mathbb{Z}) tel qu’il existe un entier naturel non nul nn pour lequel Mn=I2M^{n}=I_{2}.
Montrer que
M12=I2.M^{12}=I_{2}.

I solved itMark it doneAdd to my listKeep it in your list

Hints

1

Hint 1

Open this only if you want a small nudge before looking at the solutions.

Solutions

1
Reveal solutionsAre you sure? Give it a try first.

Solution by Sequoia

Discussions2 useful votes

Le polynôme Xn1X^{n}-1 est scindé à racines simples et annule MM, qui est alors diagonalisable. C’est une matrice réelle qui possède donc un spectre inclus dans les racines nn-èmes de l’unité. Notons λ\lambda et μ\mu ses valeurs propres.
Si les deux valeurs propres sont réelles, alors elles valent 11 ou 1-1 et ainsi MM est semblable à une matrice avec des ±1\pm1 sur la diagonale. Donc son carré est semblable à l’identité et ainsi M2=I2M^2=I_2. En passant à la puissance 66, on trouve que M12=I2M^{12}=I_2.

Sinon, λ\lambda et μ\mu sont deux racines de l’unité complexes conjuguées. On note λ=eiθ=μ\lambda=e^{i\theta}=\overline{\mu} avec θ]π,π]\theta\in]-\pi,\pi].
La trace de MM, matrice à coefficients entiers, est ainsi un entier. On déduit de cela que λ+μ=2cos(θ)\lambda+\mu=2\cos(\theta) est un entier, soit valant ±2,±1\pm2,\pm1 ou 00.

En traitant ces cas un par un, on trouve que, si λ\lambda et μ\mu ne sont pas réels, ce sont des racines 33-èmes ou 44-ème de l’unité. Dans le premier cas M3M^3 est semblable à I2I_2 donc égale à I2I_2 et dans le second, c’est M4M^4 qui vaut I2I_2. Dans tous les cas, en passant à la puissance 44 ou 33, on trouve que M12=I2M^{12}=I_2, ce qui conclut.

Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.