Ataraxy

\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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}{\text{\Large$\varepsilon\!\!\varepsilon$}} \newcommand{\supere}{\text{\Large$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.

Calculer l'inverse modulaire de $ 7$ modulo $ 26$ .
Calculer le déterminant de la matrice $ A = \begin{pmatrix}25 & 1 & 19 \\ 1 & 14 & 3 \\ 25 & 15 & 20\end{pmatrix}$ .
Expliquer pourquoi la matrice $ A $ est inversible modulo $ 26$ .
Déterminer l'inverse de la matrice $ A $ . A cette fin, on pourra considérer le produit de la matrice $ A$ par la matrice $ B =\begin{pmatrix}235 & 265 & -263 \\ 55 & 25 & -56 \\ -335 & -350 & 349\end{pmatrix}$ .
Déchiffrer le message suivant, crypté par la méthode de Hill par paquet de 1 de clef $ A $ : $$LJFJPCEOZIIQ$$

Cliquer ici pour afficher la solution

$$\begin{array}{|c|c|c|c||c|c|}\hline a&b&r&q&u&v \\ \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 étendu, montre que l'inverse modulaire de $ 7$ est $ 15$ .
D'après le cours $ det(A)= -435\equiv_{26}7$ .
La matrice $ A $ est inversible car le déterminant est inversible modulo $ 26$ .
Réalisation le produit suggéré par l'énoncé : \begin{eqnarray*} A\times B &=& \begin{pmatrix}25 & 1 & 19 \\ 1 & 14 & 3 \\ 25 & 15 & 20\end{pmatrix}\begin{pmatrix}235 & 265 & -263 \\ 55 & 25 & -56 \\ -335 & -350 & 349\end{pmatrix}\\ &=& \begin{pmatrix}-435 & 0 & 0 \\ 0 & -435 & 0 \\ 0 & 0 & -435\end{pmatrix}\\ &=&-435\begin{pmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1\end{pmatrix}\\ &\equiv_{26}&7\begin{pmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1\end{pmatrix} \end{eqnarray*} Ainsi $ A\times B\equiv_{26}7Id_{3}$ . Puisque $ 15$ est l'inverse de $ 7$ modulo $ 26$ , on en déduit que $ A\times (15B)\equiv_{26} Id_{3}$ et donc que $ 15B\equiv_{26}A^{-1}$ . En conclusion : $$ A^{-1}\equiv_{26}15\begin{pmatrix}235 & 265 & -263 \\ 55 & 25 & -56 \\ -335 & -350 & 349\end{pmatrix}\equiv_{26}\begin{pmatrix}15 & 23 & -19 \\ 19 & 11 & -8 \\ -7 & -24 & 9\end{pmatrix}$$
$$\begin{array}{r|*{12}{|c}} Cryptogramme & L & J & F & J & P & C & E & O & Z & I & I & Q\\\hline Codex & 11 & 9 & 5 & 9 & 15 & 2 & 4 & 14 & 25 & 8 & 8 & 16\\\hline Vecteurs & &&{ \begin{pmatrix}11 \\ 9 \\ 5\end{pmatrix} } & &&{ \begin{pmatrix}9 \\ 15 \\ 2\end{pmatrix} } & &&{ \begin{pmatrix}4 \\ 14 \\ 25\end{pmatrix} } & &&{ \begin{pmatrix}8 \\ 8 \\ 16\end{pmatrix} }\\\hline\begin{pmatrix}15 & 23 & -19 \\ 19 & 11 & -8 \\ -7 & -24 & 9\end{pmatrix} & &&{ \begin{pmatrix}277 \\ 268 \\ -248\end{pmatrix} } & &&{ \begin{pmatrix}442 \\ 320 \\ -405\end{pmatrix} } & &&{ \begin{pmatrix}-93 \\ 30 \\ -139\end{pmatrix} } & &&{ \begin{pmatrix}0 \\ 112 \\ -104\end{pmatrix} }\\\hline\equiv_{26} & &&{ \begin{pmatrix}17 \\ 8 \\ 12\end{pmatrix} } & &&{ \begin{pmatrix}0 \\ 8 \\ 11\end{pmatrix} } & &&{ \begin{pmatrix}11 \\ 4 \\ 17\end{pmatrix} } & &&{ \begin{pmatrix}0 \\ 8 \\ 0\end{pmatrix} }\\\hline & 17 & 8 & 12 & 0 & 8 & 11 & 11 & 4 & 17 & 0 & 8 & 0\\\hline Message & R & I & M & A & I & L & L & E & R & A & I & A\end{array}$$Le message claire est $ RIMAILLERAIA $ .