Oi, Duda:
Estou me intrometendo, mas acho que esse eh um ponto importante. No teorema
de Bezout, o numero de pontos de intersecao soh eh m*n se levarmos em conta
multiplicidades, pontos de coordenadas complexas e pontos no infinito.
Por exemplo, considere os polinomios:
P(x,y) = x^2 - y e Q(x,y) = -x + y^2
P e Q sao primos entre si.
O conjunto dos pontos (x,y) tais que P(x,y) = 0 eh uma parabola em R^2. Idem
para Q(x,y) = 0.
O teorema de Bezout diz que existem 2*2 = 4 pontos de intersecao. Vamos
determina-los:
x^2 - y = 0
-x + y^2 = 0 ==>
y = x^2 ==>
-x + (x^2)^2 = 0 ==>
x^4 - x = 0 ==>
Raizes:
x = 0, x = 1, x = e^(i*2Pi/3) = w, x = w^2 ==>
Os y correspondentes sao:
y = 0, y = 1, y = w^2, y = w
Pontos de intersecao: (0,0), (1,1), (w,w^2), (w^2,w).
Logo, dos quatro pontos de intersecao previstos pelo teorema de Bezout, dois
tem coordenadas complexas.
*****
Outro exemplo:
P(x,y) = 3x - y - 2 e Q(x,y) = x^3 - y
P(x,y) = 0 ==> y = 3x - 2
Q(x,y) = 0 ==> y = x^3
Novamente, P e Q sao primos entre si.
Pelo teorema de Bezout, devem haver 1*3 = 3 pontos de intersecao.
y = 3x - 2
y = x^3 ==>
x^3 - 3x + 2 = 0
Raizes: x = 1 e x = -2
Os y correspondentes sao:
y = 1 e y = -8
Pontos de intersecao: (1,1) e (-2,-8)
Cade o terceiro ponto?
Bom, repare que x = 1 eh uma raiz dupla de x^3 - 3x + 2 = 0.
Logo, o ponto (1,1) deve ser contado duas vezes.
Geometricamente, o que ocorre eh que a reta y = 3x - 2 eh tangente a cubica
y = x^3 no ponto (1,1).
*****
Mais um exemplo:
P(x,y) = x + y e Q(x,y) = x + y - 1
P e Q sao primos entre si e o teorema de Bezout preve 1*1 = 1 intersecao.
P(x,y) = 0 e Q(x,y) = 0 ==>
x + y = 0
x + y = 1 ==> sistema inconsistente
Nesse caso, qual eh o ponto de intersecao?
A resposta eh: um ponto no infinito (MUITO INFORMALMENTE: onde retas
paralelas se encontram...).
*****
Finalmente:
P(x,y) = x^2 - y^2 e Q(x,y) = x + y
P(x,y) = 0 ==> x^2 - y^2 = 0
Q(x,y) = 0 ==> x + y = 0
Nesse caso qualquer ponto da forma (a,-a) com a real eh solucao do sistema,
ou seja, ha uma infinidade de pontos de intersecao.
No entanto, Bezout previa apenas 1*2 = 2 pontos. Ou nao?
Repare que o enunciado do teorema fala que P(x,y) e Q(x,y) tem de ser primos
entre si, o que nao ocorre nesse caso.
De fato, aqui temos P(x,y) = (x - y)*Q(x,y).
*****
Tudo isso faz parte da geometria algebrica, um dos ramos mais fascinantes da
matematica, na minha opiniao. De fato, se algum dia eu for fazer
pos-graduacao em matematica (e ainda tenho que comer muito feijao com arroz
pra chegar lah), vai ser nisso ai ou em teoria dos numeros (alias, os dois
ramos sao altamente inter-relacionados - por exemplo, o ultimo teorema de
Fermat for provado mediante tecnicas da geometria algebrica).
Um abraco,
Claudio.
on 12.06.03 01:42, Eduardo Casagrande Stabel at [EMAIL PROTECTED] wrote:
> Oi Gugu.
>
> Obrigado pela sua resposta! Eu encontrei o seguinte enunciado.
>
> Teorema de Bezout. Se P(x,y) e Q(x,y) s�o primos entre si e tem graus n e m
> respectivamente ent�o o conjunto dos pontos (x,y) tal que P(x,y)=0 e
> Q(x,y)=0 possui nm pontos.
>
> Isto vale com P e Q pertencentes a K[x,y] para um corpo K qualquer? O
> teorema tamb�m vale em dimens�es finitas maiores do que dois? Qual o �rea da
> matem�tica que estuda esses resultados e a rela��o deles com as curvas
> alg�bricas C?
>
> Abra�o,
> Duda.
>
> From: "Carlos Gustavo Tamm de Araujo Moreira" <[EMAIL PROTECTED]>
>> Caro Duda,
>> Isso segue de uma versao fraca do teorema de Bezout: se f(x,y) e g(x,y)
>> sao primos entre si (lembre que K[x,y] e' um dominio fatorial, i.e., vale
>> fatoracao unica, como em Z) entao o conjunto dos pontos (x,y) tais que
>> f(x,y)=0 e g(x,y)=0 e' finito. No seu caso, F(x,y) e P(x,y) sao primos
> entre
>> si (senao F divide P e P se anula em todos os pontos de C), e do mesmo
> modo
>> F(x,y) e Q(x,y) tambem sao primos entre si, donde F(x,y) e P(x,y).Q(x,y)
>> tambem sao primos entre si, donde o resultado segue pela nossa observacao
>> inicial DESDE QUE C SEJA INFINITO. Senao e' facil dar contra-exemplo em
>> R(x,y): Tome F(x,y)=(x(x-1))^2+y^2, P(x,y)=x, Q(x,y)=x-1.
>> Abracos,
>> Gugu
>>
>>>
>>> Caros colegas da lista.
>>>
>>> Em um livro de �lgebra (Shafarevich) li a seguinte defini��o.
>>>
>>> Considere K um corpo qualquer (pode ser os reais R para facilitar), e
> seja
>>> F(x,y) um polin�mio em duas vari�veis com coeficientes em K. Seja C a
> curva
>>> dos pontos que anulam F, isto �, C = { (x,y) : F(x,y) = 0 }. Define-se,
>>> ent�o, o conjunto K(C) das fun��es polinomiais P(x,y) restritas ao
> dom�nio
>>> C. Esta defini��o pode n�o estar muito clara. Todo o polin�mio P(x,y)
> define
>>> uma fun��o polinomial P:R^2->R em todo R^2, agora restrinja o dom�nio de
> P
>>> ao conjunto C e considere o conjunto de todas as fun��es polinomiais
>>> restritas a esse conjunto.
>>>
>>> No livro, diziz que se F � um polin�mio irredut�vel, ent�o K(C) � um
> dom�nio
>>> de integridade. O que quer dizer isso? Que se F(x,y) � um polin�mio a
> duas
>>> vari�veis e C � o curva dos pontos onde F se anula ent�o n�o existem dois
>>> polin�mios P(x,y) e Q(x,y) tal que P(x,y)Q(x,y) se anula em todos os
> pontos
>>> de C apesar de nem P nem Q se anularem em todos os pontos de C.
>>>
>>> Um outro modo de ver o resultado. Chame raiz(L) = conjunto das ra�zes do
>>> polin�mio L de duas vari�veis. Se um polin�mio F � irredut�vel e seu
>>> conjunto de ra�zes � raiz(L), ent�o n�o existem dois polin�mios P e Q
> tais
>>> que raiz(P) < raiz(L) e raiz(Q) < raiz(L) apesar de raiz(P) U raiz(Q) >=
>>> raiz(L). (onde os sinais de desigualdade representam estritamente
> contido)
>>>
>>> Algu�m sabe demonstrar esse resultado ou me dar uma dica sobre ele?
>>>
>>> Obrigado pela aten��o.
>>> Duda.
>>>
>>> =========================================================================
>>> 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
>>> =========================================================================
>>
>> =========================================================================
>> 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
>> =========================================================================
>>
>>
>
> =========================================================================
> 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
> =========================================================================
>
=========================================================================
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
=========================================================================
