[obm-l] Re: [obm-l] Re: [obm-l] n(n+1)(n+2)... (n+p-1) é múltiplo do fatorial de p

2014-04-12 Por tôpico terence thirteen
Se for assim, o meu método é mais direto. Basta provar que [x]+[y] <= [x+y] e pronto! Em 12 de abril de 2014 07:55, Bernardo Freitas Paulo da Costa < bernardo...@gmail.com> escreveu: > 2014-04-12 7:21 GMT-03:00 Ennius Lima : > > O objetivo é fazer a demonstração, ignorando resultados da Análise

[obm-l] Re: [obm-l] n(n+1)(n+2)... (n+p-1) é múltiplo do fatorial de p

2014-04-12 Por tôpico Bernardo Freitas Paulo da Costa
2014-04-12 7:21 GMT-03:00 Ennius Lima : > O objetivo é fazer a demonstração, ignorando resultados da Análise > Combinatória. Então, a saída é usar indução. Duas variáveis inteiras (p, n) implicam duas induções. Nesse caso, dá para separar. Depois, faça indução em p e em seguida em n. A base em p

[obm-l] Re: [obm-l] n(n+1)(n+2)... (n+p-1) é múltiplo do fatorial de p

2014-04-11 Por tôpico terence thirteen
Maybe pensando em expoentes! Queremos que m! seja divisor de (m+n)!/n!. Seja E(m,p) o expoente do primo p na fatoração de m!. Ele não é difícil de calcular, é a somatória de [m/p^k] com k indo de 0 a infinito (a soma é essencialmente finita, pois uma hora m escreveu: > Caros Colegas, > > Como po