Numeros de Fermat.
3 participantes
Página 1 de 1
Numeros de Fermat.
Mostre que se [(2^n) +1] é primo, então n é potência de 2.
Victor M- Elite Jedi
- Mensagens : 408
Data de inscrição : 18/01/2011
Idade : 28
Localização : São José dos Campos
Re: Numeros de Fermat.
Será que esta indução é válida?
____________________________________________
In memoriam - Euclides faleceu na madrugada do dia 3 de Abril de 2018.
Lembre-se de que os vestibulares têm provas de Português também! Habitue-se a escrever corretamente em qualquer circunstância!
O Universo das coisas que eu não sei é incomensuravelmente maior do que o pacotinho de coisas que eu penso que sei.
Euclides- Fundador
- Mensagens : 32508
Data de inscrição : 07/07/2009
Idade : 74
Localização : São Paulo - SP
Re: Numeros de Fermat.
Euclides, acredito que o senho cometeu um engano na interpretação da questão, a minha interpretação:
Cumprimentos, Victor M.
Cumprimentos, Victor M.
Victor M- Elite Jedi
- Mensagens : 408
Data de inscrição : 18/01/2011
Idade : 28
Localização : São José dos Campos
Re: Numeros de Fermat.
Estou vendo algumas ''ideias'' sobre indução, mas qualquer potência de 2 é um múltiplo de 2 e ''acho'' que pode ser representado como .
abelardo- Grupo
Velhos amigos do Fórum - Mensagens : 777
Data de inscrição : 12/03/2011
Idade : 32
Localização : Sertânia, Pernambuco, Brasil
Re: Numeros de Fermat.
Acho que consegui fazer:
Dizer que: Se [(2^n) +1] é primo, então n é potência de 2.
É a mesma coisa de falar que:
Se n não é potencia de 2, então [(2^n) +1] não é primo.
Se n não é potencia de 2 podemos escrever na forma:
n = (2^k)*m
onde m é impar maior igual a 3.
logo:
aplicando o produto notavel:
[img]http://latex.codecogs.com/gif.latex?(2^{2^{k}})^{m}%20+%201%20=%20(2^{2^{k}}%20+%201)[(2^{2^{k}})^{m-1}-(2^{2^{k}})^{m-2}%20+\cdots%20+%201] [/img]
Para um numero ser composto, deve ser o produto de dois fatores maior que um, então temos que provar que os dois fatores são maiores que 1.
O primeiro:
é facil ver que temos o menor valor quando k=0, logo:
logo o primeiro termo é maior igual a 3.
Já no segundo:
Note que entre dois termos consecutivos é no minimo 1( a diferença entre dois inteiros, onde o primeiro é maior que o segundo deve ser no minimo 1).
logo podemos fazer (m-1)/2 agrupamentos, então:
o menor valor possivel para o segundo termo será quando, m for o menor possivel então:
(3-1)/2 + 1 = 2
Como a segunda parcela é maior que 2, e a primeira é maior que 3 esse numero sempre será composto caso n não seja potencia de 2.
c.q.d.
Cumprimentos, Victor M.
Dizer que: Se [(2^n) +1] é primo, então n é potência de 2.
É a mesma coisa de falar que:
Se n não é potencia de 2, então [(2^n) +1] não é primo.
Se n não é potencia de 2 podemos escrever na forma:
n = (2^k)*m
onde m é impar maior igual a 3.
logo:
aplicando o produto notavel:
[img]http://latex.codecogs.com/gif.latex?(2^{2^{k}})^{m}%20+%201%20=%20(2^{2^{k}}%20+%201)[(2^{2^{k}})^{m-1}-(2^{2^{k}})^{m-2}%20+\cdots%20+%201] [/img]
Para um numero ser composto, deve ser o produto de dois fatores maior que um, então temos que provar que os dois fatores são maiores que 1.
O primeiro:
é facil ver que temos o menor valor quando k=0, logo:
logo o primeiro termo é maior igual a 3.
Já no segundo:
Note que entre dois termos consecutivos é no minimo 1( a diferença entre dois inteiros, onde o primeiro é maior que o segundo deve ser no minimo 1).
logo podemos fazer (m-1)/2 agrupamentos, então:
o menor valor possivel para o segundo termo será quando, m for o menor possivel então:
(3-1)/2 + 1 = 2
Como a segunda parcela é maior que 2, e a primeira é maior que 3 esse numero sempre será composto caso n não seja potencia de 2.
c.q.d.
Cumprimentos, Victor M.
Victor M- Elite Jedi
- Mensagens : 408
Data de inscrição : 18/01/2011
Idade : 28
Localização : São José dos Campos
Tópicos semelhantes
» Fermat
» Teorema de Fermat
» Ponto de Fermat ?
» Pequeno Teorema de Fermat
» O Último Teorema de Fermat
» Teorema de Fermat
» Ponto de Fermat ?
» Pequeno Teorema de Fermat
» O Último Teorema de Fermat
Página 1 de 1
Permissões neste sub-fórum
Não podes responder a tópicos