Privacy Policy Cookie Policy Terms and Conditions Kongruencja - Wikipedia, wolna encyklopedia

Kongruencja

Z Wikipedii

Kongruencja to relacja określona w zbiorze liczb całkowitych. Kongruencja modulo n nazywana jest też przystawaniem liczb "modulo n".

Liczby całkowite a i b przystają modulo n (pozostają w kongruencji modulo n), co zapisuje się: a \equiv b \pmod n, jeżeli ich różnica ab dzieli się bez reszty przez n. Równoważnie: jeśli liczby a i b dają w dzieleniu przez n tę samą resztę.

Spis treści

[edytuj] Przykład

Liczby 5 i 11 przystają modulo 3:

11 \equiv 5 \pmod 3,

ponieważ ich różnica, czyli 6, dzieli się bez reszty przez 3. Równoważnie, w dzieleniu z resztą obu liczb przez 3 otrzymujemy tę samą resztę 2:

11:3 = 3 reszty 2
5:3 = 1 reszty 2

[edytuj] Własności kongruencji

[edytuj] Relacje

\forall_{a \in \mathbb Z}\; a \equiv a \pmod n,
\forall_{a, b \in \mathbb Z}\; a \equiv b \pmod n \Rightarrow b \equiv a \pmod n,
\forall_{a, b, c \in \mathbb Z}\; a \equiv b \pmod n \and b \equiv c \pmod n \Rightarrow a \equiv c \pmod n.

Kongruencja jest zatem relacją równoważności.

[edytuj] Arytmetyka

  • kongruencja sumy:
a \equiv p \pmod n \and b \equiv q \pmod n \Rightarrow (a+b) \equiv (p+q) \pmod n,
  • kongruencja iloczynu:
a \equiv p \pmod n \and b \equiv q \pmod n \Rightarrow (a \cdot b) \equiv (p \cdot q) \pmod n.

Powyższe dwie własności są podstawą m.in. obliczeń kontrolnych w rachunkach pisemnych, np. "reguły dziewiątek".

Przekonujemy się również, że:

  • a\equiv b \pmod n \Rightarrow a\pm c\equiv b\pm c \pmod n, gdyż ab = (a + c) − (b + c) = (ac) − (bc),
  • a\equiv b \pmod n \Rightarrow ac\equiv bc \pmod n, gdyż m| a-b \Rightarrow m| c(a-b) = (ac - bc).

[edytuj] Algebra

Kongruencje o tym samym module można dodawać, odejmować lub mnożyć stronami. Można przenosić wyrazy z jednej strony kongruencji na drugą, zmieniając ich znaki. Obie strony kongruencji można podnosić do tej samej potęgi (o naturalnym wykładniku). Jednak nie wolno dzielić stronami kongruencji, ani też dzielić obu stron kongruencji przez ten sam wspólny dzielnik!

Kongruencje można też określać w dowolnych pierścieniach.

[edytuj] Cechy podzielności przez 9 i 11

Za pomocą kongruencji łatwo jest wskazać cechy podzielności przez liczby 9 i 11:

Niech A_{0} x^{n} + A_{1} x^{n-1} + A_{2} x^{n-2} + \ldots + A_{n-1} x + A_{n}\quad będzie wielomianem całkowitym n-tego stopnia o współczynnikach całkowitych (wielomian ten oznaczamy krótko przez w(x)), m będzie danym modułem, zaś a i b liczbami całkowitymi przystającymi według modułu m. Zapiszemy ciąg kongruencji następująco:

A_{0} a^{n}\equiv A_{0} b^{n} \pmod m,
A_{1} a^{n-1}\equiv A_{1} b^{n-1}\pmod m,
A_{n-1} a \equiv A_{n-1} b \pmod m,
A_{n}\equiv A_n \pmod m.

Dodajemy stronami,

A_{0} a^{n} + A_{1} a^{n-1} +... + A_{n-1} a + A_{n}\equiv A_{0} b^{n} + A_{1} b^{n-1} +... + A_{n-1} b + A_{n} \pmod m, czyli
f(a)\equiv f(b) \pmod m.

[edytuj] Lemat

Jeżeli w(x) jest wielomianem całkowitym względem x o współczynnikach całkowitych, to kongruencja a\equiv b \pmod m pociąga za sobą w(a)\equiv w(b) \pmod m.

[edytuj] Dowód lematu

[...]

[edytuj] Dowód podzielności

Niech N \in \mathbb N, a C_1,C_2,C_3,... ,C_n\quad jej kolejnymi cyframi w układzie dziesiętnym. Oczywiście

N= C_{1}10^{n-1} + C_{2}10^{n-2} + \ldots + C_{n-1}10 +C_{n}\quad.

Niech

  • \quad w (x)= C_{1} x^{n-1} + C_{2} x^{n-2} + \ldots + C_{n-1} x + C_n\quad

i

  • \quad w(10)=N.\quad.

[edytuj] Podzielność przez 9

Z lematu i wobec kongruencji 10\equiv1 \pmod 9\quad mamy

\quad   f(1)= C_1 + C_2 + \ldots + C_{n-1} + C_n\quad, zatem
N\equiv C_1 + C_2 + C_3 + \ldots + C_{n-1} + C_n \pmod 9,

co dowodzi, że każda liczba naturalna przystaje według modułu 9 do sumy swoich cyfr. Dla podzielności liczby N przez 9 wystarcza, by suma jej cyfr była podzielna przez 9.

Oznaczając ogólnie przez Sn sumę cyfr liczb n (w układzie dziesiętnym) będziemy mieli dla liczb całkowitych n i n'

n\equiv S_{n} \pmod 9,
n^{'}\equiv S_{n^'},

skąd

nn^' \equiv S_{n}S_{n^'} \pmod 9,

a ponieważ nn^' \equiv S_{nn^'} \pmod 9, to

S_{nn^'}\equiv S_{n}S_{n^'} \pmod 9 \quad_\Box

Na tym związku między sumami cyfr czynników i iloczynu opiera się znana próba mnożenia za pomocą liczby 9.

[edytuj] Podzielność przez 11

Wobec lematu oraz kongruencji 10\equiv -1 \pmod {11}, mamy

f(10)\equiv f(-1) \pmod {11},

czyli

N \equiv C_1 - C_2 + C_3 - C_4 + ... \pmod {11}.

Co oznacza podzielność przez 11: liczba jest podzielna przez 11, jeśli po odjęciu sumy cyfr stojących na miejscach nieparzystych od sumy cyfr stojących na miejscach parzystych otrzymamy liczbę podzielną przez 11.

[edytuj] Zobacz też

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu