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