[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [obm-l] Caso de divisibilidade
Maur�cio,
o resultado s� vale para pot�ncias de primos. Repare que todos os seus exemplos
s�o constru�dos com n�meros compostos. A demonstra��o do Cl�udio est� ok.
[]s,
Daniel
'>' Cl�udio, Daniel, outros,
'>'
'>' Consegui encontrar v�rios contra-exemplos para esse
'>'problema. Sendo comb(a,b) o n�mero de combina��es de a
'>'elementos tomados b a b, ou comb(a,b)=a!/((a-b)!b!),
'>'pede-se mostrar que comb(a^c,b)=0(mod a), para c>=2,
'>'a^c>b. Entretanto:
'>'
'>'comb(6^2,4) = 3 (mod 6)
'>'comb(22^2,4) = 11 (mod 22)
'>'comb(6^3,8) = 3 (mod 6)
'>'comb(6^2,9) = 4 (mod 6)
'>'comb(12^2,9) = 4 (mod 12)
'>'comb(10^2,25) = 4 (mod 10)
'>'comb(6^3,27) = 2 (mod 6)
'>'comb(33^2,121) = 9 (mod 33)
'>'comb(21^3,343) = 6 (mod 21)
'>'
'>' Pode ser que eu tenha errado alguma coisa na hora de
'>'programar o computador para fazer as contas, mas pelo
'>'menos o primeiro exemplo eu conferi na m�o. Eu n�o
'>'achei esses n�meros ao acaso. Em todos eles, sendo a =
'>'p*q, com p e q primos, eu fiz b = p^c e escolhi um q
'>'que desse problema.
'>'
'>' Abra�os,
'>' Maur�cio
'>'
'>'
'>'> Interessante! Dei uma olhada no livro que estou
'>'estudando e ele menciona essa f�rmula (...)
'>'
'>'> > Um jeito mais f�cil � usar a velha e, espero,
'>'conhecida f�rmula para o expoente de p em n!, igual a
'>'> > [n/p] + [n/p^2] + [n/p^3] + ....
'>'> > O expoente de p no numerador de Binom(p^m,k) (1 <=
'>'k <= p^m - 1) �:
'>'> > [p^m/p] + [p^m/p^2] + ... + [p^m/p^(m-1)] +
'>'> > (...)
'>'> > A partir dessas duas desigualdades � f�cil
'>'concluir que o expoente de p no numerador �
'>'estritamente maior do que o expoente de p no
'>'denominador, de modo que p divide Binom(p^m,k).
'>'> >
'>'> > []s,
'>'> > Claudio.
'>'
'>'> > > Oi, Maur�cio,
'>'> > > � poss�vel resolver essa como aplica��o imediata
'>'do teorema de lucas, que � o seguinte:
'>'> > > (...)
'>'> > > Mas eu ainda gostaria de ver uma prova mais
'>'> > elementar deste fato...
'>'> > >
'>'> > > []s,
'>'> > > Daniel
'>'> > >
'>'> > > > Oi, pessoal,
'>'> > > >
'>'> > > > Estou em cima desse exerc�cio de teoria dos
'>'n�meros faz tempo e n�o cheguei a nada, algu�m tem
'>'alguma dica?
'>'> > > > (...)
'>'
'>'
'>'__________________________________________________
'>'Do You Yahoo!?
'>'Tired of spam? Yahoo! Mail has the best spam protection around
'>'http://mail.yahoo.com
'>'=========================================================================
'>'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
=========================================================================