Wiki Olimpédia
Advertisement

Sejam inteiro positivo e inteiro, com . Dizemos que é raiz primitiva módulo quando

Qual a Vantagem de Usarmos Raízes Primitivas?[]

O número é raiz primitiva módulo se, e somente se, para todo inteiro primo com podemos tomar um inteiro positivo tal que

Ou seja, potências de podem ter todos os resíduos possíveis módulo .

Como Provar que Alguém é Raiz Primitiva Módulo Conhecendo Outra Raiz Primitiva?[]

Considere uma raiz primitiva módulo , um número primo com e é um inteiro tal que . Então é raiz primitiva módulo se, e somente se, .

Prova: () Considere e suponha, por absurdo, que é diferente de . Iremos cair em uma contradição: veremos que não é raiz primitiva módulo . Como fazer isto? Basta encontrarmos algum tal que e .

Pela definição de máximo divisor comum, existem inteiros e tais que e .

Com isso,

Façamos aparecer nas nossas contas. Para isso, elevemos ambos os lados da congruência a e usarmos o teorema de Euler,

Onde , pois , o que contradiz a minimalidade de e assim não é raiz primitiva. Contradição. Logo, .

() Provaremos que . Sabemos que . Resta mostrarmos que .

Com efeito, pela definição de ordem

Desta maneira,

Com isso, . Mas e pelo lema de Euclides, , de onde segue que e assim é raiz primitiva módulo .

Proposição[]

Se e é raiz primitiva módulo , então é raiz primitiva módulo .

Quando um Número possui Raízes Primitivas?[]

Os únicos números que possuem raízes primitivas são e , onde é um primo ímpar e é um inteiro positivo.

Exemplo (Cone Sul 2000)[]

Existe um inteiro positivo divisível pelo produto de seus algarismos e tal que esse produto é maior que ?

Solução: Precisamos apenas exibir algum inteiro com essa propriedade. Uma estratégia interessante é pegar algum inteiro que possui vários algarismos algarismos iguais, pois assim fica fácil fazermos o produto deles.

Mas na hora de reescrevermos os números, precisamos que as potências de sejam iguais a quaisquer resíduos possíveis algum módulo. Isto equivale a perguntar qual o número tal que raiz primitiva dele. Além disso, deve ser equivalente a potências deste número.

De todos os algarismos, o único em que é raiz primitiva módulo ele é o . Vejamos que é melhor ainda: é raiz primitiva módulo , para todo inteiro positivo. Usemos indução em para provar isso.

O caso em que é imediato. Vejamos o caso . Queremos mostrar que . Observe que . O número não pode ser e nem . Logo, , de onde segue que é raiz primitiva módulo .

Vamos supor que é raiz primitiva módulo , para e mostrar que é raiz primitiva módulo .

Considere uma raiz primitiva módulo . Como , existe inteiro tal que

Para mostrarmos que é raiz primitiva módulo , é suficiente mostrarmos que .

Vamos aproveitar analisar módulo já sabemos algo sobre ele. Como é raiz primitiva módulo e , segue que é raiz primitiva módulo . Precisamos combinar isto com o fato de que é raiz primitiva módulo . Observe que, como , existe inteiro tal que

Como é raiz primitiva módulo , segue que .

Já que sabemos que vejamos uma maneira de relacionarmos e .

Como e , segue que . Mas por ,

Mas é raiz primitiva módulo , de onde segue que e assim

Mas e são primos entre si, de onde segue que e também são. Observe que

Em outras sabemos que e . Observe que , pois, caso contrário, . Analogamente . Logo, . Assim é raiz primitiva módulo .

Isto finaliza a prova por indução de que é raiz primitiva módulo para todo natural.

Falta agora encontrar algum que satisfaças as condições do enunciado. Seria interessante que ele tivesse vários algarismos iguais a . Observe, porém, que o número

não funciona, pois ele não é divisível por . E o que podemos colocar no nosso número para consertar isto? Alguns algarismos iguais a , já que eles não alteram o produto.

Tomemos então o número

Como fazemos o produto dos algarismos ser maior que ? Basta tomarmos de tal maneira que (já que o produto dos algarismos de é ).

Qual devemos escolher para cumprir as condições do enunciado? Observe que

E existe que satisfaz , pois é raiz primitiva módulo .

Portanto, este valor de é divisível pelo produto de seus dígitos.

Lugares Para Estudar[]

Vídeos[]

Bibliografia[]

Advertisement