[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] Primos
- To: obm-l@xxxxxxxxxxxxxx
- Subject: Re: [obm-l] Primos
- From: "Johann Peter Gustav Lejeune Dirichlet" <peterdirichlet2003@xxxxxxxxx>
- Date: Sun, 1 Apr 2007 15:29:06 -0300
- DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=mf2Qr2n4+A+ypwBbJTavOoNF+tN8YdxZZnM8L7DEdFaepuYU11Dydr/9DH8kKnfPquoDslPDm3RbWJVf/LmB6Wt7xQDGiXflaxQVznjWbXdNlpfGaaCn0oY8U2sqa6ING/mRRtYqJwO8ZY5fe03ZCzlaS+EZZK3pSmE712yrsK8=
- DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=N8XMKTGFcDtuDXhZNuoWCGiZBZmNy6Phyx0t+DZKJpKaRonbdHCoqXpwIVh9hLiyiXmjgZKN1GAMmIs2HLTaENZvz39KdSjz/NCtX8+6+DttsvfoE9bJzir5vqiYbL3ulEguKCp6QNct47gnE4FaurwWEP5kDr2oGL0nVUE5WiY=
- In-Reply-To: <JF79A3$D15EE8FDB4019CE5C2CC3AE9CE0EF34F@multidominios>
- References: <JF79A3$D15EE8FDB4019CE5C2CC3AE9CE0EF34F@multidominios>
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Ah, bem lembrado: apenas como refer�ncia eu coloquei a demonstra��o de que falo no Mathlinks:
http://www.mathlinks.ro/Forum/viewtopic.php?t=4433
Ah, claro, este foi um exerc�cio do livro "Introduction to the Theory of Numbers", de Ivan Niven.
E eu queria mesmo � saber onde achar o caso Kn-1...
Em 20/03/07, claudio.buffara <claudio.buffara@terra.com.br
> escreveu:Um projeto mais ousado eh encarar de frente a versao mais geral do teorema.
Novamente, a internet eh uma boa fonte de material sobre o assunto.
Ha varias notas de aula sobre teoria analitica dos numeros.
Por exemplo, aqui:
http://www.math.uiuc.edu/~hildebr/ant/
Vai demorar um tempo pra digerir tudo, mas eh uma boa desculpa pra aprender variaveis complexas e, alem disso, voce tambem
recebe gratis uma demonstracao do TNP.
Ha tambem uma demonstracao usando analise real (ou mais precisamente, funcoes complexas de uma variavel real):
http://secamlocal.ex.ac.uk/people/staff/rjchapma/etc/dirichlet.pdf
Sobre o caso das progressoes aritmeticas da forma kn + 1, havia um artigo do Antonio Caminha sobre polinomios ciclotomicos
que apresentava uma demonstracao, mas por alguma razao, foi tirado do ar. No entanto, veja aqui:
http://math.berkeley.edu/~nsnyder/tutorial/lecture2.pdf
Alias, este Noah Snyder deu uma demonstracao muito simples do teorema de Mason quando ainda estava na "high school" (ensino
medio nos EUA). Veja aqui:
http://cr.yp.to/bib/2000/snyder.pdf
Este teorema eh interessante pois tem como corolario o "ultimo teorema de Fermat" para polinomios:
http://www.msci.memphis.edu/preprint/wthesis.pdf
(paginas 5 a 9)
Este ultimo link eh para uma tese de mestrado que trata de um topico quente em teoria dos numeros: a "conjectura abc", a qual
tem como consequencia (se for verdadeira, claro!) uma versao assintotica do ultimo teorema de Fermat (ou seja, para todo n
suficientemente grande, as unicas solucoes inteiras de x^n + y^n = z^n sao as triviais).
[]s,
Claudio.
---------- Cabe�alho original -----------
De:
owner-obm-l@mat.puc-rio.br
Para: obm-l@mat.puc-rio.br
C�pia:
Data: Mon, 19 Mar 2007 10:50:50 -0300
Assunto: Re: [obm-l] Primos
> On Mon, Mar 19, 2007 at 08:21:30AM -0300,
claudio.buffara wrote:
> ...
> > Enfim, eu entrei no Google e digitei:
> > primes congruent to 1 Dirichlet
> >
> > A terceira referencia foi:
> >
http://planetmath.org/encyclopedia/SpecialCaseOfDirichletsTheoremOnPrimesInArithmeticProgressions.html
> ...
> > > Estou com o seguinte problema:
> > >
> > > Para cada n > 2, existem infinitos primos congruentes a 1 m�dulo n.
> > >
> > > Sei que este problema � um caso particular do teorema de Dirichlet, cuja demonstra��o � n�o trivial. Por�m, vi no livro do
> > Hardy que existem demonstra��es mais simples para este resultado particular. Se algu�m souber alguma, gostaria de v�-la.
>
> A home page que o Claudio indicou faz o caso n primo.
> Se n n�o for primo o argumento � o mesmo mas em vez de
> f_n(x) = (x^n-1)/(x-1) devemos tomar f_n o polin�mio ciclot�mico
> que tem por ra�zes as ra�zes n-�simas *primitivas* de 1,
> ou seja, as ra�zes n-�simas que n�o s�o ra�zes m-�simas
> para nenhum m < n. Os polin�mios f_n podem ser definidos por
>
> f_1(x) = x-1
> PRODUTO_{m inteiro positivo, m divisor de n} f_m(x) = x^n-1
>
> As propriedades necess�rias dos polin�mios f_n s�o de f�cil demonstra��o.
>
> []s, N.
>
> =========================================================================
> 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
> =========================================================================
>
>
=========================================================================
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
=========================================================================
--
Ideas are bulletproof.
V