Wiki Olimpédia
Advertisement

Seja um número natural. Então representa a quantidade de inteiros menores ou iguais a tais que .

Proposição

Se , onde é primo e é inteiro positivo, então .

Prova: Calcularemos a quantidade de números que são menores que e que não são primos com ele. De fato, um número não é primo com se, e somente se, ele for múltiplo de . Observe ainda que os múltiplos de menores ou iguais a são , ou seja, existem . Com isso, a quantidade de primos menores que e primos com ele é .

Proposição

Se , então . Em outras palavras,  é uma função multiplicativa.

Proposição

Se é a fatoração em primos de , então

Exemplo (OBM 2002 - 3ª Fase - Nível 2)

Prove que para todo , existe tal que .

Solução: Para tirarmos as frações da nossa vida, vamos pensar que se , então

Já que nesta fórmula aparecem primos, a estratégia principal será fazer um indução controlando os primos.

Antes, façamos alguns casos particulares. Para isto, escreveremos e forçaremos ele virar o de algum número. Por exemplo,

Vamos usar indução. Considere o -ésimo primo. A ideia será a seguinte:

(i) Iremos supor para todo menor que , pode ser escrito conforme a forma do enunciado, usando apenas primos menores que na sua fatoração.

(ii) A partir disto, provaremos que a afirmação vale para .

(iii) Provemos para os números não primos, digamos , tais que .

Se supormos que . Assim,

Já fizemos (ii). Vamos focar em (iii). Observe que (no caso da condição (iii)) é o produto de primos menores ou iguais a . Vamos supor que a afirmação vale para . Escrevamos . Basta fazermos para e usarmos a fatoração em primos de (use o fato que já provamos que o resultado vale para todos os primos).

Portanto, para todo , existe tal que .

Referências Bibliográficas

[1] E. Lozansky, C. Rousseau : Winning Solutions, Springer-Verlag, New York, 1996. E

Advertisement