Saltar para o conteúdo

Teorema chinês do resto

Origem: Wikipédia, a enciclopédia livre.
(Redirecionado de Teorema do resto chinês)

Na Teoria dos números, o Teorema Chinês do Resto define que um sistema de congruências lineares, de módulos coprimos entre si, admite uma solução simultânea referente ao produto dos módulos calculados no sistema.

O teorema é atribuído primeiramente ao matemático chinês Sun Tzu Suan Ching, tendo uma de suas primeiras aparições no “Manual de aritmética do mestre Sun”,[1] um livro chinês que data de 287 d.C. a 473 d.C. Ele foi desenvolvido simultaneamente por gregos e chineses com o intuito de resolver alguns problemas relativos à astronomia.

Se mk é um inteiro positivo e mdc(mi,mj) = 1 (i ≠ j)(números primos entre si) então o sistema de congruências lineares:

x ≡ a1 (mod.m1)

x ≡ a2 (mod.m2)

...

x ≡ an-1 (mod.mn-1)

x ≡ an (mod.mn)

Tem uma única solução: x ≡ X (mod.m) m=m1m2m3...mn-1 mn

O valor de X pode ser encontrado utilizando-se o Teorema do Resto Chinês:

X= a1.M1.x1+ a2.M2.x2+...+ an.Mn.xn

Ma é o produto de todos os mk com exceção de ma (Exemplo: M1=m2.m3.....mn)

xa é o número que torna Ma.xa≡1(mod ma)

Demonstração

[editar | editar código-fonte]

De fato, ao dividirmos aa.Ma.xa por ma o resto da divisão será aa, uma vez que o produto Ma.xa é côngruo 1 módulo ma. Os outros termos serão côngruos a 0 módulo ma porque contêm o mesmo em seu Mk.

Desta forma, a soma será X = aa + 0 + 0 + 0 + 0 + 0 + 0 + 0 = aa≡ aa (mod.ma).

x ≡ 3 (mod.5)

x ≡ 5 (mod.13)

x ≡ 7 (mod.29)

x ≡ 1 (mod.41)

X = 3.13.29.41.x1 + 5.5.29.41.x2 + 7.5.13.41.x3 + 1.5.13.29.x4

x1.13.29.41≡1(mod.5) → x1.(-2)(-1)(1)≡x1.2≡1(mod.5)

x1≡3(mod.5)

x2.5.29.41≡1(mod.13) → x2.5.3.2≡1(mod.13)→ x2.4≡1(mod.13)

x2≡10(mod. 13)

x3.5.13.41≡1(mod.29) →x3.5.13.17≡1(mod.29)&rarr x3.3≡1(mod.29)

x3≡-10(mod.29)

x4.5.13.29≡1(mod.41) →x4.5.13.(-12) ≡1(mod.41)→x4.(-1) ≡1(mod.41)

x4≡-1(mod.41)

X=3.13.29.41.3 + 5.5.29.41.10 + 7.5.13.41.(-10) + 1.5.13.29.(-1)

X=139113 + 297250 – 186550 -1885

X=247928

x≡X≡247928(mod.5.13.29.41) → x≡16073(mod.77285)

Referências

  1. Dario Nascimento, Felipe Ferreira, Marcel de Oliveira (Setembro de 2016). «Monografia sobre o Teorema Chinês do Resto.» (PDF). Unicamp. Consultado em 21 de Setembro de 2020 

Ligações externas

[editar | editar código-fonte]