Worksheet: Unterschied zwischen den Versionen
aus ZUM-Wiki, dem Wiki für Lehr- und Lerninhalte auf ZUM.de
< PH Heidelberg | Bausteine | Kongruenzen
(→Satz zur Kongruenz) |
(→Satz zur Kongruenz) |
||
Zeile 37: | Zeile 37: | ||
<br /> | <br /> | ||
Beweis in zwei Richtungen:<br /> | Beweis in zwei Richtungen:<br /> | ||
− | + | ==== "<math>\Rightarrow</math>" (die eine Richtung) ==== | |
− | "<math>\Rightarrow</math>" (die eine Richtung) | + | |
Es gilt nach Voraussetzung <math>a \equiv b\ mod\ m </math> <br /> | Es gilt nach Voraussetzung <math>a \equiv b\ mod\ m </math> <br /> | ||
Zeile 48: | Zeile 47: | ||
<br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /> | <br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /> | ||
− | "<math>\Leftarrow</math>" (Rückrichtung) | + | |
− | < | + | ==== "<math>\Leftarrow</math>" (Rückrichtung) ==== |
+ | Es gelte: <math>m |(a-b)</math><br /> | ||
+ | zu zeigen: <math>a \equiv b\ mod\ m </math><br /> | ||
+ | <math>m |(a-b)\Rightarrow \exist q_1, q_2, r_1, r_2 \in \mathbb {Z}</math>: <math>a = m \cdot q_1 + r_1</math> und <math>b = m \cdot q_2 + r_2</math><br /> | ||
+ | <math>\Rightarrow m| \Big((q_1 \cdot m + r_1) - (q_2 \cdot m + r_2)\Big)</math><br /> | ||
+ | <br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /> | ||
+ | |||
}} | }} | ||
Version vom 15. November 2012, 22:38 Uhr
Definition: Division mit Rest
Vervollständige die Definition.
Es sei und
.
Trage hier noch weitere Beispiele ein.
Definition: Kongruenz
Vervollständige die Definition.
Es sei und
.
Formuliere die Definition in anderer Form bzw. in eigenen Worten.
Satz zur Kongruenz
Vervollständige den Beweis und notiere die jeweiligen Begründungen.
Beweis in zwei Richtungen:
"
" (die eine Richtung)
Es gilt nach Voraussetzung
Zu zeigen:
(Voraussetzung)
(Def. Kongruenz)
mit
"
" (Rückrichtung)
Es gelte:
zu zeigen:
:
und
Fragen
Hast du noch Fragen? Notiere sie dir hier, damit du sie in deiner Lerngruppe, in der Übungsstunde oder in der nächsten Plenumssitzung klären kannst!