\usepackage{graphicx}
\usepackage{fancyhdr}
\usepackage{color}
-\usepackage{emaxima}
+% \usepackage{emaxima}
%\usepackage{ngerman}
\end{equation}
erhält man für $n$:
\begin{equation}
-n:=\left(2p_{1} \cdots p_{r} \right)^{2} +1 = 4(p_{1} \cdots p_{r} \right)^{2} + 1 \Rightarrow n \equiv 1 \mod 4
+n:=\left(2p_{1} \cdots p_{r} \right)^{2} +1 = \left(p_{1} \cdots p_{r} \right)^{2} + 1 \Rightarrow n \equiv 1 \mod 4
\end{equation}
Sei $p \in \P \land p \mid n$ (nach dem Fundamentalsatz der Zahlentheorie):
\begin{equation}
-\forall i \in \lbrace 1 , \ldots, r \rbrace: p \neq p_{i} \textsl{ (da Rest 1 bleibt) }
- \end{enumerate}
+ \forall i \in \lbrace 1 , \ldots, r \rbrace: p \neq p_{i} \textsl{ (da Rest 1 bleibt) }
+\end{equation}
+\end{enumerate}
Insbesondere folgt daraus, dass $p \equiv 3 \mod 4$. Man erhält also die folgende Kongruenz:
\begin{equation}
-(2p_{1} \cdots p_{r} \right)^{2} equiv -1 \mod p4,
+\left(2p_{1} \cdots p_{r} \right)^{2} equiv -1 \mod p4,
\end{equation}
es ist also $-1$ quadratischer Rest $\mod p$. Dies steht nun im Widersrpuch zum 1. Ergänzungssatz.
Sei $p \in \P$ und $p \equiv 3 \mod 4$. Nach dem Satz von Gauß existiert eine Primitivwurzel $ g \mod p$.
\begin{subequations}
\begin{align}
-
\end{align}
\end{subequations}
\subsection*{$18$. Aufgabe}
\underbrace{2^{\frac{q-1}{2}}}_{\equiv -1 \mod q } +1 \equiv -1 + 1 \equiv 0 \mod q \Rightarrow q \mid 2^{p}+1
\end{equation}
\end{enumerate}
-\begin{maxima}
-for p:3 thru 97 step 1 do if primep(p) and primep(2*p+1) and power_mod(2,(p-1)/2,p) = 1 then ldisplay(p);
-for i in [23,41,89] do ldisplay(primep(2^i-1));
-618970019642690137449562111-341550071728321;
-\maximaoutput*
-\t9. p=23 \\
-\t10. p=41 \\
-\t11. p=89 \\
-\m \mathbf{done} \\
-\t12. \mathrm{primep}\left(8388607\right)=\mathbf{false} \\
-\t13. \mathrm{primep}\left(2199023255551\right)=\mathbf{false} \\
-\t14. \mathrm{primep}\left(618970019642690137449562111\right)=\mathbf{true} \\
-\m \mathbf{done} \\
-\m 618970019642348587377833790 \\
-\end{maxima}
+% \begin{maxima}
+% for p:3 thru 97 step 1 do if primep(p) and primep(2*p+1) and power_mod(2,(p-1)/2,p) = 1 then ldisplay(p);
+% for i in [23,41,89] do ldisplay(primep(2^i-1));
+% 618970019642690137449562111-341550071728321;
+% \maximaoutput*
+% \t9. p=23 \\
+% \t10. p=41 \\
+% \t11. p=89 \\
+% \m \mathbf{done} \\
+% \t12. \mathrm{primep}\left(8388607\right)=\mathbf{false} \\
+% \t13. \mathrm{primep}\left(2199023255551\right)=\mathbf{false} \\
+% \t14. \mathrm{primep}\left(618970019642690137449562111\right)=\mathbf{true} \\
+% \m \mathbf{done} \\
+% \m 618970019642348587377833790 \\
+% \end{maxima}
\end{document}