O general e o Teorema Chins dos Restos

Na antiguidade, os generais chineses costumavam contar suas tropas perdidas aps a

guerra da seguinte forma: ordenavam que as tropas formassem vrias colunas com um
determinado tamanho e depois contavam quantas sobravam, e faziam isto para vrios
tamanhos diferentes [1].
Por exemplo, um general chins possua 1200 tropas antes da guerra. Aps a guerra, ele
alinhou as tropas de 5 em 5 de forma que sobraram 3 tropas. Quando alinhou de 6 em 6,
tambm sobraram 3 tropas. Quando alinhou de 7 em 7, sobrou 1 tropa. E quando
alinhou de 11 em 11, no sobrou nenhuma tropa. Quantas tropas o general tinha?
Para resolver este problema, necessrio saber lidar com congruncias. Alm disso,
vamos utilizar uma poderosa arma em Teoria dos Nmeros, chamada de Teorema
Chins dos Restos. De fato, o problema apresentado acima uma aplicao direta deste
teorema.
Basta ento um pequeno esforo para interpretar o problema. Quando o general alinha
suas tropas, formando colunas de tamanho n, ele est realizando uma diviso do nmero
de tropas por n, e depois verificando seu resto.
Observe que, na prtica, contar o resto muito mais fcil que contar o nmero total, ou
o quociente. Alis, quem conhece um pouco de Teoria dos Nmeros, sabe que raramente
estamos interessados no quociente, o resto o que importa.
O teorema

No vou apresentar uma prova do Teorema Chins dos Restos aqui. Simplesmente vou
enunci-lo (e exibir a forma geral de sua soluo) para que possamos ir direto ao
objetivo do artigo. Existem vrias provas desse teorema e elas podem ser achadas na
internet ou em livros.
Teorema Chins dos restos : Sejam
si. O sistema de congruncias
tem soluo nica
,
inverso multiplicativo de
Soluo

inteiros positivos e primos entre

, onde
e tal que
mdulo
).

(ou seja,

Primeiramente, vamos organizar as informaes do enunciado de forma matemtica. Se

x o nmero de tropas restantes, temos:

Como 5, 6, 7 e 11 so primos entre si, basta aplicar o Teorema Chins dos Restos. Para
isso, vamos usar a "frmula" mencionada anteriormente. Temos que:

Para calcular os
serem anlogos.

simples. Vou deduzir o primeiro deles, os outros irei omitir por

tal que
Mas 462 deixa resto 2 quando dividido por 5, isto quer dizer que
substituindo acima temos que

Que nmero multiplicamos por 2 que o resto 1 quando dividido por 5? 3. Pois
(na pior das hipteses, s teramos de testar 5-1=4 casos).
Ento

Repetindo o processo, temos

.
Pronto, agora basta jogar tudo na frmula:

Portanto

que equivalente a
Mas queremos x maior que e menor que

para todo q natural.

, o que implica que

Isto significa que podemos comunicar ao general que lhe sobraram 1023 tropas aps o
combate [2].
Espero que tenha gostado... no o general, voc.

Notas:
[1] No consegui averiguar a veracidade deste fato. Como vi este problema
originalmente num livro de matemtica, pode ser que seja apenas fruto da imaginao
de algum matemtico. Contudo, acho bem plausvel que um mtodo como este (ou
parecido) possa ter sido usado pelos chineses antigamente, visto que o teorema aplicado
para a resoluo do problema j era conhecido por eles. Se algum souber se verdade
ou no, me avise!
[2] Note que o general organizou as tropas mdulo 5, mdulo 6, mdulo 7 e mdulo 11.
Voc consegue dizer se ele poderia ter organizado as tropas de outra forma? Alm disso,
note que M = 2310 maior que 1200. Por que precisamos que M fosse maior que 1200?
Imagens de miniaturas legais que eu queria ganhar de presente retiradas de
http://wargames.spyz.org.
Obs.: Post feito em homenagem ao Annimo.
Postado por Tiago J. Fonseca @ 18:00
Marcadores: matemtica, problemas de matemtica, lgebra