Mudanças entre as edições de "Teoria de números/Máximo divisor comum"
Ir para navegação
Ir para pesquisar
(Criou página com '{{Demonstração |Dado um número inteiro <math>n\,\!</math>, vamos mostrar por indução que <math>n=p_1\cdot p_2 \cdot \ldots \cdot p_r\,\!</math>, ...') |
|||
Linha 17: | Linha 17: | ||
Assim, basta renomear os primos <math>q_j\,\!</math> e <math>t_j\,\!</math> como <math>p_1, \ldots , p_r\,\!</math>, e tem-se o teorema. | Assim, basta renomear os primos <math>q_j\,\!</math> e <math>t_j\,\!</math> como <math>p_1, \ldots , p_r\,\!</math>, e tem-se o teorema. | ||
}} | }} | ||
+ | |||
+ | *Ver como deveria funcionar a predefinição em: http://pt.wikibooks.org/wiki/Teoria_de_n%C3%BAmeros/M%C3%A1ximo_divisor_comum |
Edição das 11h04min de 8 de novembro de 2011
Demonstração |
---|
Dado um número inteiro , vamos mostrar por indução que , com cada sendo um número primo.
De fato, para , o teorema é válido, pois basta tomar . Se , e for primo, a afirmação é obviamente verdadeira, pois é suficiente escolher . Considere então que é composto, e que a hipótese de indução é que todo número menor que admite decomposição em fatores primos. Logo, existem inteiros e tais que . Além disso, e são menores que . Pela hipótese de indução, tem-se
com cada e cada sendo um número primo, donde segue que: Assim, basta renomear os primos e como , e tem-se o teorema. |
- Ver como deveria funcionar a predefinição em: http://pt.wikibooks.org/wiki/Teoria_de_n%C3%BAmeros/M%C3%A1ximo_divisor_comum