Você está na página 1de 16

Aula 3 Parametrizao de algumas curvas planas

Nesta aula veremos como obter equaes paramtricas de algumas curvas planas, usando relaes trigonomtricas bsicas e observando as condies que um ponto deve satisfazer para pertencer a uma curva dada.

I. A Bruxa de Agnesi.
Seja C um crculo de raio r tangente a duas retas paralelas s1 e s2 . Sejam O e A os pontos de tangncia de C com s1 e s2 , respectivamente. Do ponto O tracemos uma semi-reta em direo reta s2 . Denotemos R e Q os pontos de interseo desta semi-reta com o C e s2 , respectivamente. Tracemos o segmento QD perpendicular a s1 , e a reta s paralela a s1 passando por R (veja a Figura 1). Seja P o ponto de interseo da reta s com o segmento QD. Os pontos P assim obtidos, traando todas as semi-retas que partem de O e intersectam C , descrevem a curva denominada bruxa de Agnesi. Para obtermos as equaes paramtricas da bruxa de Agnesi, admitamos que s1 seja o eixoOX, s2 : y = 2r, O seja a origem do sistema de coordenadas e A = (0, 2r) (Figura 1). O nosso problema consiste em determinar as coordenadas dos pontos P = (x, y) da bruxa de Agnesi em funo de apenas um parmetro. Denotando t a medida do ngulo DOQ, obtemos: x = |OD| = |OQ| cos t onde B a projeo de R sobre o eixoOX. e y = |RB| = |OR| sen t , (1)

Fig. 1: Construo da bruxa de Agnesi.

Geometria Analtica II - Aula 3

32

Note que os tringulos ORA (inscrito em um semicrculo de C ) e ODQ so retngulos. No primeiro, ORA o ngulo reto, a medida de OAR t e, portanto, |OR| = 2 r sen t. No tringulo ODQ, temos |QD| = 2r. Logo |OQ| sen t = 2r, ou seja, |OQ| = Substituindo essas relaes em (1), obtemos: x = |OD| =
2r cos t = 2r cotg t sen t 2r . sen t

y = |RB| = 2r sen2 t .

(2)

Ou seja, as equaes paramtricas da bruxa de Agnesi so: x = 2 r cotg t t (0, ) , y = 2 r sen2 t e seu trao mostrado na gura 2:

Fig. 2: Bruxa de Agnesi.

II. Ciclides e Trocides. Denio 1


Sejam C um crculo de raio r, s uma reta e P um ponto de C . Denominamos ciclide curva descrita pelo ponto P quando C rola sobre a reta s, sem deslizar. Para obtermos as equaes paramtricas da ciclide, admitamos que: a reta s o eixoOX; o crculo C inicia o movimento com centro no ponto (0, r); o ponto P coincide com a origem do sistema de coordenadas no incio do movimento. Tracemos dois crculos: C1 , representando C em sua posio inicial, e C2 , representando C aps ter rolado alguns instantes. Veja, na Figura 3, a designao dos seguintes elementos: sejam O1 e O2 os centros de C1 e C2 , respectivamente; P = (x, y) o ponto da ciclide em C2 ; A o ponto em que C2 toca o eixoOX;
IM-UFF K. Frensel - J. Delgado

33

Geometria Analtica II - Aula 3

Q = (x, 0) e T = (0, y) as projees ortogonais de P sobre os eixos OX e OY , respectivamente; M e N as projees ortogonais de P sobre O2 O1 e O2 A . t a medida do ngulo AO2 P, tomada em radianos.

Fig. 3: Desenvolvimento da ciclide.

Note que o segmento OA tem o mesmo comprimento que o arco de A a P sobre o crculo C2 , que consiste dos pontos que j zeram contato com a reta s. Como t a medida de AO2 P, o comprimento do arco de C2 de A a P que j fez contato com s rt. Logo |OA| = rt. ], [ , ], [, 3 ] e [ 3 , 2], vemos que as Analisando o sinal de sen t e cos t nos intervalos [0, 2 2 2 2 coordenadas x e y de P so determinadas por meio das seguintes relaes: x = |OQ| = |OA| |QA| = |OA| |O2 M| = rt r sen t , y = |OT | = |OO1 | |TO1 | = r |O2 N| = r r cos t . Obtemos, assim, as seguintes equaes paramtricas da ciclide: x = rt r sen t , y = r r cos t tR

Observao 1
para t = 0, o ponto P est na sua posio inicial; para t = , P dista 2r do eixoOX; para t = 2, o crculo d um giro completo e o ponto P volta a tocar o eixoOX. Veja como feito o movimento na seqncia de guras abaixo.

Fig. 4: t =

2 3

Fig. 5: t = .

K. Frensel - J. Delgado

IM-UFF

Geometria Analtica II - Aula 3

34

Fig. 6: t =

3 2

Fig. 7: t = 2 .

Fig. 8: Ciclide.

A ciclide pertence a uma classe mais ampla de curvas rolantes, denominadas trocides.

Denio 2
Seja C um crculo de centro C e raio r, e seja s uma reta. Consideremos uma semi-reta radial CB e um ponto P nessa semi-reta. Uma trocide o lugar geomtrico descrito pelo ponto P quando C rola sobre a reta s sem deslizar. A trocide denominada: ciclide longa quando P exterior a C (isto , R = d(P, C) > r),

Fig. 9: Caso R > r.

ciclide quando P pertence a C (isto , R = d(P, C) = r),

Fig. 10: Caso R = r.

IM-UFF

K. Frensel - J. Delgado

35

Geometria Analtica II - Aula 3

ciclide curta quando P interior a C (isto , R = d(P, C) < r).

Fig. 11: Caso R < r.

O procedimento para obter equaes paramtricas da ciclide curta e da ciclide longa anlogo ao caso da ciclide que analisamos anteriormente. Vamos supor que o crculo C tem centro C = (0, r), raio r e rola sobre a reta s = eixo OX. Acompanhe nas Figuras 12 e 13 a designao dos seguintes elementos: C1 e C2 crculos de centros O1 = C e O2 , representando C no incio do movimento e aps transcorrido um instante t, respectivamente; P = (x, y) o ponto rolante que descreve a trocide partindo da posio (0, r R), no instante t = 0; A o ponto de contato do crculo C2 com a reta s; Q e T as projees de P sobre os eixos OX e OY ; M a projeo de P sobre a reta y = r que contm os centros O1 e O2 , e N a projeo de P sobre a reta O2 A.

Fig. 12: Ciclide curta.

Fig. 13: Ciclide longa.

Como no caso da ciclide, temos: x = |OQ| = |OA| |QA| = rt |O2 M| , y = |OT | = |OO1 | |TO1 | = r |O2 N| , onde |O2 M| = R| sen t| , |O2 N| = R| cos t| e o sinal escolhido segundo a posio de P em relao a O2 . Isto depende em qual dos intervalos [0, ], [ , ], [, 3 ] ou [ 3 , 2] est o valor t. 2 2 2 2 Em qualquer caso, voc pode vericar que as curvas trocides tm equaes paramtricas: x = rt R sen t ,tR y = r R cos t

K. Frensel - J. Delgado

IM-UFF

Geometria Analtica II - Aula 3

36

sendo a trocide uma ciclide curta, uma ciclide ou uma ciclide longa segundo seja R < r, R = r ou R > r, respectivamente.

Fig. 14: Ciclide curta. Fig. 15: Ciclide longa.

Nas Figuras 14 e 15, mostramos a ciclide curta e a ciclide longa traadas em intervalos maiores. Na Figura 16, vemos os trs tipos de trocides.

Fig. 16: Trocides.

III. A Epiciclide e a Hipociclide. Denio 3


Consideremos dois crculos, e C , de raios R e r, respectivamente,tais que: e C se tocam apenas em um ponto P, os pontos de C , diferentes de P, esto no exterior de . Denominamos epiciclide o lugar geomtrico descrito pelo ponto P quando C rola sobre , sem deslizar.

Para obtermos as equaes paramtricas da epiciclide, admitamos com centro na origem, C com centro no ponto (R + r, 0) e que a posio inicial de P seja P1 = (R, 0). Nas Figuras 17 e 18, mostramos o crculo C aps ter rolado alguns instantes sobre o crculo . Acompanhe, nessas guras, a designao dos seguintes elementos: P = (x, y) o ponto da epiciclide que, estando inicialmente na posio P1 , descreve o arco P1 P quando C rola um ngulo de medida sobre ; A o ponto de contato entre os crculos; O2 o centro de C ; B e D as projees de O2 sobre os eixos OX e OY , respectivamente; Q = (x, 0) e T = (0, y) as projees de P sobre OX e OY ; M e N, as projees de P sobre as retas O2 D e O2 B, e t o ngulo AO2 P descrito pelo ponto P com respeito semi-reta radial OO2 .
IM-UFF K. Frensel - J. Delgado

37

Geometria Analtica II - Aula 3

Fig. 17: P descreve uma epiciclide.

Fig. 18: P continuando o movimento.

O nosso problema consiste em descrever as coordenadas do ponto P em termos de um parmetro. Nas guras acima, vemos que as posies entre Q e B variam de acordo com a posio do ponto P. Isto , de acordo com a medida t do ngulo AO2 P. No caso em que Q est entre O e B, temos: x = |OQ| = |OB| |QB| = |OB| |O2 M| , y = |OT | = |OD| |TD| = |OD| |O2 N| . Note que, enquanto C rola sobre , seu centro descreve um crculo centrado em O e de raio R + r. Sendo a medida do ngulo do semi-eixo OX positivo para a semi-reta OO2 (medido no sentido anti-horrio), obtemos: |OB| = (R + r)cos e |OD| = (R + r)sen . (4)

(3)

Sendo t a medida do ngulo de O2 A para O2 P, no sentido anti-horrio, vemos que: NO2 P = OO2 B AO2 P = ( ) t = 2 Portanto, no tringulo-retngulo PNO2 , temos: |O2 M| = r sen(NO2 P) = r sen( ( + t)) = r cos( + t) , 2 |O2 N| = r cos(NO2 P) = r cos( ( + t)) = r sen( + t) . 2 Substituindo as identidades (4) e (5) em (3), obtemos: x = (R + r) cos r cos( + t) , y = (R + r) sen r sen( + t) . Mas ainda resta um problema: as expresses das coordenadas x e y esto dadas em funo de duas variveis e t. Vamos resolver isto.
2

( + t) .

(5)

(6)

K. Frensel - J. Delgado

IM-UFF

Geometria Analtica II - Aula 3

38

Observe que o comprimento do arco de A a P, ao longo de C , igual ao comprimento do arco de P1 a A sobre o crculo (lembre que C rola sobre ). Como a medida do primeiro arco rt e a medida do segundo R, ento rt = R, isto , t = Logo, substituindo t =
R r R . r

em (6), obtemos as seguintes equaes paramtricas da epici-

clide, em funo apenas do parmetro : x = (R + r) cos r cos( + y = (R + r) sen r sen( +


R ) r R ) r r = (R + r) cos r cos(( R+ ) ) , r

(7)

= (R + r) sen

r r sen(( R+ ) ) . r

Resta vericar o caso em que B est entre O e Q (Figura 18). No tringulo NPO2 , (Figura 18), temos NO2 P = t ( ) = ( + t) . Portanto: 2 2 |O2 M| = r sen(( + t) ) = r cos( + t) , 2 ) = r sen( + t) . |O2 N| = r cos(( + t) 2 Sendo que: x = |OQ| = |OB| + |QB| = |OB| + |O2 M| , y = |OT | = |OD| |TD| = |OD| |O2 N| , obtemos as mesmas equaes paramtricas do caso anterior. Assim, quando C rola sobre , as coordenadas do ponto P satisfazem as equaes (7), independentemente da posio de P. Concluso: as equaes paramtricas da epiciclide so: x = (R + r) cos r cos(( R+r )) r , R y = (R + r) sen r sen(( +r ))
r

Observe que, quando C percorre um arco de de comprimento igual a 2r, o ponto P volta a tocar . Portanto, se
R r

= n, onde n N, ento o ponto P toca n

vezes e a n-sima vez coincide com sua posio inicial. Para vericar isto, basta observar que o comprimento de contm n vezes o comprimento de C , pois 2R = 2(nr) = n(2r) . A Cardiide a epiciclide com r = R e, portanto, = t: x = 2r cos r cos(2) y = 2r sen r sen(2)
Fig. 19: r = R: Cardiide .

Nas guras abaixo, mostramos vrias epiciclides, indicando os valores de r e R, assim como
IM-UFF K. Frensel - J. Delgado

39

Geometria Analtica II - Aula 3

suas equaes paramtricas.

3 Fig. 20: r = 1 ,R= 2 . 2 x = 2 cos 1 cos(4) 2 y = 2 sen 1 sen(4) 2

2 Fig. 21: r = 3 ,R= 4 . 3 x = 2 cos 2 cos(3)

y = 2 sen

3 2 3

sen(3)

Fig. 22: r = 5, R = 8 . x = 13 cos 5 cos( 13 ) 5 y = 13 sen 5 sen( 13 )


5

x = 3 cos 2 cos( 3 ) 2 y = 3 sen 2 sen( 3 )


2

Fig. 23: r = 2, R = 1 .

Fig. 24: r = 2, R = 2 . x = (2 + 2) cos 2 cos( 2+ 2 ) 2 y = (2 + 2) sen 2 sen( 2+ 2 )


2

Fig. 25: r = 3, R = 2 . x = 5 cos 3 cos( 5 ) 3 y = 5 sen 3 sen( 5 )


3

Outra classe de curvas rolantes anloga epiciclide a seguinte.

Denio 4
Consideremos dois crculos e C de raios R e r, respectivamente, tais que: r < R, e C se tocam apenas em um ponto P, os pontos de C , diferentes de P, esto no interior de . Denominamos hipociclide o lugar geomtrico descrito pelo ponto P, quando C rola sobre , sem deslizar, mantendo todos os seus pontos na regio limitada por . Para obtermos as equaes paramtricas da hipociclide, vamos admitir com centro na origem, C iniciando o movimento com centro no ponto (Rr, 0) e P com posio inicial P1 = (R, 0).
K. Frensel - J. Delgado IM-UFF

Geometria Analtica II - Aula 3

40

Determinemos as coordenadas do ponto P = (x, y) em termos de um parmetro, quando C rola sobre sem deslizar.

Fig. 26: P descrevendo uma hipociclide.

Fig. 27: P continuando o movimento.

Acompanhe, nas Figuras 26 e 27, a designao dos seguintes elementos: A o ponto de C que toca ; O2 o centro de C ; B e D as projees de O2 sobre os eixos OX e OY ; Q = (x, 0) e T = (0, y) as projees de P sobre OX e OY ; M e N as projees de P sobre O2 D e O2 B, respectivamente. Com essas notaes, considerando o caso em que B est entre O e Q, mostrado na Figura 26, temos: x = |OQ| = |OB| + |QB| = |OB| + |O2 M| , y = |OT | = |OD| |TD| = |OD| |O2 N| . (8)

Sabendo que o centro de C descreve um crculo de raio R r, e sendo a medida do ngulo do semi-eixo OX positivo para OO2 , no sentido anti-horrio, obtemos: |OB| = (R r) cos e |OD| = (R r) sen . Denotando t a medida do ngulo de O2 A para O2 P, no sentido horrio, temos: OO2 P = t Logo, NO2 P = + + OO2 P = + + ( t) = ( t) + 2 2 Portanto, no tringulo-retngulo PNO2 , temos: ) = r cos( t) = r cos(t ) , |O2 M| = r sen(NO2 P) = r sen(( t) + 2 |O2 N| = r cos(NO2 P) = r cos(( t) + 2 ) = r sen( t) = r sen(t ) . Substituindo essas identidades nas relaes (8) e usando o fato de que t = seguintes equaes paramtricas da hipociclide: x = (R r) cos + r cos(( Rr ))
r R r 2 2

OO2 P NO2 P =

, obtemos as

y = (R r) sen

r r sen(( R )) r

,tR

Procure vericar que as mesmas equaes paramtricas so obtidas quando P est em outras posies com respeito ao centro O2 .
IM-UFF K. Frensel - J. Delgado

41

Geometria Analtica II - Aula 3

Hipociclide degenerada. O segmento que liga os pontos (R, 0) e (R, 0) tambm uma hipociclide. De fato, a hipociclide tal que r = R , tem equaes paramtricas: 2 x = 2r cos ; R, y = 0 e o seu lugar geomtrico mostrado na gura 28.

Fig. 28: r =

R . 2

Fig. 29: Astride.

A astride, tambm chamada tetracspide, cubociclide ou paracclo, a hipociclide obtida . Suas equaes paramtricas so: quando r = R 4 x = 3r cos + r cos(3) y = 3r sen r sen(3) e seu lugar geomtrico mostrado na gura 29 Nas guras abaixo, mostramos algumas hipocilides, indicando os valores de r e R e suas equaes paramtricas:

R,

Fig. 30: r = 3 , R = 3. 7 x = 18 cos + 3 cos(6) 7 7 y = 18 sen 3 sen(6)


7 7

3 Fig. 31: r = 5 , R = 3. x = 12 cos + 3 cos(4)

y =

5 12 5

sen

5 3 5

sen(4)

Fig. 32: Deltide: r = 1, R = 3 x = 2 cos + cos(2) y = 2 sen sen(2)

K. Frensel - J. Delgado

IM-UFF

Geometria Analtica II - Aula 3

42

, R = 3. Fig. 33: r = 9 5 x = 6 cos + 9 cos( 2 ) y =


5 6 5

sen

5 9 5

3 sen( 2 ) 3

, R = 3. Fig. 34: r = 24 11 x = 9 cos + 24 cos( 3 ) 11 11 8 y = 9 sen 24 sen( 3 )


11 11 8

x = y =

Fig. 35: r =
152 5 152 5

2 , 5

R = 3.

cos + sen

2 2 cos( 152 ) 5 2 152 sen( 2 ) 5

Podemos tambm obter uma equao paramtrica de uma curva a partir de sua equao cartesiana, ou vice-versa. Mas, como no caso das curvas denidas geometricamente, no existe uma regra geral para obter a equao paramtrica.

IV. O Flium de Descartes.


A curva chamada Flium de Descartes a curva cuja equao cartesiana : C : x3 + y3 = 3axy , onde a > 0 . (9)

Para fazermos um esboo detalhado desta curva, vamos primeiro parametriz-la. Para isso, introduzimos o parmetro: t= Observe que: se (x, y) C , ento x = 0 y = 0; se t = 1, isto , y = x, e (x, y) C , ento x3 + (x)3 = 3ax(x) = 0 = 3ax2 = x = 0 e y = 0. Substituindo y = tx na equao x3 + y3 = 3axy e supondo que (x, y) = (0, 0), obtemos: x3 + (tx)3 = 3ax(tx) (1 + t3 )x3 = 3atx2 . Portanto, para t = 1, temos x = Assim, C:
3at 3at e, como y = tx, obtemos y = t. 3 1+t 1 + t3 y . x

x(t) = 3at 3
2 y(t) = 3at 3

1+t

t (, 1) (1, +) ,

1+t

IM-UFF

K. Frensel - J. Delgado

43

Geometria Analtica II - Aula 3

uma parametrizao da Folium de Descartes. Vamos agora vericar algumas propriedades relativas a esta curva:
3a 3a . , 2 2

1. A curva intersecta a reta r : y = x nos pontos (0, 0) e De fato, fazendo y = x na equao (9), obtemos: x3 + x3 = 3axx 2x3 = 3ax2 x = 0 ou x = 2. A curva simtrica em relao reta r : y = x. Para vericar isso, basta mostrar que (x, y) C se, e s se, (y, x) C , o que evidente pela equao cartesiana de C . De fato, seja P = (x0 , y0 ) um ponto do plano e P o simtrico de P em ralao reta r : x y = 0. Seja r a reta perpendicular reta r que passa pelo ponto P. Ento, r (1, 1) e r : x = s + x0 ; y = s + y0
3a . 2

Fig. 36: r r e P simtrico de P em relao a r

s R,

uma equao paramtrica da reta r . O ponto Q = (s + x0 , s + y0 ) de interseo da reta r com a reta r dado por: s + x0 = s + y0 s = Logo, Q=
y0 x 0 y x0 + x0 , 0 + y0 2 2 y0 x0 . 2 y0 + x0 x0 + y0 , , 2 2

y0 x 0 x y0 + x0 , 0 + y0 2 2

e, portanto, P = 2Q P = (x0 + y0 , x0 + y0 ) (x0 , y0 ) = (y0 , x0 ) , como foi armado anteriormente. 3. Vamos analizar agora o comportamento da curva em funo do parmetro t nos intervalos (, 1) , (1, 0) , [0, 1] e [1, +). (A) Para t (, 1): 1 + t3 < 0; x(t) > 0 e y(t) < 0;
t t1

lim (x(t), y(t)) =

lim

3a 3a , 2 1/t + t 1/t2 + t

= (0, 0) ;

lim (x(t), y(t)) = (+, ) .

(B) Para t (1, 0): 1 + t3 > 0, x(t) < 0 e y(t) > 0; lim + (x(t), y(t)) = (, +) .
t1

K. Frensel - J. Delgado

IM-UFF

Geometria Analtica II - Aula 3

44

(C) Para t [0, 1]: 1 + t3 > 0; x(t) > y(t) > 0 se t (0, 1); x(0) = y(0) = 0 e x(1) = y(1) =
3a . 2

(D) Para t (1, +): 1 + t3 > 0; y(t) > x(t) > 0;


t+

lim (x(t), y(t)) = lim

t+

3a 3a , 2 1/t + t 1/t2 + t

= (0, 0) .

4. A curva est contida no semi-plano x + y + a > 0 e d((x(t), y(t)), r) 0 quando t 1 , onde r a reta x + y + a = 0, isto , r uma assntota da curva. De fato: x(t) + y(t) + a =
3at 3at2 3at + 3at2 + a + at3 t3 + 3t2 + 3t + 1 + + a = = a 1 + t3 1 + t3 1 + t3 1 + t3 (t + 1)(t2 + 2t + 1) t2 + 2t + 1 a(t + 1)2 = a = > 0, (t + 1)(t2 t + 1) t2 t + 1 t2 t + 1

= a

(10)

pois (t + 1)2 > 0 para todo R {1} e t2 t + 1 > 0 para todo t R. lim d((x(t), y(t)), r) = = lim
|x(t) + y(t) + a| 2 a0 a(t + 1)2 = = 0. 2 2 (t t + 1) 2 3

t1

t1

t1

lim

(11)

Usando as informaes acima, podemos traar a curva:

Fig. 37: Folium de Descartes obtido com a = 1

(V) A Lemniscata de Bernoulli.


A Lemniscata de Bernoulli a curva dada pelas equaes paramtricas:
IM-UFF K. Frensel - J. Delgado

45

Geometria Analtica II - Aula 3

t 1 + t4 ; C: 3 y(t) = t 1 + t4

x(t) =

t R.

Faremos um esboo desta curva, indicando o sentido em que ela percorrida, e determinaremos a sua equao cartesiana. Vamos achar primeiro os pontos onde a curva intersecta a reta r : x y = 0. Para que isso ocorra devemos ter: x(t) = y(t)
t t3 = t3 t = 0 1 + t4 1 + t4

t(t2 1) = 0 t = 0 ou t = 1 ou t = 1 . Logo, Cr= Alm disso, temos que: A. para t (, 1) (0, 1), x(t) > y(t), pois t > t3 , e
t

(0, 0) ,

1 1 , 2 2

, ,

1 2

1 2

lim (x(t), y(t)) = lim

1 1 , 1/t + t3 1/t3 + t

= (0, 0) .

B. para t (1, 0) (1, +), x(t) < y(t), pois t < t3 , e lim (x(t), y(t)) = (0, 0).
t+

Com estas informaes, podemos traar a curva:

Fig. 38: Lemniscata de Bernoulli

Sendo y =

t3 t y = t2 = t2 x , obtemos que t2 = . Em particular, y e x tm o mesmo 4 4 1+t 1+t x

sinal ao longo da curva.

K. Frensel - J. Delgado

IM-UFF

Geometria Analtica II - Aula 3

46

Como x =

t ,t= 1 + t4

y se x > 0 e t = x x2

y se x < 0, vemos que: x

y1/2 y/x 1/2 x = 2 x 2 x2 + y2 = x1/2 y1/2 x2 + y2 = xy , se x > 0 ; x= 1 + y2 /x2 x +y |y|1/2 y/x |y|1/2 |x|1/2 2 2 x = x + y = x x= = |x| 1 + y2 /x2 x2 + y2 |x|1/2 x2 |y| |x|

|x| |y| =

xy , se x < 0 ;

j que x e y tm o mesmo sinal ao longo da curva. Assim, x2 + y2 = (xy)1/2 (x2 + y2 )2 = xy a equao cartesiana da Lemniscata de Bernoulli. Observe, pela equao acima, que a Lemniscata de Bernoulli simtrica em relao reta r : x y = 0.

IM-UFF

K. Frensel - J. Delgado