Olá, alguém poderia me ajudar com a solução dessa questão?
Mostre que se (n-1^2)|(n^k-1) então (n-1)|k.
Ensino Superior ⇒ Questão de iniciação científica à teoria dos números
Moderador: [ Moderadores TTB ]
-
- Mensagens: 474
- Registrado em: Sáb 30 Ago, 2008 14:41
- Última visita: 13-12-18
- Localização: Brasília-DF
Out 2018
27
20:08
Re: Questão de iniciação científica à teoria dos números
Creio que o problema seja mostrar que [tex3](n-1)^2|(n^k -1) \Rightarrow (n-1)|k[/tex3]
Pelo binômio de newton, temos:
[tex3]n^k = [(n-1)+1]^k=\begin{pmatrix} k \\ 0 \\ \end{pmatrix} (n-1)^k + \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (n-1)^{k-1} + ... + \begin{pmatrix} k \\ k-2 \\ \end{pmatrix} (n-1)^2 + \begin{pmatrix} k \\ k-1 \\ \end{pmatrix}(n-1) + \begin{pmatrix} k \\ k \\ \end{pmatrix} 1 \\ \,\,\,\,\,\,\,= (n-1)^k+ \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (n-1)^{k-1} + ... + \begin{pmatrix} k \\ k-2 \\ \end{pmatrix} (n-1)^2 + k(n-1) +1[/tex3]
Assim, [tex3]n^k -1 = (n-1)^k + \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (n-1)^{k-1} + ... + \begin{pmatrix} k \\ k-2 \\ \end{pmatrix} (n-1)^2 + k(n-1)[/tex3] , onde fica óbvio que todos os termos são divisíveis por [tex3](n-1)^2[/tex3] com exceção de [tex3]k(n-1)[/tex3] . Dessa forma, [tex3](n^k -1)[/tex3] só será divisível por [tex3](n-1)^2[/tex3] se [tex3]k(n-1)[/tex3] também for, ou seja, [tex3]k(n-1)=(n-1)^2 q, \,q\in \mathbb{N} \Rightarrow k = (n-1) q \ \Leftrightarrow (n-1)|k[/tex3] , o que encerra a demonstração.
com n subtendido ser um inteiro maior ou igual a 2 e k natural.Pelo binômio de newton, temos:
[tex3]n^k = [(n-1)+1]^k=\begin{pmatrix} k \\ 0 \\ \end{pmatrix} (n-1)^k + \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (n-1)^{k-1} + ... + \begin{pmatrix} k \\ k-2 \\ \end{pmatrix} (n-1)^2 + \begin{pmatrix} k \\ k-1 \\ \end{pmatrix}(n-1) + \begin{pmatrix} k \\ k \\ \end{pmatrix} 1 \\ \,\,\,\,\,\,\,= (n-1)^k+ \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (n-1)^{k-1} + ... + \begin{pmatrix} k \\ k-2 \\ \end{pmatrix} (n-1)^2 + k(n-1) +1[/tex3]
Assim, [tex3]n^k -1 = (n-1)^k + \begin{pmatrix} k \\ 1 \\ \end{pmatrix} (n-1)^{k-1} + ... + \begin{pmatrix} k \\ k-2 \\ \end{pmatrix} (n-1)^2 + k(n-1)[/tex3] , onde fica óbvio que todos os termos são divisíveis por [tex3](n-1)^2[/tex3] com exceção de [tex3]k(n-1)[/tex3] . Dessa forma, [tex3](n^k -1)[/tex3] só será divisível por [tex3](n-1)^2[/tex3] se [tex3]k(n-1)[/tex3] também for, ou seja, [tex3]k(n-1)=(n-1)^2 q, \,q\in \mathbb{N} \Rightarrow k = (n-1) q \ \Leftrightarrow (n-1)|k[/tex3] , o que encerra a demonstração.
Última edição: matbatrobin (Sáb 27 Out, 2018 22:08). Total de 4 vezes.
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última msg
-
- 9 Respostas
- 730 Exibições
-
Última msg por LucasDN684
-
- 2 Respostas
- 540 Exibições
-
Última msg por Ornitologo
-
- 0 Respostas
- 619 Exibições
-
Última msg por EinsteinGenio
-
- 1 Respostas
- 3958 Exibições
-
Última msg por Fibonacci13
-
- 1 Respostas
- 854 Exibições
-
Última msg por petras