Fórum de Matemática
DÚVIDAS? Nós respondemos!

Um Fórum em Português dedicado à Matemática
Data/Hora: 28 mar 2024, 15:02

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 3 mensagens ] 
Autor Mensagem
MensagemEnviado: 15 nov 2017, 09:27 
Offline

Registado: 15 nov 2017, 09:17
Mensagens: 5
Localização: ITU - SÃO PAULO
Agradeceu: 3 vezes
Foi agradecido: 0 vez(es)
Sejam f(x) e g(x) pertencentes aos Reais, não constantes e n e m inteiros positivos. Mostre que y^m - f(x) divide y^n - g(x) em R[x,y] se, e somente se, m divide n e g(x) = f(x)^(n/m).

Obrigado


Topo
 Perfil  
 
MensagemEnviado: 15 nov 2017, 17:53 
Offline

Registado: 19 Oct 2015, 13:34
Mensagens: 929
Localização: Rio de Janeiro
Agradeceu: 9 vezes
Foi agradecido: 274 vezes
Alguém pode ajudar o joão, estou tentanto resolver mais tá difícil?
\(\left. \frac{y^m-f(x)}{y^n-g(x)} \right \}\Leftrightarrow \frac{m}{n} e, g(x)=f(x)^{\frac{n}{m}}, \forall m,n \in \mathbb{Z}^+\)

_________________
Vivemos em um mundo onde toda informação é falsa até que se prove o contrário.
A Verdade está a caminho.


Topo
 Perfil  
 
MensagemEnviado: 15 nov 2017, 18:50 
Offline

Registado: 14 dez 2011, 15:59
Mensagens: 897
Localização: Portugal
Agradeceu: 20 vezes
Foi agradecido: 373 vezes
joao_l Escreveu:
Sejam f(x) e g(x) pertencentes aos Reais, não constantes e n e m inteiros positivos. Mostre que y^m - f(x) divide y^n - g(x) em R[x,y] se, e somente se, m divide n e g(x) = f(x)^(n/m).

Obrigado


Começando com a parte mais fácil, vamos mostrar que se m divide n (ou seja, existe k tal n=km) e \(g(x)=f(x)^k\) então \(y^m - f(x)\) divide \(y^n - g(x)\). Basta ter em atenção a fórmula \(a^k-b^k=(a-b)\sum_{i=0}^{k-1}a^{k-1-i}b^i\) com \(a=y^m\) e \(b=f(x)\):

\(y^n - g(x)=(y^m)^k-f(x)^k=\left(y^m-f(x)\right)\sum_{i=0}^{k-1}y^{(k-1-i)m}f(x)^i\)

Vejamos agora a implicação no sentido inverso. Suponhamos que \(y^m - f(x)\) divide \(y^n - g(x)\) em \(\mathbb{R}[x,y]\) com \(f,g\in \mathbb{R}[x]\) e \(m,n\in \mathbb{Z}^+\). Ou seja, existe \(h\in \mathbb{R}[x,y]\) tal que \(y^n-g(x)=h(x,y)(y^m-f(x))\). Tomando y=0, temos que \(g(x)=h(x,0)f(x)\), ou seja, f divide g em \(\mathbb{R}[x]\). Isto vai-nos ajudar a demonstrar o resultado por indução em n. No caso n=1 é fácil provar o resultado que m=1 e g(x)=f(x) (exercício). Suponhamos que, por hipótese de indução para qualquer inteiro positivo n'<n, sempre que \(y^m - f(x)\) divide \(y^{n'} - g(x)\) então m divide n' e \(g(x)=f(x)^{\frac{n'}{m}}\). Então se \(y^m - f(x)\) divide \(y^{n} - g(x)\) então \(y^m - f(x)\) divide \(y^{n} - h(x,0)y^m\) pois \(y^{n} - h(x,0)y^m= y^{n} - g(x)- h(x,0)(y^m - f(x))\). Se \(y^m - f(x)\) divide \(y^{n} - h(x,0)y^m\) então \(y^m - f(x)\) divide \(y^{n-m} - h(x,0)\). Da hipótese de indução, concluimos que m divide n-m (logo m divide n) e \(h(x,0)=f(x)^{\frac{n-m}{m}}\) e portanto \(g(x)=h(x,0)f(x)=f(x)^{\frac{n}{m}}\).


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 3 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 56 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para:  
cron