<TeXmacs|2.1.4>

<style|<tuple|course|french>>

<\body>
  <doc-data|<doc-title|Réduction>>

  <folded|<\question>
    Définition d'une valeur propre, d'un vecteur propre pour un endomorphisme
    <math|f> d'un <math|\<bbb-K\>>-espace vectoriel <math|E>.
  </question>|<\answer*>
    <math|\<lambda\>\<in\>\<bbb-K\>> est appelé valeur propre de <math|f> si
    et seulement si il existe <math|x\<in\>E> non nul tel que
    <math|f<around*|(|x|)>=\<lambda\>\<cdot\>x>. On dit alors de <math|x>
    qu'il est un vecteur propre de <math|f> associé à la valeur propre
    <math|\<lambda\>>.

    En d'autres termes, <math|\<lambda\>> est une valeur propre de <math|f>
    si et seulement si <math|Ker<around*|(|f-\<lambda\>\<cdot\>Id<rsub|E>|)>\<neq\><around*|{|0<rsub|E>|}>>
    si et seulement si <math|f-\<lambda\>\<cdot\>Id<rsub|E>> n'est pas
    injectif.
  </answer*>>

  <folded|<\question>
    Soit <math|f\<in\>L<rsub|\<bbb-K\>><around*|(|E|)>> et
    <math|\<lambda\>\<in\>\<bbb-K\>>. Qu'appelle-t-on espace propre de
    <math|f> associé à <math|\<lambda\>> ?
  </question>|<\answer*>
    L'ensemble <math|E<rsub|\<lambda\>><around*|(|f|)>=Ker<around*|(|f-\<lambda\>\<cdot\>Id<rsub|E>|)>>
    qui forme un sous-espace vectoriel de <math|E>.
  </answer*>>

  <folded|<\question>
    Que dire des espaces propres de deux endomorphismes <math|u> et <math|v>
    qui commutent ?
  </question>|<\answer*>
    Les espaces propres de <math|u> sont stables par <math|v> et
    réciproquement. (En effet, si <math|u<around*|(|x|)>=\<lambda\>\<cdot\>x>,
    alors <math|v<around*|(|u<around*|(|x|)>|)>=\<lambda\>\<cdot\>v<around*|(|x|)>>
    tandis que <math|u<around*|(|v<around*|(|x|)>|)>=v<around*|(|u<around*|(|x|)>|)>>
    et donc <math|v<around*|(|x|)>\<in\>E<rsub|\<lambda\>><around*|(|u|)>> et
    on a établi ici que <math|v<around*|(|E<rsub|\<lambda\>><around*|(|u|)>|)>\<subset\>E<rsub|\<lambda\>><around*|(|u|)>>.
  </answer*>>

  <folded|<\question>
    Soit <math|u> un endomorphisme de <math|E>, et soient
    <math|x<rsub|1>,\<cdots\>,x<rsub|n>> des vecteurs propres de <math|u>
    associés à des valeurs propres <math|\<lambda\><rsub|1>,\<cdots\>,\<lambda\><rsub|n>>
    deux à deux distinctes. Que dire de la famille
    <math|<around*|(|x<rsub|1>,\<cdots\>,x<rsub|n>|)>> ?
  </question>|<\answer*>
    Elle est libre.
  </answer*>>

  <folded|<\question>
    Soit <math|u> un endomorphisme de <math|E> et soit
    <math|<around*|(|\<lambda\><rsub|1>,\<cdots\>,\<lambda\><rsub|n>|)>> des
    valeurs propres deux à deux distinctes de <math|u>. Que dire des espaces
    propres associés ?
  </question>|<\answer*>
    Ils sont en somme directe.
  </answer*>>

  <folded|<\question>
    Soit <math|u> un endomorphisme d'un <math|\<bbb-K\>>-espace vectoriel
    <math|E> de dimension finie. Qu'appelle-t-on spectre de <math|u> ?
  </question>|<\answer*>
    L'ensemble <math|Sp<around*|(|u|)>> des valeurs propres de <math|u>. On
    le sait fini, de cardinal au plus égal à la dimension de <math|E>.
  </answer*>>

  <folded|<\question>
    Définition, caractérisations, d'une valeur propre
    <math|\<lambda\>\<in\>\<bbb-K\>> d'une matrice
    <math|A\<in\>M<rsub|n><around*|(|\<bbb-K\>|)>>, puis de son espace propre
    associé.
  </question>|<\answer*>
    <math|\<lambda\>> est une valeur propre de <math|A> si et seulement si
    (les conditions suivantes sont équivalentes)

    <\itemize>
      <item>Il existe <math|X\<in\>M<rsub|n,1><around*|(|\<bbb-K\>|)>> non
      nul tel que <math|A*X=\<lambda\>\<cdot\>X>

      <item><math|Ker<around*|(|A-\<lambda\>\<cdot\>I<rsub|n>|)>\<neq\><around*|{|0|}>>

      <item><math|A-\<lambda\>\<cdot\>I<rsub|n>> n'est pas inversible

      <item><math|\<lambda\>> est une racine du polynôme caractéristique
      <math|\<chi\><rsub|A><around*|(|t|)>=det<around*|(|t\<cdot\>I<rsub|n>-A|)>>
      de <math|A>.
    </itemize>

    L'espace propre de <math|A> associé à <math|\<lambda\>> est alors
    <math|E<rsub|\<lambda\>><around*|(|A|)>=Ker<around*|(|A-\<lambda\>\<cdot\>I<rsub|n>|)>>.
  </answer*>>

  <folded|<\question>
    Enoncer le théorème de Cayley-Hamilton
  </question>|<\answer*>
    Soit <math|u> un endomorphisme de <math|E> de dimension finie, alors
    <math|\<chi\><rsub|u>> (le polynôme caractéristique de <math|u>) est un
    polynôme annulateur de <math|u>.

    S'applique aussi bien sûr aux matrices carrées : si
    <math|A\<in\>M<rsub|n><around*|(|\<bbb-K\>|)>>, alors
    <math|\<chi\><rsub|A><around*|(|A|)>=0>.
  </answer*>>

  <folded|<\question>
    Soit <math|E> un <math|\<bbb-K\>>-espace vectoriel de dimension finie et
    soit <math|p> un projecteur de <math|E>. <math|p> est-il diagonalisable ?
  </question>|<\answer*>
    Oui ! On sait que dans une base de <math|E> adaptée à la décomposition
    <math|E=Im<around*|(|p|)>\<oplus\>Ker<around*|(|p|)>>, alors la matrice
    de <math|p> est diagonale avec des <math|1> puis des <math|0> sur la
    diagonale. (<math|p> admet donc, en général, deux valeurs propres :
    <math|1> d'espace propre associé <math|Im<around*|(|p|)>> et <math|0>
    d'espace propre associé <math|Ker<around*|(|p|)>>)
  </answer*>>

  <folded|<\question>
    Soit <math|A\<in\>M<rsub|n><around*|(|\<bbb-K\>|)>> de polynôme
    caractéristique scindé et de racines (non supposées <math|2> à <math|2>
    distinctes <math|\<lambda\><rsub|1>,\<cdots\>,\<lambda\><rsub|n>>).
    Exprimer en fonction de <math|A> la somme et le produit des
    <math|\<lambda\><rsub|k>>.
  </question>|<\answer*>
    <math|<big|sum>\<lambda\><rsub|k>=Tr<around*|(|A|)>> (qui est aussi
    l'opposé du coefficient selon <math|t<rsup|n-1>> de
    <math|\<chi\><rsub|A><around*|(|t|)>>) et
    <math|<big|prod>\<lambda\><rsub|k>=det<around*|(|A|)>> (qui est aussi, au
    signe près, <math|\<chi\><rsub|A><around*|(|0|)>> :
    <math|\<chi\><rsub|A><around*|(|0|)>=<around*|(|-1|)><rsup|n>*det<around*|(|A|)>=<big|prod><around*|(|-\<lambda\><rsub|k>|)>>.)
  </answer*>>

  <folded|<\question>
    Soit <math|f> un endomorphisme d'un <math|\<bbb-K\>>-espace vectoriel de
    dimension finie <math|n> et soit <math|\<lambda\>> une valeur propre de
    <math|f>. Qu'appelle-t-on ordre de multiplicité de <math|\<lambda\>> ?
  </question>|<\answer*>
    L'ordre de multiplicité <math|m<around*|(|\<lambda\>|)>> de
    <math|\<lambda\>> en tant que racine du polynôme caractéristique
    <math|\<chi\><rsub|f>> de <math|f>. ATTENTION : ce n'est pas alors
    forcément la dimension de l'espace propre associé à <math|\<lambda\>>
    dont on peut seulement dire : <math|1\<leqslant\>dim
    E<rsub|\<lambda\>><around*|(|f|)>\<leqslant\>m<around*|(|\<lambda\>|)>>.\ 
  </answer*>>

  <folded|<\question>
    Soit <math|E> un <math|\<bbb-K\>>-espace vectoriel de dimension finie et
    soit <math|s> une symétrie vectorielle de <math|E>. <math|s> est-elle
    diagonalisable ?
  </question>|<\answer*>
    Oui ! En notant <math|F> l'axe de <math|s> et <math|G> sa direction, on
    sait que tout élément de <math|F> est invariant par <math|s> et tout
    élément <math|x\<in\>G> a pour image <math|-x> par <math|s> et ainsi,
    dans une base de <math|E> adaptée à la décomposition <math|E=F\<oplus\>G>
    (formée de la réunion d'une base de <math|F> et d'une base de <math|G>)
    alors la matrice de <math|s> est diagonale avec sur la diagonale des
    <math|1> puis des <math|-1>.

    <math|s> admet ainsi, en général, deux valeurs propres : <math|1>
    d'espace propre associé l'axe <math|F> de <math|s>, et <math|-1> d'espace
    propre associé la direction <math|G> de <math|s>.
  </answer*>>

  <\folded>
    <\question>
      Soit <math|A\<in\>M<rsub|n><around*|(|\<bbb-K\>|)>> et soit
      <math|\<lambda\>> une valeur propre de <math|A>. Qu'appelle-t-on ordre
      de multiplicité de <math|\<lambda\>> ?
    </question>
  </folded|<\answer*>
    L'ordre de multiplicité <math|m<around*|(|\<lambda\>|)>> de
    <math|\<lambda\>> en tant que racine du polynôme caractéristique
    <math|\<chi\><rsub|A>> de <math|A>. ATTENTION : de la dimension de
    l'espace propre de <math|A> associé à <math|\<lambda\>>, on ne connaît a
    priori que les inégalités : <math|1\<leqslant\>dim<around*|(|E<rsub|\<lambda\>><around*|(|A|)>|)>\<leqslant\>m<around*|(|\<lambda\>|)>>.
  </answer*>>

  <folded|<\question>
    Soit <math|f> un endomorphisme de <math|E> un <math|\<bbb-K\>>-espace
    vectoriel de dimension finie, <math|P> un polynôme annulateur de <math|f>
    et <math|\<lambda\>> une valeur propre de <math|f>. Que peut-on affirmer
    alors ? (Et quid de la réciproque ?)
  </question>|<\answer*>
    On sait alors que <math|\<lambda\>> est une racine de <math|P>, car en
    notant <math|P<around*|(|X|)>=a<rsub|p>*X<rsup|p>+\<cdots\>+a<rsub|0>>,
    il vient étant donné <math|x\<neq\>0> un vecteur propre de <math|f>
    associé à <math|\<lambda\>> : <math|P<around*|(|f|)><around*|(|x|)>=a<rsub|p>*f<rsup|p><around*|(|x|)>+\<cdots\>+a<rsub|1>*f<around*|(|x|)>+a<rsub|0>*x=<around*|(|a<rsub|p>*\<lambda\><rsup|p>+\<cdots\>+a<rsub|1>*\<lambda\>+a<rsub|0>|)>\<cdot\>x=P<around*|(|\<lambda\>|)>\<cdot\>x=0>
    et ainsi <math|P<around*|(|\<lambda\>|)>=0>.

    La réciproque est évidemment fausse, car par exemple le polynôme nul est
    un polynôme annulateur de <math|f>, mais bien sûr toutes les racines de
    celui-ci (<math|\<bbb-K\>> tout entier) ne sont pas des valeurs propres
    de <math|f> !
  </answer*>>

  <\folded|<\question>
    Soit <math|f> un endomorphisme de <math|E> un <math|\<bbb-K\>>-espace
    vectoriel de dimension finie. Enoncer des conditions nécessaires et
    suffisantes à ce que <math|f> soit diagonalisable
  </question>>
    <\answer*>
      <math|f> est diagonalisable si et seulement si (les conditions
      suivantes sont équivalentes) :

      <\itemize>
        <item>il existe une base <math|<around*|(|e<rsub|1>,\<cdots\>,e<rsub|n>|)>>
        de <math|E> formée de vecteurs propres de <math|f>

        <item>Si <math|\<lambda\><rsub|1>,\<cdots\>,\<lambda\><rsub|p>> sont
        les valeurs propres (distinctes) de <math|f>, alors
        <math|E=E<rsub|\<lambda\><rsub|1>><around*|(|f|)>\<oplus\>\<cdots\>\<oplus\>E<rsub|\<lambda\><rsub|p>><around*|(|f|)>>

        <item>La somme des dimensions des espaces propres vaut la dimension
        de <math|E>

        <item>Il existe une base selon laquelle la matrice de <math|f> est
        diagonale.

        <item>Le polynôme caractéristique <math|\<chi\><rsub|f>> est scindé
        dans <math|\<bbb-K\>> et si de plus, pour tout <math|\<lambda\>>
        racine de celui-ci, la dimension de l'espace propre associé est égale
        à la multiplicité <math|m<around*|(|\<lambda\>|)>> de
        <math|\<lambda\>> en tant que racine de <math|\<chi\><rsub|f>>.

        <item><math|f> admet un polynôme annulateur scindé et à racines
        simples.

        <item>Le polynôme <math|\<Pi\><rsub|\<lambda\>\<in\>Sp<around*|(|f|)>><around*|(|X-\<lambda\>|)>>
        annule <math|f>.
      </itemize>
    </answer*>

    ATTENTION : Le fait que <math|\<chi\><rsub|f>> soit scindé à racines
    simples donne une condition suffisante à ce que <math|f> soit
    diagonalisable, mais en aucun cas nécessaire.
  </folded>

  <folded|<\question>
    Soit <math|A\<in\>M<rsub|n><around*|(|\<bbb-K\>|)>>. Enoncer des
    conditions nécessaires et suffisantes à ce que <math|A> soit
    diagonalisable
  </question>|<\answer*>
    <math|A> est diagonalisable si et seulement si (les conditions suivantes
    sont équivalentes) :

    <\itemize>
      <item>Il existe <math|P\<in\><math-it|GL><rsub|n><around*|(|\<bbb-K\>|)>>
      et <math|D> diagonale telles que <math|A=P*D*P<rsup|-1>>

      <item>Si <math|\<lambda\><rsub|1>,\<cdots\>,\<lambda\><rsub|p>> sont
      les valeurs propres (distinctes) de <math|f>, alors
      <math|\<bbb-K\><rsup|n>=E<rsub|\<lambda\><rsub|1>><around*|(|A|)>\<oplus\>\<cdots\>\<oplus\>E<rsub|\<lambda\><rsub|p>><around*|(|A|)>>

      <item>La somme des dimensions des espaces propres de <math|A> vaut
      <math|n>.

      <item>Le polynôme caractéristique <math|\<chi\><rsub|A>> est scindé
      dans <math|\<bbb-K\>> et de plus, pour tout <math|\<lambda\>> racine de
      celui-ci, la dimension de l'espace propre associé est égale à la
      multiplicité <math|m<around*|(|\<lambda\>|)>> de <math|\<lambda\>> en
      tant que racine de <math|\<chi\><rsub|A>>.

      <item>Il existe un polynôme annulateur de <math|A> scindé et à racines
      simples

      <item><math|\<Pi\><rsub|\<lambda\>\<in\>Sp<around*|(|A|)>><around*|(|X-\<lambda\>|)>>
      est un polynôme annulateur de <math|A>.
    </itemize>

    ATTENTION : le fait que <math|\<chi\><rsub|A>> soit scindé à racines
    simples montre que <math|A> est diagonalisable, mais ce n'est en aucun
    une condition nécessaire à ce qu'elle le soit.
  </answer*>>

  <folded|<\question>
    Soit <math|P<around*|(|X|)>> le polynôme unitaire
    <math|X<rsup|n>+a<rsub|n-1>*X<rsup|n-1>+\<cdots\>+a<rsub|1>*X+a<rsub|0>>.
    Qu'appelle-t-on matrice compagnon de <math|P> et que peut-on en dire ?
  </question>|<\answer*>
    La matrice compagnon de <math|P> peut prendre l'une ou l'autre des deux
    formes suivantes (transposées l'une de l'autre) :

    <\equation*>
      M=<matrix|<tformat|<table|<row|<cell|0>|<cell|\<cdots\>>|<cell|\<cdots\>>|<cell|0>|<cell|-a<rsub|0>>>|<row|<cell|1>|<cell|\<ddots\>>|<cell|>|<cell|\<vdots\>>|<cell|\<vdots\>>>|<row|<cell|0>|<cell|\<ddots\>>|<cell|\<ddots\>>|<cell|\<vdots\>>|<cell|\<vdots\>>>|<row|<cell|\<vdots\>>|<cell|\<ddots\>>|<cell|\<ddots\>>|<cell|0>|<cell|\<vdots\>>>|<row|<cell|0>|<cell|\<cdots\>>|<cell|0>|<cell|1>|<cell|-a<rsub|n-1>>>>>><infix-or>M=<matrix|<tformat|<table|<row|<cell|0>|<cell|1>|<cell|0>|<cell|\<cdots\>>|<cell|0>>|<row|<cell|\<vdots\>>|<cell|\<ddots\>>|<cell|\<ddots\>>|<cell|\<ddots\>>|<cell|\<vdots\>>>|<row|<cell|\<vdots\>>|<cell|>|<cell|\<ddots\>>|<cell|\<ddots\>>|<cell|0>>|<row|<cell|0>|<cell|\<cdots\>>|<cell|\<cdots\>>|<cell|0>|<cell|1>>|<row|<cell|-a<rsub|0>>|<cell|\<cdots\>>|<cell|\<cdots\>>|<cell|\<nosymbol\>\<cdots\>>|<cell|-a<rsub|n-1>>>>>>
    </equation*>

    La propriété remarquable d'une matrice compagnon de <math|P> est que
    <math|\<chi\><rsub|M>=P>. La démonstration se fait par une récurrence, et
    l'hérédité s'obtient par un développement du déterminant suivant la
    première (voire la dernière) ligne (si on prend la matrice de gauche) ou
    suivant la première colonne (si on a choisi celle de droite bien sûr).\ 
  </answer*>>

  <folded|<\question>
    A quelle condition <math|A\<in\>M<rsub|n><around*|(|\<bbb-K\>|)>>
    est-elle trigonalisable ?
  </question>|<\answer*>
    si et seulement si son polynôme caractéristique est scindé.
  </answer*>>

  <folded|<\exercise>
    Diagonaliser <math|U=<matrix|<tformat|<table|<row|<cell|1>|<cell|1>|<cell|1>>|<row|<cell|1>|<cell|1>|<cell|1>>|<row|<cell|1>|<cell|1>|<cell|1>>>>>>
  </exercise>|<\solution*>
    Déjà <math|U> est de rang <math|1> et une base de son noyau, lequel n'est
    autre que <math|E<rsub|0><around*|(|U|)>> est
    <math|<around*|(|<matrix|<tformat|<table|<row|<cell|1>>|<row|<cell|-1>>|<row|<cell|0>>>>>,<matrix|<tformat|<table|<row|<cell|0>>|<row|<cell|1>>|<row|<cell|-1>>>>>|)>>.
    De la trace de <math|U>, on déduit que la racine manquante de
    <math|\<chi\><rsub|U>> vaut <math|3> et, vu que
    <math|U-3*I<rsub|3>=<matrix|<tformat|<table|<row|<cell|-2>|<cell|1>|<cell|1>>|<row|<cell|1>|<cell|-2>|<cell|1>>|<row|<cell|1>|<cell|1>|<cell|-2>>>>>>
    on observe que <math|E<rsub|3><around*|(|U|)>=Vect<around*|(|<matrix|<tformat|<table|<row|<cell|1>>|<row|<cell|1>>|<row|<cell|1>>>>>|)>>.
    Ainsi en posant <math|P=<matrix|<tformat|<table|<row|<cell|1>|<cell|1>|<cell|0>>|<row|<cell|1>|<cell|-1>|<cell|1>>|<row|<cell|1>|<cell|0>|<cell|-1>>>>>>
    et <math|D=<matrix|<tformat|<table|<row|<cell|3>|<cell|0>|<cell|0>>|<row|<cell|0>|<cell|0>|<cell|0>>|<row|<cell|0>|<cell|0>|<cell|0>>>>>>,
    on a <math|U=P**D*P<rsup|-1>>.
  </solution*>>

  <folded|<\exercise>
    Soit <math|A\<in\>M<rsub|n><around*|(|\<bbb-K\>|)>> de rang <math|1> (on
    suppose <math|n\<geqslant\>2>). A quelle condition <math|A> est-elle
    diagonalisable ?
  </exercise>|<\solution*>
    On sait déjà que <math|0> est une valeur propre de <math|A> et son espace
    propre associé <math|E<rsub|0><around*|(|A|)>=Ker<around*|(|A|)>> est de
    dimension <math|n-1>. <math|0> est alors une racine de
    <math|\<chi\><rsub|A>> de multiplicité au moins égale à <math|n-1>.
    <math|\<chi\><rsub|A>> admet alors une dernière racine dans
    <math|\<bbb-K\>>. Ce pourrait encore être <math|0> et dans ce cas,
    <math|0> serait une valeur propre de <math|A> de multiplicité <math|n>,
    et <math|dim E<rsub|0><around*|(|A|)>\<less\>n> et donc <math|A> ne
    serait pas diagonalisable. Ou bien cette dernière racine n'est pas nulle,
    et on a alors une dernière direction propre, de dimension <math|1>
    associé à une valeur propre non nulle.

    Pour en décider, il suffit de regarder la trace de <math|A> égale à la
    somme des racines de <math|\<chi\><rsub|A>> (puisque
    <math|\<chi\><rsub|A>> est forcément ici scindé) : si elle est nulle,
    <math|A> n'est donc pas diagonalisable, et si elle est non nulle, alors
    <math|A> est diagonalisable.

    A noter enfin que si <math|\<lambda\>=Tr<around*|(|A|)>\<neq\>0>, alors
    <math|E<rsub|\<lambda\>><around*|(|A|)>=Im<around*|(|A|)>> donc nul
    besoin de poser des équations pour déterminer cette direction propre : il
    suffit de prendre n'importe quelle colonne non nulle de <math|A>.
  </solution*>>

  <folded|<\exercise>
    Les matrices suivantes sont-elles diagonalisables ? Le cas échéant,
    diagonaliser avec le moins de calculs possible

    <\equation*>
      A=<matrix|<tformat|<table|<row|<cell|-1>|<cell|1>|<cell|-2>>|<row|<cell|2>|<cell|-2>|<cell|4>>|<row|<cell|1>|<cell|-1>|<cell|2>>>>><space|3em>B=<matrix|<tformat|<table|<row|<cell|2>|<cell|-6>|<cell|2>>|<row|<cell|1>|<cell|-3>|<cell|1>>|<row|<cell|1>|<cell|-3>|<cell|1>>>>>
    </equation*>
  </exercise>|<\solution*>
    <math|A> est de rang <math|1> et <math|0> est donc une valeur propre
    d'espace propre associé de dimension <math|2>.
    <math|\<chi\><rsub|A><around*|(|X|)>> qui se factorise par
    <math|X<rsup|2>> est dès lors un polynôme scindé et la dernière racine
    <math|\<lambda\>> de <math|\<chi\><rsub|A>> est donnée par
    <math|Tr<around*|(|A|)>=0+0+\<lambda\>=-1>.

    Une base de <math|E<rsub|0><around*|(|A|)>> est alors
    <math|<around*|(|<matrix|<tformat|<table|<row|<cell|1>>|<row|<cell|1>>|<row|<cell|0>>>>>,<matrix|<tformat|<table|<row|<cell|0>>|<row|<cell|2>>|<row|<cell|1>>>>>|)>>
    et <math|A+I<rsub|3>=<matrix|<tformat|<table|<row|<cell|0>|<cell|1>|<cell|-2>>|<row|<cell|2>|<cell|-1>|<cell|4>>|<row|<cell|1>|<cell|-1>|<cell|3>>>>>>
    est de rang <math|2> et ses colonnes satisfont
    <math|C<rsub|1>=C<rsub|3>+2*C<rsub|2>> et ainsi
    <math|E<rsub|-1><around*|(|A|)>=Vect<around*|(|<matrix|<tformat|<table|<row|<cell|1>>|<row|<cell|-2>>|<row|<cell|-1>>>>>|)>>.
    Ainsi, en posant <math|P=<matrix|<tformat|<table|<row|<cell|1>|<cell|1>|<cell|0>>|<row|<cell|-2>|<cell|1>|<cell|2>>|<row|<cell|-1>|<cell|0>|<cell|1>>>>>>
    et <math|D=<matrix|<tformat|<table|<row|<cell|-1>|<cell|0>|<cell|0>>|<row|<cell|0>|<cell|0>|<cell|0>>|<row|<cell|0>|<cell|0>|<cell|0>>>>>>
    alors <math|A=P*D*P<rsup|-1>>

    <math|B*> est également de rang <math|1>, mais sa trace vaut <math|0>, ce
    qui indique que <math|0> est une racine triple de <math|\<chi\><rsub|B>>.
    L'espace propre associé a pour dimension <math|2> ce qui suffit à
    conclure que <math|B> n'est pas diagonalisable.
  </solution*>>
</body>

<\initial>
  <\collection>
    <associate|global-title|Reduction.tm>
    <associate|page-bot|2cm>
    <associate|page-even|1cm>
    <associate|page-medium|paper>
    <associate|page-odd|1cm>
    <associate|page-right|1cm>
    <associate|page-top|1cm>
  </collection>
</initial>