[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] conjectura
Caros colegas:
A conjectura do Eric eh a seguinte:
Nao existe nenhum numero real x tal que os numeros:
[x], [x^2], [x^3], ..., [x^n], ...
sejam todos primos.
A fim de demonstra-la, devemos provar que se supusermos que um tal x existe,
acabaremos caindo em alguma contradicao.
A fim de refuta-la, devemos:
OU
exibir um x real tal que [x^k] seja primo para k = 1, 2, 3, ...
OU
provar que se supusermos que um tal x nao existe, acabaremos caindo em
alguma contradicao.
Assim, por exemplo, o Auggy provou que x = 1,6 eh tal que [x^2] eh primo,
mas isso nao prova nem contradiz a conjectura.
[]s,
Claudio.
on 05.06.04 22:40, Qwert Smith at lord_qwert@hotmail.com wrote:
>> Gostaria de saber se alguem da lista
>> tem uma ideia para provar a seguinte
>>
>> Conjectura: nao existe x real tal que
>> [x^n] seja primo para todo inteiro
>> positivo n.
>>
>> Alguem sabe dizer se isto ja foi demonstrado?
>>
>> ( [x^n] eh a parte inteira de x elevado a n)
>>
>
> a conjectura nao e verdadeira.
>
> [1.6^2] = [2.56] = 2
> 1.6 eh real, 2 eh inteiro positivo e 2 eh primo
>
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================