Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
L’aritmetica dell’orologio
Dipartimento di Informatica
31 marzo 2006
a = bq + r r <b
a = bq + r r <b
a = bq + r r <b
a = bq + r = bq 0 + r 0 r0 < r < b
a = bq + r = bq 0 + r 0 r0 < r < b
r − r 0 = b(q 0 − q) > 0
a = bq + r = bq 0 + r 0 r0 < r < b
r − r 0 = b(q 0 − q) > 0
a = bq + r = bq 0 + r 0 r0 < r < b
r − r 0 = b(q 0 − q) > 0
a = bq + r = bq 0 + r 0 r0 < r < b
r − r 0 = b(q 0 − q) > 0
!!!
a = bq + r = bq 0 + r 0 r0 < r < b
r − r 0 = b(q 0 − q) > 0
!!!
Quindi deve essere r = r 0
bq = bq 0
bq = bq 0
bq = bq 0
a%b (a mod b)
a%b (a mod b)
a%b (a mod b)
a%b (a mod b)
a = bq + r
a = bq + r e 0 ≤ r < |b|
a = bq + r e 0 ≤ r < |b|
Come determiniamo r e q?
a = bq + r e 0 ≤ r < |b|
a = bq + r e 0 ≤ r < |b|
a = bq + r e 0 ≤ r < |b|
a = bq + r e 0 ≤ r < |b|
a%n =b%n
a%n =b%n
a≡b (mod n)
oppure
a ≡n b
a − b = (nx + r ) − (ny + r ) =
a − b = (nx + r ) − (ny + r ) = nx + r − ny − r =
cioè a − b è un multiplo di n
a − b = nk
a − b = nk
b = nq + r
a − b = nk
b = nq + r
Ma allora
a = nk + b =
a − b = nk
b = nq + r
Ma allora
a = nk + b = nk + nq + r =
a − b = nk
b = nq + r
Ma allora
a = nk + b = nk + nq + r = n(k + q) + r
e quindi
a − b = nk
b = nq + r
Ma allora
a = nk + b = nk + nq + r = n(k + q) + r
e quindi
r =b%n =
a − b = nk
b = nq + r
Ma allora
a = nk + b = nk + nq + r = n(k + q) + r
e quindi
r =b%n =a%n
cioè
a≡b (mod n)
(a − b) + (c − d) = nx + ny
(a − b) + (c − d) = nx + ny
(a + c) − (b + d) = n(x + y )
(a − b) + (c − d) = nx + ny
(a + c) − (b + d) = n(x + y )
a ≡ b (mod n)
c ≡ d (mod n)
(a + c) ≡ (b + d) (mod n)
(a − b) + (c − d) = nx + ny
(a + c) − (b + d) = n(x + y )
a ≡ b (mod n)
c ≡ d (mod n)
(a + c) ≡ (b + d) (mod n)
Le congruenze possono essere sommate come le uguaglianze
ac − bd =?
ac − bd =?
ac − bd =?
ac − bd =?
ac − bd =
ac − bd =?
ac − bd = ac − bc
ac − bd =?
ac − bd = ac − bc + bc − bd
a − b = nx
c − d = ny
ac − bd = ac − bc + bc − bd
a − b = nx
c − d = ny
ac − bd = ac − bc + bc − bd
ac − bd = (a − b)c + (c − d)b =
a − b = nx
c − d = ny
ac − bd = ac − bc + bc − bd
ac − bd = (a − b)c + (c − d)b = (nx)c + (ny )b =
a − b = nx
c − d = ny
ac − bd = ac − bc + bc − bd
ac − bd = (a − b)c + (c − d)b = (nx)c + (ny )b = n(xc + yb)
a − b = nx
c − d = ny
ac − bd = ac − bc + bc − bd
ac − bd = (a − b)c + (c − d)b = (nx)c + (ny )b = n(xc + yb)
Le congruenze si possono moltiplicare come le uguaglianze!
a ≡ b (mod n)
c ≡ d (mod n)
ac ≡ bd (mod n)
4 + 7 · 10 + 5 · 102 + 8 · 103
4 + 7 · 10 + 5 · 102 + 8 · 103
4 + 7 · 10 + 5 · 102 + 8 · 103
4 7 10 5 102 8 103
↓ ↓ ↓ ↓ ↓ ↓ ↓
8574 ≡ (1 + 1 · 1 + 2 · 1 + 2 · 1 ) (mod 3)
4 + 7 · 10 + 5 · 102 + 8 · 103
4 7 10 5 102 8 103
↓ ↓ ↓ ↓ ↓ ↓ ↓
8574 ≡ (1 + 1 · 1 + 2 · 1 + 2 · 1 ) (mod 3)
8574 ≡ (1 + 1 + 2 + 2) (mod 3)
4 + 7 · 10 + 5 · 102 + 8 · 103
4 7 10 5 102 8 103
↓ ↓ ↓ ↓ ↓ ↓ ↓
8574 ≡ (1 + 1 · 1 + 2 · 1 + 2 · 1 ) (mod 3)
8574 ≡ (1 + 1 + 2 + 2) (mod 3)
8574 ≡ 6 ≡ 0 (mod 3)
8574 ≡ (4 + 7 + 5 + 8) ≡ 24 ≡ (2 + 4) ≡ 6 ≡ 0 (mod 3)
1 ≡ 1 (mod 3)
10 ≡ 1 (mod 3)
102 ≡ 1 · 10 ≡ 1 (mod 3)
...
Il criterio di divisibilità per 3 si basa su questo.
1 ≡ 1 (mod 3)
10 ≡ 1 (mod 3)
102 ≡ 1 · 10 ≡ 1 (mod 3)
...
Il criterio di divisibilità per 3 si basa su questo.
E il criterio di divisibilità per 2?
1 ≡ 1 (mod 3)
10 ≡ 1 (mod 3)
102 ≡ 1 · 10 ≡ 1 (mod 3)
...
Il criterio di divisibilità per 3 si basa su questo.
E il criterio di divisibilità per 2?
1 ≡ 1 (mod 2)
10 ≡ 0 (mod 2)
10k+1 ≡ 10k · 10 ≡ 0 (mod 2)
1 ≡ 1 (mod 3)
10 ≡ 1 (mod 3)
102 ≡ 1 · 10 ≡ 1 (mod 3)
...
Il criterio di divisibilità per 3 si basa su questo.
E il criterio di divisibilità per 2?
1 ≡ 1 (mod 2)
10 ≡ 0 (mod 2)
10k+1 ≡ 10k · 10 ≡ 0 (mod 2)
1 ≡ 1 (mod 4)
10 ≡ 2 (mod 4)
10k ≡ 0 (mod 4) se k > 1
1 ≡ 1 (mod 4)
10 ≡ 2 (mod 4)
10k ≡ 0 (mod 4) se k > 1
Un numero an an−1 . . . a2 a1 a0 è divisibile per 4
se e solo se a0 + 2a1 è divisibile per 4
se e solo se a1 a0 = a0 + 10a1 è divisibile per 4
1 ≡ 1 (mod 4)
10 ≡ 2 (mod 4)
10k ≡ 0 (mod 4) se k > 1
Un numero an an−1 . . . a2 a1 a0 è divisibile per 4
se e solo se a0 + 2a1 è divisibile per 4
se e solo se a1 a0 = a0 + 10a1 è divisibile per 4
1 ≡ 1 (mod 4)
10 ≡ 2 (mod 4)
10k ≡ 0 (mod 4) se k > 1
Un numero an an−1 . . . a2 a1 a0 è divisibile per 4
se e solo se a0 + 2a1 è divisibile per 4
se e solo se a1 a0 = a0 + 10a1 è divisibile per 4
Dato n > 0 ogni numero intero sta in una e una sola classe resto e
possiamo identificare ogni classe resto con uno dei numeri
0, 1, . . . , n − 2, n − 1
Dato n > 0 ogni numero intero sta in una e una sola classe resto e
possiamo identificare ogni classe resto con uno dei numeri
0, 1, . . . , n − 2, n − 1
Attenzione!
Attenzione!
Attenzione!
Attenzione!
Attenzione!
Attenzione!