Räkna ut rest
Kort division tillsammans rest i kvoten
När vi dividerar ett tal med en annat tal kan oss använda oss av vykort division. Vi tar en exempel: 67 dividerat tillsammans 3. Vi tittar vid en siffra i taget i täljaren. Börja ifrån vänster med sexan. 3 går två gånger inom 6.
Efter likhetstecknet skriver vi 2, som inledande siffra i kvoten. Sedan tar vi nästa siffra i täljaren, 7. 3 går två gånger inom 7. Skriv en tvåa till i kvoten. dock 3 går inte jämnt två gånger i 7 – det blir lite över, eller hur? oss får en rest: 7 minus 6, alltså 1.
Så 67 delat tillsammans 3 är 22 tillsammans med en rest på 1. Om det blir ett rest så visar oss det i svaret genom att skriva ”rest” samt det vi får kvar, efter kvoten, så denna plats. Här är ett annat exempel: dividerat med 4. Använd kort division samt börja från vänster tillsammans åttan. 4 går numeriskt värde gånger i 8. Skriv 2.
Sen kollar oss på trean i täljaren. 4 går ingen gång i 3. Skriv 0 efter tvåan. Vi provar med både trean samt nästa siffra 9: oss använder fyrans gångertabell. 4 gånger 9 är 4 gånger 10 är Allts
Kongruensräkning
Följande räkneregler är användbara då vi räknar med kongruenser:
Sats 1. Om \(a \equiv a\,' \pmod{n}\) och \(\, b \equiv b\,' \pmod{n}\) så gäller att
Räkneregel 1: \(a + b \equiv a\,' + b\,' \pmod{n}\)
Räkneregel 2: \(a \cdot b \equiv a\,' \cdot b\,' \pmod{n}\)
Räkneregel 3: \(a^m \equiv (a\,')^m \pmod{n}\) för alla positiva heltal m
Denna sats säger alltså att vi förmå byta ut kongruenta anförande mot varandra i våra beräkningar. Låt oss titta hur detta går mot i några exempel.
Här bevisar vi räkneregel 1, ta exempel på alla tre reglerna och lämna bevisen på grund av räkneregel 2 & 3 som övning.
Räkneregel 1 - Addition bevis
Regeln 1 säger att:
$$\mathbf{a + b \equiv a\,' + b\,' \pmod{n}}$$
Eftersom vi vet att \(a \equiv a\,' \pmod{n}\) och \(b \equiv b\,' \pmod{n}\), vilket betyder att detta finns två heltal \(\,k_1 \,och \,k_2\), så att
$$\begin{cases}a - a\,' = \,k_1 \cdot n \: \: (1) \\ b - b\,' = \,k_2 \cdot n \: \: (2)\end{cases}$$
Om