[SPAM] [obm-l] Res: [obm-l] demonstração: pequeno teorema de FERMAT

[Rodrigo Cientista <rodrigocientista@xxxxxxxxxxxx>]

SPAM: -------------------- Start SpamAssassin results ----------------------
SPAM: This mail is probably spam.  The original message has been altered
SPAM: so you can recognise or block similar unwanted mail in future.
SPAM: See http://spamassassin.org/tag/ for more details.
SPAM: 
SPAM: Content analysis details:   (7.20 hits, 5 required)
SPAM: X_MAILING_LIST     (-0.3 points) Found a X-Mailing-List header
SPAM: SPAM_PHRASE_00_01  (0.8 points)  BODY: Spam phrases score is 00 to 01 (low)
SPAM:                    [score: 0]
SPAM: SUPERLONG_LINE     (0.0 points)  BODY: Contains a line >=199 characters long
SPAM: FORGED_YAHOO_RCVD  (1.4 points)  'From' yahoo.com does not match 'Received' headers
SPAM: RCVD_IN_ORBS       (2.2 points)  RBL: Received via a relay in orbs.dorkslayers.com
SPAM:                    [RBL check: found 89.38.190.206.orbs.dorkslayers.com., type: 68.178.232.99]
SPAM: RCVD_IN_OSIRUSOFT_COM (0.4 points)  RBL: Received via a relay in relays.osirusoft.com
SPAM:                    [RBL check: found 89.38.190.206.relays.osirusoft.com.]
SPAM: X_OSIRU_OPEN_RELAY (2.7 points)  RBL: DNSBL: sender is Confirmed Open Relay
SPAM: 
SPAM: -------------------- End of SpamAssassin results ---------------------

você tem razão, eu teria que continuar checando congruências pelo mesmo processo até chegar a alguma que o resto fosse = 1, daí poderia concluir que x^p - x é côngruo a zero modulo p, mas a priori acho que não necessariamente essa congruência apareceria.

assim, eu teria que a partir do mesmo ponto escolher x == y mop p e realizar todo o processo novamente, se concluísse que y = 1 o teorema estaria provado em virtude de y^p - y ser côngruo a zero modulo p, como se fosse uma "descida" até encontrar uma sentença verdadeira.

pensei num atalho: o que poderia ser feito seria inserir forçosamente um número k qualquer tal que x-k = 1 (chamarei de r) e n-k = w, assim n == x mop p é equivalente a n - k == x - k mop p que pode ser reescrito como w == r mod p e o resto do argumento seria idêntico, com a diferença de que poderei concluir que r^p - r == 0 mod p e consequentemente w^p == w mop p


----- Mensagem original ----
De: Maurício Collares <mauricioc@xxxxxxxxx>
Para: obm-l@xxxxxxxxxxxxxx
Enviadas: Sábado, 24 de Novembro de 2007 17:19:54
Assunto: Re: [obm-l] demonstração: pequeno teorema de FERMAT

On Nov 24, 2007 5:01 PM, Rodrigo Cientista
<rodrigocientista@xxxxxxxxxxxx> wrote:
> assim x^p - x == n^p - n == 0 mod p implica n^p == n mod p como queríamos demonstrar

Qual a passagem que permite concluir que x^p - x é côngruo a zero modulo p?

--
Abraços,
Maurício

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================


      Abra sua conta no Yahoo! Mail, o único sem limite de espaço para armazenamento!
http://br.mail.yahoo.com/

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================