]> git.leopard-lacewing.eu Git - zahlenTA.git/commitdiff
ue3+2 Fehlerbehoben und Namen entfernt
authorPeter Schaefer <schaeferpm@gmail.com>
Sat, 12 May 2012 09:22:27 +0000 (11:22 +0200)
committerPeter Schaefer <schaeferpm@gmail.com>
Sat, 12 May 2012 09:22:27 +0000 (11:22 +0200)
UE/ue2.pdf
UE/ue2.tex
UE/ue3.tex

index edf968692ae2af977f87f1844b5b21be8a344049..36bc36433c17021976b0c7298f5f506c4ecf4403 100644 (file)
Binary files a/UE/ue2.pdf and b/UE/ue2.pdf differ
index 28bfb4002efc439bda50c3543c6e48dbb0115f11..18a1c3a7f2ef8bae4326f5242ac763e5b0a106a3 100644 (file)
@@ -26,7 +26,7 @@
 \def\sgn{\text{sgn}}
 %opening
 \title{}
-\author{Peter Schaefer, Bernhard Garn}
+\author{}
 
 \begin{document}
 \maketitle
index 2fb0fa37524336b1afceca870d8b5ef7eb933767..d9ea9304ff9e22d70b69397ae40f4768e62acff1 100644 (file)
@@ -11,7 +11,7 @@
 \usepackage{graphicx}
 \usepackage{fancyhdr}
 \usepackage{color}
-\usepackage{emaxima}
+\usepackage{emaxima}
 %\usepackage{ngerman} 
 
 
@@ -50,15 +50,16 @@ Nach dem Fundamentalsatz der Zahlentheorie hat $m$ mindestens einen Primteiler $
   \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. 
 
@@ -67,7 +68,6 @@ es ist also $-1$ quadratischer Rest $\mod p$. Dies steht nun im Widersrpuch zum
 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}
@@ -90,19 +90,19 @@ Aus dem kleinen Fermat erhält man nun direkt
     \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}