Benutzer:MatheSchmidt: Unterschied zwischen den Versionen

aus ZUM-Wiki, dem Wiki für Lehr- und Lerninhalte auf ZUM.de
Wechseln zu: Navigation, Suche
(Satz von Euler)
(Satz von Euler)
Zeile 11: Zeile 11:
 
also <math>1\equiv a^{\varphi(m)}1 \; \rm{mod} \; m</math>, qed.   
 
also <math>1\equiv a^{\varphi(m)}1 \; \rm{mod} \; m</math>, qed.   
 
}}
 
}}
 +
 +
== Quiz ==
 +
 +
<quiz display="simple">
 +
 +
{ Wahr oder falsch? }
 +
+ <math>7^6 \equiv 1 \; \rm{mod} \; 9</math>
 +
+ <math>23^{10} \equiv 1 \; \rm{mod} \; 11</math>
 +
- <math>4^6 \equiv 1 \; \rm{mod} \; 9</math>
 +
 +
</quiz>

Version vom 17. März 2008, 15:25 Uhr

Satz von Euler

Wenn a und m teilerfremde natürliche Zahlen sind, dann ist ohne jeden Zweifel a^{\varphi(m)}\equiv 1 \; \rm{mod} \; m.

Beweis. Es gibt genau \varphi(m) zu m teilerfremde Zahlen, die kleiner als m sind. Diese wollen wir mit r_1,r_2,...,r_{\varphi(m)} bezeichnen. Trivialerweise sind dann auch ar_1,ar_2,...,ar_{\varphi(m)} teilerfremd zu m; überdies sind die Zahlen ar_1,ar_2,...,ar_{\varphi(m)} paarweise inkongruent. Daher ist r_1\cdot r_2\cdot ...\cdot r_{\varphi(m)}\equiv ar_1\cdot ar_2\cdot ...\cdot ar_{\varphi(m)} \; \rm{mod} \; m, also r_1\cdot r_2\cdot ...\cdot r_{\varphi(m)}\equiv a^{\varphi(m)}\cdot r_1\cdot r_2\cdot ...\cdot r_{\varphi(m)} \; \rm{mod} \; m, also 1\equiv a^{\varphi(m)}1 \; \rm{mod} \; m, qed.

Quiz

1. Wahr oder falsch?

7^6 \equiv 1 \; \rm{mod} \; 9
23^{10} \equiv 1 \; \rm{mod} \; 11
4^6 \equiv 1 \; \rm{mod} \; 9

Punkte: 0 / 0