|
|
| (Eine dazwischenliegende Version von einem Benutzer wird nicht angezeigt) |
| Zeile 1: |
Zeile 1: |
| − | <u>Beispiel:</u><br>
| |
| − | <br>
| |
| − | Um die letzten Details des Treffens zu klären, telefonieren Alice und Bob. Es ist 12 Uhr mittags.<br>
| |
| − | [[Bild:Deininger Matthias_Abt1.jpg]]
| |
| − | Alice sagt: „Wir treffen uns in 48 Stunden bei mir.“ Um wie viel Uhr treffen sich die beiden?<br>
| |
| − | <br>
| |
| − | Jeder kann mir sofort im Kopf die Lösung ausrechnen. Selbst Mallory hat ermitteln können, dass sich die beiden genau zwei Tage darauf zur selben Uhrzeit wieder treffen.<br>
| |
| − | Doch wieso ist es dann nicht 60 Uhr? Dies hängt damit zusammen, dass unsere Stundenzählung nach 24 Stunden wieder bei Null beginnt, mathematisch ausgedrückt, gibt es nur die Stunden im Intervall [0,23], also bei n= 24 h pro Tag nur im Intervall [0,n-1]. Doch wie erhalten wir nun das obige Ergebnis, wir teilen die Zahl 60 einfach so oft durch 24, bis wir einen ganzzahligen Rest erhalten, der in obigem Intervall liegt. Mathematisch bezeichnet man dieses Teilen als Modulo-Rechnung, doch eigentlich macht man dabei nichts anderes, wie wir, beim Berechnen der Uhrzeit ausgeführt haben. Die Modulo-Rechnung ist korrekt mathematisch wie folgt definiert:<br>
| |
| − | <br>
| |
| − | '''Definition 2.0''' Es seien <math>a,b \in \Z</math> und <math>n\in\N</math>. a heißt kongruent b modulo n (in Zeichen <math>a\equiv_n b</math> oder a mod n = b mod n), wenn es ein <math> k \in\Z</math> gibt mit<br>
| |
| − | <br>
| |
| − | <math> a-b =k\cdot n </math><br>
| |
| − | <br>
| |
| − | Für unser Beispiel bedeutet dies:<br>
| |
| − | a = 60, b =12<br>
| |
| − | n = 24<br>
| |
| − | <math>60-12 = k\cdot 24 \Rightarrow k = 2</math><br>
| |
| − | <math>60\ mod\ 24 = 12 = 12\ mod\ 24\ </math><br>
| |
| − | <br>
| |
| − | Die Bedingung der Definition ist gleichwertig damit, dass n die Zahl (a-b) teilt.<br>
| |
| − | <br>
| |
| − | Es zeigt sich, dass modulo n eine Äquivalenzrelation ist, also gilt:<br>
| |
| − | <br>
| |
| − | 1.''Reflexivität:'' jede ganze Zahl a ist zu sich selbst kongruent modulo n (a ≡ a[mod n]) <br>
| |
| − | Beispiel: 60 ≡ 60 (mod 24) ; 60 mod 24 = 60 mod 24 <br>
| |
| − | 2.''Symmetrie:'' aus a ≡ b (mod n) folgt, dass auch b ≡ a (mod n) <br>
| |
| − | Beispiel: 60 ≡ 12 (mod 24) gleich 12 ≡ 60 (mod 24)<br>
| |
| − | 3.''Transitivität:'' aus a ≡ b (mod n) und b ≡ c (mod n) folgt, dass a ≡ c (mod n) gilt.<br>
| |
| − | Beispiel: 60 ≡ 12 (mod 24) , 12 ≡ 36 (mod 24) => 60 ≡ 36 (mod 24)<br>
| |
| − | <br>
| |
| − | Um den Beweis zu den Äquivalenzrelationen verstehen zu können, solltest du zunächst Definition 2.2 betrachten.<br>
| |
| − | <popup name="Beweis">
| |
| − | <br>
| |
| − | </popup>
| |
| − | <br>
| |
| − | <br>
| |
| − | Die derzeit effizienteste Umsetzung des Euklidischen Algorithmus lässt sich nun ableiten:
| |
| − | Wie in Def. 2.0 beschrieben ist <math>a-b =k\cdot n</math> äquivalent zu a ≡ b (mod n).
| |
| − | Der Euklidische Algorithmus (vgl. Algorithmus 1.1) besagt: <math>a= b\cdot q +r</math> mit <math>0 \le r <b</math> umgeformt ergibt dies:<br>
| |
| − | <math>a-r = b\cdot q </math><br>
| |
| − | folglich lässt sich der Euklidische Algorithmus wie folgt durchführen:<br>
| |
| − | <br>
| |
| − | <math>q_1= b\ mod\ a </math><br>
| |
| − | <math>q_2= a\ mod\ q_1</math><br>
| |
| − | <math>q_3= q_1\ mod\ q_2</math><br>
| |
| − | <math>\quad \cdot</math><br>
| |
| − | <math>\quad \cdot</math><br>
| |
| − | <math>\quad \cdot</math><br>
| |
| − | <math>q_{m+1} = q_{m-1}\ mod\ q_{m}</math><br>
| |
| − | <math>0 = q_m\ mod\ q_{m+1} </math> <br>
| |
| − | <math>ggT(a,b)=\ q_{m+1}</math><br>
| |
| − | <br>
| |
| − | Die [[Benutzer:Deininger_Matthias/Facharbeit/Mathematische_Grundlagen| Komplexität ]] des Euklidischen Algorithmus beträgt O (log (n)), dieser gilt damit als effizient.<br>
| |
| − | <br>
| |
| − | Rechnen wir hier nochmals mit den Zahlen 1980 und 1911:<br>
| |
| − | <br>
| |
| − | 69 = 1980 mod 1911<br>
| |
| − | 48 = 1911 mod 69<br>
| |
| − | 21 = 69 mod 48<br>
| |
| − | 6 = 48 mod 21<br>
| |
| − | 3 = 21 mod 6<br>
| |
| − | 0 = 6 mod 3<br>
| |
| − | => ggT(1911, 1980) = 3<br>
| |
| − | <br>
| |
| − | '''Satz 2.1''' Es seien <math>n \in \N</math> und <math>a,a',b,b' \in \Z</math>.
| |
| − | Aus <math>a \equiv_n a'</math> und <math>b\equiv_n b'</math> folgen die Relationen:<br>
| |
| − | <br>
| |
| − | <math>(a+b)\ mod\ n = (a'+b')\ mod\ n\ und\ (ab)\ mod\ n = (a'b')\ mod\ n</math><br>
| |
| − | <math>\quad(a+b) \equiv_n (a'+b')\quad\quad\quad und\quad\quad\quad\ (ab) \equiv_n (a'b')</math><br>
| |
| − | <br>
| |
| − | und daraus folgt:<br>
| |
| − | <br>
| |
| − | <math>a^x\ mod\ n = (a')^x\ mod\ n</math><br>
| |
| − | <br>
| |
| − | ''Beweis:'' Nach Def. 2.0 gilt <math>a-a' =k_1\cdot n</math> und <math>b-b' =k_2\cdot n </math>mit geeignetem <math>k_1,k_2 \in \Z </math>.
| |
| − | Damit ergeben sich folgende Gleichungen:<br>
| |
| − | <br>
| |
| − | <math>(a+b)-(a'+b')=(a-a')+(b-b') =(k_1+k_2)\cdot n </math><br>
| |
| − | <br>
| |
| − | Wiederholtes Addieren ergibt eine Multiplikation, also gilt der Beweises auch für die Multiplikation. Wiederholtes Multiplizieren ist eine Potenzrechnung, also gilt entsprechender Satz auch hier. □<br>
| |
| − | <br>
| |
| − | Mit den Zahlen aus dem Beispiel ergibt sich so:<br>
| |
| − | <math>60-12 = 2\cdot 24</math><br>
| |
| − | <math>30-6 =1\cdot 24</math><br>
| |
| − | <br>
| |
| | | | |
| − | <table border="1" cellpadding="10" rules="all" style="text-align:center; color:black;margin:auto;font-size:18px; border:2px solid black;">
| |
| − |
| |
| − | <tr>
| |
| − | <th width="33%">Addition</th>
| |
| − | <th width="33%">Multiplikation</th>
| |
| − | <th width="33%">Potenzierung</th>
| |
| − | </tr>
| |
| − | <tr>
| |
| − | <td><math>(60+30)\ mod\ 24 = (12+6)\ mod\ 24</math> <br> <math>18 = 18 </math> </td>
| |
| − | <td><math>(60\cdot 30)\ mod\ 24 = (12\cdot 6)\ mod\ 24</math><br><math>0 = 0</math></td>
| |
| − | <td><math>(60^2)\ mod\ 24 = (12^2)\ mod\ 24</math><br>
| |
| − | <math>3600\ mod\ 24= 144\ mod\ 24</math><br>
| |
| − | <math>0 = 0</math></td>
| |
| − | </tr>
| |
| − | </table>
| |
