TEMA Tend. Mat. Apl. Comput., 7, No. 2 (2006), 169-178.

c Uma Publicacao da Sociedade Brasileira de Matematica Aplicada e Computacional.

Geometria Diferencial de Curvas de Interse cao de
Duas Superfcies Implcitas
O. AL

ESSIO
1
, Departamento de Pos-Gradua c ao, Mestrado em Matem atica e Es-
tatstica, UNINCOR- Universidade Vale do Rio Verde de Tres Cora c oes, Av. Castelo
Branco, 82, CEP: 37.410-000, Tres Cora c oes, MG, Brasil.
Resumo. Apresenta-se uma tecnica para encontrar as propriedades geometricas
da curva de intersecao de duas superfcies implcitas, usando o teorema da funcao
implcita.
1. Introdu cao
A principal motiva c ao deste artigo e o problema de interse c ao de duas superfcies.
Do ponto de vista historico o problema de interse c ao de superfcies (SSI) vem de
muitos seculos atr as. As classicas curvas conhecidas como c onicas (elipse, hiperbole,
par abola) sao obtidas atraves da interse c ao entre duas superfcies: um plano e um
cone. Muitos problemas podem ser reduzidos em interse c ao de superfcies, como por
exemplo determinar: a equa c ao parametrica de curvas dadas implicitamente por
duas superfcies, o conjunto de nvel de uma fun c ao vetorial, m aximos e mnimos
via Multiplicadores de Lagrange com duas restri c oes, limites de integra c ao de in-
tegrais triplas, solu c oes de sistemas nao-lineares, formas complexas via modelagem
geometrica. Para a interse c ao de superfcies em geral, nao se consegue obter a
equa c ao parametrica da curva de interse c ao, o que se faz e obter pontos ao longo
da curva de interse c ao e para isso o metodo mais utilizado e o de caminhada [1]. O
metodo de caminhada consiste em partir de um ponto inicial na curva de interse c ao
e determinar iterativamente o proximo ponto ate tra car a curva completamente.
Propriedades geometricas locais da curva de interse c ao sao aplicadas para adapta-
tivamente determinar os passos da caminhada [1, 3].
O problema de interse c ao de superfcies pode ser dos tipos: parametrica-parame-
trica, implcita-implcita e parametrica-implcita. Para calcular a curva de in-
terse c ao com precis ao e eciencia, aproxima c oes de ordem superior sao necessarias,
isto e, precisa-se obter as propriedades geometricas locais da curva de interse c ao.
Enquanto geometria diferencial de curvas parametricas pode ser encontrada em li-
vros classicos (Struik, 1950; Willmore, 1959; do Carmo, 1976), ha pouca literatura
de geometria diferencial de curvas de interse c ao. Willmore em seu livro [2], descreve
como obter o vetor tangente, vetor normal e o vetor binormal da curva de interse c ao
de duas superfcies implcitas usando o operador denotado por . Recentemente,
1
osmaralessio@yahoo.com.br
170 Alessio
Ye e Maekawa [4], forneceram as propriedades geometricas da curva de interse c ao
para os tres tipos, usando o vetor

como combina c ao linear dos vetores normais

e

como combina c ao do vetor tangente e os vetores normais. Diferentemente

dos trabalhos anteriores, pretende-se fornecer as propriedades geometricas da curva
de interse c ao de duas superfcies implcitas, usando o teorema da fun c ao implcita.
Neste trabalho, o c alculo das propriedades geometricas resume-se a resolver siste-
mas lineares de 2 equa c oes e 2 variaveis, independente da ordem da derivada, isto
e, se quisessemos calcular a derivada de ordem 5, teramos que resolver um sistema
linear de 2 equa c oes e 2 variaveis, enquanto que o metodo de Willmore elevaria a
complexidade a cada aplica c ao do operador e o metodo de Ye e Maekawa teria
complexos coecientes das combina c oes lineares dos vetores envolvidos.
2. Geometria Diferencial de Curvas
Curvas Parametrizadas pelo comprimento de arco
Seja x = x(s), y = y(s), z = z(s), ou em forma de vetor (s) = (x(s), y(s), z(s)),
a curva parametrizada pelo comprimento de arco s. Entao temos

(s) = t e

(s) = k = kn, onde t e o vetor tangente unit ario e k o vetor curvatura. Te-
mos que a curvatura e dada por k =

k k =

. A terceira derivada

(s) e obtida por diferenciar

(s) em rela c ao a s, isto e,

(s) = k

n+kn

,
onde pode-se trocar n

pela segunda equa c ao do Triedro de Frenet, produzindo

(s) = k
2
t+k

n+kb. Como os vetores t, n e b formam a base ortonormal com

a orienta c ao da m ao-direita, a tor c ao pode ser obtida por =
b

(s)
k
.
3. Superfcies Implcitas e Curvas Implcitas
Deni cao 3.1 (Superfcie Implcita). Seja f : D R
3
R uma aplica c ao
diferenci avel no aberto D. Dado k R, lembramos que o conjunto de nvel k de f
e o conjunto denido por f
1
(k) = {(x, y, z) D; f (x, y, z) = k), isto e, f
1
(k) e
o conjunto soluc ao em D da equac ao f(x, y, z) = k. Formalmente:
S = f
1
(0) = {(x, y, z) R
3
| f(x, y, z) = 0}.
Teorema 3.1 (Teor. da Fun c ao Implcita). Sejam A R
2
R um aberto, f :
A R de classe C
k
, k 1, f (x
0
, y
0
, z
0
) = 0 e
f
z
(x
0
, y
0
, z
0
) = 0. Ent ao existem
abertos U R
2
, V R com (x
0
, y
0
, z
0
) U V A R
2
R, tais que, para
todo (x, y) U, existe um unico z = z(x, y) V tal que f(x, y, z(x, y)) = 0 e
z = z(x, y) C
k
.
Teorema 3.2. Sejam f, g : A R
3
R func oes de classe C
k
, k 1, no aberto A,
p
0
= (x
0
, y
0
, z
0
) A, e f(p
0
) = c
1
e g(p
0
) = c
2
. Se
(f,g)
(y,z)
(p
0
) = 0 ent ao existem
abertos U e V tais que (x
0
, y
0
, z
0
) U V A R R
2
e tais que, para todo
x U, existe um unico (y, z) = (y(x), z(x)) V tal que
_
f
1
(x, y(x), z(x)) = c
1
f
2
(x, y(x), z(x)) = c
2
.
Geometria Diferencial de Curvas de Interse c ao 171
3.1. Representacao Implcita das Curvas
A representa c ao implcita de uma curva espacial pode ser expressa como uma curva
de interse c ao entre superfcies implcitas f = 0 g = 0. De fato, e conhecido pelo
teorema da fun c ao implcita que as equa c oes f = 0 e g = 0, podem ser resolvidas
para duas das variaveis em fun c ao da terceira. Por exemplo, se
(f,g)
(y,z)
(P
0
) = 0, para
alguma vizinhan ca de x
0
podemos resolver f = 0 g = 0 para y e z como fun c ao
de x, obtendo uma representa c ao da seguinte forma x = x, y = y(x), z = z(x) com
x sendo o par ametro. Isto dene localmente uma curva parametrica
(x) = (x, y(x), z(x)), que e solu c ao de f = 0 g = 0.
Sejam f(x, y, z) = 0 e g(x, y, z) = 0 superfcies implcitas. Vamos assumir que
estas superfcies sao todas regulares. Em outras palavras f = 0, g = 0. O
vetor normal unit ario da superfcie implcita f e dado por N
f
=
f
f
.
4. Trabalhos Existentes
Com base nas propriedades geometricas das duas superfcies regulares, f(x, y, z)
e g(x, y, z) que se intersectam, foram propostas tecnicas para estimar ou determi-
nar exatamente as propriedades locais da curva de interse c ao. As propriedades
geometricas serao calculadas somente nos pontos cuja a interse c ao das superfcies
seja transversal, isto e, os vetores normais de ambas as superfcies nao sao paralelos.
Para o caso tangencial veja Ye e Maekawa [4].
Para ilustrar melhor os resultados que virao a seguir, veja a Figura 1
f(x, y, z)
g(x, y, z)
(s)
N
f
k
f
n
N
f
k
g
n
N
g

(s)
N
g

t
Figura 1: Interse c ao Transversal
4.1. Vetor Tangente
Barnhill e Kersey [1], quando se trata de uma interse c ao transversal, a forma mais
usual para obter o vetor tangente em cada ponto P e dada pelo produto vetorial
dos vetores normais de ambas superfcies:
t =
N
f
(u, v) N
g
(p, q)
N
f
(u, v) N
g
(p, q)
. (4.1)
172 Alessio
4.2. Vetor Curvatura e Curvatura
Ye e Maekawa [4] obtiveram express oes para a curvatura tanto nos pontos regu-
lares quanto nos pontos singulares.
Para interse c oes transversais, o vetor curvatura da curva interse c ao no ponto
P e perpendicular ao vetor tangente, logo ele esta no plano formado pelos vetores
normais das duas superfcies. Assim, ele pode ser expresso como uma combina c ao
linear dos dois vetores:

(s) = N
f
+ N
g
, (4.2)
onde e sao as incognitas. A curvatura normal em P na dire c ao t e a proje c ao
do vetor

(s) sobre o vetor normal unit ario N da superfcie em P dado por

k
n
=

(s) N = n N. (4.3)
Com isso, temos
k
f
n
= + cos()
k
g
n
= cos() + , (4.4)
onde e o angulo entre os vetores normais N
f
e N
g
.
Solucionando os coecientes e pelo sistema Eq.(4.4), e substituindo-os na
Eq.(4.2), temos

=
k
f
n
k
g
n
cos
sin
2

N
f
+
k
g
n
k
f
n
cos
sin
2

N
g
, (4.5)
onde cos = N
f
N
g
.
A curvatura normal k
n
para a superfcie implcita e obtida por usar
d
2
f
ds
2
. A
proje c ao do vetor
d
2
f
ds
2
sobre o vetor normal N =
f
|f|
da superfcie, e dado por:
k
f
n
=
f
xx
(x

)
2
+ f
yy
(y

)
2
+ f
zz
(z

)
2
+ 2(f
xy
x

+ f
yz
y

+ f
xz
x

)
2
_
(f
x
)
2
+ (f
y
)
2
+ (f
z
)
2
, (4.6)
onde x

, y

e z

sao as coordenadas do vetor tangente t =

(s) dado pela Eq.(4.1).

A express ao da curvatura e dada exatamente por
=
1
| sin |
_
(k
f
n
)
2
+ (k
g
n
)
2
2k
f
n
k
g
n
cos ou =

(s) .
Willmore [2] descreve como obter a curvatura da curva de interse c ao para duas
superfcies implcitas, considerando a curva de interse c ao representada pela equa c ao
= (s), e sejam duas superfcies implcitas dadas por f((s)) = 0 e g((s)) = 0.
Como vetor tangente unit ario da curva de interse c ao e ortogonal aos vetores
normais de ambas as superfcies. Assim, se f = (
f
x
,
f
y
,
f
z
), segue que t =

(s)
e paralelo a
f g = h. (4.7)
Geometria Diferencial de Curvas de Interse c ao 173
Diz-se que

= f g. Entao x

= h
1
, y

= h
2
, z

= h
3
e

d
ds
=
_
h
1

x
+ h
2

y
+ h
3

z
_
. (4.8)

E conveniente denotar o operador( 4.8) por . Portanto

= h. (4.9)
Da deni c ao de e h segue que
t = h, (4.10)
e assim

2
= h
2
. (4.11)
Operando em (4.10) com tem-se

2
kn +

t = h. (4.12)
Aplicando o produto vetorial de (4.9) e (4.12) temos:

3
kb = h h = k, (4.13)
logo a curvatura da curva e
k =
k

3
. (4.14)
O vetor curvatura

(s) e dado por

(s) =
k

3
t =kb t. (4.15)
4.3. Torcao
Ye e Maekawa [4] obtiveram tambem express oes da tor c ao para interse c oes trans-
versais.
Como N
f
e N
g
estao no plano normal (plano gerado por n e b), os termos
k

n+kb de

(s) = k
2
t+k

n+kb pode ser trocado pela combina c ao linear

N
f
+ N
g
. Assim temos

(s) =
2
t + N
f
+ N
g
. (4.16)
Agora, se projetarmos

(s) sobre os vetores normais unit arios N

f
e N
g
em P
e denotarmos por
f
n
e
g
n
, respectivamente, temos

f
n
= + cos ()

g
n
= cos () + . (4.17)
Resolvendo o sistema linear (4.17) para os escalares , e substituindo em (4.16)
tem-se

=
2
t +

f
n

g
n
cos
sin
2

N
f
+

g
n

f
n
cos
sin
2

N
g
. (4.18)
174 Alessio
Os par ametros
f
n
e
g
n
para ambas as superfcies implcitas sao obtidos usando
d
3
f
ds
3
. A proje c ao do
d
3
f
ds
3
sobre o vetor normal N =
f
|f|
da superfcie, e dado por:

n
=
f
x
x

+ f
y
y

+ f
z
z

2
_
(f
x
)
2
+ (f
y
)
2
+ (f
z
)
2
=
F
1
+ F
2
+ F
3
2
_
(f
x
)
2
+ (f
y
)
2
+ (f
z
)
2
, (4.19)
onde
F
1
= f
xxx
(x

)
3
+ f
yyy
(y

)
3
+ f
zzz
(z

)
3
,
F
2
= 3[f
xxy
(x

)
2
y

+ f
xxz
(x

)
2
z

+ f
xyy
x

(y

)
2
+ f
yyz
(y

)
2
z

+ f
xzz
x

(z

)
2
+
f
yzz
y

(z

)
2
+ f
xyz
x

],
F
3
= 3[f
xx
x

+ f
yy
y

+ f
zz
z

+ f
xy
(x

+ x

) + f
yz
(y

+ y

)+
f
xz
(x

+ x

)],
(4.20)
onde x

, y

e z

sao dados pela Eq.(4.1) e x

, y

e z

sao dados pela Eq.(4.5).

Finalmente, a tor c ao pode ser obtida de

(s) = k
2
t+k

n+kb por
=
b

k
,
onde e a curvatura e o vetor binormal pela express ao b = t n.
Willmore [2] descreve como obter a tor c ao da curva de interse c ao para duas
superfcies implcitas.
Aplicando o operador na Eq.(4.13) temos

3
k
_

b
4
kn = k. (4.21)
Fazendo o produto escalar de (4.12) e de (4.21) temos

6
k
2
= h.k, (4.22)
logo a tor c ao e
=
h.k

6
k
2
. (4.23)
5. Metodo usando o Teorema da Fun cao Implcita
5.1. Vetor Tangente
Sem perda de generalidade, podemos assumir que a matriz jacobiana
(f,g)
(y,z)
(P
0
) = 0,
entao temos localmente uma curva parametrica (x) = (x, y (x) , z (x)) . Portanto
temos que o ponto da curva P
0
= (x
0
) satisfaz as duas rela c oes da forma
_
f (x
0
, y (x
0
) , z (x
0
)) = 0
g (x
0
, y (x
0
) , z (x
0
)) = 0
. (5.1)
Geometria Diferencial de Curvas de Interse c ao 175
Derivando as equa c oes em rela c ao a x, temos
_
f
x
+
f
y
y +
f
z
z = 0
g
x
+
g
y
y +
g
z
z = 0

_
f
y
y +
f
z
z =
f
x
g
y
y +
g
z
z =
g
x
, (5.2)
onde y =
dy
dx
e z =
dz
dx
. O vetor tangente da curva (x) no ponto (x
0
) = P
0
e dado por (x
0
) = (1, y (x
0
) , z (x
0
)). Para obter este vetor tangente, devemos
resolver o sistema (5.2).
5.2. Vetor Curvatura e Curvatura
Derivando as equa c oes dadas no sistema (5.2) em rela c ao a x, temos
_
f
y
y +
f
z
z =

2
f
xx


2
f
yy
y y

2
f
zz
z z 2

2
f
xy
y 2

2
f
xz
z 2

2
f
yz
y z
g
y
y +
g
z
z =

2
g
xx


2
g
yy
y y

2
g
zz
z z 2

2
g
xy
y 2

2
g
xz
z 2

2
g
yz
y z
(5.3)
onde y =
d
2
y
dx
2
e z =
d
2
z
dx
2
. O vetor derivada segunda da curva (x) no ponto
(x
0
) = P
0
e dado por (x
0
) = (0, y (x
0
) , z (x
0
)). A curvatura da curva no ponto
(x
0
) = P
0
e (x
0
) =
(x0) (x0)
(x0)
3
. O vetor curvatura e

(x
0
) = kn(x
0
), onde
n(x
0
) = b(x
0
) t(x
0
) e b(x
0
) =
(x0) (x0)
(x0) (x0)
.
5.3. Torcao
Derivando as equa c oes dadas no sistema (5.3) em rela c ao a x, temos
_

_
f
y
...
y
+
f
z
...
z =

3
f
xxx


3
f
yyy
( y)
3

3
f
zzz
( z)
3
3

3
f
xxy
y 3

3
f
xxz
z
3

3
f
xyy
( y)
2
3

3
f
yyz
( y)
2
z 3

3
f
xzz
( z)
2
3

3
f
yzz
y( z)
2
6

3
f
xyz
y z 3

2
f
yy
y y 3

2
f
zz
z z 3

2
f
xy
y 3

2
f
yz
( y z + y z)
3
f
xz
z
g
y
...
y
+
g
z
...
z =

3
g
xxx


3
g
yyy
( y)
3

3
g
zzz
( z)
3
3

3
g
xxy
y 3

3
g
xxz
z
3

3
g
xyy
( y)
2
3

3
g
yyz
( y)
2
z 3

3
g
xzz
( z)
2
3

3
g
yzz
y( z)
2
6

3
g
xyz
y z 3

2
g
yy
y y 3

2
g
zz
z z 3

2
g
xy
y 3

2
g
yz
( y z + y z)
3
g
xz
z
(5.4)
onde
...
y
=
d
3
y
dx
3
e
...
z =
d
3
z
dx
3
. O vetor
...
(x) no ponto (x
0
) = P
0
e dado por
...
(x
0
) = (0,
...
y
(x
0
) ,
...
z (x
0
)). A tor c ao da curva no ponto (x
0
) = P
0
e
(x
0
) =
( (x
0
) (x
0
))
...
(x
0
)
(x
0
) (x
0
)
2
.
6. Exemplo
Ser a calculado o vetor tangente, vetor curvatura, curvatura e a tor c ao no ponto
P(
1
2
,
1
2
,

2
2
) da curva de interse c ao da esfera de raio 1 com o cilindro deslocado em
176 Alessio
1
2
no eixo x e raio
1
2
, cujas equa c oes implcitas sao dadas respectivamente por:
_
f (x, y, z) = x
2
+ y
2
+ z
2
1 = 0
g (x, y, z) = x
2
+ y
2
x = 0
. (6.1)
0.0
0.5 0.25
1.0
0.5
0.25
0.0
0.5
0.5
0.0
1.0
0.75
0.25
1.0
0.5
Figura 2: Esfera X Cilindro e a Curva de Interse c ao
6.1. Metodo Ye e Maekawa
Por Barnhill e Kersey [1] o vetor tangente e dado por t =
N
f
(u, v) N
g
(p, q)
| N
f
(u, v) N
g
(p, q) |
.
No ponto P(
1
2
,
1
2
,

2
2
) temos N
f
= (
1
2
,
1
2
,

2
2
) e N
g
= (0, 1, 0). Portanto o ve-
tor tangente e t(s
0
) =
_

6
3
, 0,

3
3
_
. O vetor curvatura e dado pela Eq.(4.5)

(s)=
k
f
n
k
g
n
cos
sin
2

N
f
+
k
g
n
k
f
n
cos
sin
2

N
g
, e a express ao da curvatura e dada exata-
mente por =
1
|sin |
_
(k
f
n
)
2
+ (k
g
n
)
2
2k
f
n
k
g
n
cos .
Agora precisamos calcular as duas curvaturas normais k
f
n
e k
g
n
e os angulos cos
e sin em P. Para calcular k
f
n
e k
g
n
usamos a Eq.(4.6). No ponto P(
1
2
,
1
2
,

2
2
)
temos: k
f
n
= 1, k
g
n
=
4
3
, cos =
1
2
e sin =

3
2
. Portanto o vetor curvatura e

(s
0
) =
_

2
9
,
4
3
,
2

2
9
_
e a curvatura e =
2
3
_
13
3
.
O vetor

e dado pela Eq.(4.18)

=
2
t +

f
n

g
n
cos
sin
2

N
f
+

g
n

f
n
cos
sin
2

N
g
e a express ao da tor c ao e dada por =
b

k
. Os par ametros
f
n
e
g
n
sao dados
pela Eq.(4.19). No ponto P(
1
2
,
1
2
,

2
2
) temos:
f
n
= 0,
g
n
=
4

6
9
.
Portanto

(s
0
) = (
40

6
81
,
4

6
9
,
76

3
81
). Para calcular a tor c ao precisamos encon-
trar o vetor binormal b, mas antes devemos encontrar o vetor n, isto e,
n =
k
k
=
_

1
3
_
3
13
, 2
_
3
13
,
1
3
_
6
13
_
e b = t n =
_
2

13
13
,

13
13
,
2

26
13
_
. Entao a
tor cao e =
b

k
=
6

2
13
.
6.2. Metodo Willmore
Agora o vetor tangente unit ario e calculado usando as Eqs.(4.7),(4.10) e (4.11).
Geometria Diferencial de Curvas de Interse c ao 177
A Eq.(4.7) e dada por h = f g = (4yz, 4xz 2z, 2y), pois f =
(2x, 2y, 2z) e g = (2x 1, 2y, 0). No ponto P(
1
2
,
1
2
,

2
2
), temos f =
_
1, 1,

2
_
e
g = (0, 1, 0) . Portanto h(P
0
) =
_

2, 0, 1
_
. Da Eq.(4.10) temos t = (

2, 0, 1),
consequentemente x

2, y

= 0, z

= 1. Da Eq.(4.11) tem-se
2
= h
2
=
3 = =

3. Obtendo o vetor tangente t =

_

6
3
, 0,

3
3
_
.
Escolhendo t =
_

6
3
, 0,

3
3
_
=

3. Usando o operador em h temos:

h = ((h
1

x
+h
2

y
+h
3

z
)(4yz), (h
1

x
+h
2

y
+h
3

z
)(4xz2z), (h
1

x
+h
2

y
+
h
3

z
)(2y)) = (4zh
2
4yh
3
, 4zh
1
+(4x2)h
3
, 2h
2
), como x

= h
1
, y

= h
2
, z

=
h
3
, tem-se h = (4y

z 4yz

, 4x

z +4xz

2z

, 2y

). Usando as coordenadas do
ponto P(
1
2
,
1
2
,

2
2
) e do vetor tangente, h(P
0
) = (2, 4, 0) . Aplicando o produto
vetorial de h(P
0
) e h(P
0
) temos: k = h(P
0
) h(P
0
) = (4, 2, 4

2), entao a
curvatura da curva e k =
k

3
=
2

13
3

3
=
2
3
_
13
3
. O vetor curvatura

(s) e dado
pela Eq.(4.15)

(s) =
_

2
9
,
4
3
,
2

2
9
_
.
Fazendo o produto vetorial de h por h temos k = hh = (-4yz,4xz-2z,2y)
(4y

z 4yz

, 4x

z + 4xz

2z

, 2y

)
Usando o operador em k temos: k = h
2
h = (4yz, 4xz 2z, 2y)
4
2
(y

z 2y

yz

, x

z + 2x

+ xz

1
2
z

,
1
2
y

)
Substituindo as coordenadas do ponto P(
1
2
,
1
2
,

2
2
), do vetor tangente, e do
vetor curvatura, temos k =
_
28

2
3
,
4

2
3
,
56
3
_
.
Pela Eq.(4.23), a tor cao e o produto escalar de h por k dividido por
6
k
2
,
logo temos =
h.k

6
k
2
=
6

2
13
.
6.3. Metodo Funcao Implcita
Escolhendo x como par ametro, pois det
_
f
y
f
z
g
y
g
z
_
= 0 no ponto P(
1
2
,
1
2
,

2
2
), o
sistema (5.2) torna-se
_
2y y + 2z z = 2x
2y y = 2x + 1
. Substituindo x =
1
2
, y =
1
2
e z =

2
2
,
temos
_
y +

2 z = 1
y = 1 + 1

_
z =

2
2
y = 0.
O vetor e (
1
2
) = (1, 0,

2
2
). O vetor tangente unitario na dire c ao
contraria de e t(
1
2
) =
_

6
3
, 0,

3
3
_
.
O sistema (5.3) torna-se
_
2y y + 2z z = 2 2 y y 2 z z
2y y = 2 2 y y.
Substituindo x =
1
2
, y =
1
2
, z =

2
2
, x = 1, y = 0, z =

2
2
, tem-se
_
z =

2
2
y = 2.
Logo o vetor
derivada segunda e (
1
2
) =
_
0, 2,

2
2
_
.
A curvatura e (u) =
(u) (u)
(u)
3
=
2
3
_
13
3
.
178 Alessio
O vetor curvatura e

(x
0
) = kn(x
0
), onde n(x
0
) = b(x
0
) t(x
0
) e b(x
0
) =
(x0) (x0)
(x0) (x0)
.
Temos b(x
0
) = (
2

13
13
,

13
13
,
4

26
26
), n(x
0
) = (

39
39
,
2

39
13
,

78
39
) e

(x
0
) =
2
3
_
13
3
(

39
39
,
2

39
13
,

78
39
).
O vetor curvatura e

(x
0
) =
_

2
9
,
4
3
,
2

2
9
_
.
O sistema (??) torna-se
_
2y
...
y
+ 2z
...
z = 4 y y 2 y y 4 z z 2 z z
2y
...
y
= 4 y y 2 y y
. Substituin-
do x =
1
2
, y =
1
2
, z =

2
2
, x = 1, y = 0, z =

2
2
, x = 0, y = 2, z =

2
2
, temos
_
...
y
+

2
...
z = 2 1
...
y
= 0

_
...
z =
3

2
2
...
y
= 0
. Logo o vetor terceira derivada e
...
(
1
2
) = (0, 0,
3

2
2
).
A tor cao e (u) =
( (u) (u))
...

(u) (u)
2
=
6

2
13
.
Abstract. We present a method for computing the dierential geometry proper-
ties of the intersection curve of two implicit surfaces, using the Implicit Function
Theorem.
Referencias
[1] R.E. Barnhill, S.N. Kersey, A marching method for parametric surface/surface
intersection, Computer Aided Geometric Design, 7, No. 1-4, (1990), 257-280.
[2] T.J. Willmore, An Introduction to Dierential Geometry. Clarendon Press,
Oxford, 1959.
[3] S.T. Wu, O. Alessio, S.I.R. Costa, On estimating local geometric properties of
intersection curves. In Proceedings of SIBGRAPI 2000, pp. 152-159, 2000.
[4] X. Ye, T. Maekawa, Dierential geometry of intersection curves of two surfaces,
Computer Aided Geometric Design, 16 (1999), 767-788.