Warning: fopen(tmp/bd0cd94bd05d98b85e4d5045845f9615) [function.fopen]: failed to open stream: No such file or directory in /home/uwhosting/wiki.e-artykuly.net/cache.php on line 24

Warning: fputs(): supplied argument is not a valid stream resource in /home/uwhosting/wiki.e-artykuly.net/cache.php on line 25

Warning: fclose(): supplied argument is not a valid stream resource in /home/uwhosting/wiki.e-artykuly.net/cache.php on line 25
Kongruencja – Wikipedia, wolna encyklopedia - wiki.e-artykuly.net
Ujednoznacznienie Ten artykuł dotyczy kongruencji w matematyce. Zobacz też: związek zgody.

Kongruencja to pewna relacja równoważności 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 \mbox{ reszty } 2\;
5 : 3 = 1 \mbox{ 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

a \equiv p \pmod n \and b \equiv q \pmod n \Rightarrow (a+b) \equiv (p+q) \pmod n,
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:

gdyż a-b = (a+c) - (b+c) = (a-c) - (b-c)\;,
gdyż n| a-b \Rightarrow n| 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!

Jednakże, istnieje możliwość podzielenia przez wspólny czynnik d, ale tylko wtedy, gdy liczby m i d są względnie pierwsze, czyli \operatorname{NWD}(m,d)=1.

[edytuj] Dowód twierdzenia

ad \equiv bd \pmod m
m|ad-bd\;
m|d(a-b)\;

Jeżeli \operatorname{NWD}(m,d)=1, to m nie dzieli d, a to oznacza, że:

m|a-b\;
a \equiv b \pmod m


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:

[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

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} +\dots + A_{n-1} a + A_{n}\equiv A_{0} b^{n} + A_{1} b^{n-1} +\dots + A_{n-1} b + A_{n} \pmod m, czyli
w(a)\equiv w(b) \pmod m.

[edytuj] Dowód podzielności

Niech N \in \mathbb N, a C_1,C_2,C_3,\dots ,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

i

[edytuj] Podzielność przez 9

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

\quad   w(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.

[edytuj] Podzielność przez 11

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

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

czyli

N \equiv C_1 - C_2 + C_3 - C_4 + \dots \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ż

Źródło „http://pl.wikipedia.org/a/Kongruencja
Filmy plus gsm feng shui znane Drukarnia Nowe Gadu Gadu hotel akropol w lubliniesprzęgło cinqucento Htel à druk wielkoformatowy Hotels Dsseldorf nieruchomości Ragnarok


© 2008 Wikipedia
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.) Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
site map