Re: [obm-l] Problemas Selecionados de Matematica

[Marcos Martinelli <mffmartinelli@xxxxxxxxx>]

   Como eu disse, suponha b=produtório(1<=i<=k)(p_i^a_i), onde p_i são
os primos em ordem crescente e a_i são números naturais. E agora temos
o seguinte: b^4=produtório(1<=i<=k)[p_i^(4*a_i)] =>
a^5=produtório(1<=i<=k)[p_i^(4*a_i)] <=>
a=produtório(1<=i<=k)[p_i^(4*a_i/5)] <=> a_i=5*k_i com k_i natural já
que a deve ser um número natural => a=produtório(1<=i<=k)[p_i^(4*k_i)]
=> Tomando m=produtório(1<=i<=k)[p_i^k_i] temos a=m^4. (m natural!)
   Para provar que c=n^2 o argumento seria análogo. Este argumento
pode ser estendido para um caso geral do tipo a^p=b^q (a,b,p,q todos
naturais) desde que que q não divida p.

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