[obm-l] teoria dos números

[Israel Meireles Chrisostomo]

Como faço para definir em notação de conjuntos uma função com a restrição,
tipo f(x)<1
Seria (0,1]x(0,1]?

-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números, trigonometria e racionalidade

[Anderson Torres]

Em dom., 11 de dez. de 2022 às 10:32, Anderson Torres
 escreveu:
>
> Em sáb., 10 de dez. de 2022 às 22:08, marcone augusto araújo borges
>  escreveu:
> >
> > Seja p um número primo tal que p = = 3 (mod4) e @ um ângulo tal que tan@ é 
> > racional. Prove que tan((p+1)@) também é racional com numerador múltiplo de 
> > p
> > Desde já agradeço por algum esclarecimento ou solução.
>
> Bem, o que eu consigo pensar é em algo desse tipo.
>
> Sabemos que tan(m+n) = (tan(m) + tan(n))/(1-tan(m)* tan(n))
>
> Escrevamos tan(nX)=p(n)/q(n), onde p e q são polinômios em t=tan(X).
> Temos então a seguinte recorrência:
>
> p(1)=t; p(n+1)=p(n)+tq(n)
> q(1)=1; q(n+1)=-tp(n)+q(n)
>
> Jogando aqui e ali, temos
>
> p(1)=t; p(2)=2t; p(n+2)=2p(n+1)-(t^2+1)p(n)
> q(1)=1; q(2)=1-t^2; q(n+2)=2q(n+1)-(t^2+1)q(n)
>
> De cara, se nota que p sempre será múltiplo de p, e que q sempre deixa
> resto 1 módulo t, o que já dá uma pista do que procurar...
> Decerto, vai aparecer alguma coisa do tipo x^2+1, e com isso se usa o
> fato de p ser primo da forma 4k-1...
>

Acho que dá para melhorar. Suponha tan(nX)=A(n)/B(n). Assim,

A(n+1) =  B*A(n) + A*B(n)
B(n+1) = -A*A(n) + B*B(n)

E portanto

A(n+2) = 2B*A(n+1) - (A^2+B^2)*A(n), A(1)=A, A(2)=2AB
B(n+2) = 2B*B(n+1) - (A^2+B^2)*B(n), B(1)=B, B(2)=B^2-A^2

A ideia então seria demonstrar que A(p+1) é múltiplo de p para p primo
da forma 4k-1, e B(p+1) não é múltiplo de p para p primo da forma
4k-1.

Dessa forma, ao menos em princípio seria possível verificar a segunda
premissa, pois a primeira é óbvia.

> >
> > --
> > Esta mensagem foi verificada pelo sistema de antivírus e
> > acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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

[obm-l] Re: [obm-l] Teoria dos números, trigonometria e racionalidade

[Anderson Torres]

Em sáb., 10 de dez. de 2022 às 22:08, marcone augusto araújo borges
 escreveu:
>
> Seja p um número primo tal que p = = 3 (mod4) e @ um ângulo tal que tan@ é 
> racional. Prove que tan((p+1)@) também é racional com numerador múltiplo de p
> Desde já agradeço por algum esclarecimento ou solução.

Bem, o que eu consigo pensar é em algo desse tipo.

Sabemos que tan(m+n) = (tan(m) + tan(n))/(1-tan(m)* tan(n))

Escrevamos tan(nX)=p(n)/q(n), onde p e q são polinômios em t=tan(X).
Temos então a seguinte recorrência:

p(1)=t; p(n+1)=p(n)+tq(n)
q(1)=1; q(n+1)=-tp(n)+q(n)

Jogando aqui e ali, temos

p(1)=t; p(2)=2t; p(n+2)=2p(n+1)-(t^2+1)p(n)
q(1)=1; q(2)=1-t^2; q(n+2)=2q(n+1)-(t^2+1)q(n)

De cara, se nota que p sempre será múltiplo de p, e que q sempre deixa
resto 1 módulo t, o que já dá uma pista do que procurar...
Decerto, vai aparecer alguma coisa do tipo x^2+1, e com isso se usa o
fato de p ser primo da forma 4k-1...

>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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

[obm-l] Teoria dos números, trigonometria e racionalidade

[marcone augusto araújo borges]

Seja p um número primo tal que p = = 3 (mod4) e @ um ângulo tal que tan@ é 
racional. Prove que tan((p+1)@) também é racional com numerador múltiplo de p
Desde já agradeço por algum esclarecimento ou solução.

-- 
Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[marcone augusto araújo borges]

Seja p = = 3(mod4) um número primo e @ um ângulo tal que tan@ é racional. Prove 
que tan((@+1)p) é também racional com numerador múltiplo de p.
Se alguém puder resolver eu agradeço

-- 
Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos Números

[Pedro Henrique de Almeida Ursino]

A problema que segue é o problema 8 da primeira lista de preparação para a
Cone Sul/OMCPLP do ano de 2020. Segue o problema:


Para cada inteiro positivo n, defina
  S_n = 1!+2!+...+n!
Prove que existe um inteiro positivo n tal que S_n possui um divisor primo
maior que 10^(2020)



Espero que gostem do problema!

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos Números

[Otávio Araújo]

De nada mano.

Em seg, 26 de out de 2020 09:40, joao pedro b menezes <
joaopedrobmene...@gmail.com> escreveu:

> Muito obrigado pela ajuda! Entendi o exercício agora.
>
> Em dom, 25 de out de 2020 às 19:59, Otávio Araújo <
> otavio17.ara...@gmail.com> escreveu:
>
>> Vc resolve essa questão mostrando q p=n^2+n+1.  Se n=1 acabou. Se n>1,Já
>> que p divide n^3-1 e é primo, temos que p divide n-1 ou n^2+n+1. Não
>> podemos ter p dividindo n-1 pois n divide p-1 -> n<= p-1 n-1> Portanto p divide n^2+n+1. Faca n^2+n+1 = kp, k inteiro positivo. Temos que
>> kp=n^2+n+1 é congruente a 1 módulo n. Do enunciado temos p congruente a 1
>> módulo n,  mas p é congruente a 1 módulo n e é diferente de 1(pois é primo)
>> -> p>= n+1 e  k será congruente a 1 módulo n também. Suponha que k>1,
>> k>1 implica k>= n+1 daí kp>=(n+1)^2 > n^2+n+1, contradição. Portanto
>> k=1 e p=n^2+n+1.
>>
>> Em dom, 25 de out de 2020 17:37, joao pedro b menezes <
>> joaopedrobmene...@gmail.com> escreveu:
>>
>>> Olá, boa tarde.
>>> Estou com dúvida nesse exercício:
>>> " Sejam n um inteiro positivo maior que 1 e p um primo positivo tal que
>>> n divide p − 1 e p divide n 3 − 1. Mostre que 4p − 3 ´e um quadrado
>>> perfeito."
>>> Já agradeço pela ajuda e pelo tempo!
>>>
>>>

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos Números

[joao pedro b menezes]

Muito obrigado pela ajuda! Entendi o exercício agora.

Em dom, 25 de out de 2020 às 19:59, Otávio Araújo 
escreveu:

> Vc resolve essa questão mostrando q p=n^2+n+1.  Se n=1 acabou. Se n>1,Já
> que p divide n^3-1 e é primo, temos que p divide n-1 ou n^2+n+1. Não
> podemos ter p dividindo n-1 pois n divide p-1 -> n<= p-1 n-1 Portanto p divide n^2+n+1. Faca n^2+n+1 = kp, k inteiro positivo. Temos que
> kp=n^2+n+1 é congruente a 1 módulo n. Do enunciado temos p congruente a 1
> módulo n,  mas p é congruente a 1 módulo n e é diferente de 1(pois é primo)
> -> p>= n+1 e  k será congruente a 1 módulo n também. Suponha que k>1,
> k>1 implica k>= n+1 daí kp>=(n+1)^2 > n^2+n+1, contradição. Portanto  k=1
> e p=n^2+n+1.
>
> Em dom, 25 de out de 2020 17:37, joao pedro b menezes <
> joaopedrobmene...@gmail.com> escreveu:
>
>> Olá, boa tarde.
>> Estou com dúvida nesse exercício:
>> " Sejam n um inteiro positivo maior que 1 e p um primo positivo tal que n
>> divide p − 1 e p divide n 3 − 1. Mostre que 4p − 3 ´e um quadrado perfeito."
>> Já agradeço pela ajuda e pelo tempo!
>>
>>

[obm-l] Re: [obm-l] Teoria dos Números

[Otávio Araújo]

Vc resolve essa questão mostrando q p=n^2+n+1.  Se n=1 acabou. Se n>1,Já
que p divide n^3-1 e é primo, temos que p divide n-1 ou n^2+n+1. Não
podemos ter p dividindo n-1 pois n divide p-1 -> n<= p-1 n-1 p>= n+1 e  k será congruente a 1 módulo n também. Suponha que k>1,  k>1
implica k>= n+1 daí kp>=(n+1)^2 > n^2+n+1, contradição. Portanto  k=1 e
p=n^2+n+1.

Em dom, 25 de out de 2020 17:37, joao pedro b menezes <
joaopedrobmene...@gmail.com> escreveu:

> Olá, boa tarde.
> Estou com dúvida nesse exercício:
> " Sejam n um inteiro positivo maior que 1 e p um primo positivo tal que n
> divide p − 1 e p divide n 3 − 1. Mostre que 4p − 3 ´e um quadrado perfeito."
> Já agradeço pela ajuda e pelo tempo!
>
>

[obm-l] Teoria dos Números

[joao pedro b menezes]

Olá, boa tarde.
Estou com dúvida nesse exercício:
" Sejam n um inteiro positivo maior que 1 e p um primo positivo tal que n
divide p − 1 e p divide n 3 − 1. Mostre que 4p − 3 ´e um quadrado perfeito."
Já agradeço pela ajuda e pelo tempo!

[obm-l] Re: [obm-l] [obm-l] Teoria dos Números

[Arthur Queiroz]

Suponha que a =1. Queremos que 1/b + 1/c seja inteiro. Mas se b >= 3, temos
1/b + 1/c <= 2/3. Logo, as únicas sol nesse subcaso são b=c=1 e b=c=2.

Vou admitir como verdade que a<4 pq vc provou isso.

Suponha que 1 < a < 4 e b >= 5. Daí
1/a + 1/b + 1/c <= 1/2 + 1/5 + 1/5 = 9/10
Logo, b < 5. (Pq n há sol com b>=5 e a=1)

Suponha que a = 2. Daí 1/b + 1/c = 1/2. Se b>= 5, temos 1/b + 1/c <= 2/5.
Logo, b < 5. Testando as finitas possibilidades restantes, temos as sol
b=3, c=6 e b=4, c =4.

Suponha que 2 < a < 4, 2< b < 5 e c >= 4. Daí
1/a+1/b+1/c <= 1/3 + 1/3 + 1/4 < 1. Logo, c < 4. Mas se 2 >= c, teríamos 2
>= c >= b > 2, uma contradição. Logo, c = 3. E como c = 3 >= a, b > 2,
temos a = b = 3. Logo, a sol nesse subcaso seria a=3, b=3 e c=3

On Tue, Oct 6, 2020, 17:14 Marcos Duarte  wrote:

> Boa tarde!
>
> Encontre todos os números naturais a,b,c tais que a<=b<=c e a soma 1/a +
> 1/b + 1/c seja um inteiro.
>
> O único limitante que encontrei é que a < 4, pois 1/4 + 1/4 + 1/4 = 3/4 <
> 1 e já que a + 1 > a => 1/(a+1) < 1/a, temos que para a > 4 a soma continua
> menor que 1. Além disso, (1,1,1) e (3,3,3) satisfazem.
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] [obm-l] Teoria dos Números

[Claudio Buffara]

Há outros dois: (1,2,2) e (2,3,6).


On Tue, Oct 6, 2020 at 5:14 PM Marcos Duarte 
wrote:

> Boa tarde!
>
> Encontre todos os números naturais a,b,c tais que a<=b<=c e a soma 1/a +
> 1/b + 1/c seja um inteiro.
>
> O único limitante que encontrei é que a < 4, pois 1/4 + 1/4 + 1/4 = 3/4 <
> 1 e já que a + 1 > a => 1/(a+1) < 1/a, temos que para a > 4 a soma continua
> menor que 1. Além disso, (1,1,1) e (3,3,3) satisfazem.
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] [obm-l] Teoria dos Números

[Marcos Duarte]

Boa tarde!

Encontre todos os números naturais a,b,c tais que a<=b<=c e a soma 1/a +
1/b + 1/c seja um inteiro.

O único limitante que encontrei é que a < 4, pois 1/4 + 1/4 + 1/4 = 3/4 < 1
e já que a + 1 > a => 1/(a+1) < 1/a, temos que para a > 4 a soma continua
menor que 1. Além disso, (1,1,1) e (3,3,3) satisfazem.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Anderson Torres]

Em qua., 29 de abr. de 2020 às 10:33, Anderson Torres
 escreveu:
>
> Em qui., 23 de abr. de 2020 às 06:31, Jeferson Almir
>  escreveu:
> >
> > Amigos, peço ajuda nessa questão.
> >
> >  Sejam a e b inteiros positivos >=2 tal que (a^n)-1|(b^n)-1 pra todos os 
> > inteiros positivos n,mostrar que b é potencia inteira de a.
> >
>
> Ajuda? Esse problema é bem dificinho.
>
> A ideia é, por absurdo, supor que exista K tal que a^K < b < a^(K+1),
> verificar que x_n = (b^n-1) / (a^n-1) é sempre inteiro e a partir dela
> gerar uma sequência de inteiros que converge para 0.

Vou ser um pouco mais explícito.

Seja X(1,N) = (b^N-1) / (a^N-1). Pense que a é uma constante aqui.

Note que X(1,N) tem um comportamento parecido com (b/a)^N. Vamos então
considerar a sequência

X(2,N) = b*X(1,N) - a*X(1,N+1)

Veja que X(2,N) = ((a-1)*b^(n+1) + (b-1)*a^(n+1) +(a-b))/((a^n-1)(a^(n+1)-1)).

Esta bagaça não necessariamente converge, mas note que ela tem um
comportamento parecido com  (b/a^2)^N, o que é muito mais lento que
(b/a)^N.

Então, teremos essa pilha de funções:

X(1,N) = ...
X(2,N) = b*X(1,N) - a*X(1,N+1)
X(3,N) = b*X(2,N) - a*X(2,N+1)
X(4,N) = b*X(3,N) - a*X(3,N+1)

Tua tarefa será demonstrar que em algum momento uma dessas funções
X(k,N) converge para 0. Tendo feito isso, a demonstração será fácil.

>
> > --
> > Esta mensagem foi verificada pelo sistema de antivírus e
> > acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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

[obm-l] Re: [obm-l] Teoria dos números

[Anderson Torres]

Em qui., 23 de abr. de 2020 às 06:31, Jeferson Almir
 escreveu:
>
> Amigos, peço ajuda nessa questão.
>
>  Sejam a e b inteiros positivos >=2 tal que (a^n)-1|(b^n)-1 pra todos os 
> inteiros positivos n,mostrar que b é potencia inteira de a.
>

Ajuda? Esse problema é bem dificinho.

A ideia é, por absurdo, supor que exista K tal que a^K < b < a^(K+1),
verificar que x_n = (b^n-1) / (a^n-1) é sempre inteiro e a partir dela
gerar uma sequência de inteiros que converge para 0.

> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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

[obm-l] Teoria dos números

[Jeferson Almir]

Amigos, peço ajuda nessa questão.

 Sejam a e b inteiros positivos >=2 tal que (a^n)-1|(b^n)-1 pra todos os
inteiros positivos n,mostrar que b é potencia inteira de a.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] teoria dos números

[Israel Meireles Chrisostomo]

muito obrigado, professor  Ralph

Em sáb., 11 de abr. de 2020 às 13:18, Ralph Costa Teixeira <
ralp...@gmail.com> escreveu:

> Tome por exemplo
> a=1
> b=xy
> c=y
>
> Mais genericamente
> a=k
> b=kxy
> c=ky
> servem para k≠0 complexo qualquer.
>
> On Sat, Apr 11, 2020, 11:17 Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> wrote:
>
>> Como posso provar a seguinte afirmação "Sejam x,y,z números complexos
>> tais que xyz=1, mostre que existem a,b,c complexos tais que
>> b/c=x,c/a=y,a/b=z"
>>
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] teoria dos números

[Ralph Costa Teixeira]

Tome por exemplo
a=1
b=xy
c=y

Mais genericamente
a=k
b=kxy
c=ky
servem para k≠0 complexo qualquer.

On Sat, Apr 11, 2020, 11:17 Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> wrote:

> Como posso provar a seguinte afirmação "Sejam x,y,z números complexos tais
> que xyz=1, mostre que existem a,b,c complexos tais que b/c=x,c/a=y,a/b=z"
>
>
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] teoria dos números

[Israel Meireles Chrisostomo]

Como posso provar a seguinte afirmação "Sejam x,y,z números complexos tais
que xyz=1, mostre que existem a,b,c complexos tais que b/c=x,c/a=y,a/b=z"

-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

O meu sonho tmbm é esse kk

Em dom., 22 de mar. de 2020 às 13:22, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> vc é engenheiro?
>
> Em dom., 22 de mar. de 2020 às 13:19, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> mas vc possui algum graduação ?
>>
>> Em dom., 22 de mar. de 2020 às 13:00, Pedro José 
>> escreveu:
>>
>>> Boa tarde!
>>> Perfeita a sua correção.
>>> Quanto ao questionamento, nem tenho formação em matemática, meu sonho é
>>> cursar no IMPA ao me aposentar. Sou pitaqueiro. Ouço um assunto que não
>>> conheço, tento aprendê-lo. Na verdade, gosto de matemática. Talvez seja ela
>>> o "Mundo das ideias", o mundo ideal, a qual Platão se referiu.
>>> Saudações,
>>> PJMS
>>>
>>> Em dom, 22 de mar de 2020 12:25, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 Acho q tem uma ´pequena correção no seguinte passo "4k+1. Pegando os
 fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para qualquer n=4k+1."O
 correto seria "Para n=4k+1.Pegando os fatores (n-1)^2 e (n+1)^2"

 Em dom., 22 de mar. de 2020 às 10:14, Israel Meireles Chrisostomo <
 israelmchrisost...@gmail.com> escreveu:

> Primeiramente obrigado pela solução.Mas Pedro, tenho uma pergunta :   o
> sr. é professor de Matemática?
>
> Em dom., 22 de mar. de 2020 às 01:34, Pedro José 
> escreveu:
>
>> Bom dia!
>> Dei uma mancada.
>> O expoente de 3 é 3 e não 2.
>> Retornando às classes mod 3.
>> Ao último fator é côngruo à (n-1)*n
>> Para n=3k aparece outro fator e 3^3|p(n), n=3k.
>> n=3k+1, tenho (n-1)^2 e (n-1), 3^3|p(n), n=3k+1
>> n=3k+2, tenho(n-2)^2 é (n+1)^2, 3^3|p(n), n=3k+2,
>> Logo 3^3|p(n) para todo n inteiro.
>> D>=2^6*3^3*5. Mas D<=2^6*3^3*5, então D=8640
>> Desculpem-me pelo erro.
>> Saudações,
>> PJMS.
>>
>>
>>
>> Em sáb, 21 de mar de 2020 13:20, Pedro José 
>> escreveu:
>>
>>> Boa tarde!
>>> Nem carece método numérico.
>>> Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
>>> p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)
>>>
>>> p(3)=8640
>>> p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
>>> Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
>>> Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
>>> Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
>>> inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
>>> 4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n)
>>> para qualquer n=4k+1.
>>> 4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer
>>> n=4k+2
>>> 4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
>>> Portanto 2^6|p(n) para qualquer inteiro
>>> Agora classes de equivalência mod 3
>>> 3k, pegando n^2, 3^2|p(n) para n=3k
>>> 3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
>>> 3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
>>> Daí 3^2|p(n) para qualquer n inteiro.
>>> Classes de equivalência mod 5.
>>> 5k, n^2 , 5 |p(n), n =5
>>> 5k +1, (n-1)^2, 5|p(n), n=5k+1
>>> 5k+2, (n-2)^2, 5|p(n), n=5k+2
>>> 5k+3, (4n^2-4n-9)=(100k^2-100k+15)
>>> 5|p(n), n=5k+3
>>> 5k+4, (n+1)^2, 5|p(n) , n=5k+4.
>>> Então 5|p(n) para todo inteiro
>>> D>=2^6*3^2×*5
>>> Mas D<=2^6*3^2*5, logo D=8640
>>>
>>> Saudações,
>>> PJMS
>>>
>>> Em sáb, 21 de mar de 2020 04:39, Pedro José 
>>> escreveu:
>>>
 Bom dia!
 Falta de novo, em seu questionamento, informar que n é inteiro ou
 natural e colocar a condição para qualquer valor de n. Chamando o 
 polinômio
 de p(n)
 Para n=0, 1 ou 2, qualquer inteiro divide.
 Faria mdc(p(3),p(4))= A1
 Se der "pequeno", com poucos fatores primos e expoentes pequenos.
 Paro em A1, se não.
 (p(5),A1)=A2 uso o mesmo critério de parar
 (p(6),A2)=A3 até parar em:
 Ai=(p(i+3),A(i-1)).
 Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi
 seu expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 
 mod
 fi^si
 Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
 fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram 
 equivalente a
 zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
 todos resíduos de fi, quando o fator será descartado.
 Depois repito para cada fator primo f e seu respectivo expoente.
 Ao final D = Produtório de cada fator fi elevado ao expoente xki
 que zerou p(n) mod fi^xki para todos os resíduos, descartando os fí em 
 que
 xji chegou a 1 e não atendeu ou considerando nesse caso xki=0.

 Mas resolveria por método numérico.
 Depois poste sua solução.

 

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

vc é engenheiro?

Em dom., 22 de mar. de 2020 às 13:19, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> mas vc possui algum graduação ?
>
> Em dom., 22 de mar. de 2020 às 13:00, Pedro José 
> escreveu:
>
>> Boa tarde!
>> Perfeita a sua correção.
>> Quanto ao questionamento, nem tenho formação em matemática, meu sonho é
>> cursar no IMPA ao me aposentar. Sou pitaqueiro. Ouço um assunto que não
>> conheço, tento aprendê-lo. Na verdade, gosto de matemática. Talvez seja ela
>> o "Mundo das ideias", o mundo ideal, a qual Platão se referiu.
>> Saudações,
>> PJMS
>>
>> Em dom, 22 de mar de 2020 12:25, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Acho q tem uma ´pequena correção no seguinte passo "4k+1. Pegando os
>>> fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para qualquer n=4k+1."O
>>> correto seria "Para n=4k+1.Pegando os fatores (n-1)^2 e (n+1)^2"
>>>
>>> Em dom., 22 de mar. de 2020 às 10:14, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 Primeiramente obrigado pela solução.Mas Pedro, tenho uma pergunta :   o
 sr. é professor de Matemática?

 Em dom., 22 de mar. de 2020 às 01:34, Pedro José 
 escreveu:

> Bom dia!
> Dei uma mancada.
> O expoente de 3 é 3 e não 2.
> Retornando às classes mod 3.
> Ao último fator é côngruo à (n-1)*n
> Para n=3k aparece outro fator e 3^3|p(n), n=3k.
> n=3k+1, tenho (n-1)^2 e (n-1), 3^3|p(n), n=3k+1
> n=3k+2, tenho(n-2)^2 é (n+1)^2, 3^3|p(n), n=3k+2,
> Logo 3^3|p(n) para todo n inteiro.
> D>=2^6*3^3*5. Mas D<=2^6*3^3*5, então D=8640
> Desculpem-me pelo erro.
> Saudações,
> PJMS.
>
>
>
> Em sáb, 21 de mar de 2020 13:20, Pedro José 
> escreveu:
>
>> Boa tarde!
>> Nem carece método numérico.
>> Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
>> p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)
>>
>> p(3)=8640
>> p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
>> Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
>> Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
>> Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
>> inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
>> 4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n)
>> para qualquer n=4k+1.
>> 4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer n=4k+2
>> 4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
>> Portanto 2^6|p(n) para qualquer inteiro
>> Agora classes de equivalência mod 3
>> 3k, pegando n^2, 3^2|p(n) para n=3k
>> 3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
>> 3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
>> Daí 3^2|p(n) para qualquer n inteiro.
>> Classes de equivalência mod 5.
>> 5k, n^2 , 5 |p(n), n =5
>> 5k +1, (n-1)^2, 5|p(n), n=5k+1
>> 5k+2, (n-2)^2, 5|p(n), n=5k+2
>> 5k+3, (4n^2-4n-9)=(100k^2-100k+15)
>> 5|p(n), n=5k+3
>> 5k+4, (n+1)^2, 5|p(n) , n=5k+4.
>> Então 5|p(n) para todo inteiro
>> D>=2^6*3^2×*5
>> Mas D<=2^6*3^2*5, logo D=8640
>>
>> Saudações,
>> PJMS
>>
>> Em sáb, 21 de mar de 2020 04:39, Pedro José 
>> escreveu:
>>
>>> Bom dia!
>>> Falta de novo, em seu questionamento, informar que n é inteiro ou
>>> natural e colocar a condição para qualquer valor de n. Chamando o 
>>> polinômio
>>> de p(n)
>>> Para n=0, 1 ou 2, qualquer inteiro divide.
>>> Faria mdc(p(3),p(4))= A1
>>> Se der "pequeno", com poucos fatores primos e expoentes pequenos.
>>> Paro em A1, se não.
>>> (p(5),A1)=A2 uso o mesmo critério de parar
>>> (p(6),A2)=A3 até parar em:
>>> Ai=(p(i+3),A(i-1)).
>>> Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi
>>> seu expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 
>>> mod
>>> fi^si
>>> Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
>>> fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram 
>>> equivalente a
>>> zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
>>> todos resíduos de fi, quando o fator será descartado.
>>> Depois repito para cada fator primo f e seu respectivo expoente.
>>> Ao final D = Produtório de cada fator fi elevado ao expoente xki que
>>> zerou p(n) mod fi^xki para todos os resíduos, descartando os fí em que 
>>> xji
>>> chegou a 1 e não atendeu ou considerando nesse caso xki=0.
>>>
>>> Mas resolveria por método numérico.
>>> Depois poste sua solução.
>>>
>>> Saudações,
>>> PJMS.
>>>
>>>
>>>
>>>
>>> Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2
 (4 n^2 

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

mas vc possui algum graduação ?

Em dom., 22 de mar. de 2020 às 13:00, Pedro José 
escreveu:

> Boa tarde!
> Perfeita a sua correção.
> Quanto ao questionamento, nem tenho formação em matemática, meu sonho é
> cursar no IMPA ao me aposentar. Sou pitaqueiro. Ouço um assunto que não
> conheço, tento aprendê-lo. Na verdade, gosto de matemática. Talvez seja ela
> o "Mundo das ideias", o mundo ideal, a qual Platão se referiu.
> Saudações,
> PJMS
>
> Em dom, 22 de mar de 2020 12:25, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Acho q tem uma ´pequena correção no seguinte passo "4k+1. Pegando os
>> fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para qualquer n=4k+1."O
>> correto seria "Para n=4k+1.Pegando os fatores (n-1)^2 e (n+1)^2"
>>
>> Em dom., 22 de mar. de 2020 às 10:14, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Primeiramente obrigado pela solução.Mas Pedro, tenho uma pergunta :   o
>>> sr. é professor de Matemática?
>>>
>>> Em dom., 22 de mar. de 2020 às 01:34, Pedro José 
>>> escreveu:
>>>
 Bom dia!
 Dei uma mancada.
 O expoente de 3 é 3 e não 2.
 Retornando às classes mod 3.
 Ao último fator é côngruo à (n-1)*n
 Para n=3k aparece outro fator e 3^3|p(n), n=3k.
 n=3k+1, tenho (n-1)^2 e (n-1), 3^3|p(n), n=3k+1
 n=3k+2, tenho(n-2)^2 é (n+1)^2, 3^3|p(n), n=3k+2,
 Logo 3^3|p(n) para todo n inteiro.
 D>=2^6*3^3*5. Mas D<=2^6*3^3*5, então D=8640
 Desculpem-me pelo erro.
 Saudações,
 PJMS.



 Em sáb, 21 de mar de 2020 13:20, Pedro José 
 escreveu:

> Boa tarde!
> Nem carece método numérico.
> Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
> p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)
>
> p(3)=8640
> p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
> Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
> Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
> Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
> inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
> 4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n)
> para qualquer n=4k+1.
> 4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer n=4k+2
> 4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
> Portanto 2^6|p(n) para qualquer inteiro
> Agora classes de equivalência mod 3
> 3k, pegando n^2, 3^2|p(n) para n=3k
> 3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
> 3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
> Daí 3^2|p(n) para qualquer n inteiro.
> Classes de equivalência mod 5.
> 5k, n^2 , 5 |p(n), n =5
> 5k +1, (n-1)^2, 5|p(n), n=5k+1
> 5k+2, (n-2)^2, 5|p(n), n=5k+2
> 5k+3, (4n^2-4n-9)=(100k^2-100k+15)
> 5|p(n), n=5k+3
> 5k+4, (n+1)^2, 5|p(n) , n=5k+4.
> Então 5|p(n) para todo inteiro
> D>=2^6*3^2×*5
> Mas D<=2^6*3^2*5, logo D=8640
>
> Saudações,
> PJMS
>
> Em sáb, 21 de mar de 2020 04:39, Pedro José 
> escreveu:
>
>> Bom dia!
>> Falta de novo, em seu questionamento, informar que n é inteiro ou
>> natural e colocar a condição para qualquer valor de n. Chamando o 
>> polinômio
>> de p(n)
>> Para n=0, 1 ou 2, qualquer inteiro divide.
>> Faria mdc(p(3),p(4))= A1
>> Se der "pequeno", com poucos fatores primos e expoentes pequenos.
>> Paro em A1, se não.
>> (p(5),A1)=A2 uso o mesmo critério de parar
>> (p(6),A2)=A3 até parar em:
>> Ai=(p(i+3),A(i-1)).
>> Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi seu
>> expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 mod 
>> fi^si
>> Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
>> fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram 
>> equivalente a
>> zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
>> todos resíduos de fi, quando o fator será descartado.
>> Depois repito para cada fator primo f e seu respectivo expoente.
>> Ao final D = Produtório de cada fator fi elevado ao expoente xki que
>> zerou p(n) mod fi^xki para todos os resíduos, descartando os fí em que 
>> xji
>> chegou a 1 e não atendeu ou considerando nesse caso xki=0.
>>
>> Mas resolveria por método numérico.
>> Depois poste sua solução.
>>
>> Saudações,
>> PJMS.
>>
>>
>>
>>
>> Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4
>>> n^2 - 4 n - 9))?
>>> Eu sei resolver esse problema com meu algoritmo, porém gostaria de
>>> saber como os colegas o resolveriam.
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Perfeita a sua correção.
Quanto ao questionamento, nem tenho formação em matemática, meu sonho é
cursar no IMPA ao me aposentar. Sou pitaqueiro. Ouço um assunto que não
conheço, tento aprendê-lo. Na verdade, gosto de matemática. Talvez seja ela
o "Mundo das ideias", o mundo ideal, a qual Platão se referiu.
Saudações,
PJMS

Em dom, 22 de mar de 2020 12:25, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Acho q tem uma ´pequena correção no seguinte passo "4k+1. Pegando os
> fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para qualquer n=4k+1."O
> correto seria "Para n=4k+1.Pegando os fatores (n-1)^2 e (n+1)^2"
>
> Em dom., 22 de mar. de 2020 às 10:14, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Primeiramente obrigado pela solução.Mas Pedro, tenho uma pergunta :   o
>> sr. é professor de Matemática?
>>
>> Em dom., 22 de mar. de 2020 às 01:34, Pedro José 
>> escreveu:
>>
>>> Bom dia!
>>> Dei uma mancada.
>>> O expoente de 3 é 3 e não 2.
>>> Retornando às classes mod 3.
>>> Ao último fator é côngruo à (n-1)*n
>>> Para n=3k aparece outro fator e 3^3|p(n), n=3k.
>>> n=3k+1, tenho (n-1)^2 e (n-1), 3^3|p(n), n=3k+1
>>> n=3k+2, tenho(n-2)^2 é (n+1)^2, 3^3|p(n), n=3k+2,
>>> Logo 3^3|p(n) para todo n inteiro.
>>> D>=2^6*3^3*5. Mas D<=2^6*3^3*5, então D=8640
>>> Desculpem-me pelo erro.
>>> Saudações,
>>> PJMS.
>>>
>>>
>>>
>>> Em sáb, 21 de mar de 2020 13:20, Pedro José 
>>> escreveu:
>>>
 Boa tarde!
 Nem carece método numérico.
 Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
 p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)

 p(3)=8640
 p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
 Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
 Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
 Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
 inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
 4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n)
 para qualquer n=4k+1.
 4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer n=4k+2
 4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
 Portanto 2^6|p(n) para qualquer inteiro
 Agora classes de equivalência mod 3
 3k, pegando n^2, 3^2|p(n) para n=3k
 3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
 3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
 Daí 3^2|p(n) para qualquer n inteiro.
 Classes de equivalência mod 5.
 5k, n^2 , 5 |p(n), n =5
 5k +1, (n-1)^2, 5|p(n), n=5k+1
 5k+2, (n-2)^2, 5|p(n), n=5k+2
 5k+3, (4n^2-4n-9)=(100k^2-100k+15)
 5|p(n), n=5k+3
 5k+4, (n+1)^2, 5|p(n) , n=5k+4.
 Então 5|p(n) para todo inteiro
 D>=2^6*3^2×*5
 Mas D<=2^6*3^2*5, logo D=8640

 Saudações,
 PJMS

 Em sáb, 21 de mar de 2020 04:39, Pedro José 
 escreveu:

> Bom dia!
> Falta de novo, em seu questionamento, informar que n é inteiro ou
> natural e colocar a condição para qualquer valor de n. Chamando o 
> polinômio
> de p(n)
> Para n=0, 1 ou 2, qualquer inteiro divide.
> Faria mdc(p(3),p(4))= A1
> Se der "pequeno", com poucos fatores primos e expoentes pequenos. Paro
> em A1, se não.
> (p(5),A1)=A2 uso o mesmo critério de parar
> (p(6),A2)=A3 até parar em:
> Ai=(p(i+3),A(i-1)).
> Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi seu
> expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 mod 
> fi^si
> Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
> fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram equivalente 
> a
> zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
> todos resíduos de fi, quando o fator será descartado.
> Depois repito para cada fator primo f e seu respectivo expoente.
> Ao final D = Produtório de cada fator fi elevado ao expoente xki que
> zerou p(n) mod fi^xki para todos os resíduos, descartando os fí em que xji
> chegou a 1 e não atendeu ou considerando nesse caso xki=0.
>
> Mas resolveria por método numérico.
> Depois poste sua solução.
>
> Saudações,
> PJMS.
>
>
>
>
> Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4
>> n^2 - 4 n - 9))?
>> Eu sei resolver esse problema com meu algoritmo, porém gostaria de
>> saber como os colegas o resolveriam.
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Israel Meireles Chrisostomo
>>
>
>
> --
> Israel Meireles 

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Acho q tem uma ´pequena correção no seguinte passo "4k+1. Pegando os
fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para qualquer n=4k+1."O
correto seria "Para n=4k+1.Pegando os fatores (n-1)^2 e (n+1)^2"

Em dom., 22 de mar. de 2020 às 10:14, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Primeiramente obrigado pela solução.Mas Pedro, tenho uma pergunta :   o
> sr. é professor de Matemática?
>
> Em dom., 22 de mar. de 2020 às 01:34, Pedro José 
> escreveu:
>
>> Bom dia!
>> Dei uma mancada.
>> O expoente de 3 é 3 e não 2.
>> Retornando às classes mod 3.
>> Ao último fator é côngruo à (n-1)*n
>> Para n=3k aparece outro fator e 3^3|p(n), n=3k.
>> n=3k+1, tenho (n-1)^2 e (n-1), 3^3|p(n), n=3k+1
>> n=3k+2, tenho(n-2)^2 é (n+1)^2, 3^3|p(n), n=3k+2,
>> Logo 3^3|p(n) para todo n inteiro.
>> D>=2^6*3^3*5. Mas D<=2^6*3^3*5, então D=8640
>> Desculpem-me pelo erro.
>> Saudações,
>> PJMS.
>>
>>
>>
>> Em sáb, 21 de mar de 2020 13:20, Pedro José 
>> escreveu:
>>
>>> Boa tarde!
>>> Nem carece método numérico.
>>> Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
>>> p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)
>>>
>>> p(3)=8640
>>> p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
>>> Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
>>> Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
>>> Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
>>> inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
>>> 4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para
>>> qualquer n=4k+1.
>>> 4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer n=4k+2
>>> 4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
>>> Portanto 2^6|p(n) para qualquer inteiro
>>> Agora classes de equivalência mod 3
>>> 3k, pegando n^2, 3^2|p(n) para n=3k
>>> 3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
>>> 3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
>>> Daí 3^2|p(n) para qualquer n inteiro.
>>> Classes de equivalência mod 5.
>>> 5k, n^2 , 5 |p(n), n =5
>>> 5k +1, (n-1)^2, 5|p(n), n=5k+1
>>> 5k+2, (n-2)^2, 5|p(n), n=5k+2
>>> 5k+3, (4n^2-4n-9)=(100k^2-100k+15)
>>> 5|p(n), n=5k+3
>>> 5k+4, (n+1)^2, 5|p(n) , n=5k+4.
>>> Então 5|p(n) para todo inteiro
>>> D>=2^6*3^2×*5
>>> Mas D<=2^6*3^2*5, logo D=8640
>>>
>>> Saudações,
>>> PJMS
>>>
>>> Em sáb, 21 de mar de 2020 04:39, Pedro José 
>>> escreveu:
>>>
 Bom dia!
 Falta de novo, em seu questionamento, informar que n é inteiro ou
 natural e colocar a condição para qualquer valor de n. Chamando o polinômio
 de p(n)
 Para n=0, 1 ou 2, qualquer inteiro divide.
 Faria mdc(p(3),p(4))= A1
 Se der "pequeno", com poucos fatores primos e expoentes pequenos. Paro
 em A1, se não.
 (p(5),A1)=A2 uso o mesmo critério de parar
 (p(6),A2)=A3 até parar em:
 Ai=(p(i+3),A(i-1)).
 Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi seu
 expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 mod fi^si
 Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
 fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram equivalente a
 zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
 todos resíduos de fi, quando o fator será descartado.
 Depois repito para cada fator primo f e seu respectivo expoente.
 Ao final D = Produtório de cada fator fi elevado ao expoente xki que
 zerou p(n) mod fi^xki para todos os resíduos, descartando os fí em que xji
 chegou a 1 e não atendeu ou considerando nesse caso xki=0.

 Mas resolveria por método numérico.
 Depois poste sua solução.

 Saudações,
 PJMS.




 Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
 israelmchrisost...@gmail.com> escreveu:

> Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4
> n^2 - 4 n - 9))?
> Eu sei resolver esse problema com meu algoritmo, porém gostaria de
> saber como os colegas o resolveriam.
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.


>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>
> --
> Israel Meireles Chrisostomo
>


-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Primeiramente obrigado pela solução.Mas Pedro, tenho uma pergunta :   o sr.
é professor de Matemática?

Em dom., 22 de mar. de 2020 às 01:34, Pedro José 
escreveu:

> Bom dia!
> Dei uma mancada.
> O expoente de 3 é 3 e não 2.
> Retornando às classes mod 3.
> Ao último fator é côngruo à (n-1)*n
> Para n=3k aparece outro fator e 3^3|p(n), n=3k.
> n=3k+1, tenho (n-1)^2 e (n-1), 3^3|p(n), n=3k+1
> n=3k+2, tenho(n-2)^2 é (n+1)^2, 3^3|p(n), n=3k+2,
> Logo 3^3|p(n) para todo n inteiro.
> D>=2^6*3^3*5. Mas D<=2^6*3^3*5, então D=8640
> Desculpem-me pelo erro.
> Saudações,
> PJMS.
>
>
>
> Em sáb, 21 de mar de 2020 13:20, Pedro José 
> escreveu:
>
>> Boa tarde!
>> Nem carece método numérico.
>> Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
>> p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)
>>
>> p(3)=8640
>> p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
>> Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
>> Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
>> Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
>> inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
>> 4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para
>> qualquer n=4k+1.
>> 4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer n=4k+2
>> 4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
>> Portanto 2^6|p(n) para qualquer inteiro
>> Agora classes de equivalência mod 3
>> 3k, pegando n^2, 3^2|p(n) para n=3k
>> 3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
>> 3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
>> Daí 3^2|p(n) para qualquer n inteiro.
>> Classes de equivalência mod 5.
>> 5k, n^2 , 5 |p(n), n =5
>> 5k +1, (n-1)^2, 5|p(n), n=5k+1
>> 5k+2, (n-2)^2, 5|p(n), n=5k+2
>> 5k+3, (4n^2-4n-9)=(100k^2-100k+15)
>> 5|p(n), n=5k+3
>> 5k+4, (n+1)^2, 5|p(n) , n=5k+4.
>> Então 5|p(n) para todo inteiro
>> D>=2^6*3^2×*5
>> Mas D<=2^6*3^2*5, logo D=8640
>>
>> Saudações,
>> PJMS
>>
>> Em sáb, 21 de mar de 2020 04:39, Pedro José 
>> escreveu:
>>
>>> Bom dia!
>>> Falta de novo, em seu questionamento, informar que n é inteiro ou
>>> natural e colocar a condição para qualquer valor de n. Chamando o polinômio
>>> de p(n)
>>> Para n=0, 1 ou 2, qualquer inteiro divide.
>>> Faria mdc(p(3),p(4))= A1
>>> Se der "pequeno", com poucos fatores primos e expoentes pequenos. Paro
>>> em A1, se não.
>>> (p(5),A1)=A2 uso o mesmo critério de parar
>>> (p(6),A2)=A3 até parar em:
>>> Ai=(p(i+3),A(i-1)).
>>> Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi seu
>>> expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 mod fi^si
>>> Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
>>> fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram equivalente a
>>> zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
>>> todos resíduos de fi, quando o fator será descartado.
>>> Depois repito para cada fator primo f e seu respectivo expoente.
>>> Ao final D = Produtório de cada fator fi elevado ao expoente xki que
>>> zerou p(n) mod fi^xki para todos os resíduos, descartando os fí em que xji
>>> chegou a 1 e não atendeu ou considerando nesse caso xki=0.
>>>
>>> Mas resolveria por método numérico.
>>> Depois poste sua solução.
>>>
>>> Saudações,
>>> PJMS.
>>>
>>>
>>>
>>>
>>> Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4
 n^2 - 4 n - 9))?
 Eu sei resolver esse problema com meu algoritmo, porém gostaria de
 saber como os colegas o resolveriam.
 --
 Israel Meireles Chrisostomo

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Bom dia!
Dei uma mancada.
O expoente de 3 é 3 e não 2.
Retornando às classes mod 3.
Ao último fator é côngruo à (n-1)*n
Para n=3k aparece outro fator e 3^3|p(n), n=3k.
n=3k+1, tenho (n-1)^2 e (n-1), 3^3|p(n), n=3k+1
n=3k+2, tenho(n-2)^2 é (n+1)^2, 3^3|p(n), n=3k+2,
Logo 3^3|p(n) para todo n inteiro.
D>=2^6*3^3*5. Mas D<=2^6*3^3*5, então D=8640
Desculpem-me pelo erro.
Saudações,
PJMS.



Em sáb, 21 de mar de 2020 13:20, Pedro José  escreveu:

> Boa tarde!
> Nem carece método numérico.
> Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
> p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)
>
> p(3)=8640
> p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
> Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
> Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
> Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
> inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
> 4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para
> qualquer n=4k+1.
> 4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer n=4k+2
> 4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
> Portanto 2^6|p(n) para qualquer inteiro
> Agora classes de equivalência mod 3
> 3k, pegando n^2, 3^2|p(n) para n=3k
> 3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
> 3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
> Daí 3^2|p(n) para qualquer n inteiro.
> Classes de equivalência mod 5.
> 5k, n^2 , 5 |p(n), n =5
> 5k +1, (n-1)^2, 5|p(n), n=5k+1
> 5k+2, (n-2)^2, 5|p(n), n=5k+2
> 5k+3, (4n^2-4n-9)=(100k^2-100k+15)
> 5|p(n), n=5k+3
> 5k+4, (n+1)^2, 5|p(n) , n=5k+4.
> Então 5|p(n) para todo inteiro
> D>=2^6*3^2×*5
> Mas D<=2^6*3^2*5, logo D=8640
>
> Saudações,
> PJMS
>
> Em sáb, 21 de mar de 2020 04:39, Pedro José 
> escreveu:
>
>> Bom dia!
>> Falta de novo, em seu questionamento, informar que n é inteiro ou natural
>> e colocar a condição para qualquer valor de n. Chamando o polinômio de p(n)
>> Para n=0, 1 ou 2, qualquer inteiro divide.
>> Faria mdc(p(3),p(4))= A1
>> Se der "pequeno", com poucos fatores primos e expoentes pequenos. Paro em
>> A1, se não.
>> (p(5),A1)=A2 uso o mesmo critério de parar
>> (p(6),A2)=A3 até parar em:
>> Ai=(p(i+3),A(i-1)).
>> Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi seu
>> expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 mod fi^si
>> Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
>> fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram equivalente a
>> zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
>> todos resíduos de fi, quando o fator será descartado.
>> Depois repito para cada fator primo f e seu respectivo expoente.
>> Ao final D = Produtório de cada fator fi elevado ao expoente xki que
>> zerou p(n) mod fi^xki para todos os resíduos, descartando os fí em que xji
>> chegou a 1 e não atendeu ou considerando nesse caso xki=0.
>>
>> Mas resolveria por método numérico.
>> Depois poste sua solução.
>>
>> Saudações,
>> PJMS.
>>
>>
>>
>>
>> Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4 n^2
>>> - 4 n - 9))?
>>> Eu sei resolver esse problema com meu algoritmo, porém gostaria de saber
>>> como os colegas o resolveriam.
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Nem carece método numérico.
Para n=1 ou n=0 ou n=2 temos que qualquer inteiro divide o polinômio
p(n)=(n-2)^2*(n-1)^2*n^2*(n+1)^2*(4n^2-4n-9)

p(3)=8640
p(4)=561600 então (p(3),p(4))=8640=2^6*3^3*5.
Seja D o maior inteiro que divide p(n) para todo n inteiro, D<=8640
Vamos pegar as classes de equivalência mod 4. Seja k um inteiro.
Para 4k temos que n^2= 16k^2 e (n-2) é par logo (n-2)^2= 4s^2 com s
inteiro. Logo 2^6 divide p(n) para qualquer n =4k.
4k+1. Pegando os fatores (4n-1)^2 e (4n+1)^2, teremos que 2^6 |p(n) para
qualquer n=4k+1.
4k+2. Pegando (n-2)^2 e n^2, teremos que 2^6|p(n) para qualquer n=4k+2
4k+3, pegando os mesmos fatores de 4k+1, 2^6|p(n) para n=4k+3.
Portanto 2^6|p(n) para qualquer inteiro
Agora classes de equivalência mod 3
3k, pegando n^2, 3^2|p(n) para n=3k
3k+1, pegando (n-1)^2; 3^2| p(n), n=3k+1
3k+2, pegando (n-2)^2, 3^2| p(n), n=3k+2
Daí 3^2|p(n) para qualquer n inteiro.
Classes de equivalência mod 5.
5k, n^2 , 5 |p(n), n =5
5k +1, (n-1)^2, 5|p(n), n=5k+1
5k+2, (n-2)^2, 5|p(n), n=5k+2
5k+3, (4n^2-4n-9)=(100k^2-100k+15)
5|p(n), n=5k+3
5k+4, (n+1)^2, 5|p(n) , n=5k+4.
Então 5|p(n) para todo inteiro
D>=2^6*3^2×*5
Mas D<=2^6*3^2*5, logo D=8640

Saudações,
PJMS

Em sáb, 21 de mar de 2020 04:39, Pedro José  escreveu:

> Bom dia!
> Falta de novo, em seu questionamento, informar que n é inteiro ou natural
> e colocar a condição para qualquer valor de n. Chamando o polinômio de p(n)
> Para n=0, 1 ou 2, qualquer inteiro divide.
> Faria mdc(p(3),p(4))= A1
> Se der "pequeno", com poucos fatores primos e expoentes pequenos. Paro em
> A1, se não.
> (p(5),A1)=A2 uso o mesmo critério de parar
> (p(6),A2)=A3 até parar em:
> Ai=(p(i+3),A(i-1)).
> Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi seu
> expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 mod fi^si
> Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
> fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram equivalente a
> zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
> todos resíduos de fi, quando o fator será descartado.
> Depois repito para cada fator primo f e seu respectivo expoente.
> Ao final D = Produtório de cada fator fi elevado ao expoente xki que zerou
> p(n) mod fi^xki para todos os resíduos, descartando os fí em que xji chegou
> a 1 e não atendeu ou considerando nesse caso xki=0.
>
> Mas resolveria por método numérico.
> Depois poste sua solução.
>
> Saudações,
> PJMS.
>
>
>
>
> Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4 n^2
>> - 4 n - 9))?
>> Eu sei resolver esse problema com meu algoritmo, porém gostaria de saber
>> como os colegas o resolveriam.
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Bom dia!
Falta de novo, em seu questionamento, informar que n é inteiro ou natural e
colocar a condição para qualquer valor de n. Chamando o polinômio de p(n)
Para n=0, 1 ou 2, qualquer inteiro divide.
Faria mdc(p(3),p(4))= A1
Se der "pequeno", com poucos fatores primos e expoentes pequenos. Paro em
A1, se não.
(p(5),A1)=A2 uso o mesmo critério de parar
(p(6),A2)=A3 até parar em:
Ai=(p(i+3),A(i-1)).
Aí faço o polinômio módfi^xi, onde fi é um fator primo de Aí e xi seu
expoente. verifico se para cada resíduon= 1, 2...fi^n-1 se P(n)=0 mod fi^si
Se falhar diminuto xi em 1 e repito o teste para todos resíduos de
fi^(xi-1)-1 até um dado xki em que todos os p(resíduos) foram equivalente a
zero módulo fi^xki ou quando fizer para o expoente 1  e não zerar para
todos resíduos de fi, quando o fator será descartado.
Depois repito para cada fator primo f e seu respectivo expoente.
Ao final D = Produtório de cada fator fi elevado ao expoente xki que zerou
p(n) mod fi^xki para todos os resíduos, descartando os fí em que xji chegou
a 1 e não atendeu ou considerando nesse caso xki=0.

Mas resolveria por método numérico.
Depois poste sua solução.

Saudações,
PJMS.




Em sex, 20 de mar de 2020 12:42, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4 n^2 -
> 4 n - 9))?
> Eu sei resolver esse problema com meu algoritmo, porém gostaria de saber
> como os colegas o resolveriam.
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Qual o maior inteiro que divide (n - 2)^2 (n - 1)^2 n^2 (n + 1)^2 (4 n^2 -
4 n - 9))?
Eu sei resolver esse problema com meu algoritmo, porém gostaria de saber
como os colegas o resolveriam.
-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa noite!
Aí, como dizia minha falecida vó, são outros quinhentos.
Como nas propostas anteriores n era natural. Vamos seguir nessa linha, se
não for reformule o problema.
Seja f(n)=   n (427 - 90n - 70n^2 + 45n^3 + 18n^4)
f(0)=0 qualquer natural divide, portanto, é indiferente.
f(1)= 330
f(2)= 1230
É fácil verificar que mdc(330,1230)=30 então D<=30, onde D é o máximo
inteiro que divide f(n) para todo n natural.
f(n) = 7n +5n^4 + 8 n^5 mod 10.
f(0)=0 mod10
f(1)= 20 = 0 mod10
f(2)= 350= 0 mod10
f(3)= 2370 = 0 mod10
f(4)= 9500 = 0 mod10
f(5)= 28160 = 0 mod10
f(6)=68730 = 0 mod10
f(7)=146510 = 0 mod10
f(8)=282680 = 0 mod10
f(9)=505260 = 0 mod10
logo 10 | f(n) para qualquer n natural.

f(n) = n -n^3 mod 3
f(0) = 0 mod 3
f(1) = 0 mod 3
f(2)= -6 = 0 mod 3
logo 3| f(n) para todo n natural
então D = 30.

Saudações,
PJMS



Em ter., 17 de mar. de 2020 às 11:57, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Sim é isso q eu quis dizer
>
> Em ter, 17 de mar de 2020 11:12, Carlos Gustavo Tamm de Araujo Moreira <
> g...@impa.br> escreveu:
>
>> Acho que a pergunta deve ser qual é o maior inteiro positivo que divide
>> essa expressão para todo valor de n ao mesmo tempo.
>>
>> On Tue, Mar 17, 2020 at 6:58 AM Pedro José  wrote:
>>
>>> Bom dia!
>>> Se você considerar a expressão n(427-90n-70n^2+45n^3+18n^4)
>>> D=|n(427-90n-70n^2+45n^3+18n^4)|
>>> Por exemplo, n=1
>>> D=330.
>>> Agora se liberar n para variar D tende a oo.
>>>
>>> Se n for raiz da expressão, também tende a oi, pois qualquer inteiro
>>> divide 0.
>>>
>>>
>>> Em seg, 16 de mar de 2020 22:16, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 não entendi

 Em seg., 16 de mar. de 2020 às 22:01, Pedro José 
 escreveu:

> Para um dado n é o módulo do valor da expressão.
>
> Em seg, 16 de mar de 2020 21:49, Pedro José 
> escreveu:
>
>> Boa noite!
>> O módulo dessa expressão tende a oo. Não existe máximo.
>> Saudações,
>> PJMS
>>
>> Em seg, 16 de mar de 2020 20:36, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 +
>>> 18n^4)?
>>>
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



 --
 Israel Meireles Chrisostomo

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Sim é isso q eu quis dizer

Em ter, 17 de mar de 2020 11:12, Carlos Gustavo Tamm de Araujo Moreira <
g...@impa.br> escreveu:

> Acho que a pergunta deve ser qual é o maior inteiro positivo que divide
> essa expressão para todo valor de n ao mesmo tempo.
>
> On Tue, Mar 17, 2020 at 6:58 AM Pedro José  wrote:
>
>> Bom dia!
>> Se você considerar a expressão n(427-90n-70n^2+45n^3+18n^4)
>> D=|n(427-90n-70n^2+45n^3+18n^4)|
>> Por exemplo, n=1
>> D=330.
>> Agora se liberar n para variar D tende a oo.
>>
>> Se n for raiz da expressão, também tende a oi, pois qualquer inteiro
>> divide 0.
>>
>>
>> Em seg, 16 de mar de 2020 22:16, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> não entendi
>>>
>>> Em seg., 16 de mar. de 2020 às 22:01, Pedro José 
>>> escreveu:
>>>
 Para um dado n é o módulo do valor da expressão.

 Em seg, 16 de mar de 2020 21:49, Pedro José 
 escreveu:

> Boa noite!
> O módulo dessa expressão tende a oo. Não existe máximo.
> Saudações,
> PJMS
>
> Em seg, 16 de mar de 2020 20:36, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 +
>> 18n^4)?
>>
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>>
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Carlos Gustavo Tamm de Araujo Moreira]

Acho que a pergunta deve ser qual é o maior inteiro positivo que divide
essa expressão para todo valor de n ao mesmo tempo.

On Tue, Mar 17, 2020 at 6:58 AM Pedro José  wrote:

> Bom dia!
> Se você considerar a expressão n(427-90n-70n^2+45n^3+18n^4)
> D=|n(427-90n-70n^2+45n^3+18n^4)|
> Por exemplo, n=1
> D=330.
> Agora se liberar n para variar D tende a oo.
>
> Se n for raiz da expressão, também tende a oi, pois qualquer inteiro
> divide 0.
>
>
> Em seg, 16 de mar de 2020 22:16, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> não entendi
>>
>> Em seg., 16 de mar. de 2020 às 22:01, Pedro José 
>> escreveu:
>>
>>> Para um dado n é o módulo do valor da expressão.
>>>
>>> Em seg, 16 de mar de 2020 21:49, Pedro José 
>>> escreveu:
>>>
 Boa noite!
 O módulo dessa expressão tende a oo. Não existe máximo.
 Saudações,
 PJMS

 Em seg, 16 de mar de 2020 20:36, Israel Meireles Chrisostomo <
 israelmchrisost...@gmail.com> escreveu:

> Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 +
> 18n^4)?
>
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.


>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Bom dia!
Se você considerar a expressão n(427-90n-70n^2+45n^3+18n^4)
D=|n(427-90n-70n^2+45n^3+18n^4)|
Por exemplo, n=1
D=330.
Agora se liberar n para variar D tende a oo.

Se n for raiz da expressão, também tende a oi, pois qualquer inteiro divide
0.


Em seg, 16 de mar de 2020 22:16, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> não entendi
>
> Em seg., 16 de mar. de 2020 às 22:01, Pedro José 
> escreveu:
>
>> Para um dado n é o módulo do valor da expressão.
>>
>> Em seg, 16 de mar de 2020 21:49, Pedro José 
>> escreveu:
>>
>>> Boa noite!
>>> O módulo dessa expressão tende a oo. Não existe máximo.
>>> Saudações,
>>> PJMS
>>>
>>> Em seg, 16 de mar de 2020 20:36, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 +
 18n^4)?

 --
 Israel Meireles Chrisostomo

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

não entendi

Em seg., 16 de mar. de 2020 às 22:01, Pedro José 
escreveu:

> Para um dado n é o módulo do valor da expressão.
>
> Em seg, 16 de mar de 2020 21:49, Pedro José 
> escreveu:
>
>> Boa noite!
>> O módulo dessa expressão tende a oo. Não existe máximo.
>> Saudações,
>> PJMS
>>
>> Em seg, 16 de mar de 2020 20:36, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 +
>>> 18n^4)?
>>>
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa noite!
O módulo dessa expressão tende a oo. Não existe máximo.
Saudações,
PJMS

Em seg, 16 de mar de 2020 20:36, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 + 18n^4)?
>
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Para um dado n é o módulo do valor da expressão.

Em seg, 16 de mar de 2020 21:49, Pedro José  escreveu:

> Boa noite!
> O módulo dessa expressão tende a oo. Não existe máximo.
> Saudações,
> PJMS
>
> Em seg, 16 de mar de 2020 20:36, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 + 18n^4)?
>>
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Qual é o maior inteiro que divide  n (427 - 90n - 70n^2 + 45n^3 + 18n^4)?

-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Dado n natural verifique se a expressão
 (n − 2)² (n − 1)²n² (n + 1)² (4n²− 4n − 9)/8640 é um número inteiro

-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

muito obrigado

Em seg., 16 de mar. de 2020 às 13:29, Pedro José 
escreveu:

> Boa tarde!
>
> Difícil generalizar. Mas consegui dois valores que não zeram a expressão
> (soluções triviais), a duras penas, n=32 e n=43.
> Vou continuar pensando no assunto.
>
> Saudações,
> PJMS
>
>
> Em dom., 15 de mar. de 2020 às 18:48, Pedro José 
> escreveu:
>
>> Boa tarde!
>> Faltou um contraexemplo.
>> n=5
>> 3^2*4^2*5^2*6^2*71 não é múltiplo de 11 nem de 37.
>>
>> Saudações,
>> PJMS
>>
>> Em sáb, 14 de mar de 2020 19:47, Pedro José 
>> escreveu:
>>
>>> Boa noite!
>>> Creio que a pergunta correta seria, para que valores de n natural...
>>> 8140=2^2*5*11*37. Então a solução só se dará para um subconjunto dos
>>> naturais diferente de|N.
>>>
>>> Saudações,
>>> PJMS
>>>
>>>
>>> Em sex, 13 de mar de 2020 20:05, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
   Dado n natural verifique se a expressão
  (n − 2)² (n − 1)²n² (n + 1)² (4n²− 4n − 9)/8140 é um número inteiro

 --
 Israel Meireles Chrisostomo

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!

Difícil generalizar. Mas consegui dois valores que não zeram a expressão
(soluções triviais), a duras penas, n=32 e n=43.
Vou continuar pensando no assunto.

Saudações,
PJMS


Em dom., 15 de mar. de 2020 às 18:48, Pedro José 
escreveu:

> Boa tarde!
> Faltou um contraexemplo.
> n=5
> 3^2*4^2*5^2*6^2*71 não é múltiplo de 11 nem de 37.
>
> Saudações,
> PJMS
>
> Em sáb, 14 de mar de 2020 19:47, Pedro José 
> escreveu:
>
>> Boa noite!
>> Creio que a pergunta correta seria, para que valores de n natural...
>> 8140=2^2*5*11*37. Então a solução só se dará para um subconjunto dos
>> naturais diferente de|N.
>>
>> Saudações,
>> PJMS
>>
>>
>> Em sex, 13 de mar de 2020 20:05, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>>   Dado n natural verifique se a expressão
>>>  (n − 2)² (n − 1)²n² (n + 1)² (4n²− 4n − 9)/8140 é um número inteiro
>>>
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Faltou um contraexemplo.
n=5
3^2*4^2*5^2*6^2*71 não é múltiplo de 11 nem de 37.

Saudações,
PJMS

Em sáb, 14 de mar de 2020 19:47, Pedro José  escreveu:

> Boa noite!
> Creio que a pergunta correta seria, para que valores de n natural...
> 8140=2^2*5*11*37. Então a solução só se dará para um subconjunto dos
> naturais diferente de|N.
>
> Saudações,
> PJMS
>
>
> Em sex, 13 de mar de 2020 20:05, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>>   Dado n natural verifique se a expressão
>>  (n − 2)² (n − 1)²n² (n + 1)² (4n²− 4n − 9)/8140 é um número inteiro
>>
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa noite!
Creio que a pergunta correta seria, para que valores de n natural...
8140=2^2*5*11*37. Então a solução só se dará para um subconjunto dos
naturais diferente de|N.

Saudações,
PJMS


Em sex, 13 de mar de 2020 20:05, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

>   Dado n natural verifique se a expressão
>  (n − 2)² (n − 1)²n² (n + 1)² (4n²− 4n − 9)/8140 é um número inteiro
>
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

  Dado n natural verifique se a expressão
 (n − 2)² (n − 1)²n² (n + 1)² (4n²− 4n − 9)/8140 é um número inteiro

-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Claudio Buffara]

Em tese, nada impede...  a == b (mod m) <==> (a - b)/m é inteiro.
Por exemplo, em trigonometria trabalha-se muito com congruência mod 2*pi.
sen x = sen y  e  cos x = cos y <==> x == y (mod 2*pi)

On Fri, Dec 13, 2019 at 3:54 PM Esdras Muniz 
wrote:

> Existe congruência com números que não são inteiros?
>
> Em sex, 13 de dez de 2019 11:57, Prof. Douglas Oliveira <
> profdouglaso.del...@gmail.com> escreveu:
>
>> Olá caros amigos,
>> preciso de uma ajuda pra criar uma fórmula que seja congruente (módulo p)
>> ao somatório
>> S_a=sum{(a^k)/k}, com k de 1 a p-1, sendo p primo ímpar.
>>
>> Saudações
>> Douglas Oliveira
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Esdras Muniz]

Existe congruência com números que não são inteiros?

Em sex, 13 de dez de 2019 11:57, Prof. Douglas Oliveira <
profdouglaso.del...@gmail.com> escreveu:

> Olá caros amigos,
> preciso de uma ajuda pra criar uma fórmula que seja congruente (módulo p)
> ao somatório
> S_a=sum{(a^k)/k}, com k de 1 a p-1, sendo p primo ímpar.
>
> Saudações
> Douglas Oliveira
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Prof. Douglas Oliveira]

Olá caros amigos,
preciso de uma ajuda pra criar uma fórmula que seja congruente (módulo p)
ao somatório
S_a=sum{(a^k)/k}, com k de 1 a p-1, sendo p primo ímpar.

Saudações
Douglas Oliveira

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

seja uma função f(k/x_1), com k fixo e suponha que em valores inteiros essa
função seja irracional.Desejamos provar que para todo m que
f(k/x_1,k/x_2,...,k/x_m) é irracional.Então como hipótese de indução tome
que a função f(k/x_1,k/x_2,...,k/x_n) é irracional, observa-se que
k/x_n=k/(x_n+1)+k/((x_n+1)x_n) donde segue que fazendo  k/(x_n+1)=k/x_{n+1}
e desde que a função tenha a seguinte propriedade
f(\varphi_1,...,\varphi_n+\varphi_{n+1})=f(\varphi_1,..,\varphi_n,\varphi_{n+1}),
isto implica que
f(k/x_1,k/x_2,..,k/x_{n+1}+k/((x_n+1)x_n))=f(k/x_1,k/x_2,..,k/((x_n+1)x_n)),
k/x_{n+1}) também é irracional, e completa-se assim o passo indutivo.Eu bem
sei que o erro nessa prova está no passo indutivo.Será que essa
demonstração poderia ser adaptada corretamente para se provar algo
semelhante, ainda que seja mais fraca.Eu gostaria de "aproveitar" essa
prova de alguma forma.

-- 
Israel Meireles Chrisostomo


Livre
de vírus. www.avg.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] teoria dos números curiosidade

[Israel Meireles Chrisostomo]

muito obrigado!!!

Em qui, 4 de jul de 2019 às 09:13, Claudio Buffara <
claudio.buff...@gmail.com> escreveu:

> Considere o seguinte algoritmo:
> Dada a/b (acho q precisa ser entre 0 e 1), tome o menor n1 tal que 1/n1 <=
> a/b.
> Daí, tome o menor n2 tal que 1/n2 <= a/b - 1/n1.
> Daí tome o menor n3 tal que 1/n3 <= a/b - 1/n1 - 1/n2
> Etc...
> Esse processo eventualmente para (quando uma desigualdade <= se torna uma
> igualdade), com:
> a/b = 1/n1 + 1/n2 + 1/n3 + ... + 1/nk, para algum k.
> Resta saber se produz uma fração egípcia (ou seja, se n1 < n2 < n3 < ...)
> e se a fração egípcia resultante é a menor possível.
> Vou pensar melhor é tentar simular alguns casos numa planilha.
>
>
> Enviado do meu iPhone
>
> Em 3 de jul de 2019, à(s) 22:11, Bernardo Freitas Paulo da Costa <
> bernardo...@gmail.com> escreveu:
>
> > On Wed, Jul 3, 2019 at 8:34 PM Claudio Buffara
> >  wrote:
> >> Infinitas.
> >> Basta usar recursivamente a relação  1/n = 1/(n+1) + 1/(n(n+1)), que
> cada vez você obtém uma representação mais longa.
> >> 1/2 = 1/3 + 1/6 = 1/3 + 1/7 + 1/42 = 1/3 + 1/7 + 1/43 + 1/1806 = ...
> >
> > Mais difícil, talvez, seria calcular qual o menor número de termos
> > necessários para representar p/q :)  Será que isso é NP completo?
> >
> > Abraços,
> > --
> > Bernardo Freitas Paulo da Costa
> >
> > --
> > Esta mensagem foi verificada pelo sistema de antivírus e
> > acredita-se estar livre de perigo.
> >
> >
> > =
> > Instruções para entrar na lista, sair da lista e usar a lista em
> > http://www.mat.puc-rio.br/~obmlistas/obm-l.html
> > =
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
>  acredita-se estar livre de perigo.
>
>
> =
> Instru�ões para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~obmlistas/obm-l.html
> =
>


-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] teoria dos números curiosidade

[Claudio Buffara]

Considere o seguinte algoritmo:
Dada a/b (acho q precisa ser entre 0 e 1), tome o menor n1 tal que 1/n1 <= a/b.
Daí, tome o menor n2 tal que 1/n2 <= a/b - 1/n1.
Daí tome o menor n3 tal que 1/n3 <= a/b - 1/n1 - 1/n2
Etc...
Esse processo eventualmente para (quando uma desigualdade <= se torna uma 
igualdade), com:
a/b = 1/n1 + 1/n2 + 1/n3 + ... + 1/nk, para algum k.
Resta saber se produz uma fração egípcia (ou seja, se n1 < n2 < n3 < ...) e se 
a fração egípcia resultante é a menor possível.
Vou pensar melhor é tentar simular alguns casos numa planilha.


Enviado do meu iPhone

Em 3 de jul de 2019, à(s) 22:11, Bernardo Freitas Paulo da Costa 
 escreveu:

> On Wed, Jul 3, 2019 at 8:34 PM Claudio Buffara
>  wrote:
>> Infinitas.
>> Basta usar recursivamente a relação  1/n = 1/(n+1) + 1/(n(n+1)), que cada 
>> vez você obtém uma representação mais longa.
>> 1/2 = 1/3 + 1/6 = 1/3 + 1/7 + 1/42 = 1/3 + 1/7 + 1/43 + 1/1806 = ...
> 
> Mais difícil, talvez, seria calcular qual o menor número de termos
> necessários para representar p/q :)  Será que isso é NP completo?
> 
> Abraços,
> --
> Bernardo Freitas Paulo da Costa
> 
> -- 
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
> 
> 
> =
> Instruções para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~obmlistas/obm-l.html
> =

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] teoria dos números curiosidade

[Bernardo Freitas Paulo da Costa]

On Wed, Jul 3, 2019 at 8:34 PM Claudio Buffara
 wrote:
> Infinitas.
> Basta usar recursivamente a relação  1/n = 1/(n+1) + 1/(n(n+1)), que cada vez 
> você obtém uma representação mais longa.
> 1/2 = 1/3 + 1/6 = 1/3 + 1/7 + 1/42 = 1/3 + 1/7 + 1/43 + 1/1806 = ...

Mais difícil, talvez, seria calcular qual o menor número de termos
necessários para representar p/q :)  Será que isso é NP completo?

Abraços,
--
Bernardo Freitas Paulo da Costa

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] teoria dos números curiosidade

[Claudio Buffara]

Infinitas.
Basta usar recursivamente a relação  1/n = 1/(n+1) + 1/(n(n+1)), que cada
vez você obtém uma representação mais longa.
1/2 = 1/3 + 1/6 = 1/3 + 1/7 + 1/42 = 1/3 + 1/7 + 1/43 + 1/1806 = ...

On Wed, Jul 3, 2019 at 7:16 PM Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> wrote:

> Eu estive pensando para comigo mesmo, e então me perguntei qual é o número
> mínimo de representações distintas que se pode fazer com uma fração em suas
> representações unitárias.Alguém consegue chegar a alguma resposta?
>
>
> 
>  Livre
> de vírus. www.avast.com
> .
> <#m_-8728523408577579589_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> Em qua, 3 de jul de 2019 às 16:36, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Muito obrigado pessoal!
>>
>>
>> 
>>  Livre
>> de vírus. www.avg.com
>> .
>>
>> <#m_-8728523408577579589_m_-7761868182500660031_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>>
>> Em qua, 3 de jul de 2019 às 16:06, Prof. Douglas Oliveira <
>> profdouglaso.del...@gmail.com> escreveu:
>>
>>> Lembro-me de uma resolucao feita por amigo aqui da lista, o Carlos
>>> Victor, na eureka número 2, no finalzinho, de uma olhada.
>>>
>>> Att
>>> Douglas Oliveira.
>>>
>>> Em qua, 3 de jul de 2019 15:08, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 Esses dias eu estava estudando sobre frações unitárias, e assisti a um
 vídeo do pessoal impa sobre o assunto e fiquei sinceramente maravilhado com
 a engenhosidade dos egípcios.Mas uma questão não saiu da minha cabeça: um
 número inteiro pode ser separado em frações unitárias?Quais são as
 propriedades necessárias que uma fração deve ter para ser decomposta em
 frações egípcias
 --
 Israel Meireles Chrisostomo


 
  Livre
 de vírus. www.avg.com
 .

 <#m_-8728523408577579589_m_-7761868182500660031_m_-6615042783469650117_m_8002768564935167525_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Israel Meireles Chrisostomo
>>
>
>
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] teoria dos números curiosidade

[Israel Meireles Chrisostomo]

Eu estive pensando para comigo mesmo, e então me perguntei qual é o número
mínimo de representações distintas que se pode fazer com uma fração em suas
representações unitárias.Alguém consegue chegar a alguma resposta?


Livre
de vírus. www.avast.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

Em qua, 3 de jul de 2019 às 16:36, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Muito obrigado pessoal!
>
>
> 
>  Livre
> de vírus. www.avg.com
> .
> <#m_-7761868182500660031_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> Em qua, 3 de jul de 2019 às 16:06, Prof. Douglas Oliveira <
> profdouglaso.del...@gmail.com> escreveu:
>
>> Lembro-me de uma resolucao feita por amigo aqui da lista, o Carlos
>> Victor, na eureka número 2, no finalzinho, de uma olhada.
>>
>> Att
>> Douglas Oliveira.
>>
>> Em qua, 3 de jul de 2019 15:08, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Esses dias eu estava estudando sobre frações unitárias, e assisti a um
>>> vídeo do pessoal impa sobre o assunto e fiquei sinceramente maravilhado com
>>> a engenhosidade dos egípcios.Mas uma questão não saiu da minha cabeça: um
>>> número inteiro pode ser separado em frações unitárias?Quais são as
>>> propriedades necessárias que uma fração deve ter para ser decomposta em
>>> frações egípcias
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>>
>>> 
>>>  Livre
>>> de vírus. www.avg.com
>>> .
>>>
>>> <#m_-7761868182500660031_m_-6615042783469650117_m_8002768564935167525_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>
> --
> Israel Meireles Chrisostomo
>


-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] teoria dos números curiosidade

[Israel Meireles Chrisostomo]

Muito obrigado pessoal!


Livre
de vírus. www.avg.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

Em qua, 3 de jul de 2019 às 16:06, Prof. Douglas Oliveira <
profdouglaso.del...@gmail.com> escreveu:

> Lembro-me de uma resolucao feita por amigo aqui da lista, o Carlos Victor,
> na eureka número 2, no finalzinho, de uma olhada.
>
> Att
> Douglas Oliveira.
>
> Em qua, 3 de jul de 2019 15:08, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Esses dias eu estava estudando sobre frações unitárias, e assisti a um
>> vídeo do pessoal impa sobre o assunto e fiquei sinceramente maravilhado com
>> a engenhosidade dos egípcios.Mas uma questão não saiu da minha cabeça: um
>> número inteiro pode ser separado em frações unitárias?Quais são as
>> propriedades necessárias que uma fração deve ter para ser decomposta em
>> frações egípcias
>> --
>> Israel Meireles Chrisostomo
>>
>>
>> 
>>  Livre
>> de vírus. www.avg.com
>> .
>>
>> <#m_-6615042783469650117_m_8002768564935167525_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] teoria dos números curiosidade

[Claudio Buffara]

Qualquer fração pode ser decomposta em frações egípcias (com numerador = 1).
a/b = 1/b + 1/b + ... + 1/b (a parcelas).
Como as parcelas devem ser distintas, use a identidade 1/n = 1/(n+1) +
1(n(n+1)), com n natural.

Por exemplo:
3/7
= 1/7 + 1/7 + 1/7
= 1/7 + 1/8 + 1/56 + 1/8 + 1/56
= 1/7 + 1/8 + 1/56 + 1/9 + 1/72 + 1/57 + 1/3192

[]s,
Claudio.


On Wed, Jul 3, 2019 at 3:08 PM Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> wrote:

> Esses dias eu estava estudando sobre frações unitárias, e assisti a um
> vídeo do pessoal impa sobre o assunto e fiquei sinceramente maravilhado com
> a engenhosidade dos egípcios.Mas uma questão não saiu da minha cabeça: um
> número inteiro pode ser separado em frações unitárias?Quais são as
> propriedades necessárias que uma fração deve ter para ser decomposta em
> frações egípcias
> --
> Israel Meireles Chrisostomo
>
>
> 
>  Livre
> de vírus. www.avg.com
> .
> <#m_3122403889933163443_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] teoria dos números curiosidade

[Prof. Douglas Oliveira]

Lembro-me de uma resolucao feita por amigo aqui da lista, o Carlos Victor,
na eureka número 2, no finalzinho, de uma olhada.

Att
Douglas Oliveira.

Em qua, 3 de jul de 2019 15:08, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Esses dias eu estava estudando sobre frações unitárias, e assisti a um
> vídeo do pessoal impa sobre o assunto e fiquei sinceramente maravilhado com
> a engenhosidade dos egípcios.Mas uma questão não saiu da minha cabeça: um
> número inteiro pode ser separado em frações unitárias?Quais são as
> propriedades necessárias que uma fração deve ter para ser decomposta em
> frações egípcias
> --
> Israel Meireles Chrisostomo
>
>
> 
>  Livre
> de vírus. www.avg.com
> .
> <#m_8002768564935167525_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] teoria dos números curiosidade

[Israel Meireles Chrisostomo]

Esses dias eu estava estudando sobre frações unitárias, e assisti a um
vídeo do pessoal impa sobre o assunto e fiquei sinceramente maravilhado com
a engenhosidade dos egípcios.Mas uma questão não saiu da minha cabeça: um
número inteiro pode ser separado em frações unitárias?Quais são as
propriedades necessárias que uma fração deve ter para ser decomposta em
frações egípcias
-- 
Israel Meireles Chrisostomo


Livre
de vírus. www.avg.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] teoria dos números

[Israel Meireles Chrisostomo]

Toda fração racional inexata(cuja divisão não seja exata) mair do que 1
pode ser escrito na forma  k+1/q  onde k e q são naturais?

-- 
Israel Meireles Chrisostomo


Livre
de vírus. www.avast.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Mostre que o seno de um arco na forma 1/p, com p inteiro, resulta em um
irracional.O que vcs acham desse problema, fácil, muito fácil, difícil ou
mediano?
-- 
Israel Meireles Chrisostomo


Livre
de vírus. www.avg.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números revisado

[Israel Meireles Chrisostomo]

Muito obrigado Pedro José


Livre
de vírus. www.avg.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

Em sex, 21 de jun de 2019 às 11:45, Pedro José 
escreveu:

> Bom dia!
>
> Se x for fixo, falha. Seja x=1. 1 é racional e não há como atender 1 = 1 +
> 1/y com y inteiro.
>
> E mesmo com x,y inteiros livres.
>
> Seja r, u,m racional então r = p/q com p e q inteiros e (p,q)=1 ==> p/q =
> x + 1/y para algum par (x,y) inteiros
> Então py = qxy + q
> py - qxy = q.   Como (xy,x) = y, temos y | q.
>
> se q é primo y =1 ou y = q
>
> Para y=1 temos: p/q = x + 1, só atende para p/q inteiro.
>
> Para y = q temos que (p-1)/q = x, só atenderá para alguns casos.
>
> Acho que a proposição não está correta, mas aguarde a posição de alguém
> com mais bagagem.
>
> Na verdade, ainda há y = -1 ou y = -q
>
> Saudações,
>
> PJMS.
>
>
> Em qui, 20 de jun de 2019 às 16:13, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Desconsidere meu outro email. e considere esse aqui
>>
>> 13:43 (há 2 horas)
>> Dado um x fixo, mostrar que todo racional pode ser escrito na forma x+1/y,
>>  com x e y inteiros.Com x sendo o produto de  um número fixo c, por
>> qualquer outro inteiro.
>>
>> --
>> Israel Meireles Chrisostomo
>>
>>
>> 
>>  Livre
>> de vírus. www.avg.com
>> .
>>
>> <#m_9206374589607315600_m_-7461724785975542434_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números revisado

[Pedro José]

Bom dia!

Se x for fixo, falha. Seja x=1. 1 é racional e não há como atender 1 = 1 +
1/y com y inteiro.

E mesmo com x,y inteiros livres.

Seja r, u,m racional então r = p/q com p e q inteiros e (p,q)=1 ==> p/q = x
+ 1/y para algum par (x,y) inteiros
Então py = qxy + q
py - qxy = q.   Como (xy,x) = y, temos y | q.

se q é primo y =1 ou y = q

Para y=1 temos: p/q = x + 1, só atende para p/q inteiro.

Para y = q temos que (p-1)/q = x, só atenderá para alguns casos.

Acho que a proposição não está correta, mas aguarde a posição de alguém com
mais bagagem.

Na verdade, ainda há y = -1 ou y = -q

Saudações,

PJMS.


Em qui, 20 de jun de 2019 às 16:13, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Desconsidere meu outro email. e considere esse aqui
>
> 13:43 (há 2 horas)
> Dado um x fixo, mostrar que todo racional pode ser escrito na forma x+1/y,
>  com x e y inteiros.Com x sendo o produto de  um número fixo c, por
> qualquer outro inteiro.
>
> --
> Israel Meireles Chrisostomo
>
>
> 
>  Livre
> de vírus. www.avg.com
> .
> <#m_-7461724785975542434_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números revisado

[Israel Meireles Chrisostomo]

Desconsidere meu outro email. e considere esse aqui

13:43 (há 2 horas)
Dado um x fixo, mostrar que todo racional pode ser escrito na forma x+1/y,
 com x e y inteiros.Com x sendo o produto de  um número fixo c, por
qualquer outro inteiro.

-- 
Israel Meireles Chrisostomo


Livre
de vírus. www.avg.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Dado um x fixo, mostrar que todo racional pode ser escrito na forma
x+1/y.Alguma ajuda?
-- 
Israel Meireles Chrisostomo


Livre
de vírus. www.avg.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] teoria dos números

[Pedro José]

Boa noite!

Ops! "O que antecede antes[sic].." Dessa feita me superei...

Saudações,
PJMS

Em ter, 28 de mai de 2019 às 18:36, Pedro José 
escreveu:

> Boa tarde!
>
>
> 2003 = 3 mod1000 e ordem1000 3  =  100
> então supondo que a falta de parêntesis está correta.
> Resta calcular 2002^2001 mod100
> 2002= 2 mod100; então temos que procurar o período e o que acontece antes
> do período.
> há 21 ocorrências e depois aparece um período de 20 termos.
> 2^2001=2^(21+r) onde (2001-21) = 20q + r com 0<= r< 20 o que dá r=0
> Então temos que 2^2021= 2^21 = 52 mod100
>
> 2003^2002^2001 = 2^(52) = 241 mod 1000, logo a soma dos algarismos dá 7.
>
> Dá até para fazer no braço, mas são 100 cálculos para achar ordem1000 3 e
> mais 22 cálculos para achar a parte não periódica e a periódica de 2^2001
> mod 100.
> Confesso que fiz uma tabela do Excel.
>
> Saudações,
> PJMS.
>
>
>
>
>
>
> Em ter, 28 de mai de 2019 às 11:47, Bernardo Freitas Paulo da Costa <
> bernardo...@gmail.com> escreveu:
>
>> On Sun, May 26, 2019 at 8:50 AM Daniel Quevedo 
>> wrote:
>> >
>> > Calcule a soma dos 3 últimos algarismos do número 2003^2002^2001.
>>
>> Oi Daniel.  Você já ouviu falar de congruências?  E do "pequeno
>> teorema de Fermat"?
>>
>> Abraços,
>> --
>> Bernardo Freitas Paulo da Costa
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>>  acredita-se estar livre de perigo.
>>
>>
>> =
>> Instruções para entrar na lista, sair da lista e usar a lista em
>> http://www.mat.puc-rio.br/~obmlistas/obm-l.html
>> =
>>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] teoria dos números

[Pedro José]

Boa tarde!


2003 = 3 mod1000 e ordem1000 3  =  100
então supondo que a falta de parêntesis está correta.
Resta calcular 2002^2001 mod100
2002= 2 mod100; então temos que procurar o período e o que acontece antes
do período.
há 21 ocorrências e depois aparece um período de 20 termos.
2^2001=2^(21+r) onde (2001-21) = 20q + r com 0<= r< 20 o que dá r=0
Então temos que 2^2021= 2^21 = 52 mod100

2003^2002^2001 = 2^(52) = 241 mod 1000, logo a soma dos algarismos dá 7.

Dá até para fazer no braço, mas são 100 cálculos para achar ordem1000 3 e
mais 22 cálculos para achar a parte não periódica e a periódica de 2^2001
mod 100.
Confesso que fiz uma tabela do Excel.

Saudações,
PJMS.






Em ter, 28 de mai de 2019 às 11:47, Bernardo Freitas Paulo da Costa <
bernardo...@gmail.com> escreveu:

> On Sun, May 26, 2019 at 8:50 AM Daniel Quevedo 
> wrote:
> >
> > Calcule a soma dos 3 últimos algarismos do número 2003^2002^2001.
>
> Oi Daniel.  Você já ouviu falar de congruências?  E do "pequeno
> teorema de Fermat"?
>
> Abraços,
> --
> Bernardo Freitas Paulo da Costa
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
>  acredita-se estar livre de perigo.
>
>
> =
> Instruções para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~obmlistas/obm-l.html
> =
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] teoria dos números

[Bernardo Freitas Paulo da Costa]

On Sun, May 26, 2019 at 8:50 AM Daniel Quevedo  wrote:
>
> Calcule a soma dos 3 últimos algarismos do número 2003^2002^2001.

Oi Daniel.  Você já ouviu falar de congruências?  E do "pequeno
teorema de Fermat"?

Abraços,
-- 
Bernardo Freitas Paulo da Costa

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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

[obm-l] teoria dos números

[Daniel Quevedo]

Calcule a soma dos 3 últimos algarismos do número 2003^2002^2001.

R: 7

Daniel

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Bom dia!
Obrigado!
Encontrei uma demonstração, mas não tive bagavem para enrender. Vou ler as
publicações.

Saudações,
PJMS

Em sáb, 4 de mai de 2019 11:57, Anderson Torres <
torres.anderson...@gmail.com escreveu:

> Em seg, 29 de abr de 2019 às 16:38, Pedro José 
> escreveu:
> >
> > Boa tarde!
> > Pelo menos consegui descobrir que se um inteiro z >= não puder ser
> escrito da forma z=4^k (8m+7), com m,k >=0 e m,k inteiros então ele pode
> ser representado por uma soma de três parcelas, todas quadrados perfeitos.
> > Já a demonstração, não consegui compreender.
> >
>
> Essa é a parte chata. Mas tem paper pra caramba!
>
> https://en.wikipedia.org/wiki/Legendre%27s_three-square_theorem
> Legendre's three-square theorem - Wikipedia
> https://www.sciencedirect.com/science/article/pii/0022314X74900249
> A new proof of the three squares theorem - ScienceDirect
> https://brilliant.org/wiki/fermats-sum-of-two-squares-theorem/
> Sum of Squares Theorems | Brilliant Math & Science Wiki
>
> https://mathoverflow.net/questions/223939/proving-legendres-sum-of-3-squares-theorem-via-geometry-of-numbers
> nt.number theory - Proving Legendre's Sum of 3 Squares Theorem via
> Geometry of Numbers - MathOverflow
> https://core.ac.uk/download/pdf/82306476.pdf
> PII: 0022-314X(74)90024-9 - 82306476.pdf
>
> https://www.ams.org/journals/proc/1957-008-02/S0002-9939-1957-0085275-8/S0002-9939-1957-0085275-8.pdf
> S0002-9939-1957-0085275-8.pdf
> http://pollack.uga.edu/finding3squares-6.pdf
> finding3squares-6.pdf
> https://arxiv.org/pdf/0812.0540.pdf
> () - 0812.0540.pdf
>
>
>
> > Saudações,
> > PJMS
> >
> > Em seg, 29 de abr de 2019 às 14:14,  escreveu:
> >>
> >>
> >> Em 29 de abr de 2019 11:37, Pedro José  escreveu:
> >>
> >> Bom dia!
> >>
> >> Gostei desse problema. Fiz um montão de exemplos com números que não
> podem ser escritos como 4^n(8n+7) e todos puderam ser escritos como a soma
> de três quadrados.
> >> Vale para todos? Se sim, alguém poderia indicar uma demonstração?
> >>
> >> Saudações,
> >> PJMS
> >>
> >> Em dom, 7 de abr de 2019 às 16:16, Pedro José 
> escreveu:
> >>
> >> Boa tarde!
> >> Fiquei na dúvida se algoritmo valia para demonstração. Mas salvo engano
> para demonstração de quais números aceitam raízes primitivas usa-se
> algoritmo.
> >> Mas, agora com mais calma, poderia ter usado indução.
> >> 1) Foi provado que não vale para n=0.
> >> 2) Supondo que não vale para n, não valeria para n+1, por absurdo.
> Pois, se valesse, teria que valer para n.
> >> Creio que teria ficado mais elegante.
> >>
> >> Saudações,
> >> PJMS
> >>
> >>
> >> Em dom, 7 de abr de 2019 às 07:41, matematica10complicada <
> profdouglaso.del...@gmail.com> escreveu:
> >>
> >> Obrigado irmão. Está correto sim.
> >> Douglas O.
> >>
> >> Em qui, 4 de abr de 2019 às 19:44, Pedro José 
> escreveu:
> >>
> >> Boa noite!
> >> Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois,
> três, quatro e deram fora, já iria questionar.
> >> Mas vamos lá:
> >> 0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8;
> 5^2 = 1 mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;
> >> Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência
> mod8.
> >>
> >> Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como
> somar 3 parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então
> n>0
> >>
> >> Para n>0
> >> x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b,
> c pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e
> dois ímpares.
> >> mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4.
> e se y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par
> e como a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra
> a, b, c pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u
> com s,t,u naturais.
> >> x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2
> e vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos
> como s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até
> que tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0
> não atende.
> >>
> >> Espero estar correto.
> >>
> >> Saudações.
> >>
> >>
> >>
> >>
> >>
> >> Em qua, 3 de abr de 2019 às 15:36, matematica10complicada <
> profdouglaso.del...@gmail.com> escreveu:
> >>
> >> Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode
> ser escrito como soma de 3 tres quadrados
> >>
> >> Douglas Oliveira
> >>
> >> --
> >> Esta mensagem foi verificada pelo sistema de antivírus e
> >> acredita-se estar livre de perigo.
> >>
> >>
> >> --
> >> Esta mensagem foi verificada pelo sistema de antivírus e
> >> acredita-se estar livre de perigo.
> >>
> >>
> >> --
> >> Esta mensagem foi verificada pelo sistema de antivírus e
> >> acredita-se estar livre de perigo.
> >>
> >>
> >> --
> >> Esta mensagem foi verificada pelo sistema de antiv�rus e
> >> acredita-se estar livre de perigo.
> >>
> >>
> >>
> >> 

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Anderson Torres]

Em seg, 29 de abr de 2019 às 16:38, Pedro José  escreveu:
>
> Boa tarde!
> Pelo menos consegui descobrir que se um inteiro z >= não puder ser escrito da 
> forma z=4^k (8m+7), com m,k >=0 e m,k inteiros então ele pode ser 
> representado por uma soma de três parcelas, todas quadrados perfeitos.
> Já a demonstração, não consegui compreender.
>

Essa é a parte chata. Mas tem paper pra caramba!

https://en.wikipedia.org/wiki/Legendre%27s_three-square_theorem
Legendre's three-square theorem - Wikipedia
https://www.sciencedirect.com/science/article/pii/0022314X74900249
A new proof of the three squares theorem - ScienceDirect
https://brilliant.org/wiki/fermats-sum-of-two-squares-theorem/
Sum of Squares Theorems | Brilliant Math & Science Wiki
https://mathoverflow.net/questions/223939/proving-legendres-sum-of-3-squares-theorem-via-geometry-of-numbers
nt.number theory - Proving Legendre's Sum of 3 Squares Theorem via
Geometry of Numbers - MathOverflow
https://core.ac.uk/download/pdf/82306476.pdf
PII: 0022-314X(74)90024-9 - 82306476.pdf
https://www.ams.org/journals/proc/1957-008-02/S0002-9939-1957-0085275-8/S0002-9939-1957-0085275-8.pdf
S0002-9939-1957-0085275-8.pdf
http://pollack.uga.edu/finding3squares-6.pdf
finding3squares-6.pdf
https://arxiv.org/pdf/0812.0540.pdf
() - 0812.0540.pdf



> Saudações,
> PJMS
>
> Em seg, 29 de abr de 2019 às 14:14,  escreveu:
>>
>>
>> Em 29 de abr de 2019 11:37, Pedro José  escreveu:
>>
>> Bom dia!
>>
>> Gostei desse problema. Fiz um montão de exemplos com números que não podem 
>> ser escritos como 4^n(8n+7) e todos puderam ser escritos como a soma de três 
>> quadrados.
>> Vale para todos? Se sim, alguém poderia indicar uma demonstração?
>>
>> Saudações,
>> PJMS
>>
>> Em dom, 7 de abr de 2019 às 16:16, Pedro José  escreveu:
>>
>> Boa tarde!
>> Fiquei na dúvida se algoritmo valia para demonstração. Mas salvo engano para 
>> demonstração de quais números aceitam raízes primitivas usa-se algoritmo.
>> Mas, agora com mais calma, poderia ter usado indução.
>> 1) Foi provado que não vale para n=0.
>> 2) Supondo que não vale para n, não valeria para n+1, por absurdo. Pois, se 
>> valesse, teria que valer para n.
>> Creio que teria ficado mais elegante.
>>
>> Saudações,
>> PJMS
>>
>>
>> Em dom, 7 de abr de 2019 às 07:41, matematica10complicada 
>>  escreveu:
>>
>> Obrigado irmão. Está correto sim.
>> Douglas O.
>>
>> Em qui, 4 de abr de 2019 às 19:44, Pedro José  escreveu:
>>
>> Boa noite!
>> Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois, três, 
>> quatro e deram fora, já iria questionar.
>> Mas vamos lá:
>> 0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8; 5^2 = 1 
>> mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;
>> Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência  mod8.
>>
>> Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como somar 3 
>> parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então n>0
>>
>> Para n>0
>> x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b, c 
>> pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e dois 
>> ímpares.
>> mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4. e se 
>> y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par e como 
>> a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra a, b, c 
>> pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u com s,t,u 
>> naturais.
>> x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2 e 
>> vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos como 
>> s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até que 
>> tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0 não 
>> atende.
>>
>> Espero estar correto.
>>
>> Saudações.
>>
>>
>>
>>
>>
>> Em qua, 3 de abr de 2019 às 15:36, matematica10complicada 
>>  escreveu:
>>
>> Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode ser 
>> escrito como soma de 3 tres quadrados
>>
>> Douglas Oliveira
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antiv�rus e
>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


=
Instru��es para entrar na lista, sair da lista e usar a lista em

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Pelo menos consegui descobrir que se um inteiro z >= não puder ser escrito
da forma z=4^k (8m+7), com m,k >=0 e m,k inteiros então ele pode ser
representado por uma soma de três parcelas, todas quadrados perfeitos.
Já a demonstração, não consegui compreender.

Saudações,
PJMS

Em seg, 29 de abr de 2019 às 14:14,  escreveu:

>
> Em 29 de abr de 2019 11:37, Pedro José  escreveu:
>
> Bom dia!
>
> Gostei desse problema. Fiz um montão de exemplos com números que não podem
> ser escritos como 4^n(8n+7) e todos puderam ser escritos como a soma de
> três quadrados.
> Vale para todos? Se sim, alguém poderia indicar uma demonstração?
>
> Saudações,
> PJMS
>
> Em dom, 7 de abr de 2019 às 16:16, Pedro José 
> escreveu:
>
> Boa tarde!
> Fiquei na dúvida se algoritmo valia para demonstração. Mas salvo engano
> para demonstração de quais números aceitam raízes primitivas usa-se
> algoritmo.
> Mas, agora com mais calma, poderia ter usado indução.
> 1) Foi provado que não vale para n=0.
> 2) Supondo que não vale para n, não valeria para n+1, por absurdo. Pois,
> se valesse, teria que valer para n.
> Creio que teria ficado mais elegante.
>
> Saudações,
> PJMS
>
>
> Em dom, 7 de abr de 2019 às 07:41, matematica10complicada <
> profdouglaso.del...@gmail.com> escreveu:
>
> Obrigado irmão. Está correto sim.
> Douglas O.
>
> Em qui, 4 de abr de 2019 às 19:44, Pedro José 
> escreveu:
>
> Boa noite!
> Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois,
> três, quatro e deram fora, já iria questionar.
> Mas vamos lá:
> 0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8; 5^2 =
> 1 mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;
> Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência
> mod8.
>
> Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como somar 3
> parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então n>0
>
> Para n>0
> x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b, c
> pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e
> dois ímpares.
> mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4. e
> se y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par e
> como a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra a,
> b, c pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u com
> s,t,u naturais.
> x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2 e
> vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos como
> s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até que
> tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0 não
> atende.
>
> Espero estar correto.
>
> Saudações.
>
>
>
>
>
> Em qua, 3 de abr de 2019 às 15:36, matematica10complicada <
> profdouglaso.del...@gmail.com> escreveu:
>
> Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode
> ser escrito como soma de 3 tres quadrados
>
> Douglas Oliveira
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antiv�rus e
> acredita-se estar livre de perigo.
>
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[prmanso]

Em 29 de abr de 2019 11:37, Pedro José  escreveu:Bom dia!Gostei desse problema. Fiz um montão de exemplos com números que não podem ser escritos como 4^n(8n+7) e todos puderam ser escritos como a soma de três quadrados.Vale para todos? Se sim, alguém poderia indicar uma demonstração?Saudações,PJMSEm dom, 7 de abr de 2019 às 16:16, Pedro José  escreveu:Boa tarde!Fiquei na dúvida se algoritmo valia para demonstração. Mas salvo engano para demonstração de quais números aceitam raízes primitivas usa-se algoritmo.Mas, agora com mais calma, poderia ter usado indução.1) Foi provado que não vale para n=0.2) Supondo que não vale para n, não valeria para n+1, por absurdo. Pois, se valesse, teria que valer para n.Creio que teria ficado mais elegante.Saudações,PJMSEm dom, 7 de abr de 2019 às 07:41, matematica10complicada  escreveu:Obrigado irmão. Está correto sim. Douglas O.Em qui, 4 de abr de 2019 às 19:44, Pedro José  escreveu:Boa noite!Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois, três, quatro e deram fora, já iria questionar.Mas vamos lá:0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8; 5^2 = 1 mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência  mod8.Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como somar 3 parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então n>0Para n>0x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b, c pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e dois ímpares.mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4. e se y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par e como a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra a, b, c pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u com s,t,u naturais.x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2 e vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos como s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até que tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0 não atende.Espero estar correto.Saudações. Em qua, 3 de abr de 2019 às 15:36, matematica10complicada  escreveu:Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode ser escrito como soma de 3 tres quadradosDouglas Oliveira
--
Esta mensagem foi verificada pelo sistema de antivírus e 
 acredita-se estar livre de perigo.


--
Esta mensagem foi verificada pelo sistema de antivírus e 
 acredita-se estar livre de perigo.


--
Esta mensagem foi verificada pelo sistema de antivírus e 
 acredita-se estar livre de perigo.



--
Esta mensagem foi verificada pelo sistema de antiv�rus e 
 acredita-se estar livre de perigo.

--
Esta mensagem foi verificada pelo sistema de antivírus e 
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Bom dia!

Gostei desse problema. Fiz um montão de exemplos com números que não podem
ser escritos como 4^n(8n+7) e todos puderam ser escritos como a soma de
três quadrados.
Vale para todos? Se sim, alguém poderia indicar uma demonstração?

Saudações,
PJMS

Em dom, 7 de abr de 2019 às 16:16, Pedro José 
escreveu:

> Boa tarde!
> Fiquei na dúvida se algoritmo valia para demonstração. Mas salvo engano
> para demonstração de quais números aceitam raízes primitivas usa-se
> algoritmo.
> Mas, agora com mais calma, poderia ter usado indução.
> 1) Foi provado que não vale para n=0.
> 2) Supondo que não vale para n, não valeria para n+1, por absurdo. Pois,
> se valesse, teria que valer para n.
> Creio que teria ficado mais elegante.
>
> Saudações,
> PJMS
>
>
> Em dom, 7 de abr de 2019 às 07:41, matematica10complicada <
> profdouglaso.del...@gmail.com> escreveu:
>
>> Obrigado irmão. Está correto sim.
>> Douglas O.
>>
>> Em qui, 4 de abr de 2019 às 19:44, Pedro José 
>> escreveu:
>>
>>> Boa noite!
>>> Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois,
>>> três, quatro e deram fora, já iria questionar.
>>> Mas vamos lá:
>>> 0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8; 5^2
>>> = 1 mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;
>>> Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência
>>> mod8.
>>>
>>> Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como somar
>>> 3 parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então n>0
>>>
>>> Para n>0
>>> x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b,
>>> c pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e
>>> dois ímpares.
>>> mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4. e
>>> se y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par e
>>> como a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra a,
>>> b, c pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u com
>>> s,t,u naturais.
>>> x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2
>>> e vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos
>>> como s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até
>>> que tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0
>>> não atende.
>>>
>>> Espero estar correto.
>>>
>>> Saudações.
>>>
>>>
>>>
>>>
>>>
>>> Em qua, 3 de abr de 2019 às 15:36, matematica10complicada <
>>> profdouglaso.del...@gmail.com> escreveu:
>>>
 Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode
 ser escrito como soma de 3 tres quadrados

 Douglas Oliveira

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Fiquei na dúvida se algoritmo valia para demonstração. Mas salvo engano
para demonstração de quais números aceitam raízes primitivas usa-se
algoritmo.
Mas, agora com mais calma, poderia ter usado indução.
1) Foi provado que não vale para n=0.
2) Supondo que não vale para n, não valeria para n+1, por absurdo. Pois, se
valesse, teria que valer para n.
Creio que teria ficado mais elegante.

Saudações,
PJMS


Em dom, 7 de abr de 2019 às 07:41, matematica10complicada <
profdouglaso.del...@gmail.com> escreveu:

> Obrigado irmão. Está correto sim.
> Douglas O.
>
> Em qui, 4 de abr de 2019 às 19:44, Pedro José 
> escreveu:
>
>> Boa noite!
>> Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois,
>> três, quatro e deram fora, já iria questionar.
>> Mas vamos lá:
>> 0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8; 5^2
>> = 1 mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;
>> Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência
>> mod8.
>>
>> Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como somar
>> 3 parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então n>0
>>
>> Para n>0
>> x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b, c
>> pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e
>> dois ímpares.
>> mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4. e
>> se y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par e
>> como a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra a,
>> b, c pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u com
>> s,t,u naturais.
>> x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2 e
>> vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos como
>> s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até que
>> tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0 não
>> atende.
>>
>> Espero estar correto.
>>
>> Saudações.
>>
>>
>>
>>
>>
>> Em qua, 3 de abr de 2019 às 15:36, matematica10complicada <
>> profdouglaso.del...@gmail.com> escreveu:
>>
>>> Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode
>>> ser escrito como soma de 3 tres quadrados
>>>
>>> Douglas Oliveira
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[matematica10complicada]

Obrigado irmão. Está correto sim.
Douglas O.

Em qui, 4 de abr de 2019 às 19:44, Pedro José 
escreveu:

> Boa noite!
> Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois,
> três, quatro e deram fora, já iria questionar.
> Mas vamos lá:
> 0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8; 5^2 =
> 1 mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;
> Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência
> mod8.
>
> Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como somar 3
> parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então n>0
>
> Para n>0
> x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b, c
> pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e
> dois ímpares.
> mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4. e
> se y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par e
> como a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra a,
> b, c pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u com
> s,t,u naturais.
> x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2 e
> vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos como
> s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até que
> tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0 não
> atende.
>
> Espero estar correto.
>
> Saudações.
>
>
>
>
>
> Em qua, 3 de abr de 2019 às 15:36, matematica10complicada <
> profdouglaso.del...@gmail.com> escreveu:
>
>> Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode
>> ser escrito como soma de 3 tres quadrados
>>
>> Douglas Oliveira
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Claudio Buffara]

Ou seja, existem m e n inteiros positivos tais que:
8a + 1 = mb
e
8b + 1 = na

De cara, dá pra ver que a e b precisam ser ímpares (caso contrário, não
dividiriam 8b+1 e 8a+1, respectivamente).

Além disso...
b = (8a+1)/m ==>
8(8a+1)/m + 1 = na ==>
64a + 8 + m = mna ==>
a = (m+8)/(mn-64) (A)

Analogamente, b = (n+8)/(mn-64)   (B)

Isso significa que mn > 64  e que  mn-64 divide m+8 e n+8 ==>
mn - 64 <= m + 8   e   mn - 64 <= n + 8 ==>
64 < mn <= 72 + m   e   64 < mn <= 72 + n ==>
64/m < n < 72/m + 1   e   64/n < m <= 72/n + 1

Agora, m e n não podem ser ambos <= 8, caso contrário seria mn <= 64.

Suponhamos que m > 8. Então  n < 72/m + 1 < 72/8 + 1 = 9 + 1 = 10.
Mas m não pode ser muito grande, pois mn - 64 <= n + 8 < 18 ==>
mn < 82 ==>
m < 82/n <= 82

Ou seja...
Se m > 8, então m < 82 (ou seja, m >= 9 ==> m <= 81).
Neste caso, 64/81 <= 64/m < n < 72/m + 1 <= 72/9 + 1 = 8 + 1 = 9.
Ou seja 1 <= n <= 8.
E sempre mn > 64, ou seja mn >= 65.

Resumindo: se m >= 9  então  m <= 81  e  65/m <= n <= 8.

Analogamente, se n >= 9  então  n <= 81  e  65/n <= m <= 8.

Agora, é só plugar estes valores de m e n nas fórmulas (A) e (B) acima (de
preferência, com um computador) e ver quais resultam em a e b inteiros.

Com uma planilha Excel, eu achei as seguintes 11 soluções:
 ab
 11
 13
 19
 31
 3   25
 91
 9   73
13  21
21  13
25   3
73   9

[]s,
Claudio.


On Thu, Apr 4, 2019 at 8:30 PM Daniel Quevedo  wrote:

> O número de pares ordenados  de inteiros positivos (*a, b*) tais que 8*b*
> + 1 é múltiplo de *a* e 8*a* + 1 é múltiplo de *b* é igual a:
>
> R: 11
>
> --
> Daniel
>
>
> 
>  Livre
> de vírus. www.avast.com
> .
>
> <#m_137718337439888202_m_2719591652256721004_m_5267545371236784792_m_8044354502181798805_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Daniel Quevedo]

O número de pares ordenados  de inteiros positivos (*a, b*) tais que 8*b* +
1 é múltiplo de *a* e 8*a* + 1 é múltiplo de *b* é igual a:

R: 11

-- 
Daniel


Livre
de vírus. www.avast.com
.
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa noite!
Estou mal, mesmo. Ao invés de nenhum li qualquer. Tinha simulado dois,
três, quatro e deram fora, já iria questionar.
Mas vamos lá:
0^2 = 0 mod8; 1^2 = 1 mod8; 2^2 = 4 mod8 3^2= 1 mod8; 4^2 = 0 mod 8; 5^2 =
1 mod 8 6^2 = 4 mod 8 e 7^2 = 1 mod8;
Portanto o quadrado de um número, ou dá 0 ou da 1 ou 4 na equivalência
mod8.

Caso n=0 ==> x=8k+7= 7 mod8. Como mod conserva a soma, não há como somar 3
parcelas do conjunto, mesmo com repetição, {0,1,4} e obter 7. Então n>0

Para n>0
x = 4^n*(8K+7) ==> x pertence a 2 |N seja x = a^2 + b^2 + c^2 com a, b, c
pertencentes a |N - {0}. teríamos que ter a,b,c pares ou um deles par e
dois ímpares.
mas 4 | x ==> x= 0 mod4. Mas se w pertence a 2|N + 1 ==> w^2 = 1 mod4. e se
y pertence a 2 |N ==> y^2 = 0 mod 4. Como temos dois ímpares e um par e
como a soma se conserva temos que x = 2 mod4, absurdo. Portanto só sobra a,
b, c pares Se a,b,c pares podemos escrevê-los como a= 2s; b=2t e c=2u com
s,t,u naturais.
x = a^2+b^2+c^2= 4(s^2+t^2+u^2) ==> x1 = 4^(n-1) * (8m+7) = s^2+t^2+u^2 e
vale o mesmo raciocínio de que s,t,u são pares e poderão ser escritos como
s=2f; t=2g; u= 2h, com f, g, h naturais e seguir nesse algoritmo até que
tenhamos xj=4^0(8m+7)= p^2+q^2+r^2, absurdo. Pois, já vimos que n= 0 não
atende.

Espero estar correto.

Saudações.





Em qua, 3 de abr de 2019 às 15:36, matematica10complicada <
profdouglaso.del...@gmail.com> escreveu:

> Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode
> ser escrito como soma de 3 tres quadrados
>
> Douglas Oliveira
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[matematica10complicada]

Mostre que nenhum número da forma (4^n)(8k+7) , com n e k naturais pode ser
escrito como soma de 3 tres quadrados

Douglas Oliveira

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Rodrigo Ângelo]

Não consegui resolver inteiro, mas uma possível conjectura é que seria 9n

Como 9+...+9 = 9n, então o número 999...999 é divisível por 9, logo o
produto (888...888)×(999...999) também tem 9 como fator.

Então temos que a soma dos algarismos do produto em questão também é
divisível por 9.

Fazendo para n 1, 2 e 3, temos:

8 x 9 = 72  -- 7 + 2 = 9 = 9x1
88 x 99 = 8712 --- 8+7+1+2 = 18= 9x2
888 x 999 = 887112 - 8+8+7+1+1+2 = 27 = 9x3

Dá pra provar esse critério de divisibilidade por 9... Vi num vídeo do
Numberphile esses dias.

Boa sorte com o problema.

On Tue, Feb 5, 2019 at 5:33 PM matematica10complicada <
profdouglaso.del...@gmail.com> wrote:

> Amigos preciso de uma ajuda.
>
> PROBLEMA:
>
> Determinar a soma dos algarismos do produto (888...888)×(999...999), onde
> cada parcela possui "n" algarismos.
>
> Douglas Oliveira.
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro Cardoso]

Ah, a soma fica sendo 8n-1+1n+1, ou seja, 9n

Em ter, 5 de fev de 2019 15:33, matematica10complicada <
profdouglaso.del...@gmail.com> escreveu:

> Amigos preciso de uma ajuda.
>
> PROBLEMA:
>
> Determinar a soma dos algarismos do produto (888...888)×(999...999), onde
> cada parcela possui "n" algarismos.
>
> Douglas Oliveira.
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro Cardoso]

Basta substituir (999...999) por (10^n-1)
O produto será 888...888000...000-888...888, ou seja, 888...887111...112

Em ter, 5 de fev de 2019 15:33, matematica10complicada <
profdouglaso.del...@gmail.com> escreveu:

> Amigos preciso de uma ajuda.
>
> PROBLEMA:
>
> Determinar a soma dos algarismos do produto (888...888)×(999...999), onde
> cada parcela possui "n" algarismos.
>
> Douglas Oliveira.
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[matematica10complicada]

Amigos preciso de uma ajuda.

PROBLEMA:

Determinar a soma dos algarismos do produto (888...888)×(999...999), onde
cada parcela possui "n" algarismos.

Douglas Oliveira.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[matematica10complicada]

Então...

Usando MA>=MG temos

(x+y)(y+z)=xz+xy+y^2+yz>=2sqrt( xz(xy+y^2+yz))=2sqrt(xyz(x+y+x))=2

Resposta :2

Um abraço
Douglas Oliveira.

Em ter, 11 de dez de 2018 11:53, Daniel Quevedo  Se x, y e z são números reais positivos tais que xyz(x+y+z) = 1, o menor
> valor da expressão (x+y)(y+z) é:
> A) 1/2
> B) 2/3
> C) 4/3
> D) 3/2
> E) 2
>
> R: e
> --
> Fiscal: Daniel Quevedo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Daniel Quevedo]

Se x, y e z são números reais positivos tais que xyz(x+y+z) = 1, o menor
valor da expressão (x+y)(y+z) é:
A) 1/2
B) 2/3
C) 4/3
D) 3/2
E) 2

R: e
-- 
Fiscal: Daniel Quevedo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Perdoem-me pela insistência.
Mas outra forma de pensar.
Se k>0, e se a>b e se pensarmos em duas soluções positivas logicamente
estamos assumindo que a seja máximo. Pois, se existe a1 solução e a1>=a
então a1.a=b^2-k>b^2, absurdo.
Portanto quando dizemos que a>b, estamos escolhendo conscientemente a
solução máxima. Então não é ocaso de pegar uma solução hipotética, supor
que é solução mínima  e provar que existe uma menor, gerando absurdo.
Saudações,
PJMS

Em Qua, 28 de nov de 2018 15:42, Pedro José  escreveu:

> Boa tarde!
> Preciso de ajuda.
> Após pensar mais um pouco é bem razoável que dada uma solução hipotética e
> se consiga provar que há uma menor, que seja um absurdo. Absurdo no
> sentido, que não há solução. Gostaria até que me sugerissem material
> didático sobre o tópico.
> Não obstante existe solução para a1 e
> x inteiro.
> Então há um paradoxo. Que por um lado se a é solução para a 0 Mas quando se achou a foi feita uma restrição, SPG, que a >=b e após
> estudar o caso a=b, ficamos com a restrição a>b, que é usada para provar
> que a1b. Só que:
> a1=(b^2-k)/ab.
> Então esse é o ponto a1 mesmo sendo maior que zero,  não é solução pois
> a1 solução. A prova para a  Por favor, alguém poderia opinar.
> Saudações,
> PJMS
>
> Em Seg, 26 de nov de 2018 01:59, Pedro José 
> escreveu:
>
>> Bom dia!
>> Refiro-me a solução recomendada por Israel.
>> A princípio eu encrenquei com a solução. Pois, sem nenhuma caracterização
>> definiu que a era mínimo. Então achei que a solução para a > capenga. Mas como não houve nenhuma crítica, julguei ser cisma minha. Mas
>> depois me veio o pensamento, usando a técnica usada na resolução sempre que
>> houver duas soluções(digo duas mesmo, distintas) haveria um absurdo. Pois
>> ele supôs que a era mínimo e provou que a1, solução, a1> como ele não usou nenhum argumento para supor que a era mínimo, apenas
>> arbitrou, poderia ter arbitrado que a era máximo e se a1>a, também seria
>> absurdo.
>> Aí, encrenquei mesmo com a soluçao e achei essa família de soluções para
>> a> K=x^2; b=x^3 e a =x^5-x, que para x>1, xinteiro, atende a> k=(a^2+b^2)/(ab+1); continua dando um quadrado perfeito, mas se não fosse?
>> A linha de argumento da solução,  desprezou essa possibilidade.
>> Preciso ajuda, estou correto ou errado?
>> Grato,
>> PJMS
>>
>> Em Seg, 27 de ago de 2018 11:01, Pedro José 
>> escreveu:
>>
>>> Bom dia!
>>>
>>> Linda solução pela simplicidade de ferramentas utilizadas.
>>> Todavia, creio eu que não foi de bom alvitre utilizar a imagem de um
>>> matemático famoso e divulgar que ele só ganhou um ponto na questão.
>>> A mensagem, não explícita, mas é uma mensagem:"Ele não resolveu mas eu
>>> sim."
>>> As condições de resolução são totalmente diversas. Inclusive, devido às
>>> questões anteriores ele já pode ter chegado a essa com o ponterinho do
>>> relógio pendurado.
>>> A solução do problema, mesmo tardia, sem a carga emocional que uma IMO
>>> deve impor aos seus participantes, ainda é carregada de méritos, e na minha
>>> visão, essa em particular, com uma beleza maior por ser sutil e singela.
>>> Mas usar a imagem da "fera", não obstante não ser dono da verdade, foi
>>> bola fora.
>>>
>>> Saudações,
>>> PJMS
>>>
>>>
>>> Em qui, 23 de ago de 2018 às 15:50, Israel Meireles Chrisostomo <
>>> israelmchrisost...@gmail.com> escreveu:
>>>
 Assista a esse vídeo:
 https://www.youtube.com/watch?v=Cy3Vyl-jxpk

 Em qui, 23 de ago de 2018 às 14:09, Daniel Quevedo 
 escreveu:

> Blz não sabia q era de lá, vou consultar. Obrigado!
>
> Em qui, 23 de ago de 2018 às 10:30, Claudio Buffara <
> claudio.buff...@gmail.com> escreveu:
>
>> Esse é clássico. Foi o problema 6 da IMO de 1988 e é usualmente
>> considerado o problema mais difícil proposto numa IMO, pelo menos até
>> aquela data.
>>
>> Um bom ponto de partida pode ser este:
>> https://en.wikipedia.org/wiki/Vieta_jumping
>> Ou então: https://mks.mff.cuni.cz/kalva/imo.html
>>
>> []s,
>> Claudio.
>>
>>
>>
>> 2018-08-23 9:57 GMT-03:00 Daniel Quevedo :
>>
>>> Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um
>>> divisor de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos 
>>> afirmar
>>> que é um quadrado perfeito:
>>> A) se, e só se, a e b também o forem.
>>> B) se, e só se, a e b tiverem acreana paridade
>>> C) se, e só se, a e b tiverem paridades distintas
>>> D) somente para um número finito de valores de a e b
>>> E) sempre
>>>
>>> R: e
>>>
>> --
>>> Fiscal: Daniel Quevedo
>>>
>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
> --
> Fiscal: Daniel Quevedo
>
> --
> Esta mensagem foi verificada pelo 

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Preciso de ajuda.
Após pensar mais um pouco é bem razoável que dada uma solução hipotética e
se consiga provar que há uma menor, que seja um absurdo. Absurdo no
sentido, que não há solução. Gostaria até que me sugerissem material
didático sobre o tópico.
Não obstante existe solução para a1 e
x inteiro.
Então há um paradoxo. Que por um lado se a é solução para a=b e após
estudar o caso a=b, ficamos com a restrição a>b, que é usada para provar
que a1b. Só que:
a1=(b^2-k)/ab.
Então esse é o ponto a1 mesmo sendo maior que zero,  não é solução pois
a1 escreveu:

> Bom dia!
> Refiro-me a solução recomendada por Israel.
> A princípio eu encrenquei com a solução. Pois, sem nenhuma caracterização
> definiu que a era mínimo. Então achei que a solução para a  capenga. Mas como não houve nenhuma crítica, julguei ser cisma minha. Mas
> depois me veio o pensamento, usando a técnica usada na resolução sempre que
> houver duas soluções(digo duas mesmo, distintas) haveria um absurdo. Pois
> ele supôs que a era mínimo e provou que a1, solução, a1 como ele não usou nenhum argumento para supor que a era mínimo, apenas
> arbitrou, poderia ter arbitrado que a era máximo e se a1>a, também seria
> absurdo.
> Aí, encrenquei mesmo com a soluçao e achei essa família de soluções para
> a K=x^2; b=x^3 e a =x^5-x, que para x>1, xinteiro, atende a k=(a^2+b^2)/(ab+1); continua dando um quadrado perfeito, mas se não fosse?
> A linha de argumento da solução,  desprezou essa possibilidade.
> Preciso ajuda, estou correto ou errado?
> Grato,
> PJMS
>
> Em Seg, 27 de ago de 2018 11:01, Pedro José 
> escreveu:
>
>> Bom dia!
>>
>> Linda solução pela simplicidade de ferramentas utilizadas.
>> Todavia, creio eu que não foi de bom alvitre utilizar a imagem de um
>> matemático famoso e divulgar que ele só ganhou um ponto na questão.
>> A mensagem, não explícita, mas é uma mensagem:"Ele não resolveu mas eu
>> sim."
>> As condições de resolução são totalmente diversas. Inclusive, devido às
>> questões anteriores ele já pode ter chegado a essa com o ponterinho do
>> relógio pendurado.
>> A solução do problema, mesmo tardia, sem a carga emocional que uma IMO
>> deve impor aos seus participantes, ainda é carregada de méritos, e na minha
>> visão, essa em particular, com uma beleza maior por ser sutil e singela.
>> Mas usar a imagem da "fera", não obstante não ser dono da verdade, foi
>> bola fora.
>>
>> Saudações,
>> PJMS
>>
>>
>> Em qui, 23 de ago de 2018 às 15:50, Israel Meireles Chrisostomo <
>> israelmchrisost...@gmail.com> escreveu:
>>
>>> Assista a esse vídeo:
>>> https://www.youtube.com/watch?v=Cy3Vyl-jxpk
>>>
>>> Em qui, 23 de ago de 2018 às 14:09, Daniel Quevedo 
>>> escreveu:
>>>
 Blz não sabia q era de lá, vou consultar. Obrigado!

 Em qui, 23 de ago de 2018 às 10:30, Claudio Buffara <
 claudio.buff...@gmail.com> escreveu:

> Esse é clássico. Foi o problema 6 da IMO de 1988 e é usualmente
> considerado o problema mais difícil proposto numa IMO, pelo menos até
> aquela data.
>
> Um bom ponto de partida pode ser este:
> https://en.wikipedia.org/wiki/Vieta_jumping
> Ou então: https://mks.mff.cuni.cz/kalva/imo.html
>
> []s,
> Claudio.
>
>
>
> 2018-08-23 9:57 GMT-03:00 Daniel Quevedo :
>
>> Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um
>> divisor de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos 
>> afirmar
>> que é um quadrado perfeito:
>> A) se, e só se, a e b também o forem.
>> B) se, e só se, a e b tiverem acreana paridade
>> C) se, e só se, a e b tiverem paridades distintas
>> D) somente para um número finito de valores de a e b
>> E) sempre
>>
>> R: e
>>
> --
>> Fiscal: Daniel Quevedo
>>
>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

 --
 Fiscal: Daniel Quevedo

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>>
>>> --
>>> Israel Meireles Chrisostomo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Bom dia!
Refiro-me a solução recomendada por Israel.
A princípio eu encrenquei com a solução. Pois, sem nenhuma caracterização
definiu que a era mínimo. Então achei que a solução para a a, também seria
absurdo.
Aí, encrenquei mesmo com a soluçao e achei essa família de soluções para
a1, xinteiro, atende a escreveu:

> Bom dia!
>
> Linda solução pela simplicidade de ferramentas utilizadas.
> Todavia, creio eu que não foi de bom alvitre utilizar a imagem de um
> matemático famoso e divulgar que ele só ganhou um ponto na questão.
> A mensagem, não explícita, mas é uma mensagem:"Ele não resolveu mas eu
> sim."
> As condições de resolução são totalmente diversas. Inclusive, devido às
> questões anteriores ele já pode ter chegado a essa com o ponterinho do
> relógio pendurado.
> A solução do problema, mesmo tardia, sem a carga emocional que uma IMO
> deve impor aos seus participantes, ainda é carregada de méritos, e na minha
> visão, essa em particular, com uma beleza maior por ser sutil e singela.
> Mas usar a imagem da "fera", não obstante não ser dono da verdade, foi
> bola fora.
>
> Saudações,
> PJMS
>
>
> Em qui, 23 de ago de 2018 às 15:50, Israel Meireles Chrisostomo <
> israelmchrisost...@gmail.com> escreveu:
>
>> Assista a esse vídeo:
>> https://www.youtube.com/watch?v=Cy3Vyl-jxpk
>>
>> Em qui, 23 de ago de 2018 às 14:09, Daniel Quevedo 
>> escreveu:
>>
>>> Blz não sabia q era de lá, vou consultar. Obrigado!
>>>
>>> Em qui, 23 de ago de 2018 às 10:30, Claudio Buffara <
>>> claudio.buff...@gmail.com> escreveu:
>>>
 Esse é clássico. Foi o problema 6 da IMO de 1988 e é usualmente
 considerado o problema mais difícil proposto numa IMO, pelo menos até
 aquela data.

 Um bom ponto de partida pode ser este:
 https://en.wikipedia.org/wiki/Vieta_jumping
 Ou então: https://mks.mff.cuni.cz/kalva/imo.html

 []s,
 Claudio.



 2018-08-23 9:57 GMT-03:00 Daniel Quevedo :

> Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um
> divisor de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos afirmar
> que é um quadrado perfeito:
> A) se, e só se, a e b também o forem.
> B) se, e só se, a e b tiverem acreana paridade
> C) se, e só se, a e b tiverem paridades distintas
> D) somente para um número finito de valores de a e b
> E) sempre
>
> R: e
>
 --
> Fiscal: Daniel Quevedo
>

> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>> --
>>> Fiscal: Daniel Quevedo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Israel Meireles Chrisostomo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Bom dia!

Linda solução pela simplicidade de ferramentas utilizadas.
Todavia, creio eu que não foi de bom alvitre utilizar a imagem de um
matemático famoso e divulgar que ele só ganhou um ponto na questão.
A mensagem, não explícita, mas é uma mensagem:"Ele não resolveu mas eu sim."
As condições de resolução são totalmente diversas. Inclusive, devido às
questões anteriores ele já pode ter chegado a essa com o ponterinho do
relógio pendurado.
A solução do problema, mesmo tardia, sem a carga emocional que uma IMO deve
impor aos seus participantes, ainda é carregada de méritos, e na minha
visão, essa em particular, com uma beleza maior por ser sutil e singela.
Mas usar a imagem da "fera", não obstante não ser dono da verdade, foi bola
fora.

Saudações,
PJMS


Em qui, 23 de ago de 2018 às 15:50, Israel Meireles Chrisostomo <
israelmchrisost...@gmail.com> escreveu:

> Assista a esse vídeo:
> https://www.youtube.com/watch?v=Cy3Vyl-jxpk
>
> Em qui, 23 de ago de 2018 às 14:09, Daniel Quevedo 
> escreveu:
>
>> Blz não sabia q era de lá, vou consultar. Obrigado!
>>
>> Em qui, 23 de ago de 2018 às 10:30, Claudio Buffara <
>> claudio.buff...@gmail.com> escreveu:
>>
>>> Esse é clássico. Foi o problema 6 da IMO de 1988 e é usualmente
>>> considerado o problema mais difícil proposto numa IMO, pelo menos até
>>> aquela data.
>>>
>>> Um bom ponto de partida pode ser este:
>>> https://en.wikipedia.org/wiki/Vieta_jumping
>>> Ou então: https://mks.mff.cuni.cz/kalva/imo.html
>>>
>>> []s,
>>> Claudio.
>>>
>>>
>>>
>>> 2018-08-23 9:57 GMT-03:00 Daniel Quevedo :
>>>
 Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um
 divisor de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos afirmar
 que é um quadrado perfeito:
 A) se, e só se, a e b também o forem.
 B) se, e só se, a e b tiverem acreana paridade
 C) se, e só se, a e b tiverem paridades distintas
 D) somente para um número finito de valores de a e b
 E) sempre

 R: e

>>> --
 Fiscal: Daniel Quevedo

>>>
 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>> --
>> Fiscal: Daniel Quevedo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>
> --
> Israel Meireles Chrisostomo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Israel Meireles Chrisostomo]

Assista a esse vídeo:
https://www.youtube.com/watch?v=Cy3Vyl-jxpk

Em qui, 23 de ago de 2018 às 14:09, Daniel Quevedo 
escreveu:

> Blz não sabia q era de lá, vou consultar. Obrigado!
>
> Em qui, 23 de ago de 2018 às 10:30, Claudio Buffara <
> claudio.buff...@gmail.com> escreveu:
>
>> Esse é clássico. Foi o problema 6 da IMO de 1988 e é usualmente
>> considerado o problema mais difícil proposto numa IMO, pelo menos até
>> aquela data.
>>
>> Um bom ponto de partida pode ser este:
>> https://en.wikipedia.org/wiki/Vieta_jumping
>> Ou então: https://mks.mff.cuni.cz/kalva/imo.html
>>
>> []s,
>> Claudio.
>>
>>
>>
>> 2018-08-23 9:57 GMT-03:00 Daniel Quevedo :
>>
>>> Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um
>>> divisor de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos afirmar
>>> que é um quadrado perfeito:
>>> A) se, e só se, a e b também o forem.
>>> B) se, e só se, a e b tiverem acreana paridade
>>> C) se, e só se, a e b tiverem paridades distintas
>>> D) somente para um número finito de valores de a e b
>>> E) sempre
>>>
>>> R: e
>>>
>> --
>>> Fiscal: Daniel Quevedo
>>>
>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
> --
> Fiscal: Daniel Quevedo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.



-- 
Israel Meireles Chrisostomo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Daniel Quevedo]

Blz não sabia q era de lá, vou consultar. Obrigado!

Em qui, 23 de ago de 2018 às 10:30, Claudio Buffara <
claudio.buff...@gmail.com> escreveu:

> Esse é clássico. Foi o problema 6 da IMO de 1988 e é usualmente
> considerado o problema mais difícil proposto numa IMO, pelo menos até
> aquela data.
>
> Um bom ponto de partida pode ser este:
> https://en.wikipedia.org/wiki/Vieta_jumping
> Ou então: https://mks.mff.cuni.cz/kalva/imo.html
>
> []s,
> Claudio.
>
>
>
> 2018-08-23 9:57 GMT-03:00 Daniel Quevedo :
>
>> Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um
>> divisor de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos afirmar
>> que é um quadrado perfeito:
>> A) se, e só se, a e b também o forem.
>> B) se, e só se, a e b tiverem acreana paridade
>> C) se, e só se, a e b tiverem paridades distintas
>> D) somente para um número finito de valores de a e b
>> E) sempre
>>
>> R: e
>>
> --
>> Fiscal: Daniel Quevedo
>>
>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Fiscal: Daniel Quevedo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Claudio Buffara]

Esse é clássico. Foi o problema 6 da IMO de 1988 e é usualmente considerado
o problema mais difícil proposto numa IMO, pelo menos até aquela data.

Um bom ponto de partida pode ser este:
https://en.wikipedia.org/wiki/Vieta_jumping
Ou então: https://mks.mff.cuni.cz/kalva/imo.html

[]s,
Claudio.



2018-08-23 9:57 GMT-03:00 Daniel Quevedo :

> Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um divisor
> de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos afirmar que é um
> quadrado perfeito:
> A) se, e só se, a e b também o forem.
> B) se, e só se, a e b tiverem acreana paridade
> C) se, e só se, a e b tiverem paridades distintas
> D) somente para um número finito de valores de a e b
> E) sempre
>
> R: e
> --
> Fiscal: Daniel Quevedo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Teoria dos números

[Daniel Quevedo]

Sejam a e b inteiros estritamente positivos tais que (ab + 1) é um divisor
de (a^2 + b^2). Sobre o número  (a^2 +b^2)/(ab +1) podemos afirmar que é um
quadrado perfeito:
A) se, e só se, a e b também o forem.
B) se, e só se, a e b tiverem acreana paridade
C) se, e só se, a e b tiverem paridades distintas
D) somente para um número finito de valores de a e b
E) sempre

R: e
-- 
Fiscal: Daniel Quevedo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Claudio Buffara]

Eu acho que o enunciado pede a soma dos elementos simplesmente porque é uma
questão de múltipla escolha.
Já vi isso antes.

E perguntei a proveniência porque me parece muito difícil para ser uma
questão de vestibular. Talvez do ITA ou da OBM (1a fase)...

***

Sobre as soluções, acho interessante que certos "preconceitos" nos levam a
caminhos totalmente distintos.

Por exemplo, ao ver aquela expressão horrorosa, com X, X5 e X5^5, a
primeira coisa que me ocorreu foi resolver numericamente, com uma planilha.
Daí me pareceu natural procurar uma cota inferior e uma cota superior pra
X, já que a planilha é finita...
Foi aí que me ocorreu a ideia de mudar a notação pra N e R, que facilitou
muito a obtenção das cotas.
Tendo obtido a solução numericamente e redigido a mensagem, dei o caso por
encerrado.
Simplesmente não me ocorreu a ideia de manipular algebricamente o N e o R
pra chegar numa expressão mais reveladora, que foi o caminho que o Bernardo
seguiu, e conseguiu resolver o problema sem planilha.

Enfim, acho interessantíssimo este tema de como surgem as idéias na
matemática, mesmo num problema elementar (mas não trivial) como esse.

***

Com relação à observação do Pedro José, me parece que existe uma diferença
entre o "conjunto solução" e "as raízes" de uma equação.

Como, em se tratando de conjuntos, {1} = {1,1,1}, eu diria que, em relação
à equação x^3 - 3x^2 + 3x - 1 = 0, por exemplo,
o conjunto solução é {1} (igual a {1,1,1}) e a soma das raízes é 3.
Ou seja, esta equação tem 3 raízes (iguais) e um conjunto solução unitário.

Sobre retas coincidentes serem paralelas, acho que esta convenção permite
que paralelismo seja uma relação de equivalência.
E ser expulso por causa disso...ou o professor era um idiota ou, num ímpeto
de adolescente, você usou um linguajar forte demais pra defender sua
posição...

Tem uma passagem no Curso de Análise, do Elon, da qual eu nunca me esqueci:
"No caso de conjuntos, escrever A = B significa que A e B são o mesmo
conjunto, ou seja, que A e B possuem os mesmos elementos." Em outras
palavras, A e B são nomes diferentes para a mesma entidade.


[]s,
Claudio.


2018-06-02 18:08 GMT-03:00 Pedro José :

> Boa noite!
> O que também achei legal nesse problema foi o fato do questionamento ser
> quanto a soma dos elementos do conjunto  solução. Embora bem sutil,
> filosoficamente falando é forte. Pois, ela descarta a interpretação de n
> raízes iguais ao invés de uma raiz de multiplicidade n.
> Todas demonstrações de que algo era único, suponha-se que havia dois e se
> provava, por absudo, que eram iguais. Então se são iguais é único.
> Fui expulso de sala de aula, uma feita, no científico, pois, argumentei
> com o professor que não estava correto o conceito de posição relativa de
> duas retas, chamando-as de duas retas paralelas coincidentes. É uma reta só
> e ela é paralela a ela mesma. Nesse exercício a raiz um tem multiplicidade
> 2, e 0 tem multiplicidade 6, mas não interfere na soma. As demais raízes
> têm multiplicidade 1.
> Para os que seguem que a soma das raízes de um polinômios é
> -An-1/An ao invés de o somatório do produto das raízes pela sua
> multiplicidade, daria 1301, o que, considero incorreto.
> Desculpem-me pela lamúria, mas até hoje não me conformo com n entidades
> iguais com n >1. Talvez a expulsão tenha gerado um trauma.
> Saudações,
> PJMS
>
>
> Em Sáb, 2 de jun de 2018 17:29, Claudio Buffara 
> escreveu:
>
>> De onde é este problema?
>> 1a fase de alguma olimpíada?
>>
>> Abs
>>
>> Enviado do meu iPhone
>>
>> Em 2 de jun de 2018, à(s) 16:15, Daniel Quevedo 
>> escreveu:
>>
>> Muito obrigado a todos. De fato com a mudança de variável fica td mais
>> fácil. Não tinha visto isso.Â
>> Obrigado
>>
>> Em sáb, 2 de jun de 2018 às 16:02, Pedro José 
>> escreveu:
>>
>>> Boa tarde.
>>> A limitação para X5 obviamente não inclui 5, foi lambança.Â
>>> Saudações,Â
>>> PJMSÂ
>>>
>>> Em Sáb, 2 de jun de 2018 15:22, Claudio Buffara <
>>> claudio.buff...@gmail.com> escreveu:
>>>
 Para |X| suficientemente grande, X^6 domina a soma dos outros termos.

 Mudando a notação, eu pus N = X e R = X5.

 Então: R^5*N^5 + R*N = N^6 + R^6.

 Caso 1: N >= 0:
 R <= 4, de modo que o lado esquerdo <= N*(1024*N^4 + 4).
 Já o lado direito >= N^6.
 N*(1024*N^4 + 4) < N^6Â
 ==> 1024*N^4 + 4 < N^5Â Â
 ==> 1024 + 4/N^4 < N
 ==> N >= 1025.
 Então, para a equação ser satisfeita, é necessário que N <= 1024.

 Caso 2: N < 0.
 Então o lado esquerdo <= 0 (com igualdade sss R = 0) e o lado direito
 é positivo.
 Logo, a equação não tem soluções com N < 0.

 Com uma planilha, eu achei apenas 5 soluções:
 0, 1, 32, 243, 1024.

 A soma destes três números é 1300.

 []s,
 Claudio.


 2018-06-02 14:10 GMT-03:00 Daniel Quevedo :

> Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos
> os elementos do conjunto solução da 

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa noite!
O que também achei legal nesse problema foi o fato do questionamento ser
quanto a soma dos elementos do conjunto  solução. Embora bem sutil,
filosoficamente falando é forte. Pois, ela descarta a interpretação de n
raízes iguais ao invés de uma raiz de multiplicidade n.
Todas demonstrações de que algo era único, suponha-se que havia dois e se
provava, por absudo, que eram iguais. Então se são iguais é único.
Fui expulso de sala de aula, uma feita, no científico, pois, argumentei com
o professor que não estava correto o conceito de posição relativa de duas
retas, chamando-as de duas retas paralelas coincidentes. É uma reta só e
ela é paralela a ela mesma. Nesse exercício a raiz um tem multiplicidade 2,
e 0 tem multiplicidade 6, mas não interfere na soma. As demais raízes têm
multiplicidade 1.
Para os que seguem que a soma das raízes de um polinômios é
-An-1/An ao invés de o somatório do produto das raízes pela sua
multiplicidade, daria 1301, o que, considero incorreto.
Desculpem-me pela lamúria, mas até hoje não me conformo com n entidades
iguais com n >1. Talvez a expulsão tenha gerado um trauma.
Saudações,
PJMS

Em Sáb, 2 de jun de 2018 17:29, Claudio Buffara 
escreveu:

> De onde é este problema?
> 1a fase de alguma olimpíada?
>
> Abs
>
> Enviado do meu iPhone
>
> Em 2 de jun de 2018, à(s) 16:15, Daniel Quevedo 
> escreveu:
>
> Muito obrigado a todos. De fato com a mudança de variável fica td mais
> fácil. Não tinha visto isso.Â
> Obrigado
>
> Em sáb, 2 de jun de 2018 às 16:02, Pedro José 
> escreveu:
>
>> Boa tarde.
>> A limitação para X5 obviamente não inclui 5, foi lambança.Â
>> Saudações,Â
>> PJMSÂ
>>
>> Em Sáb, 2 de jun de 2018 15:22, Claudio Buffara <
>> claudio.buff...@gmail.com> escreveu:
>>
>>> Para |X| suficientemente grande, X^6 domina a soma dos outros termos.
>>>
>>> Mudando a notação, eu pus N = X e R = X5.
>>>
>>> Então: R^5*N^5 + R*N = N^6 + R^6.
>>>
>>> Caso 1: N >= 0:
>>> R <= 4, de modo que o lado esquerdo <= N*(1024*N^4 + 4).
>>> Já o lado direito >= N^6.
>>> N*(1024*N^4 + 4) < N^6Â
>>> ==> 1024*N^4 + 4 < N^5Â Â
>>> ==> 1024 + 4/N^4 < N
>>> ==> N >= 1025.
>>> Então, para a equação ser satisfeita, é necessário que N <= 1024.
>>>
>>> Caso 2: N < 0.
>>> Então o lado esquerdo <= 0 (com igualdade sss R = 0) e o lado direito
>>> é positivo.
>>> Logo, a equação não tem soluções com N < 0.
>>>
>>> Com uma planilha, eu achei apenas 5 soluções:
>>> 0, 1, 32, 243, 1024.
>>>
>>> A soma destes três números é 1300.
>>>
>>> []s,
>>> Claudio.
>>>
>>>
>>> 2018-06-02 14:10 GMT-03:00 Daniel Quevedo :
>>>
 Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos
 os elementos do conjunto solução da equação: [(X5)^5].X^5 - X^6 -
 (X5)^6 +X.(X5) = 0
 É igual a:
 A) 1100
 B) 1300
 C) 1500
 D) 1700
 E) 1900

 R: b
 --
 Fiscal: Daniel Quevedo

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
> --
> Fiscal: Daniel Quevedo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Daniel Quevedo]

De um livro q tenho. Não duvidaria q fosse d alguma olimpíada pq há muitas
questões q são tiradas daí. O nome é Problemas Selecionados de Matemática,
do Gandhi

Em sáb, 2 de jun de 2018 às 17:29, Claudio Buffara <
claudio.buff...@gmail.com> escreveu:

> De onde é este problema?
> 1a fase de alguma olimpíada?
>
> Abs
>
> Enviado do meu iPhone
>
> Em 2 de jun de 2018, à(s) 16:15, Daniel Quevedo 
> escreveu:
>
> Muito obrigado a todos. De fato com a mudança de variável fica td mais
> fácil. Não tinha visto isso.Â
> Obrigado
>
> Em sáb, 2 de jun de 2018 às 16:02, Pedro José 
> escreveu:
>
>> Boa tarde.
>> A limitação para X5 obviamente não inclui 5, foi lambança.Â
>> Saudações,Â
>> PJMSÂ
>>
>> Em Sáb, 2 de jun de 2018 15:22, Claudio Buffara <
>> claudio.buff...@gmail.com> escreveu:
>>
>>> Para |X| suficientemente grande, X^6 domina a soma dos outros termos.
>>>
>>> Mudando a notação, eu pus N = X e R = X5.
>>>
>>> Então: R^5*N^5 + R*N = N^6 + R^6.
>>>
>>> Caso 1: N >= 0:
>>> R <= 4, de modo que o lado esquerdo <= N*(1024*N^4 + 4).
>>> Já o lado direito >= N^6.
>>> N*(1024*N^4 + 4) < N^6Â
>>> ==> 1024*N^4 + 4 < N^5Â Â
>>> ==> 1024 + 4/N^4 < N
>>> ==> N >= 1025.
>>> Então, para a equação ser satisfeita, é necessário que N <= 1024.
>>>
>>> Caso 2: N < 0.
>>> Então o lado esquerdo <= 0 (com igualdade sss R = 0) e o lado direito
>>> é positivo.
>>> Logo, a equação não tem soluções com N < 0.
>>>
>>> Com uma planilha, eu achei apenas 5 soluções:
>>> 0, 1, 32, 243, 1024.
>>>
>>> A soma destes três números é 1300.
>>>
>>> []s,
>>> Claudio.
>>>
>>>
>>> 2018-06-02 14:10 GMT-03:00 Daniel Quevedo :
>>>
 Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos
 os elementos do conjunto solução da equação: [(X5)^5].X^5 - X^6 -
 (X5)^6 +X.(X5) = 0
 É igual a:
 A) 1100
 B) 1300
 C) 1500
 D) 1700
 E) 1900

 R: b
 --
 Fiscal: Daniel Quevedo

 --
 Esta mensagem foi verificada pelo sistema de antivírus e
 acredita-se estar livre de perigo.
>>>
>>>
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
> --
> Fiscal: Daniel Quevedo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.
>
-- 
Fiscal: Daniel Quevedo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Claudio Buffara]

De onde é este problema?
1a fase de alguma olimpíada?

Abs

Enviado do meu iPhone

Em 2 de jun de 2018, à(s) 16:15, Daniel Quevedo  escreveu:

> Muito obrigado a todos. De fato com a mudança de variável fica td mais 
> fácil. Não tinha visto isso. 
> Obrigado
> 
> Em sáb, 2 de jun de 2018 às 16:02, Pedro José  
> escreveu:
>> Boa tarde.
>> A limitação para X5 obviamente não inclui 5, foi lambança. 
>> Saudações, 
>> PJMSÂ 
>> 
>> Em Sáb, 2 de jun de 2018 15:22, Claudio Buffara  
>> escreveu:
>>> Para |X| suficientemente grande, X^6 domina a soma dos outros termos.
>>> 
>>> Mudando a notação, eu pus N = X e R = X5.
>>> 
>>> Então: R^5*N^5 + R*N = N^6 + R^6.
>>> 
>>> Caso 1: N >= 0:
>>> R <= 4, de modo que o lado esquerdo <= N*(1024*N^4 + 4).
>>> Já o lado direito >= N^6.
>>> N*(1024*N^4 + 4) < N^6Â 
>>> ==> 1024*N^4 + 4 < N^5Â Â 
>>> ==> 1024 + 4/N^4 < N
>>> ==> N >= 1025.
>>> Então, para a equação ser satisfeita, é necessário que N <= 1024.
>>> 
>>> Caso 2: N < 0.
>>> Então o lado esquerdo <= 0 (com igualdade sss R = 0) e o lado direito é 
>>> positivo.
>>> Logo, a equação não tem soluções com N < 0.
>>> 
>>> Com uma planilha, eu achei apenas 5 soluções:
>>> 0, 1, 32, 243, 1024.
>>> 
>>> A soma destes três números é 1300.
>>> 
>>> []s,
>>> Claudio.
>>> 
>>> 
>>> 2018-06-02 14:10 GMT-03:00 Daniel Quevedo :
 Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos os 
 elementos do conjunto solução da equação: [(X5)^5].X^5 - X^6 - (X5)^6 
 +X.(X5) = 0
 É igual a:
 A) 1100
 B) 1300
 C) 1500
 D) 1700
 E) 1900
 
 R: b
 -- 
 Fiscal: Daniel Quevedo
 
 -- 
 Esta mensagem foi verificada pelo sistema de antivírus e 
 acredita-se estar livre de perigo.
>>> 
>>> 
>>> -- 
>>> Esta mensagem foi verificada pelo sistema de antivírus e 
>>> acredita-se estar livre de perigo.
>> 
>> -- 
>> Esta mensagem foi verificada pelo sistema de antivírus e 
>> acredita-se estar livre de perigo.
> -- 
> Fiscal: Daniel Quevedo
> 
> -- 
> Esta mensagem foi verificada pelo sistema de antivírus e 
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Daniel Quevedo]

Muito obrigado a todos. De fato com a mudança de variável fica td mais
fácil. Não tinha visto isso.
Obrigado

Em sáb, 2 de jun de 2018 às 16:02, Pedro José 
escreveu:

> Boa tarde.
> A limitação para X5 obviamente não inclui 5, foi lambança.
> Saudações,
> PJMS
>
> Em Sáb, 2 de jun de 2018 15:22, Claudio Buffara 
> escreveu:
>
>> Para |X| suficientemente grande, X^6 domina a soma dos outros termos.
>>
>> Mudando a notação, eu pus N = X e R = X5.
>>
>> Então: R^5*N^5 + R*N = N^6 + R^6.
>>
>> Caso 1: N >= 0:
>> R <= 4, de modo que o lado esquerdo <= N*(1024*N^4 + 4).
>> Já o lado direito >= N^6.
>> N*(1024*N^4 + 4) < N^6
>> ==> 1024*N^4 + 4 < N^5
>> ==> 1024 + 4/N^4 < N
>> ==> N >= 1025.
>> Então, para a equação ser satisfeita, é necessário que N <= 1024.
>>
>> Caso 2: N < 0.
>> Então o lado esquerdo <= 0 (com igualdade sss R = 0) e o lado direito é
>> positivo.
>> Logo, a equação não tem soluções com N < 0.
>>
>> Com uma planilha, eu achei apenas 5 soluções:
>> 0, 1, 32, 243, 1024.
>>
>> A soma destes três números é 1300.
>>
>> []s,
>> Claudio.
>>
>>
>> 2018-06-02 14:10 GMT-03:00 Daniel Quevedo :
>>
>>> Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos os
>>> elementos do conjunto solução da equação: [(X5)^5].X^5 - X^6 - (X5)^6
>>> +X.(X5) = 0
>>> É igual a:
>>> A) 1100
>>> B) 1300
>>> C) 1500
>>> D) 1700
>>> E) 1900
>>>
>>> R: b
>>> --
>>> Fiscal: Daniel Quevedo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Fiscal: Daniel Quevedo

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
A propósito, é necessária a verificação se X5 = X mod5.
Para o exemplo foi simples pois eram potências 5 de X5.
Mas em outras situações, poderia haver uma solução inteira em que X5<>X
mod5 e não atenderia o problema.
Saudações
PJMS


Em Sáb, 2 de jun de 2018 15:55, Pedro José  escreveu:

> Boa tarde.
> A limitação para X5 obviamente não inclui 5, foi lambança.
> Saudações,
> PJMS
>
> Em Sáb, 2 de jun de 2018 15:22, Claudio Buffara 
> escreveu:
>
>> Para |X| suficientemente grande, X^6 domina a soma dos outros termos.
>>
>> Mudando a notação, eu pus N = X e R = X5.
>>
>> Então: R^5*N^5 + R*N = N^6 + R^6.
>>
>> Caso 1: N >= 0:
>> R <= 4, de modo que o lado esquerdo <= N*(1024*N^4 + 4).
>> Já o lado direito >= N^6.
>> N*(1024*N^4 + 4) < N^6
>> ==> 1024*N^4 + 4 < N^5
>> ==> 1024 + 4/N^4 < N
>> ==> N >= 1025.
>> Então, para a equação ser satisfeita, é necessário que N <= 1024.
>>
>> Caso 2: N < 0.
>> Então o lado esquerdo <= 0 (com igualdade sss R = 0) e o lado direito é
>> positivo.
>> Logo, a equação não tem soluções com N < 0.
>>
>> Com uma planilha, eu achei apenas 5 soluções:
>> 0, 1, 32, 243, 1024.
>>
>> A soma destes três números é 1300.
>>
>> []s,
>> Claudio.
>>
>>
>> 2018-06-02 14:10 GMT-03:00 Daniel Quevedo :
>>
>>> Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos os
>>> elementos do conjunto solução da equação: [(X5)^5].X^5 - X^6 - (X5)^6
>>> +X.(X5) = 0
>>> É igual a:
>>> A) 1100
>>> B) 1300
>>> C) 1500
>>> D) 1700
>>> E) 1900
>>>
>>> R: b
>>> --
>>> Fiscal: Daniel Quevedo
>>>
>>> --
>>> Esta mensagem foi verificada pelo sistema de antivírus e
>>> acredita-se estar livre de perigo.
>>
>>
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde.
A limitação para X5 obviamente não inclui 5, foi lambança.
Saudações,
PJMS

Em Sáb, 2 de jun de 2018 15:22, Claudio Buffara 
escreveu:

> Para |X| suficientemente grande, X^6 domina a soma dos outros termos.
>
> Mudando a notação, eu pus N = X e R = X5.
>
> Então: R^5*N^5 + R*N = N^6 + R^6.
>
> Caso 1: N >= 0:
> R <= 4, de modo que o lado esquerdo <= N*(1024*N^4 + 4).
> Já o lado direito >= N^6.
> N*(1024*N^4 + 4) < N^6
> ==> 1024*N^4 + 4 < N^5
> ==> 1024 + 4/N^4 < N
> ==> N >= 1025.
> Então, para a equação ser satisfeita, é necessário que N <= 1024.
>
> Caso 2: N < 0.
> Então o lado esquerdo <= 0 (com igualdade sss R = 0) e o lado direito é
> positivo.
> Logo, a equação não tem soluções com N < 0.
>
> Com uma planilha, eu achei apenas 5 soluções:
> 0, 1, 32, 243, 1024.
>
> A soma destes três números é 1300.
>
> []s,
> Claudio.
>
>
> 2018-06-02 14:10 GMT-03:00 Daniel Quevedo :
>
>> Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos os
>> elementos do conjunto solução da equação: [(X5)^5].X^5 - X^6 - (X5)^6
>> +X.(X5) = 0
>> É igual a:
>> A) 1100
>> B) 1300
>> C) 1500
>> D) 1700
>> E) 1900
>>
>> R: b
>> --
>> Fiscal: Daniel Quevedo
>>
>> --
>> Esta mensagem foi verificada pelo sistema de antivírus e
>> acredita-se estar livre de perigo.
>
>
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Teoria dos números

[Pedro José]

Boa tarde!
Temos uma limitação para X5, só pode ser 0, 1, 2, 3, 4 e 5.
Para zero não adianta que dá x=0, não contribui para soma.
Pode-se observar que não aceita raízes negativas, pois -X^6+X5^5*X^5 assume
um valor negativo muito elevado para valores <>-1 É não poderá ser zerado
pelas parcelas restantes.
As soluções inteiras possíveis para X são, 1, X5, X5^2, X5^3, X5^4, X5^5 e
X5^6, pois tem de dividir o termo independente do polinômios X5^6.
De cara para X5=1, X=1.
Para valores de X5 > 1, o valor
 |-X^6+X5^5.X^5| >> |X5.X-X5^6|  se o expoente de -X^6 não for igual ao
deX5^5. X^5.
Como X=X5^a temos  que a=5.
É note que esse valor também anula X5.X-X5^6. E portanto é a única raiz
inteira.
Como
K^5=k mod5 se mdc(k,5)=1, as raízes são 0, 1, 2^5, 3^5 e 4^5, cuja soma é
1.300.
Saudações,
PJMS

Em Sáb, 2 de jun de 2018 14:18, Daniel Quevedo 
escreveu:

> Seja Xn o resto da divisão de X por n. ParavX inteiro a soma de todos os
> elementos do conjunto solução da equação: [(X5)^5].X^5 - X^6 - (X5)^6
> +X.(X5) = 0
> É igual a:
> A) 1100
> B) 1300
> C) 1500
> D) 1700
> E) 1900
>
> R: b
> --
> Fiscal: Daniel Quevedo
>
> --
> Esta mensagem foi verificada pelo sistema de antivírus e
> acredita-se estar livre de perigo.

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.

[obm-l] Re: [obm-l] Re: [obm-l] Teoria dos números

[Bernardo Freitas Paulo da Costa]

2018-06-02 15:14 GMT-03:00 Claudio Buffara :
> Mudando a notação, eu pus N = X e R = X5.
>
> Então: R^5*N^5 + R*N = N^6 + R^6.

Essa mudança de notação é o pulo do gato!  Daqui, um pouco de
tentativa e erro faz a seguinte dedução:

R^5 N^5 - R^6 = N^6 - RN
R^5(N^5 - R) = N(N^5 - R)
(N - R^5)(N^5 - R) = 0

Então ou N^5 = R, ou N = R^5.
A primeira dá R = 0 ou 1 (únicas potências quintas entre 0 e 4), e com
isso N = 0 ou 1
A segunda dá R = 0,1,2,3,4, e N = respectivas potências 5as.  Que são
justamente as soluções que você encontrou!

> Com uma planilha, eu achei apenas 5 soluções:
> 0, 1, 32, 243, 1024.

Abraços,
-- 
Bernardo Freitas Paulo da Costa

-- 
Esta mensagem foi verificada pelo sistema de antiv�rus e
 acredita-se estar livre de perigo.


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