Add théorême fondamental RSA

algebre-non-lineaire/main.tex

@@ -764,4 +764,21 @@
                                               &= 8
         \end{align*}
 
+        Ceci implique que, par exemple~:
+
+        \begin{align*}
+            \text{Dans } \frac{\mathbb{Z}}{200\mathbb{Z}}\;: \varphi(200) = 80 \implies 80 \text{ éléments inversibles} \\
+            \overline{37} \text{ est inversible} \\
+            \quad \overline{37}^{80} &= \overline{1} & 37^{80}[200] &= 1 \\
+            \quad \overline{37}^{81} &= \overline{37} & 37^{81}[200] &= 37 \\
+        \end{align*}
+
+        Si $n$ est le produit de deux nombres premiers $p$ et $q$, alors~:
+
+        \begin{equation} \label{eq:rsa}
+            \forall a \in [1, n-1] \quad a^{\varphi(n)}[n] = 1, \quad a^{(\varphi(n) + 1)}[n] = a
+        \end{equation}
+
+        \eqref{eq:rsa} est le théorême fondamental de RSA\@.
+
 \end{document}