\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Mes commandes %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\multirows}[3]{\multirow{#1}{#2}{$#3$}}%pour rester en mode math \renewcommand{\arraystretch}{1.3}%pour augmenter la taille des case \newcommand{\point}[1]{\marginnote{\small\vspace*{-1em} #1}}%pour indiquer les points ou le temps \newcommand{\dpl}[1]{\displaystyle{#1}}%megamode \newcommand{\A}{\mathscr{A}} \newcommand{\LN}{\mathscr{N}} \newcommand{\LL}{\mathscr{L}} \newcommand{\K}{\mathbb{K}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\M}{\mathcal{M}} \newcommand{\D}{\mathbb{D}} \newcommand{\E}{\mathcal{E}} \renewcommand{\P}{\mathcal{P}} \newcommand{\G}{\mathcal{G}} \newcommand{\Kk}{\mathcal{K}} \newcommand{\Cc}{\mathcal{C}} \newcommand{\Zz}{\mathcal{Z}} \newcommand{\Ss}{\mathcal{S}} \newcommand{\B}{\mathbb{B}} \newcommand{\inde}{\bot\!\!\!\bot} \newcommand{\Proba}{\mathbb{P}} \newcommand{\Esp}[1]{\dpl{\mathbb{E}\left(#1\right)}} \newcommand{\Var}[1]{\dpl{\mathbb{V}\left(#1\right)}} \newcommand{\Cov}[1]{\dpl{Cov\left(#1\right)}} \newcommand{\base}{\mathcal{B}} \newcommand{\Som}{\textbf{Som}} \newcommand{\Chain}{\textbf{Chain}} \newcommand{\Ar}{\textbf{Ar}} \newcommand{\Arc}{\textbf{Arc}} \newcommand{\Min}{\text{Min}} \newcommand{\Max}{\text{Max}} \newcommand{\Ker}{\text{Ker}} \renewcommand{\Im}{\text{Im}} \newcommand{\Sup}{\text{Sup}} \newcommand{\Inf}{\text{Inf}} \renewcommand{\det}{\texttt{det}} \newcommand{\GL}{\text{GL}} \newcommand{\crossmark}{\text{\ding{55}}} \renewcommand{\checkmark}{\text{\ding{51}}} \newcommand{\Card}{\sharp} \newcommand{\Surligne}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\SurligneMM}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \renewcommand{\lim}[1]{\underset{#1}{lim}\,} \newcommand{\nonor}[1]{\left|#1\right|} \newcommand{\Un}{1\!\!1} \newcommand{\sepon}{\setlength{\columnseprule}{0.5pt}} \newcommand{\sepoff}{\setlength{\columnseprule}{0pt}} \newcommand{\flux}{Flux} \newcommand{\Cpp}{\texttt{C++\ }} \newcommand{\Python}{\texttt{Python\ }} %\newcommand{\comb}[2]{\begin{pmatrix} #1\\ #2\end{pmatrix}} \newcommand{\comb}[2]{C_{#1}^{#2}} \newcommand{\arrang}[2]{A_{#1}^{#2}} \newcommand{\supp}[1]{Supp\left(#1\right)} \newcommand{\BB}{\mathcal{B}} \newcommand{\arc}[1]{\overset{\rotatebox{90}{)}}{#1}} \newcommand{\modpi}{\equiv_{2\pi}} \renewcommand{\Re}{Re} \renewcommand{\Im}{Im} \renewcommand{\bar}[1]{\overline{#1}} \newcommand{\mat}{\mathcal{M}} \newcommand{\und}[1]{{\mathbf{\color{red}\underline{#1}}}} \newcommand{\rdots}{\text{\reflectbox{$\ddots$}}} \newcommand{\Compa}{Compa} \newcommand{\dint}{\dpl{\int}} \newcommand{\intEFF}[2]{\left[\!\left[#1 ; #2\right]\!\right]} \newcommand{\intEFO}[2]{\left[\!\left[#1 ; #2\right[\!\right[} \newcommand{\intEOF}[2]{\left]\!\left]#1 ; #2\right]\!\right]} \newcommand{\intEOO}[2]{\left]\!\left]#1 ; #2\right[\!\right[} \newcommand{\ou}{\vee} \newcommand{\et}{\wedge} \newcommand{\non}{\neg} \newcommand{\implique}{\Rightarrow} \newcommand{\equivalent}{\Leftrightarrow} \newcommand{\Ab}{\overline{A}} \newcommand{\Bb}{\overline{B}} \newcommand{\Cb}{\overline{C}} \newcommand{\Cl}{\texttt{Cl}} \newcommand{\ab}{\overline{a}} \newcommand{\bb}{\overline{b}} \newcommand{\cb}{\overline{c}} \newcommand{\Rel}{\mathcal{R}} \newcommand{\superepsilon}{\varepsilon\!\!\varepsilon} \newcommand{\supere}{e\!\!e} \makeatletter \newenvironment{console}{\noindent\color{white}\begin{lrbox}{\@tempboxa}\begin{minipage}{\columnwidth} \ttfamily \bfseries\vspace*{0.5cm}} {\vspace*{0.5cm}\end{minipage}\end{lrbox}\colorbox{black}{\usebox{\@tempboxa}} } \makeatother \def\ie{\textit{i.e. }} \def\cf{\textit{c.f. }} \def\vide{ { $ {\text{ }} $ } } %Commande pour les vecteurs \newcommand{\vv}{\overrightarrow{v}} \newcommand{\vu}{\overrightarrow{u}} \newcommand{\vup}{\overrightarrow{u'}} \newcommand{\vx}{\overrightarrow{x}} \newcommand{\vy}{\overrightarrow{y}} \newcommand{\vz}{\overrightarrow{z}} \newcommand{\vt}{\overrightarrow{t}} \newcommand{\va}{\overrightarrow{a}} \newcommand{\vb}{\overrightarrow{b}} \newcommand{\vc}{\overrightarrow{c}} \newcommand{\vd}{\overrightarrow{d}} \newcommand{\ve}[1]{\overrightarrow{e_{#1}}} \newcommand{\vf}[1]{\overrightarrow{f_{#1}}} \newcommand{\vn}{\overrightarrow{0}} \newcommand{\Mat}{Mat} \newcommand{\Pass}{Pass} \newcommand{\mkF}{\mathfrak{F}} \renewcommand{\sp}{Sp} \newcommand{\Co}{Co} \newcommand{\vect}[1]{\dpl{\left\langle #1\right\rangle}} \newcommand{\trans}[1]{{\vphantom{#1}}^{t}{#1}} \SelectTips{cm}{12}%Change le bout des flèches dans un xymatrix \newcommand{\pourDES}[8]{ \begin{itemize} \item Pour la ligne : le premier et dernier caractère forment $#1#2$ soit $#4$ en base 10. \item Pour la colonne : les autres caractères du bloc forment $#3$ soit $#5$ en base 10. \item A l'intersection de la ligne $#4+1$ et de la colonne $#5+1$ de $S_{#8}$ se trouve l'entier $#6$ qui, codé sur $4$ bits, est \textbf{\texttt{$#7$}}. \end{itemize} } \)
Exercice

L'exercice suivant est automatiquement et aléatoirement généré par ataraXy.
Si vous regénérez la page (F5) les valeurs seront changées.
La correction se trouve en bas de page.


Soit \( M= \begin{pmatrix}9 & 10 \\ 0 & 21\end{pmatrix} \)
Calculs dans \( \R\) .
  1. Donnez \( \det(M)\) .
  2. Donner \( Co(M)\) la matrice des cofacteurs
    de \( M\) .
  3. Donner, en tant que matrice réelle, l'inverse de la matrice \( M\) .

Calculs dans \( \Z/26\Z\) .
  1. Expliquez pourquoi le déterminant de la matrice \( M\) est inversible modulo \( 26\) et déterminez son inverse modulaire modulo \( 26\) .
  2. En déduire, en tant que matrice modulaire, l'inverse de \( M\) modulo \( 26\) .
  3. Application : un chiffrement de Hill de clef \( M\) a été utilisé (avec le codex pédagogique \( A=0\) , ..., \( Z=25\) ), pour obtenir le cryptogramme suivant. Quelle est le message claire ? \[ YTMIPAEOKNPA \]
Cliquer ici pour afficher la solution
Calculs dans \( \R\) .
  1. En appliquant la règle du gamma, on trouve \[ det(M)=9\times 21-0\times 10=189\]
  2. En appliquant la formule : \begin{eqnarray*} Co(M)&=& \begin{pmatrix} {\color{red}+} \left| \begin{array}{c} 21 \end{array} \right| & {\color{red}-} \left| \begin{array}{c} 0 \end{array} \right| \\ {\color{red}-} \left| \begin{array}{c} 10 \end{array} \right| & {\color{red}+} \left| \begin{array}{c} 9 \end{array} \right| \end{pmatrix}\\ &=& \begin{pmatrix}21 & 0 \\ -10 & 9\end{pmatrix} \end{eqnarray*}
  3. L'inverse d'une matrice \( X\) est donné par la formule \( X=(det(X))^{-1}{^t}Co(X)\) . Dans ce cas, puisque le déterminant est non nul : \begin{eqnarray*} M^{-1}&=& \dfrac{1}{189} \begin{pmatrix}21 & -10 \\ 0 & 9\end{pmatrix}\\ &=& \begin{pmatrix}\dfrac{1}{9} & -\dfrac{10}{189} \\ 0 & \dfrac{1}{21}\end{pmatrix} \end{eqnarray*}

Calculs dans \( \Z/26\Z\) .
  1. Pour que \( \det(M)=189\) soit inversible modulo \( 26\) il faut et il suffit que son PGCD avec \( 26\) soit \( 1\) (autrement : il faut et il suffit que \( 21\) et \( 26\) soient premiers entre eux). \[ \begin{array}{|c|c|c|c||c|c|}\hline a&b&r&q&u&v \\ \hline 26 & 189 & 26 & 0&80 & -11 \\ \hline 189 & 26 & 7 & 7&-11 & 80 \\ \hline 26 & 7 & 5 & 3&3 & -11 \\ \hline 7 & 5 & 2 & 1&-2 & 3 \\ \hline 5 & 2 & 1 & 2&1 & -2 \\ \hline 2 & 1 & 0 & 2&0 & 1 \\ \hline \end{array} \] L'algorithme d'Euclide appliqué ci dessus prouve que \( PGCD(189, 26)=1\) (dernière valeur dans la colonne \( b\) ). De plus l'algorithme d'Euclide étendue donner \( 189^{-1}\equiv_{26}-11\) (première valeur dans la colonne de \( v\) ).
  2. Pour l'inverse d'une matrice modulaire, on raisonne de la même manière que pour les matrices réelles à ceci près qu'il faut appliquer l'inverse modulaire du déterminant que nous avons précédemment calculé. Cela donne donc \begin{eqnarray*} M^{-1}&\equiv_{26}& (189)^{-1}\begin{pmatrix}21 & -10 \\ 0 & 9\end{pmatrix}\\ &\equiv_{26}& -11\begin{pmatrix}21 & -10 \\ 0 & 9\end{pmatrix} \\ &\equiv_{26}& \begin{pmatrix}-231 & 110 \\ 0 & -99\end{pmatrix}\\ &\equiv_{26}& \begin{pmatrix}3 & 6 \\ 0 & 5\end{pmatrix} \end{eqnarray*}
  3. Appliquons le processus de déchiffrement de Hill \[ \begin{array}{r|*{12}{c}} Cara & Y & T & M & I & P & A & E & O & K & N & P & A\\\hline Codex & 24 & 19 & 12 & 8 & 15 & 0 & 4 & 14 & 10 & 13 & 15 & 0\\\hline X & &{(^{24}_{19})} & &{(^{12}_{8})} & &{(^{15}_{0})} & &{(^{4}_{14})} & &{(^{10}_{13})} & &{(^{15}_{0})}\\\hline M^{-1}X & &{(^{406}_{399})} & &{(^{188}_{168})} & &{(^{135}_{0})} & &{(^{176}_{294})} & &{(^{220}_{273})} & &{(^{135}_{0})}\\\hline \equiv_{26} & &{(^{4}_{17})} & &{(^{6}_{14})} & &{(^{19}_{0})} & &{(^{18}_{18})} & &{(^{4}_{13})} & &{(^{19}_{0})}\\\hline Depaq & 4 & 17 & 6 & 14 & 19 & 0 & 18 & 18 & 4 & 13 & 19 & 0\\\hline Cara & E & R & G & O & T & A & S & S & E & N & T & A \end{array} \] Le message claire est \( ERGOTASSENTA\) (ergotassent).