Olimpíadas ⇒ (OBM - 2005) Teoria dos Números Tópico resolvido
Moderador: [ Moderadores TTB ]
-
- Mensagens: 37
- Registrado em: Seg 16 Jul, 2007 20:16
- Última visita: 03-05-08
Out 2007
06
19:50
(OBM - 2005) Teoria dos Números
Prove que o número [tex3]1^{2005} + 2^{2005} + 3^{2005} + ... + 2005^{2005}[/tex3]
é múltiplo de [tex3]1 + 2 + 3 + ... + 2005[/tex3]
.
Última edição: aristotélico (Sáb 06 Out, 2007 19:50). Total de 1 vez.
-
- Mensagens: 1225
- Registrado em: Ter 18 Set, 2007 23:11
- Última visita: 02-09-20
- Localização: São José dos Campos
Out 2007
06
20:30
Re: (OBM - 2005) Teoria dos Números
Ola aristotélico,
A resolução desta questão precisa de um conhecimento de módulos.
Vou falar que [tex3]S=1^{2005}+2^{2005}+3^{2005}+4^{2005}+...+1002^{2005}+1003^{2005}+1004^{2005}+...+2005^{2005}[/tex3]
[tex3]1+2+3+4+5+6....+2005=\frac{(1+2005)(2005)}{2}=(1003)(2005)[/tex3]
Vou provar que S é divisível por 1003 e depois por 2005.
para provar que S é divisível por 1003, [tex3]S\equiv0(mod1003)[/tex3]
Lembrando que [tex3]1\equiv-1002(mod1003), 2\equiv-1001(mod1003)...1002\equiv-1(mod1003)[/tex3] , etc..., tem-se que
[tex3]1^{2005}+2^{2005}+3^{2005}+4^{2005}+...+1002^{2005}+1003^{2005}+1004^{2005}+...+2005^{2005}\equiv\\\equiv(-1002^{2005})+(-1001^{2005})+(-1000^{2005})+...\\\hspace{30}...+(-1^{2005})+(0^{2005})+(1^{2005})...+(1002^{2005})(mod1003)[/tex3]
Note que a soma disso tudo só será zero se o expoente for impar, pois assim os números serão negativos e poderam cancelar-se com os positivos.
Está provado que [tex3]S\equiv0(mod1003)[/tex3] , ou seja, S dividido por 1003 deixa resto 0. Agora falta provar que [tex3]S\equiv0(mod2005)[/tex3] .
Lembrando que [tex3]1003\equiv-1002(mod2005),1004\equiv-1001(mod2005)...[/tex3] ,etc... Tem-se que
[tex3]1^{2005}+2^{2005}+3^{2005}+4^{2005}+...+1002^{2005}+1003^{2005}+1004^{2005}+...+2005^{2005}\equiv\\\equiv1^{2005}+2^{2005}+3^{2005}+...\\\hspace{30}+1002^{2005}+(-1002^{2005})+(-1001^{2005})+...+(-1^{2005})+(0^{2005})(mod2005)[/tex3]
Assim, [tex3]S\equiv0 (mod2005)[/tex3]
Como S é divisível por tanto 1003 quanto 2005, S será divisível por 1003(2005), que era o que agente precisava provar.
Procure ler sobre congruências, se você estiver em dúvida sobre o que eu fiz e por que o que eu fiz funciona.
Abraços
A resolução desta questão precisa de um conhecimento de módulos.
Vou falar que [tex3]S=1^{2005}+2^{2005}+3^{2005}+4^{2005}+...+1002^{2005}+1003^{2005}+1004^{2005}+...+2005^{2005}[/tex3]
[tex3]1+2+3+4+5+6....+2005=\frac{(1+2005)(2005)}{2}=(1003)(2005)[/tex3]
Vou provar que S é divisível por 1003 e depois por 2005.
para provar que S é divisível por 1003, [tex3]S\equiv0(mod1003)[/tex3]
Lembrando que [tex3]1\equiv-1002(mod1003), 2\equiv-1001(mod1003)...1002\equiv-1(mod1003)[/tex3] , etc..., tem-se que
[tex3]1^{2005}+2^{2005}+3^{2005}+4^{2005}+...+1002^{2005}+1003^{2005}+1004^{2005}+...+2005^{2005}\equiv\\\equiv(-1002^{2005})+(-1001^{2005})+(-1000^{2005})+...\\\hspace{30}...+(-1^{2005})+(0^{2005})+(1^{2005})...+(1002^{2005})(mod1003)[/tex3]
Note que a soma disso tudo só será zero se o expoente for impar, pois assim os números serão negativos e poderam cancelar-se com os positivos.
Está provado que [tex3]S\equiv0(mod1003)[/tex3] , ou seja, S dividido por 1003 deixa resto 0. Agora falta provar que [tex3]S\equiv0(mod2005)[/tex3] .
Lembrando que [tex3]1003\equiv-1002(mod2005),1004\equiv-1001(mod2005)...[/tex3] ,etc... Tem-se que
[tex3]1^{2005}+2^{2005}+3^{2005}+4^{2005}+...+1002^{2005}+1003^{2005}+1004^{2005}+...+2005^{2005}\equiv\\\equiv1^{2005}+2^{2005}+3^{2005}+...\\\hspace{30}+1002^{2005}+(-1002^{2005})+(-1001^{2005})+...+(-1^{2005})+(0^{2005})(mod2005)[/tex3]
Assim, [tex3]S\equiv0 (mod2005)[/tex3]
Como S é divisível por tanto 1003 quanto 2005, S será divisível por 1003(2005), que era o que agente precisava provar.
Procure ler sobre congruências, se você estiver em dúvida sobre o que eu fiz e por que o que eu fiz funciona.
Abraços
Última edição: triplebig (Sáb 06 Out, 2007 20:30). Total de 2 vezes.
-
- Mensagens: 37
- Registrado em: Seg 16 Jul, 2007 20:16
- Última visita: 03-05-08
Out 2007
06
20:59
Re: (OBM - 2005) Teoria dos Números
putz... elas são difícies mesmo. Mas, deve haver outro método de acordo com o conteúdo proposto pelas escolas para 7ª e 8ª séries, cara, se não pq eles colocariam essa questão ? É sinistra mesmo...
Última edição: aristotélico (Sáb 06 Out, 2007 20:59). Total de 1 vez.
-
- Mensagens: 505
- Registrado em: Dom 06 Mai, 2007 21:13
- Última visita: 28-06-11
- Localização: Joinville - SC
Out 2007
06
21:59
Re: (OBM - 2005) Teoria dos Números
o assunto é congruência, é um estudo feito sobre os restos das divisões, ele não é tão complexo quanto parece
quanto se escreve
[tex3]16\equiv 11[/tex3] mod 5
se quer dizer que o resto da divisão que de desesseis por cinco e o mesmo resto da divisão de onze por 5
na resolução da questão acima usou-se a propriedade
se [tex3]a\equiv b[/tex3] mod c [tex3]\Righ a^n\equiv b^n[/tex3] mod c, se [tex3]n \in Z[/tex3]
a prova nem é tão complicada se você conhecer o binômio de newton
veja
se P e M são múltiplos de C então podemos escrever e D o resto da divisão de a ou b por c
podemos escrever [tex3]a\equiv b[/tex3] (mod c) como [tex3]m+d\equiv p+d[/tex3] (mod c)
em seguida escrevemos
[tex3](m+d)^n\equiv (p+d)^n[/tex3] (mod c)
[tex3]\sum_{k=0}^{n} C_n^{k}m^{(n-k)}\cdot d^k\equiv \sum_{k=0}^{n} C_n^{k}p^{(n-k)}\cdot d^k[/tex3] (mod c)
agora vou separar apenas o termo que tem o múltiplo de c com expoente zero
[tex3]\overbrace{\sum_{k=1}^{n} C_n^{k}m^{(n-k)}\cdot d^k}^{m\acute{u}ltiplo\, de\, c}+d^n\equiv \overbrace{\sum_{k=1}^{n} C_n^{k}p^{(n-k)}\cdot d^k}^{m\acute{u}ltiplo\ de\ c}+ d^n[/tex3] (mod c)
quanto se escreve
[tex3]16\equiv 11[/tex3] mod 5
se quer dizer que o resto da divisão que de desesseis por cinco e o mesmo resto da divisão de onze por 5
na resolução da questão acima usou-se a propriedade
se [tex3]a\equiv b[/tex3] mod c [tex3]\Righ a^n\equiv b^n[/tex3] mod c, se [tex3]n \in Z[/tex3]
a prova nem é tão complicada se você conhecer o binômio de newton
veja
se P e M são múltiplos de C então podemos escrever e D o resto da divisão de a ou b por c
podemos escrever [tex3]a\equiv b[/tex3] (mod c) como [tex3]m+d\equiv p+d[/tex3] (mod c)
em seguida escrevemos
[tex3](m+d)^n\equiv (p+d)^n[/tex3] (mod c)
[tex3]\sum_{k=0}^{n} C_n^{k}m^{(n-k)}\cdot d^k\equiv \sum_{k=0}^{n} C_n^{k}p^{(n-k)}\cdot d^k[/tex3] (mod c)
agora vou separar apenas o termo que tem o múltiplo de c com expoente zero
[tex3]\overbrace{\sum_{k=1}^{n} C_n^{k}m^{(n-k)}\cdot d^k}^{m\acute{u}ltiplo\, de\, c}+d^n\equiv \overbrace{\sum_{k=1}^{n} C_n^{k}p^{(n-k)}\cdot d^k}^{m\acute{u}ltiplo\ de\ c}+ d^n[/tex3] (mod c)
Última edição: Alexandre_SC (Sáb 06 Out, 2007 21:59). Total de 1 vez.
Se você não pode ajudar, atrapalhe, porque o importante é participar!
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última msg
-
- 2 Respostas
- 553 Exibições
-
Última msg por Ornitologo
-
- 1 Respostas
- 196 Exibições
-
Última msg por Ittalo25
-
- 4 Respostas
- 489 Exibições
-
Última msg por Lliw
-
- 1 Respostas
- 262 Exibições
-
Última msg por FelipeMartin