Fórmula ou teorema de Legendre

Qualquer que seja o inteiro positivo n, o expoente do número primo p na decomposição em números primos  de n! é igual a

\displaystyle\sum_{i\geq 1}\displaystyle\left\lfloor\dfrac{n}{p^i}\right\rfloor

Demonstração:

Os números compreendidos entre 1 e n que são divisíveis por p^i são da forma p^i m, em que m é um inteiro positivo que não é múltiplo de p e p^i m \leq n. E, como

 \displaystyle\left\lfloor\dfrac{n}{k}\right\rfloor

 é o número de inteiros entre 1 e n que são divisíveis por k, \displaystyle\lfloor\frac{n}{p^{i}}\rfloor  é, então, o número desses inteiros que são divisíveis por p^i. O expoente do primo p na factorização em números primos do número n! obtém-se somando ao número dos inteiros entre 1 e n que são divisíveis por p, os que são divisíveis por p^2, por p^3 ou por por qualquer outra potência inteira de p, o que dá a fórmula acima. Como, para p^i > n, \displaystyle\lfloor\frac{n}{p^{i}}\rfloor=0,  a soma, formalmente com infinitos termos, termina a partir de um certo valor de i. Qual? De p^i\leq n, conclui-se que i\leq\displaystyle\frac{\log n}{\log p}\qquad \blacksquare

ADENDA: veja aqui uma aplicação deste teorema.

Sobre Américo Tavares

eng. electrotécnico reformado / retired electrical engineer
Esta entrada foi publicada em Demonstração, Matemática, Teorema, Teorema / Teoria, Teoria dos Números com as etiquetas , , . ligação permanente.

Deixe uma Resposta

Preencha os seus detalhes abaixo ou clique num ícone para iniciar sessão:

Logótipo da WordPress.com

Está a comentar usando a sua conta WordPress.com Terminar Sessão / Alterar )

Imagem do Twitter

Está a comentar usando a sua conta Twitter Terminar Sessão / Alterar )

Facebook photo

Está a comentar usando a sua conta Facebook Terminar Sessão / Alterar )

Google+ photo

Está a comentar usando a sua conta Google+ Terminar Sessão / Alterar )

Connecting to %s