Felipe Acker: o Teorema Fundamental Da Álgebra e Uma Pequena Introdução Às Formas Diferenciais

1
Felipe Acker
o Teorema Fundamental da lgebra

e uma pequena introduo s formas diferenciais
P
2
copyright
c 2012 by Felipe Acker
Sumrio
Prefcio i
1 Equaes polinomiais 1
a A frmula de del Ferro-Tartaglia . . . . . . . . . . . . . . . . . 2
b A frmula de Ferrari . . . . . . . . . . . . . . . . . . . . . . . 3
c Problemas inerentes soluo de del Ferro-Tartaglia . . . . . . 5
d A inveno dos nmeros complexos . . . . . . . . . . . . . . . 7
e De Ferrari a Galois . . . . . . . . . . . . . . . . . . . . . . . . 8
2 O Teorema Fundamental da lgebra 11

a Os complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
b Os quatrnions . . . . . . . . . . . . . . . . . . . . . . . . . . 14
c O produto escalar e o produto vetorial . . . . . . . . . . . . . 15
d Interpretao geomtrica do produto vetorial . . . . . . . . . . 17
e O Teorema Fundamental da lgebra . . . . . . . . . . . . . . 21
3 A forma de variao de ngulo e o nmero de voltas 29

a A forma de variao de ngulo . . . . . . . . . . . . . . . . . . 29
b A continuidade da variao de ngulo . . . . . . . . . . . . . . 33
c O nmero de voltas . . . . . . . . . . . . . . . . . . . . . . . . 37
d Demonstrao erudita do Teorema Fundamental da lgebra . 39
e Extra: o Teorema de ponto xo de Brouwer . . . . . . . . . . 41
4 Integrais de linha 45
a A variao de ngulo, de novo . . . . . . . . . . . . . . . . . . 45
b O trabalho . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
c A variao da energia cintica . . . . . . . . . . . . . . . . . . 48
d Recuperando uma funo a partir da derivada . . . . . . . . . 50
3
4 SUMRIO
e A integral de linha . . . . . . . . . . . . . . . . . . . . . . . . 52
f Independncia de caminho . . . . . . . . . . . . . . . . . . . . 54
g A derivada e o Teorema Fundamental do Clculo . . . . . . . 57
5 Integrais de superfcie 63
a Medindo reas . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
b Medindo outras coisas . . . . . . . . . . . . . . . . . . . . . . 68
c O ngulo slido . . . . . . . . . . . . . . . . . . . . . . . . . . 70
d Fluxo de um campo de vetores . . . . . . . . . . . . . . . . . . 75
e A nova derivada . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6 Os Teoremas de Kelvin e de Green 83

a Os objetos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
b Os integrandos . . . . . . . . . . . . . . . . . . . . . . . . . . 86
c Um pouco mais sobre as 2-formas . . . . . . . . . . . . . . . . 88
d O Teorema de Kelvin . . . . . . . . . . . . . . . . . . . . . . . 90
7 Dois Teoremas 95
a A variao de ngulo, de novo . . . . . . . . . . . . . . . . . . 95
b Formas exatas . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
ndice Remissivo 99
Prefcio
Estas notas foram escritas, parte delas aproveitando trechos e guras de

outros textos do prprio autor, em menos de duas semanas. A pressa foi
motivada pela vontade de ter um texto para o minicursoEQUAES
POLINOMIAIS: ANLISE, GEOMETRIA E TOPOLOGIA que
me propus a ministrar na IV Encontro dos Estudantes de Matemtica
da UFPA.
O texto acabou incluindo um pouco mais do que o material do curso (que
corresponde aos trs captulos iniciais, acompanhados do software TFA), re-
sultando em uma pequena introduo s formas diferenciais. Acredito que,
no m das contas, represente uma introduo razovel, seno ao tema do
curso, algo ambicioso, mas a algumas ideias bsicas da Anlise Vetorial e da
Topologia. Na abordagem, evitei ao mximo a linguagem clssica da Anlise
Vetorial, preferindo apresentar os conceitos de forma diferencial e derivada
exterior.
Agradeo Professora Cristina Vaz e organizao da IV EEMUFPA o am-

vel convite para ministrar o minicurso. Espero que o empenho em produzir
este livrinho seja uma boa medida de meu apreo pelo evento.
Santa Teresa, madrugada de 24 de outubro de 2012
Felipe Acker
[email protected]
i
ii SUMRIO
Captulo 1
Equaes polinomiais
O processo de resoluo de equaes polinomiais do 3o grau um interes-

sante captulo da histria da Matemtica. Embora as frmulas envolvidas
no tenham, aos olhos de hoje, nada de sensacional, o feito, em pleno Re-
nascimento italiano, representa um signicativo triunfo: num momento em
que nfase era dada ao retorno aos conhecimentos da antiguidade, os novos
sbios europeus podiam enm apresentar algo que escapara a seus anteces-
sores. De fato, no se tem registro de que algum, antes de Scipione del
Ferro (6.II.1465-5.XI.1526), professor da Universidade de Bolonha a partir
de 1496, tivesse sido capaz de resolver equaes polinomiais gerais de grau
superior a 2.
Scipione del Ferro quase levou para o tmulo o processo de que sempre guar-
dou segredo, mas, em seu leito de morte, revelou-o a um discpulo no muito
brilhante, Antonio Maria Fior. Tempos depois, a notcia de que existia uma
o
frmula para resolver equaes do 3 grau instiga Niccolo Tartaglia (1500-
1557), que, por sua vez, obtm de forma independente a soluo. A rivalidade
Fior-Tartaglia culmina em um duelo matemtico (1535), em que cada um dos
dois prope ao outro 30 problemas. A vitria de Tartaglia acachapante:
30 0.
Girolamo Cardano (1501-
A fama de Tartaglia corre a Itlia...Em 1539,
1576), em companhia de seu assistente Ludovico Ferrari (1522-1560), con-
vence-o a ensinar-lhes o mtodo. Tartaglia, porm, exige que os dois ju-
rem, sobre relquias sagradas, jamais revelar o segredo. Pouco tempo de-
pois (1540), Ferrari obtm a frmula da resoluo das equaes do 4o grau.
Ocorre, porm, que o mtodo de Ferrari passa pela reduo a uma equao
1
2 CAPTULO 1. EQUAES POLINOMIAIS
do 3o grau; impedidos pelo juramento sagrado, Cardano e Ferrari no teriam,

pois, como divulgar a novidade. Mas uma nova informao vai permitir que
o faam, sem terem que pagar o preo do fogo eterno.
Cardano e Ferrari cam sabendo que Scipione del Ferro deixara, em poder
de seu genro Annibale della Nave, anotaes que poderiam conter o mtodo
o
de resoluo das equaes do 3 grau. Bons de conversa, visitam della Nave,
que concorda em mostrar-lhes os manuscritos do sogro; esses, de fato, contm
o que buscavam. Considerando que, a partir da, obtivera a frmula de del
Ferro diretamente da fonte e sem nada jurar, Cardano se sente livre para
publicar, em seu livro Ars Magna, tanto a frmula de del Ferro-Tartaglia
como a de Ferrari (que, durante muito tempo, foram conhecidas como as
frmulas de Cardano).1
a A frmula de del Ferro-Tartaglia

Apresentamos a seguir, sem a preocupao de reproduzir o Ars Magna, um
o 2
mtodo de resoluo das equaes do 3 grau. Comecemos com a equao
x3 + ax2 + bx + c = 0.
Uma primeira substituio,
a
x=y ,
3
elimina o termo de 2o grau, conduzindo a uma equao da forma
y 3 + py + q = 0.
1 Podeparecer exagerado o zelo de Cardano e Ferrari em manter o juramento feito
a Tartaglia, que sequer tinha fama de bom moo. Ainda mais se levarmos em conta a
desenvoltura com que juras de amor eterno, feitas diante de um padre na prpria casa de
Deus, so deixadas para trs nos dias de hoje. Mas so outros tempos...no sculo XVI,
quem quebrasse um tal juramento tinha a certeza de ir para o inferno
2 Sinalizemos que nossos heris se beneciaram dos mtodos algbricos desenvolvidos
pelos rabes (a entendidos todos os povos sob domnio rabe durante a Idade Mdia), que
chegaram Europa a partir do sculo XII. Tambm h registro de manuscritos orentinos
que, um sculo antes de del Ferro, j apresentavam a reduo da equao do 3o grau a
uma outra, equivalente, sem termo de 2o grau
B. A FRMULA DE FERRARI 3
Exerccio: Faa a substituio e as contas.
3
Uma segunda substituio, menos evidente,
p
y=w ,
3w
conduz a
p3
(w3 )2 + qw3 = 0.
27
Exerccio: Faa a substituio e as contas.
Resolvendo essa ltima, encontramos dois valores para w3 , que nos do, cada
um, trs valores (complexos) para w; esses seis valores de w devem agora ser
substitudos em
p
y=w ,
3w
para, de posse dos correspondentes y, obtermos os valores de x por meio de
a
x=y .
3
Exerccio: Mostre que os seis valores de w se agrupam em trs pares, cada

par produzindo um nico valor para y.
b A frmula de Ferrari
Partindo da equao
x4 + ax3 + bx2 + cx + d = 0,
chegamos, fazendo a substituio
b
x=z ,
4
3 conhecida como substituio de Vieta
a uma equao da forma
z 4 + pz 2 + qz + r = 0.
Nossa equao equivalente, para qualquer u, a
u2 u2
z4 + z2u + z2u + pz 2 + qz + r = 0,
4 4
ou seja,
2

2 u 2 2 u
z + (u p)z qz + r = 0.
2 4
Ora,
u2

2
(u p)z qz + r
4
ser um quadrado perfeito, se
u2

2
q 4(u p) r = 0.
4
Como se trata de uma equao do terceiro grau, podemos, usando o mtodo

que acabamos de aprender, achar um tal u (se os coecientes da equao
original forem todos reais, podemos, inclusive, escolher u real). Assim, nossa
equao se torna, obtido um tal u (que s depende de p, q e r),
2

2 u 2 q
z + up z = 0,
2 up
cujas razes so as das duas equaes:
u q
z2 + + up z =0
2 up
e
u q
z2 + up z+ = 0.
2 up
C. PROBLEMAS INERENTES SOLUO DE DEL FERRO-TARTAGLIA5
c Problemas inerentes soluo de del Ferro-

Tartaglia
Se a deduo da frmula no ocupa mais do que uma pgina, as diculdades
associadas a sua aplicao, ao tempo de del Ferro e Tartaglia, so imensas.
quela poca no existiam sequer os nmeros negativos; muito menos os
complexos. Para dar uma primeira noo dos problemas a que a aplicao
do mtodo acima poderia conduzir, no sculo XVI, partamos de uma equao
o
do 3 grau com trs razes reais, distintas e positivas, algo assim como (x
1)(x 2)(x 3) = 0. Como nossa primeira substituio uma simples
translao, a cada valor de x corresponde um nico y, e vice-versa. Desta
forma, a nova equao,
y 3 + py + q = 0,
ter, igualmente, trs razes reais distintas. Notemos, porm, que, sendo o
coeciente do termo do segundo grau nulo e igual a menos soma das razes,
teremos, agora, necessariamente, pelo menos uma raiz negativa.
Exerccio: Mostre que o coeciente do termo de segundo grau do polinmio

(x a)(x b)(x c) (a + b + c).
Mas esse apenas um probleminha, perto do que ainda vem...
Examinemos a funo f (y) = y 3 + py + q e vejamos sob que condies suas

razes so reais e distintas. Ora, como
lim f (y) = e lim f (y) = +,

y y+
precisaremos que o grco de f, vindo de , suba at um valor mximo

local positivo e, em seguida, desa at um valor mnimo local negativo, antes
de voltar a crescer at +. Calculando a derivada, temos
f 0 (y) = 3y 2 + p,
com zeros em
r
p
.
3
Precisamos, pois, que p seja negativo4 . Para que o mximo local seja positivo,
preciso que
r !
p
f > 0.
3
Para que o mnimo local seja negativo, por outro lado, a condio
r !
p
f < 0.
3
A primeira desigualdade nos conduz a
r
2p p
< q;
3 3
a segunda, a
r
2p p
q> .
3 3
Isso equivale a
4p3 + 27q2 < 0.
Assim, se a equao original,
x3 + ax2 + bx + c = 0,
tiver trs razes reais distintas (que podemos at supor positivas), teremos,
aps a primeira substituio, uma equao da forma
y 3 + py + q = 0,
com
4p3 + 27q2 < 0.

4 mais um probleminha, mas basta passar o termo py para o outro lado da equao
D. A INVENO DOS NMEROS COMPLEXOS 7
A segunda substituio nos conduz equao
p3
(w3 )2 + qw3 = 0.
27
Para podermos resolv-la sem passar pelos nmeros complexos (que no in-
tegravam o universo de del Ferro e Tartaglia), seria preciso que
4p3 + 27q2 0.
Ora, pelo que acabamos de ver, isso jamais ocorrer, se a equao original
tem trs razes reais distintas.
d A inveno dos nmeros complexos

Embora o Ars Magna j mencione a possibilidade de levar adiante os clculos,
mesmo que a soluo da bicbica conduza raiz quadrada de um nmero
negativo, quem vai efetivamente escrever o ltimo captulo dessa histria
italiana Raaele Bombelli. Bombelli (1526-1572) publica sua Algebra
(1572), em que, pela primeira vez, aparecem nmeros negativos, com a regra
dos sinais, e as operaes com nmeros complexos (adio, subtrao e
multiplicao), um embrio de notao algbrica sucinta e a utilizao dos
o
complexos na soluo de equaes do 3 grau.
Com a possibilidade de operar com nmeros negativos e com nmeros cor-

respondentes a razes quadradas de nmeros negativos (que Descartes, em
1637, chamar de imaginrios), as diculdades que apresentamos na seo
anterior podem, nalmente, ser ultrapassadas.
Assim, em um primeiro momento, a razo para operar com nmeros da forma

a + b 1 era apenas possibilitar a concluso dos clculos que conduziriam,
nos casos bons, o
a solues reais para as equaes do 3 grau: as razes qua-
dradas de nmeros negativos, no m das contas, se cancelavam, de forma que
os rastros dos nmeros imaginrios utilizados eram apagados. Logo, porm,
as propriedades dos complexos foram desenvolvidas e se comea a perceber
que faz sentido, pelo menos de um ponto de vista puramente algbrico, fa-
lar em razes complexas para polinmios que, outrora, levavam a equaes
dadas como sem soluo. Em 1629, Albert Girard j apresenta o primeiro
enunciado do Teorema Fundamental da lgebra, consolidando a ideia

de que todo polinmio de grau n tem direito a suas n razes: se no h n
reais, as faltantes devem ser buscadas entre os complexos.
A concepo que hoje temos dos complexos, porm, no vem pronta com
Bombelli. A primeira tentativa conhecida de lhes dar uma interpretao
geomtrica feita por Wallis, apenas em 1673, mas a identicao entre CI e
os pontos de um plano vai esperar muito mais: em 1799 Wessel publica um
trabalho em que essa viso aparece. A divulgao, porm, lenta; outros,
entre os quais Gauss e Hamilton, trabalham, de forma independente, com
as mesmas ideias, de forma que, apenas nos anos 1830, a identicao entre
Euler
CI e IR2 se torna, de fato, corrente. O smbolo i foi introduzido por
em 1777; a expresso nmeros complexos usada pela primeira vez por
Gauss, em 1831.
e De Ferrari a Galois
Encontrados mtodos para a resoluo, por radicais, das equaes do ter-
ceiro e do quarto graus, a bola da vez passou a ser a equao do quinto
grau. Muita gua rolou por baixo da ponte, passaram-se quase 300 anos. Os
italianos ainda deram contribuies importantes: em 1770, Lagrange (Giu-
seppe Lodovico Lagrangia,1736-1813) chama a ateno para o fato de que as
solues das equaes de grau inferior ao quinto envolvem um truque com
permutaes das razes, que no funciona nas do quinto grau; em 1799, Paolo
Runi (1765-1822) arma a impossibilidade.
Teorema de Runi: No possvel, em geral, resolver por radicais as

equaes do quinto grau.
A prova de Runi no convincente; considera-se que o primeiro a, de fato,

provar a impossibilidade foi o noruegus Niels Henrik Abel (1802-1829), em
1824.
Mas o trabalho mais espetacular o do francs variste Galois (1811-1832).

Morto em um duelo aos 20 anos, Galois deixou um testamento matemtico
que s vai ser reconhecido mais de dez anos depois. Resumidamente, o tra-
balho de Galois mostra que se pode associar, a cada polinmio, um grupo de
permutaes (de suas razes), chamado grupo de Galois do polinmio em
E. DE FERRARI A GALOIS 9
questo. O polinmio ter solues por radicais se, e somente se, seu grupo
de Galois for solvel (sem entrar em detalhes: se G o grupo de Galois
do polinmio p, p ter soluo por radicais se e s se houver uma cadeia
G = G0 . G1 . . . . . Gn = I , sendo I o grupo trivial, e cada Gj subgrupo
normal de Gj1 , com Gj1 /Gj cclico). O Teorema de Runi decorre, ento,
do fato que existem polinmios, a partir do quinto grau, cujos grupos de
Galois no so solveis.
Em uma linha completamente diferente, Isaac Newton (1642-1727), apresenta

um mtodo iterativo para o clculo aproximado das razes de polinmios de
qualquer grau (a convergncia do mtodo, porm, depende de uma boa esco-
lha do chute inicial). A ideia de Newton extremamente simples. Considere
o polinmio
p(x) = an xn + an1 xn1 + . . . + a0
e chute uma raiz aproximada inicial x0 . A raiz verdadeira x0 +h; substituindo-

a na equao, temos
0 = p(x0 + h) = p(x0 ) + nan1 h + O(h2 ) = p(x0 ) + p0 (x0 )h + O(h2 ),
representando por O(h2 ) os termos que envolvem potncias de h superior

primeira. A ideia que, se x0 uma boa aproximao, ento h pequeno, e
O(h2 ) desprezvel. Podemos, ento, tomar h1 como soluo de
p(x0 ) + p0 (x0 )h = 0,
o que nos d um novo chute,
p(x0 )
x1 = x0 + h1 = x0 .
p0 (x0 )
Reiterando repetidas vezes, com a frmula
p(xn )
xn+1 = xn ,
p0 (xn )
podemos esperar que
lim xn = x,
n
com p(x) = 0.
Newton no tinha computadores...ns temos. Ainda hoje, o mtodo de New-

ton a base para boa parte dos processos de clculo aproximado de razes
das mais variadas equaes (anal, trocando em midos, o mtodo utiliza
0
a aproximao linear de p(x + h) por p(x) + p (x)h, ou seja, o processo de
diferenciao).
Exerccio: Faa um desenho mostrando que o mtodo consiste em aproximar

p(x) por p(x0 ) + p0 (x0 )(x x0 ).
n
Exerccio: Sejam a > 1, n > 1 e p(x) = x a. Mostre que, para qualquer
x0 > a, o mtodo converge.
Captulo 2
O Teorema Fundamental da
lgebra
a Os complexos
Como j vimos, os nmeros complexos surgem, no sculo XVI, como um ar-
o
tifcio de clculo, no processo de soluo de equaes do 3 grau. Expresses

do tipo "a b", com a e b reais, b negativo, eram aceitas no meio das contas,
inicialmente, apenas porque conduziam, eventualmente, a solues dadas por
nmeros de verdade. Neste sentido, a expresso nmero imaginrio, desig-
nando razes quadradas de nmeros negativos, bastante coerente. Apenas
na virada do sculo XVIII para o XIX se chega a uma interpretao geo-
mtrica dos nmeros complexos e de suas operaes. O irlands William
Hamilton, embora no tenha sido o primeiro na geometrizao dos comple-
xos, d, em 1833, uma denio radical. At ento, os nmeros complexos
eram vistos como entidades da forma a + bi, com a e b reais e i um "nmero
2
imaginrio", tal que i = 1. O nmero a chamado de parte real e o
nmero b de parte imaginria. A adio e multiplicao so denidas por:
(a + bi) + (c + di) = (a + c) + (b + d)i
(a + bi)(c + di) = (ac bd) + (ad + bc)i.
Embora outros j tivessem proposto a interpretao do nmero complexo

x + yi como um ponto do plano, Hamilton adota o ponto de vista de denir
2
diretamente, em IR , as operaes de adio e multiplicao por:
11
12 CAPTULO 2. O TEOREMA FUNDAMENTAL DA LGEBRA
(a, b) + (c, d) = (a + c, b + d)
(a, b)(c, d) = (ac bd, ad + bc).

Exerccio: Veja se entendeu. Mostre que, com a notao tradicional, 0+
0i neutro para a adio; na notao de Hamilton, o neutro (0,0). Na
notao tradicional, convenciona-se que a + 0i notado por a e que 0 + bi,
se b 6= 0, notado por bi. Compreenda que se pode passar da denio
de Hamilton tradicional, facilmente, observando que (a, b) = (a, 0) + (0, b)
e convencionando que (a, 0) ser notado por a e (0, b) por bi, se b 6= 0.
Temos, naturalmente, que (1,0)=1 e (0, 1) = i. Os nmeros da forma (a, 0)
correspondem aos reais.
A interpretao dos complexos como elementos de IR2 nos permite tom-los,

conforme nossa convenincia, ora como pontos, ora como vetores do plano
(note que a adio de complexos corresponde de vetores e que podemos
multiplic-los, como os vetores, por nmeros reais: t(x + yi) = (t, 0)(x, y) =
(tx, ty) = tx + tyi). Mas a grande novidade, o que distingue os complexos de
meros vetores, claro, a possibilidade de multiplic-los. O exerccio a seguir
incontornvel.
Exerccio: Sejam (a, b) e (x, y) nmeros complexos. Observe que o produto

(a, b)(x, y) = (ax by, ay + bx) corresponde multiplicao do vetor (x, y)
pela matriz

a b
,
b a
ou seja,

a b x ax by
= .
b a y bx + ay
Feito o exerccio, resta observar que
!
a b

a b x a2 +b2 a2 +b2 x
= a2 + b2 b a
.
b a y a2 +b2 a2 +b2
y
Ora, a matriz
A. OS COMPLEXOS 13
!
a b
a2 +b2 a2 +b2
b a
a2 +b2 a2 +b2
corresponde rotao do ngulo formado pelo vetor (a, b) com o eixo ho-
rizontal (no sentido trigonomtrico, do eixo para o vetor); o nmero r =
a2 + b2 exatamente a norma do vetor (a, b) (neste caso, dizemos tambm

que r o mdulo do nmero complexo a + bi). Assim, multiplicar x + yi
por a + bi corresponde a rodar (x, y) de e multiplicar o resultado por r.
Denio: Dado o par ordenado (a, b) de nmeros reais, com (a, b) 6= (0, 0),
o par (r, ), com
a = r cos
b = r sin ,
dito uma representao de (a, b) em coordenadas polares. Costuma-se
dizer, embora esteja denido apenas a menos de um mltiplo inteiro de 2 ,
que r e so "as coordenadas polares" de (a, b).
Exerccio: Suponha que os nmeros complexos z1 e z2 sejam dados por z1 =

(r1 cos 1 , r1 sin 1 ) e z2 = (r2 cos 2 , r2 sin 2 ). Mostre, efetuando diretamente
a multiplicao e usando as relaes
cos(1 + 2 ) = cos 1 cos 2 sin 1 sin 2 ,
sin(1 + 2 ) = sin 1 cos 2 + cos 1 sin 2 ,
que z1 z2 = (r1 r2 cos(1 + 2 ), r1 r2 sin(1 + 2 )). Ou seja: o produto de dois

nmeros complexos o nmero complexo obtido multiplicando os mdulos e
somando os ngulos.
Uma outra maneira de entender as coordenadas polares dizer que todo

nmero complexo z 6= 0 pode ser escrito como
z
z = |z|u, u = .
|z|
Exerccio: Sejam z um nmero complexo no nulo e n um nmero natural

(tambm no nulo). Mostre, escrevendo z em coordenadas polares, que exis-
n
tem exatamente n nmeros complexos, w1 , . . . , wn tais que wj = z . Mostre
que esses nmeros, ditos razes ensimas de z , esto sobre os vrtices de
um polgono regular de centro em 0.
Exerccio: Seja um nmero complexo tal que |u| = 1. Escrevendo u =

u
(cos , sin ), determine os para os quais {un , n ZZ} nito. Mostre que,
n
para os demais valores de , o conjunto {u , n Z Z} denso no crculo
unitrio (isto , para todo z com |z| = 1 e para todo >0 existe n ZZ tal
n
que |u z| < ).
Exerccio: Observe que, se n um inteiro positivo e c o crculo denido por

n n
|z| = r, ento a imagem de c pela aplicao z 7 z o crculo de raio r
percorrido n vezes.
Exerccio: Considere o polinmio p(z) = z n + an1 z n1 + . . . + a0 , com n > 0.

Mostre que, para todo > 0, existe r0 tal que, se r > r0 , ento
1
|z| = r |p(z) z n | < .
|z n |
Note que isto signica que, se quisermos representar na tela de um compu-
n
tador, simultaneamente, as imagens do crculo |z| = r por z 7 z e por
z 7 p(z), teremos, para r sucientemente grande, imagens coincidentes.
b Os quatrnions
Como vimos, apenas na virada do sculo XVIII para o XIX que os nmeros
complexos passam a ser identicados com pontos do plano e interpretados
geometricamente. Um dos maiores entusiastas da identicao de C I com
2
IR foi o matemtico e fsico irlands William Rowan Hamilton (Hamilton
I e IR2 em 1833). Sua obsesso,
publicou sua verso da identicao entre C
naturalmente, j que IR se identica reta eCI ao plano, passou a ser estender
os nmeros complexos a um conjunto numrico que pudesse ser identicado
3 1
ao espao IR (o que, na verdade, impossvel). Em 1843, nalmente,
1 Embora
o primeiro trabalho com a interpretao geomtrica dos nmeros complexos,
devido a Caspar Wessel, tenha sido publicado em 1799 e j abordasse a questo de obter
algo semelhante para o espao, a ideia s pegou depois que Gauss publicou a sua verso,
em 1831. Gauss, na verdade, j tinha a verso geomtrica de CI desde 1799 e, tambm
C. O PRODUTO ESCALAR E O PRODUTO VETORIAL 15
durante uma caminhada com sua senhora, Hamilton, subitamente,teve a ideia

de passar diretamente para um espao de dimenso 4.
Hamilton introduziu dois novos nmeros, j e k, i. Os

rplicas do imaginrio
quatrnions surgem, ento, como combinaes lineares dos nmeros 1, i, j
e k , ou seja, so nmeros da forma
t + xi + yj + zk,
com t, x, y e z reais. Hamilton utilizava, originalmente, a letra w no lugar de
t. Usar t, porm, no trai a memria do irlands, que j em 1828, publicara
um trabalho em que falava da indissocivel conexo entre espao e tempo.
c O produto escalar e o produto vetorial

A adio de quatrnions se faz da maneira mais natural:
(t1 + x1 i + y1 j + z1 k) + (t2 + x2 i + y2 j + z2 k) =
= (t1 + t2 ) + (x1 + x2 )i + (y1 + y2 )j + (z1 + z2 )k.
J a multiplicao, associativa e distributiva em relao adio, ca denida

pela frmula que, entusiasmado, o prprio Hamilton gravou com o canivete
2
em uma pedra da Brougham Bridge no instante seguinte descoberta:
i2 = j 2 = k 2 = ijk = 1.
Exerccio: Deduza, da frmula acima, que
ij = k = ji, jk = i = kj, ki = j = ik.

tentara achar entidades numricas que correspondessem ao espao. O mesmo haviam feito
Argand, em 1806, e Mourey, em 1828. Ao que tudo indica, nenhum sabia dos trabalhos
dos demais, nem mesmo Hamilton, que s tomou conhecimento do trabalho de Gauss em
1852. Mas a ideia estava no ar...
2 Esta histria foi relatada pelo prprio Hamilton, anos depois, em uma carta a seu lho
Archibald
Assim, a multiplicao de quatrnions no comutativa (propor nmeros

com multiplicao no comutativa, para a poca, era uma ousadia).
Os quatrnions tiveram, como subproduto, um papel decisivo na consolidao

da ideia de vetor: de fato, o prprio Hamilton introduz os termos escalar e
vetor para designar, respectivamente, a parte real (t) e a parte imaginria
(xi + yj + zk ) de um quatrnion (observe que, para todos os efeitos, os
quatrnions i, j e k correspondem aos vetores e~1 , e~2 e e~3 , que compem a
base cannica do espao V ). Isso tem consequncias interessantssimas. Se
multiplicarmos quatrnions sem parte escalar, ou seja, dois vetores, x1 i +
y1 j + z1 k e x2 i + y2 j + z2 k , obtemos (faa as contas):
(x1 x2 + y1 y2 + z1 z2 ) + (y1 z2 z1 y2 )i + (z1 x2 x1 z2 )j + (x1 y2 y1 x2 )k.
Ou seja, o produto (como quatrnions) de dois vetores um quatrnion que

tem uma parte escalar:
(x1 x2 + y1 y2 + z1 z2 )
e uma parte vetorial:
(y1 z2 z1 y2 )i + (z1 x2 x1 z2 )j + (x1 y2 y1 x2 )k.
A primeira resulta ter, como j sabemos, uma importante interpretao ge-

omtrica, pois, a menos do sinal, o bem conhecido produto escalar.3
Ocupemo-nos da segunda, que recebe, naturalmente, o nome de produto
vetorial.
Denio: Dados os vetores ~u = x1 e~1 + y1 e~2 + z1 e~3 e ~v = x2 e~1 + y2 e~2 + z2 e~3 ,
seu produto vetorial, designado por ~ u ~v ou por ~u ~v , denido por
~u ~v = (y1 z2 z1 y2 )e~1 + (z1 x2 x1 z2 )e~2 + (x1 y2 y1 x2 )e~3 .

3 No
deixa de ser admirvel o fato de que este produto, to geomtrico, tenha nascido
de devaneios puramente algbricos. Mais admirvel ainda o fato de que, em se tratando
de histria do produto escalar, ainda no contamos, nem vamos contar neste texto, da
missa a metade
D. INTERPRETAO GEOMTRICA DO PRODUTO VETORIAL 17
Observao: por conta da evidente identicao entre os quatrnions i, j e k

e os vetores e~1 , e~2 e e~3 , ainda hoje usual designar os vetores da base cannica
de V por i, j e k . Tambm o faremos, ocasionalmente. Neste sentido,
particularmente til a apresentao do produto vetorial de ~ u = x1 i+y1 j +z1 k
e ~
v = x2 i + y2 j + z2 k como um determinante:

i j k

x1 y1 z1

x2 y2 z2
Exerccio: Verique que o determinante acima , de fato, igual ao produto

vetorial (observe que a frmula do determinante pode, de fato, ser aplicada
no apenas a matrizes cujas entradas sejam nmeros reais, mas tambm
quelas em que as entradas sejam complexos, quatrnions, ou mesmo outras
coisas que se multipliquem, se somem e se subtraiam).
Exerccio: Prove que o produto vetorial tem as seguintes propriedades:
(i) ~u (t~v1 + ~v2 ) = t(~u ~v1 ) + (~u ~v2 ) t, ~u, ~v1 , ~v2
(ii) ~u ~v = ~v ~u ~u, ~v
Exerccio: Conclua, do exerccio acima, que ~u ~u = ~0 ~u e que
(t~u1 + ~u2 ) ~v = t(~u1 ~v ) + (~u2 ~v ) t, ~u1 , ~u2 , ~v .
Exerccio: Mostre que ~u ~v = ~0 se, e somente se, ~u e ~v so linearmente

dependentes.
Exerccio: Mostre, com um exemplo, que o produto vetorial no associativo.
Exerccio: Calcule, dados ~u, ~v e w

~,
(~u ~v ) w
~ + (~v w)
~ ~u + (w
~ ~u) ~v .
d Interpretao geomtrica do produto veto-

rial
A primeira propriedade geomtrica do produto vetorial a ser destacada :
~u ~v perpendicular a ~u e a ~v, ou seja,
< ~u, ~u ~v >= 0 =< ~v , ~u ~v > .
A demonstrao uma simples conta, mas ca mais sugestiva se observarmos

que, se w
~ = xi + yj + zk , ento

x y z

~ ~u ~v >= x1 y1 z1 .
< w,
x2 y2 z2
Da decorre, imediatamente, que, se w

~ = ~u ou w
~ = ~v , ento temos um
determinante com duas linhas repetidas, portanto nulo.
Exerccio: Conclua, da identidade acima, que
0 < ~u ~v , ~u ~v >= det(~u ~v , ~u, ~v ).
Assim, como ~u ~v = ~0 se e somente se ~u e ~v so linearmente dependentes,

u e ~v so linearmente independentes, ento det(~u~v , ~u, ~v ) > 0 e,
temos que, se ~
u ~v , ~u, ~v ) uma base ordenada para V , com a mesma orientao
portanto, (~
que a base cannica
Cuidemos, agora, de uma propriedade menos evidente: o comprimento

(norma) de ~u ~v igual rea do paralelogramo formado por ~u e
~v . Ou seja: se o ngulo entre ~u e ~v , ento
|~u ~v | = |~u||~v | sin .
A demonstrao lanar mo de dois resultados geomtricos que enunciamos

e demonstramos a seguir.
Proposio: Sejam e planos que se cortam segundo o ngulo . Se F

uma gura em e F sua projeo ortogonal sobre , ento
readeF = cos a
a readeF.
Demonstrao: Podemos desconsiderar os casos = 0 e = /2, em que o resul-

tado evidente. Chamemos de r a reta interseo entre e .
D. INTERPRETAO GEOMTRICA DO PRODUTO VETORIAL 19
Figura 2.1: rea da projeo
Para obter a rea de F , ladrilhemos o plano com retngulos de lados paralelos ou

perpendiculares a r. Projetando-os ortogonalmente a , obtemos um ladrilhamento
de com retngulos tambm de lados paralelos ou perpendiculares a r. Mas se R
um dos ladrilhos de e R sua projeo em , o lado de R paralelo a r tem seu
comprimento preservado pela projeo, enquanto que o lado perpendicular a r, ao
ser projetado, tem seu comprimento multiplicado por cos . Logo, a rea de R
igual de R multiplicada por cos . Fazendo aproximaes por dentro e por fora
de F com ladrilhos como acima e observando as correspondentes aproximaes de
F , obtemos o resultado por passagem ao limite.
O segundo resultado uma interessante generalizao do Teorema de Pit-

goras.
Teorema: Considere um sistema de trs planos, 1 , 2 e 3 , dois a dois

ortogonais. Dados um quarto plano e uma gura F em , sejam F1 , F2 e
F3 as projees ortogonais de F sobre, respectivamente, 1 , 2 e 3 . Ento
as reas das guras, dadas por |F |, |F1 |, | F2 | e |F3 |, satisfazem relao:
|F |2 = |F1 |2 + | F2 |2 + |F3 |2 .
Demonstrao: Podemos supor que os planos i so normais aos vetores ~ei , de

forma que, se chamarmos de i o ngulo entre i e e de ~n um vetor unitrio e
normal a , teremos i igual ao ngulo entre ~ei e ~n (o ngulo entre dois planos
igual ao ngulo entre seus vetores normais4 ). Assim, se ~n dado, na base cannica,
por ~n = n1 e~1 + n2 e~2 + n3 e~3 , temos
cos i = | < ~n, ~ei > | = ni .
Mas, ento,
|Fi |2 = (|F | cos i )2 = |F |2 n2i .
Logo,
|F1 |2 + | F2 |2 + |F3 |2 = |F |2 (n21 + n22 + n23 ) = |F |2 ,
j que ~n unitrio.
Consideremos agora os vetores ~u e ~v , dados, em coordenadas, por ~u =

~v = (x2 , y2 , z2 ). Vamos provar que a norma de ~u ~v igual
(x1 , y1 , z1 ) e
rea do paralelogramo F formado por ~ u e ~v , examinando as projees de F
nos planos coordenados e aplicando o teorema que acabamos de demonstrar.
Chamaremos de i o plano coordenado normal ao vetor ~ei ; ~ui e ~vi sero as
projees respectivas de ~u e ~v sobre i . Em coordenadas, teremos (faa os
desenhos, se precisar):
~u1 = (y1 , z1 ) ~u2 = (z1 , x1 ) ~u3 = (x1 , y1 )

~v1 = (y2 , z2 ) ~v2 = (z2 , x2 ) ~v3 = (x2 , y2 )
Chamando de Fi a projeo ortogonal de F sobre i , temos que Fi o parale-

logramo formado por ~ui e ~vi . Ora, pelo que aprendemos sobre determinantes
de matrizes2 2, a rea de Fi o mdulo do determinante de ~ui e ~vi , e esse
determinante a i-sima coordenada de ~ u ~v , ou seja:
~u ~v = (y1 z2 z1 y2 )e~1 + (z1 x2 x1 z2 )e~2 + (x1 y2 y1 x2 )e~3 ,

e
4 h,
na realidade "dois" ngulos possveis entre os normais, mas seus cossenos diferem
apenas pelo sinal
E. O TEOREMA FUNDAMENTAL DA LGEBRA 21
|F1 | = |y1 z2 z1 y2 |,
|F1 | = |z1 x2 x1 z2 |,
|F1 | = |x1 y2 y1 x2 |
Aplicando o teorema, temos imediatamente
|F |2 = |F1 |2 + | F2 |2 + |F3 |2 = |~u ~v |2 ,

o que completa a prova.
e O Teorema Fundamental da lgebra

J no comeo do sculo XVII, os nmeros complexos eram manipulados com
alguma desenvoltura (nos meios eruditos) e j se conjecturava que qualquer
polinmio deveria ter razes, se no reais, pelo menos, complexas. Esse resul-
tado o que conhecemos hoje como Teorema Fundamental da lgebra.
O caminho at que se chegasse a uma demonstrao foi longo. A primeira
tentativa sria foi feita por D'Alembert (1746) - na Frana, o teorema
conhecido como teorema de D'alembert. Mas s em 1799 Gauss prova o
teorema, em sua tese de doutorado; o prprio Gauss apresenta, mais tarde,
outras trs demonstraes. A demonstrao que vamos esboar, a seguir, est
apoiada em ideias topolgicas que, esperamos, parecem razoveis. Antes, o
enunciado.
Teorema Fundamental da lgebra: Todo polinmio de coecientes com-

plexos e grau maior ou igual a um tem raiz em C.
Para esboar a demonstrao, xaremos o grau do polinmio (um inteiro n

1) e os coecientes (n +1 nmeros complexos, an , . . . , a0 ). Para simplicar
as coisas, podemos, sem perda de generalidade, supor an = 1 e a0 6= 0. Nosso
polinmio, ento, ser dado por
p(z) = z n + . . . + a0 .
1a ideia: p
pode ser visto como uma funo do plano no plano (podemos,
2
conforme a convenincia do momento, pensar o plano como IR ou como C ).
Figura 2.2: 1a ideia: p como funo de IR2 em IR2
Achar uma raiz para p , claro, encontrar z tal que p(z) = 0. Isso pode
ser feito varrendo todo o domnio: tomamos todos os pontos z do plano e
checamos se p(z) = 0. claro que isso no parece muito razovel...
2a ideia: A imagem por p de uma curva contnua fechada uma curva

contnua fechada.
Figura 2.3: 2a ideia: imagem por p de curva fechada

3a ideia: O plano pode ser varrido por meio de crculos concntricos, de

centro na origem e raio crescente; a imagem de cada crculo cr ser, ento
uma curva fechada, r , que se move continuamente sobre o plano, em funo
da variao do raio.
a0
cR
0
0
Figura 2.4: 3a ideia: imagens por p dos crculos de centro na origem
Demonstrar a existncia de uma raiz equivale, ento, a demonstrar a exis-

tncia de um crculo cuja imagem por p passe pela origem
Figura 2.5: raiz de p

4a ideia: Para cada curva fechada c no plano, que no passe pela origem,
existe um nmero inteiro n(c) que corresponde ao nmero de voltas que c
d em torno da origem.
Figura 2.6: 4a ideia: nmero de voltas
5a ideia: Se a curva fechada r se move continuamente sobre o plano, seu

nmero de voltas em torno da origem, n(r ), s pode mudar se r atravessar
a origem.
Figura 2.7: 5a ideia: mudana do nmero de voltas
6a ideia: Quando r pequeno, r uma curva pequenininha, prxima de a0 ;

logo, no consegue envolver a origem, e n(r ) = 0.
Figura 2.8: 6a ideia: se r pequeno, n(r ) nulo
As seis ideias acima so absolutamente gerais e no levam em conta o fato de

p ser um polinmio (mesmo a quinta, em que, se p no fosse um polinmio,
poderamos escrever p(0), no lugar de a0 ). A stima ideia, nalmente, vai
considerar o que acontece com r , quando r grande (seria til, neste mo-
mento, o leitor retornar ao ltimo exerccio da primeira seo). Suponhamos,
pois, que r seja muito grande e que queiramos ver, inteira, a curva r . Ora,
n n
para |z| = r , r grande, o maior termo em p(z) = z + . . . + a0 z ; se r for
n
muito grande, mesmo, a diferena entre p(z) e z pode ser minscula, face a
z n . Esse o signicado de
|p(z) z n |
lim = 0.
|z| |z n |
Exerccio: Entenda isso. Note que |p(z) z n | |an1 ||z|n1 + . . . + |a0 | e que,
portanto,
|p(z) z n | |an1 ||z|n1 + . . . + |a0 | |an1 |a0 |

n
n
= + ... + n 0.
|z | |z| |z| |z|
|z|
Exerccio: Entenda que, se escolhermos uma escala adequada para que r apa-
n
rea no monitor, poderemos at ter, se r for bem grande, p(z) e z ocupando
o mesmo pixel.
Exerccio: Lembre-se de que a imagem, pela funo z zn, do crculo de

centro na origem e raio r , percorrido uma vez, o crculo de centro na origem
n
e raio r , percorrido n vezes.
Figura 2.9: imagem do crculo de centro em 0 e raio r por z 7 z 3
7a ideia: Para r muito grande, r e o crculo de raio rn , percorrido n vezes,

esto to prximos que, forosamente, teremos n(r ) = n.
Exerccio: Pense que, quando percorremos uma vez o crculo cr , de raio r , o

n
crculo de raio r , percorrido n vezes, corresponde rbita de um planeta
em torno de um sol situado na origem; a imagem de cr por p corresponde,
ento rbita de um satlite. A distncia entre o satlite e o planeta, dada
por
|an1 z n1 + . . . + a0 |,
extremamente pequena, se comparada a rn , de modo que o planeta ,
tambm, forado a dar n voltas em torno da origem.
Juntando tudo, conclumos que, quando r vai de 0 a innito, n(r ) passa de

0 a n, o que s pode ocorrer se, para algum r, r passar pela origem. Logo,
existe z em C
I tal que p(z) = 0.
a
Exerccio: Para clarear um pouco mais a 7 ideia. Chame de
r a imagem,
n
por z z , do crculo de raio r e centro na origem. Pelo que j vimos,
podemos garantir que, para r sucientemente grande, temos, generosamente,
se |z| = r,
1
|
r (z) r (z)| < r (z).
2
Fixemos um tal r. Mostre que, nessas condies, podemos deformar r em
r , sem passar pela origem, por meio das curvas s , s [0, 1], dadas por
s (z) = z n + s(an1 z n1 + . . . + a0 ).
Conclua que, de fato, n(r ) = n(
r ).
5
Exerccio: Note que esse argumento, tambm geral, a essncia da 7a ideia:
se, ao percorrermos duas curvas planas fechadas, 1 (z) e 0 (z), que no pas-
sam pela origem, notarmos que, para todo z , temos |1 (z) 0 (z)| < |0 (z)|,
ento n(1 ) = n(0 ). Sugesto: deforme 0 em 1 por meio de
s (z) = 0 (z) + s(1 (z) 0 (z)).
5e
de um teorema de Anlise Complexa, conhecido como Teorema de Rouch, do
qual o TFA corolrio
Captulo 3
A forma de variao de ngulo e o
nmero de voltas
Nossa demonstrao do Teorema Fundamental da lgebra est escorada na

certeza de que, se c uma curva fechada plana que no passa pela origem,
ento existe um nmero (inteiro), n(c), que corresponde ao nmero de
voltas que a c d em torno da origem. Tambm admitimos como bvio
que, quando c se move sobre o plano, o nmero n(c) s pode mudar se c
cruzar a origem. Essa ltima assero lembra bastante o Teorema do Valor
Intermedirio; sua demonstrao, assim como a desse famoso Teorema,
1
exige algum trabalho. . Neste captulo, vamos precisar o que vem a ser esse
nmero de voltas n(c). Embora possamos conceber uma denio para
n(c) supondo apenas a continuidade de c, vamos trabalhar com a hiptese
1
mais forte de que c de classe C (isto , tem derivada primeira contnua).
a A forma de variao de ngulo

Seja
c : [a, b] IR2 \ {(0, 0)}

de classe C1 e procuremos medir a variao de ngulo de c, vista da origem.
Mais precisamente, acompanhemos o movimento do "ponteiro" u(t) denido,
para t em [a, b], por
1 Teorema do Valor Intermedirio: se o nmero y = f (x) varia continuamente, em

funo de x, e x varia em um intervalo I , o sinal de y s pode mudar se y cruzar a origem
29
30CAPTULO 3. A FORMA DE VARIAO DE NGULO E O NMERO DE VOLTAS
1
u(t) = c(t).
|c(t)|
c(b)
c(t)
u(t)
0 c(a)
Figura 3.1: a variao de ngulo
A variao de ngulo de c medida pelo arco "varrido" por u(t), contado

positivamente quando u se move no sentido trigonomtrico e negativamente
quando se move no sentido horrio (Figura ??). Podemos ento acreditar
que, a cada volta dada por c em torno da origem, no sentido trigonomtrico,
o ngulo assim medido varia de 2 ; a cada volta, no sentido horrio, por
outro lado, o ngulo medido varia de 2 . Desta forma, se c uma curva
fechada, o nmero de voltas n(c) deve ser dado pela variao total do
ngulo, dividida por 2 .
Vejamos agora como calcular a variao de ngulo da curva
c : [a, b] IR2 \ {(0, 0)} ,

no necessariamente fechada. Uma primeira tentativa seria calcular o com-
primento do arco varrido pelo ponteiro u(t). Tal comprimento dado pela
integral da norma do vetor velocidade de u (notaremos o vetor velocidade
de u por u com um ponto em cima: u ),
Z b
|u(t)|dt.

a
A. A FORMA DE VARIAO DE NGULO 31
Essa denio teria um defeito claro: como |u(t)|

0, a variao de ngulo
sempre aumentaria, mesmo que andssemos para trs (isto , no sentido
horrio). Uma forma de corrigi-la , observar que u unitrio e que, portanto,
normal a u(t). Se notarmos por u (t) o vetor obtido girando u(t) de um
u(t)

ngulo reto, no sentido trigonomtrico, teremos que u (t) ser unitrio, ter
a mesma direo que u(t)
, mas apontar sempre no sentido trigonomtrico.
Assim, o produto escalar

u(t).u
(t)
ter valor absoluto igual norma de u(t)
, mas seu sinal ser positivo ou ne-
gativo, conforme u(t)
aponte no sentido trigonomtrico ou no horrio. Desta
forma, a variao de ngulo ser dada pela integral
Z b

u(t).u
(t)dt.
a
Exerccio: Entenda que, girando o vetor v = (, ) de 90o , no sentido trigo-

nomtrico, obtemos o vetor v = (, ).
Desta forma, escrevendo u(t) = (u1 (t), u2 (t)), a variao de ngulo de c

ser dada por
Z b
(u2 (t)u 1 (t) + u1 (t)u 2 (t))dt.
a
Restam contas a fazer. Suponhamos c(t) = (x(t), y(t)) (como c suposta de

1 1
classe C , tanto x como y so funes de classe C ). Temos, ento
1
u(t) = p (x(t), y(t));
x(t) + y(t)2
2
1
u (t) = p (y(t), x(t)).
x(t)2 + y(t)2
A derivada de u(t) nos d
1
u(t)
= (y(t)2 x(t)
x(t)y(t)y(t),
x(t)2 y(t)
x(t)y(t)x(t)),

(x(t)2 2
+ y(t) )3/2
de modo que
y(t)x(t)
+ x(t)y(t)
u(t).u
(t) = .
x(t)2 + y(t)2
Nossas contas tm como saldo uma denio.
Denio: Seja
c : [a, b] IR2 \ {(0, 0)}
uma curva parametrizada de classe C 1 , dada por c(t) = (x(t), y(t)). A

variao de ngulo de c denida pela integral
b
y(t)x(t)
Z
+ x(t)y(t)

dt.
a x(t)2 + y(t)2
O processo de construo da denio acima deixa evidente o seguinte Lema.
Lema: Se c1 , c2 : [a, b] IR2 \ {(0, 0)} so tais que existe r : [a, b] ]0, [,
com
c2 (t) = r(t)c1 (t) t ]0, [,
ento as variaes de ngulo correspondentes a c1 e c2 so iguais.
Demonstrao: De fato, como as variaes de ngulo so dadas pelas integrais

Z b

u(t).u
(t)dt,
a
e os ponteiros u(t) correspondentes a c1 e c2 coincidem, as integrais so iguais.

B. A CONTINUIDADE DA VARIAO DE NGULO 33
b A continuidade da variao de ngulo

razovel esperar, tambm, que, quando uma curva varia continuamente no
plano, sem passar pela origem, a correspondente variao de ngulo tambm
varie continuamente. Como adotamos uma denio que, dada c, envolve
no apenas os valores de c, mas tambm de sua primeira derivada (ou seja,
de sua velocidade), vamos exigir que tambm as derivadas primeiras va-
2
riem continuamente. . Comecemos precisando o que queremos dizer quando
falamos que uma curva varia em uma regio : trata-se de, a cada s em um
intervalo I IR, associar uma curva
cs : [a, b] .
Figura 3.2: homotopia de extremidades xas e homotopia de curvas fechadas
Denio: Seja uma regio do plano IR2 (ou do espao IR3 ). Uma homo-
topia em uma aplicao que, a cada s de um intervalo I IR, associa
uma curva
cs : [a, b] .
Mais precisamente, uma homotopia em uma aplicao contnua
h : I [a, b] .
A homotopia h dene, para cada s em I, uma curva contnua cs ; [a, b] ,

dada por
2 Essa
hiptese , na verdade, desnecessria, como veremos mais frente, usando o
Teorema de Green
cs (t) = h(s, t).
Se existem A e B em tais que
cs (a) = A, cs (b) = B s I,
a homotopia dita de extremidades xas. Se
cs(a) = cs (b) s I,
a homotopia dita de caminhos fechados.3

Nesta seo, exigiremos que nossas homotopias sejam funes de classe C1
de I [a, b] em . Isso equivale a exigir que as derivadas parciais de h,
h h
, ,
s t
sejam funes contnuas.
Exemplo 1: A variao, em funo do raio, de crculos concntricos:
h : [0, [ IR2 .
(r, ) 7 r(cos , sin )
Neste caso, h homotopia de caminhos fechados.
Exemplo 2: h1 : I [a, b] 1 homotopia (C 1 ) e f : 1 2

Se
1 1
contnua (C ), ento h2 = f h1 : I [a, b] 2 homotopia (C ). Se h1
de extremidades xas ou de caminhos fechados, igual ser h2 .
Exemplo 3: No exemplo 2, faa h1 igual h do exemplo 1; tome, para h2 ,

2
um polinmio a coecientes complexos, visto como funo de C
I = IR em
2
CI = IR .
3 Se
no se faz qualquer exigncia sobre os valores de h, para s = a e s = b, a homotopia
tambm dita livre
B. A CONTINUIDADE DA VARIAO DE NGULO 35
(s, t) 7 sR(cos 2t, sin 2t) p

1 a0
0 0
0 1 s
Figura 3.3: homotopia ph
Vejamos agora o que entendemos por continuidade da variao de ngulo.

Seja
h : I [a, b] IR2 \ {(0, 0)}
uma homotopia de classe C 1. Escrevendo
h(s, t) = (x(s, t), y(s, t)),

e usando a notao
x y
x(s,
t) = , y(s,
t) = ,
t t
podemos denir, para cada s em I , a variao de ngulo (s) de cs , dada por

b
y(s, t)x(s,
Z
t) + x(s, t)y(s,
t)
(s) = 2 2
dt.
a x(s, t) + y(s, t)
Proposio: Se h de classe C 1 , ento a funo denida acima contnua.
Demonstrao: Seja s I . Queremos mostrar que para todo > 0 existe > 0 tal
que
|s1 s| < |(s1 ) (s)| < .

Fixemos 1 positivo e tal que [s 1 , s + 1 ] I seja um dos trs intervalos a seguir:

[s 1 , s + 1 ], [s, s + 1 ], [s 1 , s]. Usaremos, agora, a continuidade uniforme de
h e de suas derivadas em [s 1 , s + 1 ] I .4
Como o integrando
y(s, t)x(s,
t) + x(s, t)y(s,
t)
2
x(s, t) + y(s, t)2
varia continuamente com x, y, x e y , podemos garantir que, dado > 0, existe

1 > 0 tal que, se
|x(s1 , t) x(s, t)| < 1 , |y(s1 , t) y(s, t)| < 1 ,

|x(s
1 , t) x(s,
t)| < 1 , |y(s 1 , t) y(s,
t)| < 1 .
ento

y(s1 , t)x(s 1 , t) y(s, t)x(s,
1 , t) + x(s1 , t)y(s t) + x(s, t)y(s, t)
< ba
x(s1 , t)2 + y(s1 , t)2 x(s, t)2 + y(s, t)2
da continuidade uniforme de x, y, x e y em [s 1 , s + 1 ] I , segue a existncia de

> 0 (que podemos supor inferior a 1 ) tal que, se |s1 s| < , ento, para todo t
em [a, b],
|x(s1 , t) x(s, t)| < 1 , |y(s1 , t) y(s, t)| < 1 ,
|x(s
1 , t) x(s,
t)| < 1 , |y(s 1 , t) y(s,
t)| < 1 .
Assim, se |s1 s| < , temos
|(s1 ) (s)| =
b b
Z
y(s1 , t)x(s y(s, t)x(s,
Z
1 , t) + x(s1 , t)y(s
1 , t) t) + x(s, t)y(s, t)
dt dt

a x(s1 , t)2 + y(s1 , t)2 a x(s, t)2 + y(s, t)2
Z b
y(s1 , t)x(s 1 , t) y(s, t)x(s,
1 , t) + x(s1 , t)y(s t) + x(s, t)y(s, t)
dt <
a
x(s1 , t)2 + y(s1 , t)2 x(s, t)2 + y(s, t)2
4 Se f : [a1 , b1 ] [a2 , b2 ] IR contnua, ento f uniformemente contnua, isto :
> 0 > 0 | |(x1 , y1 ) (x2 , y2 )| < |f (x1 , y1 ) f (x2 , y2 )| < .
C. O NMERO DE VOLTAS 37
Z b

< dt = .
a ba
c O nmero de voltas
Nosso prximo passo, naturalmente, denir o nmero de voltas, que, em
linguagem erudita, recebe o nome de ndice.
Denio: Seja
c : [a, b] IR2 \ {(0, 0)}
uma curva parametrizada fechada (isto , tal que c(a) = c(b)) de classe
C 1 , dada por c(t) = (x(t), y(t)). O ndice de c em relao origem o
nmero n(c), denido por
b
y(t)x(t)
Z
1 + x(t)y(t)

n(c) = 2 2
dt.
2 a x(t) + y(t)
Estamos indo bem, mas ainda no podemos comemorar. Examinando com

cuidado a denio do ndice (que, na intimidade, podemos chamar de n-
mero de voltas que a curva c d em torno da origem ), temos que confessar que
no provamos que o nmero n(c), como o denimos, inteiro. A Proposio
a seguir o passo decisivo nessa direo.
Proposio: Seja
c : [a, b] IR2 \ {(0, 0)}
uma curva parametrizada de classe C 1 , dada por c(t) = (x(t), y(t)). Seja
o tal que
x(a) y(a)
cos o = p , sin o = p .
x(a)2 + y(a)2 x(a)2 + y(a)2
Sejam r, : [a, b] IR denidas por
p
r(t) = x(t)2 + y(t)2 ,
t
y(s)x(s)
Z
+ x(s)y(s)

(t) = o + ds.
a x(s)2 + y(s)2
Ento c(t) = r(t)(cos (t), sin (t)), para todo t em [a, b].
Demonstrao: Consideremos o ponteiro u : [a, b] IR2 \ {(0, 0)}, dado por

1
u(t) = (u1 (t), u2 (t)) = (x(t), y(t)).
r(t)
O Lema acima nos garante que

Z t
(t) = o + (u2 (s)u 1 (s) + u1 (s)u 2 (s))ds t [a, b].
a
Como c(t) = r(t)u(t) t [a, b], basta provar que
(u1 (t), u2 (t)) = (cos (t), sin (t)) t [a, b].
Consideremos, para tal, a funo f : [a, b] IR, dada por
f (t) = (u1 (t) cos (t))2 + (u2 (t) sin (t))2 ,
Queremos provar que f identicamente nula. Como, da denio de o , j temos

f (a) = 0, basta que provemos que f 0 (t) = 0 para todo t em ]a, b[. Passemos s
contas. O clculo da derivada de f nos d (omitindo a varivel t e usando o ponto
para as derivadas em t):
f 0 (t) = 2(u1 cos )(u 1 + sin )

+ 2(u2 sin )(u 2 cos ).

Como u1 (t)2 + u2 (t)2 1 cos (t))2 + sin (t))2 , temos
2u1 u 1 + 2u2 u 2 0 cos sin + sin cos .

Logo,
D. DEMONSTRAO ERUDITA DO TEOREMA FUNDAMENTAL DA LGEBRA39
f 0 (t) = 2(u1 u 2 ) sin 2(u 1 + u2 )

cos .
Substituindo o valor de :
= u2 u 1 + u1 u 2 ,
e lembrando que u21 + u22 1 (e, portanto, u1 u 1 + u2 u 2 0), obtemos
f 0 (t) = 2(u1 (u2 u 1 + u1 u 2 ) u 2 ) sin 2(u 1 + u2 (u2 u 1 + u1 u 2 )) cos

= 2(u1 u2 u 1 + u21 u 2 u 2 ) sin 2(u 1 u22 u 1 + u2 u1 u 2 )) cos
= 2u2 (u1 u 1 + u2 u 2 ) sin 2u1 (u1 u 1 + u2 u 2 )) cos = 0.
Corolrio: Se c : [a, b] IR2 , c(t) = (x(t), y(t)), uma curva fechada, de

classe C 1
e no passa pela origem, ento seu ndice n(c), dado por
b
y(t)x(t)
Z
1 + x(t)y(t)
n(c) = 2 2
dt,
2 a x(t) + y(t)
um nmero inteiro.
Demonstrao: Escrevendo, de acordo com a Proposio,
c(t) = r(t)(cos (t), sin (t)),
temos, de c(a) = c(b),

b
y(t)x(t)
Z
+ x(t)y(t)
2 2
dt = (b) (a) = 2k,
a x(t) + y(t)
com k ZZ .
d Demonstrao erudita do Teorema Funda-

mental da lgebra
Podemos, agora, apresentar a mesma demonstrao do Teorema Fundamen-
tal da lgebra, mas com respostas s objees que havamos levantado: o
nmero de voltas est denido, inteiro e, como varia continuamente (en-

quanto no passarmos pela origem), s muda se nosso polinmio se anular.
Teorema Fundamental da lgebra: Todo polinmio no constante a

coecientes complexos possui raiz complexa.
Demonstrao: Seja k o grau do nosso polinmio p,
p(z) = z k + ak1 z k1 + . . . + a0 .
Temos, por hiptese, k > 0. Seja I = [0, [ e seja h : I [0, 2] IR2 a homotopia
dada por
h(r, t) = p(r cos t + i sin t).
Se p no se anulasse, poderamos denir, para cada r, de 0 a , o ndice n(cr ) da

curva cr , denida, para t em [0, 2], por
cr (t) = h(r, t) = p(r cos t + i sin t).
Pelo que vimos nas sees anteriores, a funo : [0, [ IR, dada por
(r) = n(cr ),
seria contnua e s assumiria valores inteiros. Pelo Teorema do Valor Intermedirio,
deveria ser constante. imediato que (0) = 0 (trata-se do ndice da curva
constante e igual a a0 ). Vamos, agora, mostrar que, para r sucientemente grande,
(r) = k , o que conduzir concluso de que p tem uma raiz.
Como j observamos na demonstrao informal, a ideia que, se r for grande,

poderemos fazer uma homotopia comeando na curva
c : [0, 2] IR2 \ {(0, 0)}

dada por c(t) = rk (cos kt, sin kt) e terminando em cr :
hk : [0, 1] [0, 2] IR2 \ {(0, 0)}

ser dada, escrevendo r(cos t, sin t) = r cos t + ir sin t = zt , por
hk (s, t) = (zt )k + s[ak1 (zt )k1 + . . . + a0 ].
imediato que:
E. EXTRA: O TEOREMA DE PONTO FIXO DE BROUWER 41
1. hk de classe C 1
2. hk homotopia de curvas fechadas
3. hk (0, t) c(t)
4. hk (1, t) cr (t)
Resta provar que, se r for sucientemente grande, hk (s, t) 6= (0, 0), se (s, t)
[0, 1] [0, 2]. Ora, isso decorre de que, para z nos complexos,
ak1 (z)k1 + . . . + a0 |ak1 |

|a0 |

k
+ ... + k 0.
z |z| |z|
|z|
De fato, com |zt | = r, teremos, para r tal que

|ak1 | |a0 |
+ . . . + k < 1,
r r
|hk (s, t)| |(zt )k | s|ak1 (zt )k1 + . . . + a0 | rk (|ak1 |rk1 + . . . + |a0 |) > 0.
e Extra: o Teorema de ponto xo de Brouwer

O argumento central da demonstrao do Teorema Fundamental da lgebra
extremamente simples. Vamos explicit-lo.
Lema: h : I [a, b] IR2 \ {(0, 0)}

Se uma homotopia C1 de caminhos
fechados, ento o ndice n(cs ), s I , constante (entendido que cs (t) =
h(s, t), t [a, b]).
Demonstrao: n(cs ) contnua e s assume valores inteiros.
Uma outra aplicao evidente do mesmo princpio o Teorema de no

retratabilidade abaixo.
Teorema: Sejam
B = (x1 , x2 ) IR2 | x21 + x22 1

S = (x1 , x2 ) IR2 | x21 + x22 1 .

No existe g : B S, de classe C 1, tal que g(x) = x x S .
Demonstrao: Suponha que exista uma tal g . Dena
h : [0, 1] [0, 2] IR2 \ {(0, 0)}

por
h(s, t) = g(s cos t, s sin t).
Temos, ento, c0 (t) = g(0, 0) t [0, 2] e
c1 (t) = g(cos t, sin t) = (cos t, sin t) t [0, 2].
Contas elementares nos do n(c0 ) = 0 e n(c1 ) = 1, contradizendo o Lema.
Um Teorema bem famoso se reduz ao anterior.
Teorema de ponto xo de Brouwer: Se
B = (x1 , x2 ) IR2 | x21 + x22 1

e f : B B de classe C 1 , ento f tem um ponto xo (isto , existe xB

tal que f (x) = x).
Demonstrao: A demonstrao consiste em reduzir o presente teorema ao anterior.

Suponha que nossa f : B B , de classe C 1 , no tenha ponto xo. Dena

g : B S da seguinte forma: g(x) a interseo com S da semirreta f (x)x. Se
provarmos que g de classe C 1 teremos construdo uma funo que, pelo teorema
anterior, no pode existir. Ora, g(x) obtida como g(x) = f (x) + t(x f (x)),
sendo t a soluo positiva de
< f (x) + t(x f (x)), f (x) + t(x f (x)) >= 1,

E. EXTRA: O TEOREMA DE PONTO FIXO DE BROUWER 43
ou seja,
p
t =< f (x), x f (x) > + < f (x), x f (x) >2 +|x f (x)|2 (1 |f (x)|2 ).
Como o termo dentro do sinal de raiz quadrada no se anula e f de classe C 1 , t

uma funo de classe C 1 de x.
Observao: O Teorema de ponto xo de Brouwer vale sob hipteses mais

gerais: Se
B = (x1 , x2 , . . . , xn ) IRn | x21 + x22 + . . . + x2n 1

e f :BB contnua, ento existe x em B tal que f (x) = x. possvel dar

uma demonstrao do caso geral fortemente apoiada nas ideias que acabamos
de desenvolver.
Captulo 4
Integrais de linha
a A variao de ngulo, de novo

No captulo anterior lidamos com uma funo, a variao de ngulo, que a
cada curva
c : [a, b] IR2 \ {(0, 0)} ,

t 7 (x(t), y(t))
de classe C 1, associa um nmero real (c), dado pela integral
b
y(t)x(t)
Z
+ x(t)y(t)
2 2
dt.
a x(t) + y(t)
Vamos reescrever a integral acima de forma mais sugestiva:
Z b
y(t) dx x(t) dy
(t) + (t) dt.
a x(t)2 + y(t)2 dt x(t)2 + y(t)2 dt
Para enxergar melhor, podemos omitir a varivel t:

Z b
y dx x dy
2 2
+ 2 dt.
a x + y dt x + y 2 dt
Se, agora, "convencionarmos" que
45
46 CAPTULO 4. INTEGRAIS DE LINHA
dx dy
dt = dx, dt = dy
dt dt
e explicitarmos que a integral se calcula sobre a curva c, podemos adotar a

notao
Z
y x
dx + 2 dy .
c x2 + y 2 x + y2
b O trabalho
Continuemos trabalhando com uma curva c, de classe C 1 denida no intervalo
[a, b]. Suponhamos agora que t, em [a, b], representa o tempo e que c(t) a
posio de uma partcula no instante t. Suporemos, tambm, que a partcula
3 2
se desloca em uma regio do espao IR (ou do plano IR ). Para dar a
esta seo um carter religioso, suporemos que, sobre as partculas presentes
em age uma entidade misteriosa, que chamaremos de campo de foras.
Essa entidade caracterizada por uma funo
F : IR3 (ou IR2 ).
c F (c(t))
A = c(a) B = c(b)
c0 (t)
c(t)
a b

Figura 4.1: fora F ao longo da trajetria c
O resultado da ao de F ao longo da trajetria c um nmero, chamado

trabalho de F ao longo de c. O clculo do trabalho se faz por meio de um
ritual que passamos a descrever.
B. O TRABALHO 47
Comeamos dividindo a curva c em pedacinhos bem pequenos, o que pode ser

feito por meio de uma partio P do intervalo [a, b]. . Como c contnua,
1
podemos garantir que, se a norma de P for sucientemente pequena, sero

pequenos os pedacinhos de curva correspondentes aos intervalos [ai1 , ai ]. O
trabalho de F ao longo de cada um desses pedacinhos dado, aproxima-
damente, pelo produto da projeo de F na direo de c(ai ) c(ai1 ) pelo
comprimento |c(ai ) c(ai1 )|, ou seja, pelo produto escalar
F (c(i )) (c(ai ) c(ai1 )) =< F (c(i )), c(ai ) c(ai1 ) >,

sendo i um elemento qualquer de [ai1 , ai ]. Depois, soma-se tudo, e se obtm
a aproximao
n
X
F (c(i )) (c(ai ) c(ai1 )).
i=1
Vejamos o que isso d, se escrevermos
c(t) = (x(t), y(t), z(t)), F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z)).
Teremos, ento,
n
X
F (x(i ), y(i ), z(i )) (x(ai ) x(ai1 ), y(ai ) y(ai1 ), z(ai ) z(ai1 )) =
i=1
= F1 (x(i ), y(i ), z(i ))(x(ai ) x(ai1 ))+
+ F2 (x(i ), y(i ), z(i ))(y(ai ) y(ai1 )) .
+ F3 (x(i ), y(i ), z(i ))(z(ai ) z(ai1 ))
Adotando um ponto de vista potico, omitindo as variveis e chamando as

variaes x(ai ) x(ai1 ) de x, y(ai ) y(ai1 ) de y e z(ai ) z(ai1 ) de
z , teramos
1 Uma
partio do intervalo [a, b] um subconjunto nito P = {a0 , a1 , . . . , an } de [a, b],
com a = a0 < a1 < < an = b. A norma da partio P o nmero |P | =
max {a1 a0 , a2 a1 . . . , an an1 }
n
X
F1 (x, y, z)x + F2 (x, y, z)y + F3 (x, y, z)z,
i=1
o que j nos faz acreditar que, no limite, quando a norma de P tender a zero,
o que estamos calculando deve ser notado por
Z
F1 dx + F2 dy + F3 dz.
c
Se adotarmos um ponto de vista rigoroso, aproximando c(ai ) c(ai1 ) por
[ai ai1 ]c(

i ) = ([ai ai1 ]x(
i ), [ai ai1 ]y(
i ), [ai ai1 ]z(
i )),
levando em conta que c de classe C 1 , e passarmos ao limite quando |P | 0,

obteremos
Z b
[F1 (x(t), y(t), z(t))x(t)
+ F2 (x(t), y(t), z(t))y(t)
+ F3 (x(t), y(t), z(t))z(t)dt]
,
a
o que, com a famosa "conveno"
dx dy dz
x(t)dt
= dt = dx, y(t)dt
= dt = dy, z(t)dt
= dt = dz,
dt dt dt
merece muito bem ser notado por

Z
F1 (x, y, z)dx + F2 (x, y, z)dy + F3 (x, y, z)dz.
c
c A variao da energia cintica

Religio uma coisa muito pessoal, ningum obrigado a acreditar na enti-
dade trabalho. Retornemos ao incio da seo anterior. Continuemos com a
c, que agora suporemos de classe C 2 , denida no intervalo [a, b]. Supo-
curva
nhamos, de novo, que t, em [a, b], representa o tempo e que c(t) a posio de
C. A VARIAO DA ENERGIA CINTICA 49
uma partcula no instante t. Continuemos supondo que a partcula se desloca

3 2
em uma regio do espao IR (ou do plano IR ) e que, sobre as partculas
presentes em , age a j mencionada entidade misteriosa, chamada campo
de foras, caracterizada por uma funo
F : IR3 (ou IR2 ).
Suporemos tambm que nossa partcula dotada de uma propriedade nu-

mrica, chamada massa e representada pela letra m. Nossa partcula vive
sob uma legislao, herdada de outros tempos. Uma das leis, chamada de
segunda lei de Newton, vulgarmente enunciada por: a resultante das
foras que atuam sobre a partcula, no instante t, igual ao produto de sua
massa m por sua acelerao c naquele instante. Supondo que a nica fora
agindo sobre nossa partcula seja F , isso nos d
F (c(t)) = m
c(t),
ou, em coordenadas,
(F1 (x(t), y(t), z(t)), F2 (x(t), y(t), z(t)), F3 (x(t), y(t), z(t))) = m(
x(t), y(t), z(t)).
Suponhamos agora que a legislao atribua valor a um ndice numrico dado,

a cada instante, pela metade do produto da massa m da partcula pelo qua-
drado da norma de sua velocidade naquele instante. Tal ndice, chamado de
energia cintica, , pois, dado por
1 1
2 = m(x(t)
m|c(t)| 2 + y(t)
2 + z(t)
2 ).
2 2
Se calcularmos a derivada da energia cintica de nossa partcula, obtemos
c(t) = m
mc(t) c(t) c(t)
= m(
x(t)x(t)
+ y(t)y(t)
+ z(t)z(t)),

ou seja: a derivada da energia cintica (em relao ao tempo) dada por
F1 (x(t), y(t), z(t))x(t)

+ F2 (x(t), y(t), z(t))y(t)
+ F3 (x(t), y(t), z(t))z(t).

Desta forma, a variao da energia cintica, do tempo a ao tempo b, dada

pela integral de sua derivada,
Z b
[F1 (x(t), y(t), z(t))x(t)
+ F2 (x(t), y(t), z(t))y(t)
+ F3 (x(t), y(t), z(t))z(t)]
dt,
a
que, com a conveno que j comea a se tornar habitual, notaremos por

Z
F1 (x, y, z)dx + F2 (x, y, z)dy + F3 (x, y, z)dz,
c
ou simplesmente
Z
c
d Recuperando uma funo a partir da deri-

vada
Consideremos agora uma situao simples. Temos uma funo f, que supo-
1
remos de classe C , denida na regio , a valores em IR. Sua derivada no
ponto P , df (P ) a transformao linear que melhor aproxima a variao de f ,
quando passamos do P = (x, y, z)) ao ponto P +h = (x+x, y +y, z +z):
f (x + x, y + y, z + z) f (x, y, z) df (x, y, z)(x, y, z).
A derivada df dada pelas derivadas parciais de f :

f f f
df (x, y, z)(x, y, z) = x + y + z.
x y z
Consideremos dois pontos, A e B , de . Suponhamos que, de posse de dF ,

busquemos recuperar f (B) f (A). Uma estratgia seria ligar A a B por
uma curva (caso isso seja possvel),
c : [a, b] ,
t 7 c(t) = (x(t), y(t), z(t))
D. RECUPERANDO UMA FUNO A PARTIR DA DERIVADA 51
com c(a) = A e c(b) = B .
Agora, tomando uma partio P = {a0 , . . . , an } de [a, b], fazemos
f (B)f (A) = f (c(an ))f (c(a0 )) = f (c(an ))f (c(an1 ))+. . .+f (c(a1 ))f (c(a0 )).
Aproximando cada f (c(ai )) f (c(ai1 )) por df (c(i ))(c(ai ) c(ai1 )), tere-
mos, usando coordenadas,
n
X f f f
f (B) f (A) (xi , yi , zi )xi + (xi , yi , zi )yi + (xi , yi , zi )zi ,
i=1
x y z
com (xi , yi , zi ) = (x(i ), y(i ), z(i )) e
xi = x(ai ) x(ai1 ), yi = y(ai ) y(ai1 ), zi = z(ai ) z(ai1 ).
Passando ao limite, quando |P | 0, teremos, como de hbito,

Z b
f
f (B) f (A) = (x(t), y(t), z(t))x(t)+

a x

f f
+ (x(t), y(t), z(t))y(t)
+ (x(t), y(t), z(t))z(t)
dt.
y z
Usando a notao que j se tornou habitual, teremos
Z
f f f
f (B) f (A) = (x, y, z)dx + (x, y, z)dy + (x, y, z)dz;
c x y z
ou, mais simplesmente,
Z
f f f
f (B) f (A) = dx + dy + dz.
c x y z
Observao: A construo acima rigorosamente a mesma que usamos no

ritual de clculo do trabalho. Podemos chegar ao mesmo resultado, de forma
mais simples (mas, talvez, menos instrutiva), usando o mtodo que adotamos
na seo sobre energia cintica. de fato, se considerarmos a funo
f c : [a, b] IR ,
t 7 f (c(t)) = f (x(t), y(t), z(t))
teremos, pelo Teorema Fundamental do Clculo,

Z b
d
f (B) f (A) = f c(b) f c(a) = (f c)(t)dt.
a dt
Usando a regra da cadeia para calcular a derivada, obtemos
Z b
f
f (B) f (A) = (x(t), y(t), z(t))x(t)+

a x

f f
+ (x(t), y(t), z(t))y(t)
+ (x(t), y(t), z(t))z(t)
dt,
y z
ou seja,
Z
f f f
f (B) f (A) = dx + dy + dz.
c x y z
e A integral de linha
A esta altura do campeonato, talvez j seja razovel dizer que os exemplos
anteriores (variao de ngulo, trabalho, variao da energia cintica e vari-
ao do valor de uma funo ao longo de uma curva) podem ser agrupados
em um conceito geral, que chamaremos de integral de linha: em todos eles,
chegamos a uma integral, ao longo da curva c, que representamos por
Z
c
O integrando, em todos os casos, uma funo linear que foi usada para
associar um nmero ao vetor velocidade c(t)
. Esse integrando, que pode
E. A INTEGRAL DE LINHA 53
tambm ser pensado como um campo de vetores, dado, em cada ponto P

da regio , por uma aplicao linear (P ), que, a cada vetor v , associa
3
um nmero (P )v (ou seja, (P ) uma transformao linear de IR em IR),
dado por
(P )v = F1 (P )v1 + F2 (P )v2 + F3 (P )v3 .
Denio: Seja um subconjunto de IR3 (ou, eventualmente, de IR2 ). Uma

1-forma diferencial em uma aplicao que, a cada ponto P de ,
associa uma transformao linear (P ) de IR3 (ou IR2 ) em IR.
Representaremos, em geral, a forma por
(P ) = F1 (P )dx + F2 (P )dy + F3 (P )dz
(ou (P ) = F1 (P )dx + F2 (P )dy , se IR2 ), entendendo que, se v =

(v1 , v2 , v3 ), ento (P )v dada por
(P )v = F1 (P )v1 + F2 (P )v2 + F3 (P )v3
2
((P )v = F1 (P )v1 + F2 (P )v2 , se estivermos em IR ). Diremos que
contnua, diferencivel, ou de classe r
C , conforme o sejam F1 , F2 e F3 .
Formas diferenciais servem, claro, para calcularmos as integrais de linha.
As integrais se do sobre curvas parametrizadas.
Denio: Uma curva parametrizada em uma aplicao
c : [a, b] .
t 7 c(t) = (x(t), y(t), z(t))
A curva c C 1 por partes se for contnua (o que equivale a serem con-

dita
tnuas as funes x, y e z ) e existir uma partio P = {a0 , . . . , an } de [a, b]
tal que c tem derivada contnua em cada subintervalo [ai1 , ai ] (entendido
que existem as derivadas laterais em cada ai , mas que essas no so neces-
sariamente iguais, o que permite quebras em c). Salvo meno em contrrio,
1
suporemos que nossas curvas sero, pelo menos, C por partes.
Denio: Sejam = F1 dx + F2 dy + F3 dz em
uma 1-forma diferencial
e c : [a, b] uma curva parametrizada C 1 por partes em , dada por
c(t) = (x(t), y(t), z(t). A integral de linha de sobre c denida por
Z Z
= F1 dx + F2 dy + F3 dz =
c c
Z b
[F1 (x(t), y(t), z(t))x(t)
+ F2 (x(t), y(t), z(t))y(t)
+ F3 (x(t), y(t), z(t))z(t)]
dt,
a
caso essa ltima integral exista (o que sempre o caso, se for contnua,
por exemplo). Salvo meno em contrrio, suporemos sempre que nossas
1-formas so contnuas.
Exerccio: Faa as adaptaes pertinentes, caso IR2 .
usual pensar a forma = F1 dx + F2 dy + F3 dz como um campo de vetores

F~ = (F1 , F2 , F3 ) e usar, para a mesma integral acima, a notao
Z
F~ d~s.
c
Quando a curva c fechada (isto c(a) = c(b)), costuma-se usar a cobra de

bambol :
I
F~ d~s.
c
f Independncia de caminho
Uma questo que, de imediato, podemos colocar a seguinte: ser que,
para toda 1-forma diferencial em , existe uma funo f : IR tal
2
que = df ? A resposta negativa, mesmo no caso em que IR . Se
= F1 dx + F2 dy , com F1 e F2 de classe C 1 , por exemplo, teramos, caso
existisse uma tal f ,
f f
F1 = , F2 = ,
x y
F. INDEPENDNCIA DE CAMINHO 55
o que exigiria
F1 2f 2f F2
= = = ,
y yx xy x
o que nem sempre verdade.
Exerccio: D 37 exemplos de F1 , F2 : IR2 IR tais que
F1 F2
6= .
y x
Uma outra abordagem da mesma questo seria observar que, se = df , para

alguma f : IR, ento, xados dois pontos P e Q de , teremos
Z Z b
= df (c(t))c(t)dt
= f (c(b)) f (c(a)) = f (Q) f (P ),
c a
qualquer que seja a curva c : [a, b] , com c(a) = P e c(b) = Q. Isso

signica, tambm, que, caso a curva c seja fechada (c(a) = c(b)), ento
Z
= 0.
c
Figura 4.2: integral independente de caminho
Exerccio: Sejam c1 : [a1 , b1 ] , c2 : [a2 , b2 ] curvas C 1 por partes tais

que c1 (b1 ) = c2 (b2 ). Sejam a, b IR tais que b a = b2 a2 + b1 a1 , e
c : [a, b] dada por

c1 (a1 + t a), t [a, a + b1 a1 ]
c(t) =
c2 (a2 + b t), t [a + b1 a1 , b]
Mostre que
Z Z Z
= ,
c c1 c2
qualquer que seja a 1-forma em . Mostre que, se c1 (a1 ) = c2 (a2 ), ento c

fechada.
Exerccio: Seja uma 1-forma em . Mostre que so equivalentes:
R R
1.
c1
=
c2
, quaisquer que sejam as curvas c1 e c2 em que comecem
em um mesmo ponto e terminem em um mesmo ponto;
R
2.
c
=0 para toda curva fechada c em .
A independncia de caminho, que, pelo que acabamos de ver, condio

necessria para que a 1-forma em seja a derivada de alguma funo
f : IR, tambm suciente para que isso acontea.
Teorema de independencia de caminho: Sejam aberto e uma 1-

0
forma de classe C em . Suponhamos que vale a independncia de caminho:
(i) para quaisquer c1 : [a1 , b1 ] e c2 : [a2 , b2 ] C 1 por partes,

com c1 (a1 ) = c2 (a2 ), c1 (b1 ) = c2 (b2 ), tem-se
Z Z
= ,
c1 c2
ou, equivalentemente,
(ii) para qualquer c : [a, b] C 1 por partes,

com c(a) = c(b), vale
Z
= 0.
c
Ento existe f : IR tal que df = .

G. A DERIVADA E O TEOREMA FUNDAMENTAL DO CLCULO 57
Demonstrao: Vamos nos restringir ao caso em que conexo por caminhos

C 1 por partes (isto , quaisquer dois pontos de podem ser ligados por um tal
caminho).
Fixemos A em e a em IR. Seja ento f : IR dada por

Z Z
f (B) = a + =a+ F1 dx + F2 dy + F3 dz,
c c
onde c qualquer caminho comeando em A e terminando em B . Por (i), f est

bem denida. Para provar que df = F , basta, j que contnua, mostrar que as
derivadas direcionais de f , em um ponto qualquer B , so dadas pelas correspon-
dentes Fi (B):
f f f
(B) = F1 (B), (B) = F2 (B), (B) = F3 (B).
x y z
Sejam, pois, B em e v em IR3 , v = (1, 0, 0), v = (0, 1, 0) ou v = (0, 0, 1). Fixemos

h > 0 tal que B + tv est em para todo t em [0, h] e um caminho C 1 por partes
c : [, ] , com c() = A e c() = B . Podemos, claro, esticar c at B + tv , se
0 < t h, obtendo um caminho c1 : [, + t] (fazendo c1 (s) = B + (s )v ,
se < s t). Temos, ento,
Z Z Z t
f (B + tv) f (B) = F F = Fi (B + sv)ds,
c1 c 0
com i = 1, 2 ou 3, conforme v = (1, 0, 0), v = (0, 1, 0) ou v = (0, 0, 1). Multipli-

cando por (1/t) e passando ao limite quando t tende a zero, temos, da continuidade
das Fi e do Teorema Fundamental do Clculo, o resultado desejado.
g A derivada e o Teorema Fundamental do Cl-

culo
Vejamos, agora, o que a integral de linha nos ensina sobre a derivada. Dada
uma funo f , podemos dizer que sua derivada mede o quanto f deixa de ser
constante. No caso de funes de IR em IR, ainda podemos considerar que a
derivada dada por um nmero, que nos d essa medida. Mas no caso de
uma funo f : IR, como as que temos considerado, a derivada uma
1-forma. Pelo que acabamos de ver, a 1-forma df nos permite recuperar, por
meio de uma integral, a variao de f. exatamente isso o que diz a verso
do Segundo Teorema Fundamental do Clculo que j demonstramos e

explicitamos a seguir.
Teorema: Se f : IR derivvel e df integrvel sobre a curva c :

[a, b] , ento
Z
f (c(b)) f (c(a)) = df.
c
podemos dizer que, enquanto f associa nmeros a pontos de , sua derivada,

df , associa nmeros a curvas em , por meio de
Z
c 7 df.
c
Nosso Teorema pode ser lido assim: quando um ponto se desloca da posio
A at a posio B , deixando como rastro a curva c (cujas extremidades so,
precisamente, A e B ), a variao de f , f (B) f (A), dada pela integral de
df sobre c.
E se tentarmos algo anlogo para curvas que se deslocam, deixando como

rastro superfcies? Poderamos comear com uma homotopia livre, dada por
uma funo
: [a1 , b1 ] [a2 , b2 ] ,
de modo que, para cada s em [a1 , b1 ], possamos considerar a curva cs :

[a2 , b2 ] , dada por
cs (t) = (s, t).
Vamos, porm preferir trabalhar (pelo menos para uma primeira abordagem)
com homotopias de extremidades xas. Dois so os motivos:
1. se supusermos que todas as curvas cs comeam em um mesmo ponto A

e terminam em um mesmo ponto B , a superfcie por elas varrida ter
como bordo, exatamente, a unio das curvas inicial e nal;
t

c0
c1
Figura 4.3: rastro de curva que se desloca em
2. no caso de extremidades xas, as 1-formas que so derivadas de funes

de em IR tm integral
Z
df
cs
constante, independente de s.
t
c0
.
B
Q A .
s c1
Figura 4.4: rastro de curva que se desloca em , com extremidades xas
Mais precisamente, podemos, dada uma 1-forma denida em, considerar

a funo F que, a cada curva c em , associa a integral de sobre c:
Z
F : c 7 F(c) = .
c
Nesse contexto, o papel das funes constantes desempenhado pelas 1-

formas que so derivadas de funes de em IR (desde que nos limitemos a
homotopias de extremidades xas, ou de curvas fechadas). De certa forma,
a medida de o quanto a 1-forma deixa de ser uma derivada, pode ser feita
examinando a variao de
Z
I(s) = F(cs ) = ,
cs
ao longo de homotopias
: [a1 , b1 ] [a2 , b2 ] ,
tais que (s, a) A e (s, b) B . A ideia, agora, medir o quanto I(s)
deixa de ser constante, calculando sua derivada I 0 (s):
Z
0 d
I (s) = .
ds cs
Observao: O procedimento acima descrito anlogo ao que fazemos

quando derivamos uma funo g : IR ao longo de uma curva (s):
consideramos a funo
(s) = g((s))
e calculamos sua derivada em relao a s,
que vem a ser o que chamamos de
0
derivada de g na direo do vetor velocidade (s):
d
0 (s) = g((s)) = dg((s)) 0 (s).
ds
No mato em que nos estamos embrenhando, o papel de g desempenhado

por F,
Z
F(c) = ,
c
sendo o ponto (s) que se desloca (deixando como rastro a curva ) substi-
tudo pela curva cs (que varre a superfcie parametrizada por ). O que nos
propomos a investigar
d
I 0 (s) = F(cs ).
ds
A aplicao do Teorema Fundamental do Clculo, no caso de pontos que se

movem deixando como rastro uma curva, nos d a variao de g como uma
integral de linha:
Z b Z b Z
0 0
(b) (a) = (s)ds = dg((s)) (s)ds = dg.
a a
Podemos esperar, se tudo der certo, que, no caso em que so curvas que
se movem, deixando como rastro uma superfcie, a variao de F seja dada
por alguma espcie de integral de superfcie (calculada sobre a superfcie
parametrizada por ). H sinal de que isso, de fato, ocorra. Anal,
Z b1 Z b1
0 d
F(b1 ) F(a1 ) = I(b1 ) I(a1 ) = I (s)ds = F(cs ) ds =
a1 a1 ds
Z b1 Z Z b1 Z b2
d d
= ds = (cs (t))cs (t)dt ds =
a1 ds cs a1 ds a2
Z b1 Z b2 Z b 1 Z b 2
d d
((s, t)) (s, t)dt ds = ((s, t)) (s, t) dt ds.
a1 ds a2 t a1 a2 ds t
A ltima passagem depende, claro, de podermos derivar dentro do sinal de

integral.2 Feita essa ressalva, o que temos tem toda a cara de uma integral
dupla envolvendo a superfcie parametrizada por . Resta fazer as contas...
2 Ccomodizem, brincando, alguns fsicos, o fato de que sempre podemos derivar dentro
do sinal de integral um "teorema" bsico da Fsica
Captulo 5
Integrais de superfcie
O anlogo bidimensional para curvas parametrizadas so as superfcies pa-

rametrizadas. Suponhamos que seja uma regio de IR3 (ou, eventual-
2
mente, de IR ).
Denio: Uma superfcie parametrizada de classe Cr

em uma
r
aplicao, de classe C , : [a1 , b1 ] [a2 , b2 ] . Suporemos sempre r 1.
O trao (ou imagem) de S = ([a1 , b1 ] [a2 , b2 ]).
Observaes:
1. Embora possamos, eventualmente, faz-lo, uma superfcie no deve ser
confundida com seu trao (que, poderamos dizer, a superfcie pro-
priamente dita ). A superfcie parametrizada : [0, ] [02, ] IR3 ,
dada por
(s, t) = (sin s cos t, sin s sin t, cos s),
apenas uma parametrizao de seu trao, que a esfera S 2,
S 2 = (x, y, z) IR3 | x2 + y 2 + z 2 = 1 .

2. Assim como as curvas parametrizadas (que descrevem trajetrias de

partculas), superfcies parametrizadas podem ter autointersees, do-
braduras e amassados. Note que, assim como curvas podem se quebrar
em pontos de velocidade nula, superfcies parametrizadas podem se
63
64 CAPTULO 5. INTEGRAIS DE SUPERFCIE
dobrar (ou mesmo coisas piores) ao longo de curvas em que a dife-

rencial 1 0
de (que notaremos por ) no seja injetiva. A superfcie
: [1, 1] [0, 1] IR3 , dada por
(s, t) = (s3 , t, |s|3 ),
quebra no eixo dos y.
3. Curvas parametrizadas tm uma orientao, dada pelo sentido do per-

curso (ou, localmente, pelo lado para o qual aponta o vetor velocidade).
Superfcies parametrizadas tambm tm uma orientao, ao menos nos
0
pontos em que injetiva. Mais precisamente, se considerarmos os
vetores

(s, t), (s, t),
s t
nesta ordem, seu produto vetorial normal superfcie (pode ser nulo).
Podemos, eventualmente, us-lo para denir um sentido positivo, ou
orientao de . Note que sempre possvel inverter a orientao de
, trocando a parametrizao de forma que o vetor normal mude de
sentido.
4. Superfcies parametrizadas podem viver em IR2 e, como peas de pano,

recobrir vrias vezes a mesma regio. Um bom exemplo, usando a
2
identicao entre IR e C
I , dada por
(r, ) = (r cos + ir sin )n ,
com r [0, R], [0, 2] (R > 0 real e n > 1 inteiro, ambos xos).
Note que, neste caso, o trao de o disco de centro (0, 0) e raio R,
percorrido n vezes.
uma funo : A IRn IRM , sua diferencial no ponto x de IRn a

1 Dada
transformao linear 0 (x) que melhor aproxima (x + h) (x), no seguinte sentido:
|(x + h) (x) 0 (x)h|
lim =0
|h|0 |h|
A. MEDINDO REAS 65
5. O bordo (que ainda vamos denir) pode ser algo sutilmente diferente
da imagem do bordo do retngulo [a1 , b1 ] [a2 , b2 ] (que, claro,
dado por seus quatro lados). Vejamos a superfcie parametrizada :
[0, ] [02, ] IR3 , dada por
(s, t) = (sin s cos t, sin s sin t, cos s).
Seu trao, S 2, uma superfcie sem bordo; razovel dizer que,

tambm seja sem bordo.
(0, 1) c3 (1, 1)
c4 Q c2
(0, 0) c1 (1, 0)
Figura 5.1: bordo
Exerccio: Pense na ltima observao. Estude as curvas parametrizadas cor-

respondentes a cada um dos quatro lados do retngulo [0, ] [02] por ,
percorridos em sequncia, no sentido trigonomtrico; note que duas dege-
neram (cada uma em um ponto) e que as outras duas, de certa forma, se
cancelam : so a mesma curva, percorrida em sentidos opostos.
a Medindo reas
O comprimento de uma curva parametrizada c : [a, b] obtido da se-
guinte forma: toma-se uma partio P = {t0 , . . . , tn } de [a, b], e considera-se
o comprimento da poligonal [c(t0 ), c(t1 ), . . . , c(tn1 ), c(tn )], que aproximado
por
n
X
|c(
i )|(ti ti1 ),
i=1
que uma soma de Riemann para a integral
Z b
|c(t)|dt.

a
No caso em que c C1 por partes, essa ltima integral existe e adotada

como denio do comprimento.
De certa forma, consideramos como um elemento innitesimal de curva

dtc(t)
(note que um vetor, mesmo que innitesimal). Seu comprimento |dtc(t)|
.
Assim, o comprimento da curva a soma (integral) dos comprimentos de
todos seus elementos.
Consideremos, agora, uma superfcie parametrizada : [a1 , b1 ] [a2 , b2 ]

. Podemos, analogamente, tomar uma partio de [a1 , b1 ] [a2 , b2 ], e con-
siderar, para cada retangulozinho, uma aproximao para sua imagem. Se
usarmos as letras u e v para os pontos de [a1 , b1 ][a2 , b2 ], a imagem do retan-
gulozinho de vrtices (u0 , v0 ), (u0 + u, v0 ), (u0 + u, v0 + v), (u0 , v0 + v)
pode ser aproximada pelo paralelogramo formado, a partir de (u0 , v0 ), pelos
vetores

u (u0 , v0 ) e v (u0 , v0 ),
u v
cuja rea dada pela norma de seu produto vetorial:

uv| (u0 , v0 ) (u0 , v0 )|.
u v
Somando todos os pedacinhos, teremos, desta vez, uma soma de Riemann

para a integral
Z b2 Z b1

| (u, v) (u, v)|dudv.
a2 a1 u v
Como nossas superfcies so de classe C 1, podemos tomar essa integral como

denio de rea da superfcie parametrizada . Note que, se a superfcie
parametrizada recobre vrias vezes uma mesma superfcie geomtrica, a rea
contada vrias vezes.
A. MEDINDO REAS 67
uv
u (u0 , v0 )

v (u0 , v0 )
v0 + v
v0
u0 u0 + u
Figura 5.2: pedacinho de superfcie
Poderamos, agora, dizer que o par de vetores (innitesimais)

du (u, v), dv (u, v)
u v
o elemento innitesimal de superfcie . Sua rea

| (u, v) (u, v)|dudv;
u v
Para obter a rea total, somamos (integramos) as reas de todos os elementos.
Exemplo: Seja a superfcie parametrizada : [0, ] [0, 2] IR3 , dada

por
(s, t) = (sin s cos t, sin s sin t, cos s).
Como vimos, cobre a esfera S2 uma vez, Sua rea
Z 2 Z
|(cos s cos t, cos s sin t, sin s) ( sin s sin t, sin s cos t, 0)| dsdt =
0 0
Z 2 Z
Z 2 Z
(sin2 s cos t, sin2 s sin t, cos s sin s) dsdt = sin s dsdt = 4.
0 0 0 0
b Medindo outras coisas

Voltemos s integrais de linha. Suponhamos dada, em , uma 1-forma .
Podemos dizer que (P ) nos d, em cada ponto P de , um medidor. Assim,
quando a curva c : [a, b] passa por P (isto , qundo, para um certo t,
c(t) = p), o medidor nos d, para o elemento innitesimal de curva
dt c(t),

o nmero (innitesimal)
(c(t))(dt c(t))
= (c(t))(c(t))
dt.
A integral de linha de sobre c , exatamente, a soma de todas essas medidas

innitesimais.
No caso de uma superfcie parametrizada : [a1 , b1 ] [a2 , b2 ] , o

elemento innitesimal de superfcie o par de vetores (innitesimais)

ds (s, v), dt (s, t) .
s t
Admitimos, sem muita polmica, que o medidor de elementos de curva de-

veria ser uma aplicao linear, que, anal, associa nmeros a vetores e tem
propriedades razoveis. Colocamos, agora, a questo: o que deve ser o
medidor de elementos de superfcie?
J que os elementos de superfcie so pares de vetores (ou o paralelogramo
a eles associado), podemos pensar em algo como o determinante no plano,
que a cada par de vetores (~u, ~v ) associa um nmero, det(~u, ~v ). Esse nmero
depende linearmente de cada um dos dois vetores, isto , o determinante
bilinear:
det(t~u1 + ~u2 , ~v ) = tdet(~u1 , ~v ) + det(~u2 , ~v );
det(~u, t~v1 + ~v2 ) = tdet(~u, ~v1 ) + det(~u, ~v2 ).

B. MEDINDO OUTRAS COISAS 69
O determinante tem outra propriedade importante: det(~u, ~v ) nulo quando

os vetores ~u e ~v so linearmente dependentes (o que signica, no caso dos
elementos de superfcie, que o elemento de superfcie perde sua bidimensio-
nalidade). Se adotarmos essas propriedades para nossos medidores, teremos,
3
como nossos vetores vivem em IR , coisas que, por motivos que j veremos,
so chamadas de formas bilineares alternadas.
Denio: Uma aplicao : IR3 IR3 IR dita uma forma bilinear
alternada se, para todos ~u, ~u1 , ~u2 , ~v, ~v1 , ~v2 em IR3 e para todo t em IR,
(i) (t~u1 + ~u2 , ~v ) = t(~u1 , ~v ) + (~u2 , ~v ),
(ii) (~u, t~v1 + ~v2 ) = t(~u, ~v1 ) + (~u, ~v2 ),

e
(iii) (~u, ~v ) = 0,
sempre que ~u e ~v sejam linearmente dependentes.
Observao: da propriedade (iii) decorre (~u, ~u) = 0, qualquer que seja ~u

3
em IR . Da vem
0 = (~u + ~v , ~u + ~v ) = (~u, ~u) + (~v , ~v ) + (~u, ~v ) + (~v , ~u) = (~u, ~v ) + (~v , ~u),
o que signica que (~u, ~v ) troca de sinal, quando trocamos a ordem dos
vetores ~u e ~v . Da o adjetivo alternada.
Admitindo que nossos medidores de elementos de superfcie sejam formas
bilineares alternadas, poderamos, ento, considerar dada uma aplicao
P 7 (P ),
que a cada ponto P
associa uma forma bilinear alternada (P ) ( cha-
de
mada uma 2-forma diferencial em ). Dada uma superfcie parametrizada
: [a1 , b1 ] [a2 , b2 ] , o elemento (innitesimal) de superfcie

ds (s, v), dt (s, t)
s t
seria medido por ((s, t)), produzindo o nmero (innitesimal)

((s, t)) ds (s, v), dt (s, t) = ((s, t)) (s, v), (s, t) dsdt.
s t s t
Somando todos esses numerozinhos, chegaramos integral
Z Z b2 Z b1

= ((s, t)) (s, v), (s, t) dsdt.
a2 a1 s t
uma possibilidade, mas depende, ainda, de exemplos concretos.
c O ngulo slido
Assim como o ngulo correspondente a uma curva, vista da origem, pode
ser denido a partir do comprimento de sua projeo sobre o crculo unit-
1 2 2 2
rio S = {(x, y) IR | x + y = 1}, o ngulo slido correspondente a uma
superfcie, vista da origem, pode ser dado pela rea de sua projeo sobre a
esfera
S 2 = (x, y, z) IR3 | x2 + y 2 + z 2 = 1

S2
(S)
S
Figura 5.3: ngulo slido

C. O NGULO SLIDO 71
Assim como no caso das curvas, interessante que a rea da projeo te-
nha um sinal; veremos como lidar com isso. Comecemos considerando uma
superfcie parametrizada
: [a1 , b1 ] [a2 , b2 ] IR3 \ {(0, 0, 0)} .

(s, t) 7 (s, t) = (x1 (s, t), x2 (s, t), x3 (s, t))
Como no caso das curvas, acompanhemos o ponteiro, (s, t), dado por =
p , sendo
p : IR3 \ {(0, 0, 0)} S 2

1
x 7 |x| x
A primeira ideia, como no caso das curvas, seria denir o ngulo slido com-
preendido por com a rea da superfcie parametrizada = p ,
: [a1 , b1 ] [a2 , b2 ] IR3 \ {(0, 0, 0)} ,

1
(s, t) 7 (s, t) = |(s,t)| (s, t)
ou seja,
1
(s, t) = p (x1 (s, t), x2 (s, t), x3 (s, t)).
x1 (s, t) + x2 (s, t)2 + x3 (s, t)2
2
Devemos, porm, como no caso das curvas, levar em conta o fato de que
nossa superfcie pode fazer voltas. Isso nos leva a tomar a seguinte deciso:
caso o vetor normal

(u, v) (u, v)
u v
aponte para longe da origem, consideraremos positivo o elemento de rea;
caso contrrio, cont-lo-emos negativamente. Passemos s contas.
Queremos uma integral que nos d a rea, com sinal, da projeo de sobre
S 2 . O elemento de superfcie a considerar, para cada (s, t) [a1 , b1 ] [a2 , b2 ]
2
o de = p. Ora, toma valores em S ; isso implica em serem tangentes
2
a S os vetores

, ;
s t
logo, seu produto vetorial (cuja norma , a menos de sinal, nosso integrando)
2
normal a S . Calculemos:

= p = p0 () , = p = p0 () ,
s s s t t t
1
com p(x) = |x| x.
O clculo de p0 (x)h nos d, para qualquer ponto x em IR3 \{(0, 0)} e qualquer
vetor h em IR3 ,
1 < x, h >
p0 (x)h = h x.
|x| |x|3
Para simplicar um pouco a notao, chamemos (s, t) = (x1 (s, t), x2 (s, t), x3 (s, t))
de x. Ento
x 1 x < x, x >
= p0 (x) = s
3
x,
s s |x| s |x|
x 1 x < x, x >
= p0 (x) = t
3
x.
t t |x| t |x|
Como
1
=p= x,
|x|
o vetor unitrio normal (apontando para fora) a S2 em (s, t) o prprio
(s, t), dado por
1
(s, t) = x(s, t).
|x(s, t)|
2
Ora, e so tangentes a S e, portanto, normais ao vetor acima. Assim,
s t
a menos do sinal, o elemento de rea que queremos dado pelo produto
escalar
C. O NGULO SLIDO 73

, ,
s t
que vem a ser o determinante (ou produto misto) dos vetores
1 1 x < x, x
s
> 1 x < x, x
t
>
x, x, x.
|x| |x| s |x|3 |x| t |x|3
Agora vale muito a pena observar que, nos dois ltimos vetores, temos
< x, x
s
> < x, x
t
>
x, x,
|x|3 |x|3
que so mltiplos do primeiro e, portanto, podem ser descartados. Ficamos,
pois, com

1 1 x 1 x 1 x x
x, = 3
x, .
|x| |x| s |x| t |x| s t
Essa ltima expresso tem duas caractersticas importantes:
1. a menos, talvez, do sinal, (acrescentando-lhe dsdt) o nosso integrando,

isto ,

1 x x
x, dsdt
|x|3 s t
, a menos do sinal, o elemento de rea da projeo de sobre S 2;
2. o sinal est certo!
De fato, como x aponta para longe da origem o sinal ser positivo quando
o normal apontar para longe e negativo quando apontar para perto. Assim,
chamando (s, t) de x, o ngulo slido ser a integral
Z b2 Z b1
1 x x
3
x, dsdt,
a2 a1 |x| s t
que pode tambm ser escrita, usando o ponto para o produto escalar,
Z b2 Z b1
1 x x
x dsdt,
a2 a1 |x|3 s t
ou ainda, para quem prefere o determinante,
Z b2 Z b1
1 x x
det 3
x, , dsdt.
a2 a1 |x| s t
Proposio: Para todo x em IR3 \ {(0, 0)}, a aplicao
(x) : IR3 IR3 : IR

1
(u, v) 7 (x)(~u, ~v ) = det |x|3
x, ~u, ~v )
satisfaz s propriedades a seguir, para todos ~u, ~u1 , ~u2 , ~v , ~v1 , ~v2 em IR3 e para
todo t em IR:
(i) (x)(t~u1 + ~u2 , ~v ) = t(x)(~u1 , ~v ) + (x)(~u2 , ~v ),
(ii) (x)(~u, t~v1 + ~v2 ) = t(x)(~u, ~v1 ) + (x)(~u, ~v2 );

e
(iii) (x)(~u, ~v ) = 0,
Demonstrao: As propriedades (i), (ii) e (iii) decorrem das propriedades do deter-

minante (ou, para quem preferir, das dos produtos escalar e vetorial).
Assim, o ngulo slido calculado por meio de uma integral como as que
imaginamos na seo anterior:
Z Z b2 Z b1

= ((s, t)) (s, v), (s, t) dsdt.
a2 a1 s t
D. FLUXO DE UM CAMPO DE VETORES 75
d Fluxo de um campo de vetores

3 1
Consideremos um campo de vetores F em IR (suposto de classe C ). Consi-
3
deremos em IR as linhas de uxo
de F , isto , as curvas x(t) satisfazendo
a
x(t)
= F (x(t)).
n
F (x(t))
x(t)
S
Figura 5.4: uxo do campo F atravs da superfcie S
Consideremos agora uma superfcie parametrizada , cujo trao S (imagi-

nemos que S aquilo que, idealmente, achamos que uma superfcie deve ser)
3
em IR . Supondo que as linhas de uxo carregam alguma coisa (gua que
escoa, por exemplo), tentemos calcular o volume dessa alguma coisa que
atravessa S por unidade de tempo. Para isto, preciso xar uma direo
positiva de escoamento, que ser a dada pelo vetor normal (Figura ??)

.
u v
Considerando uma poro innitesimal de S , de rea dS , e um intervalo de

tempo dt, o volume innitesimal que atravessa o pedacinho de superfcie
no tempo dt o de um paraleleppedo innitesimal cuja base tem rea dS ,
cuja altura tem a direo de n(x) e cujo terceiro lado dtF (x), sendo x um
ponto do pedacinho (gura ??).
n(x)
dtF (x)
x
dS
Figura 5.5: volume que atravessa poro innitesimal de S em um intervalo

innitesimal de tempo
Volume Infinitesimal = dSdtF (x).n(x) (com sinal)

Dividindo por dt e integrando sobre S, teremos o que pode ser chamado
uxo de F atravs de S , dado por
Z
F.ndS.
S
Note que esta uma integral escalar e deve ser calculada, em princpio, via
uma parametrizao de S.
R
Para o clculo de
S
F.ndS , suponhamos que S a imagem de uma super-
1 3
fcie parametrizada (de classe C ) : [a1 , b1 ] [a2 , b2 ] IR , (u, v) =
(x1 (u, v), x2 (u, v), x3 (u, v)).
A imagem do quadradinho de lados u e v ser aproximada pela diferen-

cial de , obtendo-se um paralelogramo de lados (vetoriais) (u0 , v0 )u e
u
v
??
(u0 , v0 )v (Figura ). A rea desse paralelogramo calculada por meio
do produto vetorial,
D. FLUXO DE UM CAMPO DE VETORES 77
uv
u (u0 , v0 )

v (u0 , v0 )
v0 + v
v0
u0 u0 + u
Figura 5.6: aproximao da rea

e1 e2 e3
x1 x2 x3
uv (u0 , v0 ) (u0 , v0 ) = det u u u
uv.
u v x1 x2 x3
v v v

Assim, o vetor
u
(u0 , v0 )
v
(u0 , v0 ) normal a S em (u0 , v0 ) e tal que sua
norma expressa a relao entre o elemento de rea dS de S e o elemento
de rea dudv de [a1 , b1 ] [a2 , b2 ]. Desta forma, nosso uxo de um campo F
atravs de S pode ser calculado por
Z Z b1 Z b2

F.ndS = F ((u, v)). (u, v) (u, v)dudv,
S a1 a2 u v
ou, se preferirmos o determinante,
Z Z b1 Z b2

F.ndS = det F ((u, v)), (u, v), (u, v) dudv.
S a1 a2 u v
Observao: ndS costuma ser notado dS~ . O integrando direita o produto

misto de
F (), u e v . Assim, podemos tambm escrever
~ =
R R
S
F.ndS = S F.dS

Z b1 Z b2 F1 F 2 F 3
x1 x2 x3
= det u u u
(u, v)dudv,
a1 a2 x1 x2 x3
v v v
sendo (u, v) =R (x1 (u, v), x2 (u, v), x3 (u, v)). Usaremos tambm a notao
mais abreviada
S
F.
Seja qual for a notao preferida, o fato que chegamos, de novo, a uma
3
forma bilinear alternada. De fato, se F IR , a aplicao
F : IR3 IR3 : IR
(u, v) 7 F (~u, ~v ) = det (F, ~u, ~v ))
todo t em IR:
(i) F (t~u1 + ~u2 , ~v ) = tF (~u1 , ~v ) + F (~u2 , ~v ),
(ii) F (~u, t~v1 + ~v2 ) = tF (~u, ~v1 ) + F (~u, ~v2 );

e
(iii) F (~u, ~v ) = 0,
Podemos pois, a cada campo de vetores F denido em , associar uma forma

diferencial F , tambm em , dada por
F (x)(~u, ~v ) = det(F (x), ~u, ~v ).
Assim, o uxo do campo F atravs da superfcie S parametrizada por , que

2
acabamos de denir , nada mais que
Z Z
~=
F.dS F .
S
2 embora sem mostrar que independe da parametrizao

E. A NOVA DERIVADA 79
e A nova derivada
Voltemos questo de, dada uma 1-forma em ,
(x) = F1 (x)dx + F2 (x)dy + F3 (x)dz,

estudar a variao da integral de linha
Z
,
cs
quando cs se desloca em , varrendo uma certa superfcie. Como j vimos,

parece conveniente supor que o deslocamento se faz mantendo xas as extre-
midades de cs .
Vamos supor desde j, por precauo, que as funes F1 , F2
1
e F3 so de classe C .
t
c0 .B
Q
A .
c1
s
Figura 5.7: rea varrida entre co e c1
Consideremos duas curvas de classe C 1 , c0 , c1 : [0, 1] , com c0 (0) =

c1 (0) = A, c0 (1) = c1 (1) = B . Suponhamos que c0 pode ser deformada at
se transformar em c1 da seguinte maneira: para cada s [0, 1], temos uma
curva cs : [0, 1] de classe C , com cs (0) = A e cs (1) = B (Figura ??).
1
Seja Q = [0, 1] [0, 1]. Seja :Q dada por (s, t) = cs (t) ( dita
uma homotopia de extremidades xas entre c0 e c1 ).
Em princpio, deveramos exigir apenas que as curvas cs variem continua-
mente com s,
mas, para evitar aborrecimentos desnecessrios na hora das
2
contas, vamos supor que de classe C . Para ajudar nos clculos, obser-
vamos que, sendo F (x) = (F1 (x), F2 (x), F3 (x)), temos, para qualquer ~v em
IR3 ,
t
c0
.
B
Q A .
s c1
Figura 5.8: homotopia de extremidades xas
(x)~v = F1 (x)v1 + F2 (x)v2 + F3 (x)v3 =< F (x), ~v >= F (x) ~v .
Note que
(s, 0) A, (s, 1) B.
Seja ento , para s em [0, 1],
Z
I(s) = ,
cs
ou seja,
Z 1 Z 1

I(s) = F (cs (t)).cs (t)dt = F ((s, t)). (s, t)dt.
0 0 t
Recordemos que, se existisse f : IR3 IR tal que df = ), I deveria ser
constante. Uma tentativa de entender o caso geral pode comear pelo estudo
da derivada de I
(anal, a derivada mede o quanto uma funo deixa de ser
0
constante). Calculando I (s), obtemos, se F = (F1 , F2 , F3 ) e = (x1 , x2 , x3 ):
R1h 0 2
i
I 0 (s) = 0
F ((s, t))
s
(s, t)
t
(s, t) + F ((s, t)) st
(s, t) dt.
Integrando por partes a segunda parcela, obtemos:

E. A NOVA DERIVADA 81
R1
I 0 (s) = F 0 ((s, t))

0 s
(s, t) t
(s, t) dt + F ((s, t)) s
(s, t) |t=1
t=0
R1
F 0 ((s, t))

0 t
(s, t) s
(s, t) dt.

Como (s, 0) A e (s, 1) B , temos
s
(s, 0) 0 e
s
(s, 1) 0. Logo,
Z 1
0 0 0
I (s) = F ((s, t)) (s, t) (s, t)F ((s, t)) (s, t) (s, t) dt
0 s t t s
Agora bom observar que, se A : IR3 IR3 uma transformao linear, sua
adjunta a transformao 3 3
linear A : IR IR , dada por
< Au, v >=< u, A v >,

cuja matriz, no caso, a transposta da matriz de A.
Segue, ento
Z 1
0
I (s) = (F 0 ((s, t)) F 0 ((s, t)) ) (s, t) (s, t)dt.
0 s t
Ora, mais uma vez, aparece uma transformao bilinear alternada.
Proposio: Se A : IR3 IR3 uma transformao linear, ento a aplicao
: IR3 IR3 : IR
(u, v) 7 (~u, ~v ) =< A~u A~u, ~v >
todo t em IR:
(i) (t~u1 + ~u2 , ~v ) = t(~u1 , ~v ) + (~u2 , ~v ),
(ii) (~u, t~v1 + ~v2 ) = t(~u, ~v1 ) + (~u, ~v2 );

(iii) (~u, ~v ) = 0,
Demonstrao: A bilinearidade segue da bilinearidade do produto interno e das

linearidades de A e de A . Para a propriedade (iii), suponhamos que ~v = t~u.
Ento
< A~u A ~u, ~v >=< A~u A ~u, t~u >= t < A~u, ~u > t < A ~u, ~u >=
= t(< A~u, ~u > < ~u, A~u >) = t(< A~u, ~u > < A~u, ~u >) = 0.
J temos, ento, meios para denir a nova derivada.

Denio: Seja uma 1-forma diferencial de classe C 1, denida em
2
IR por
(x, y, z) = F1 (x, y, z)dx + F2 (x, y, z)dy + F3 (x, y, z)dz.
A derivada exterior de a 2-forma diferencial d, denida em por

d(x, y, z)(~u, ~v ) =< (F 0 (x, y, z) F 0 (x, y, z) )~u, ~v >,
sendo F : IR3 dada por F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z)dz).
Captulo 6
Os Teoremas de Kelvin e de
Green
a Os objetos
Estamos trabalhando com curvas e superfcies parametrizadas. Podemos,
eventualmente, considerar suas generalizaes para dimenses mais altas.
Embora no nos sejam teis neste texto, no custa nada apresentar uma
denio mais geral.
Denio: um subconjunto de IRn . Um k -bloco singular em

Seja
1
uma aplicao c : B , de classe C , sendo B = [a10 , a11 ] . . . [ak0 , ak1 ]
um bloco em IR . Se 1-blocos singulares so chamados de curvas parame-
k
trizadas; 2-blocos singulares so chamados de superfcies parametriza-

das.
Dada a diculdade de generalizar, j para superfcies, a denio de curva C1

por partes, vamos utilizar um conceito mais geral. A ideia introduzir um
novo objeto, que poderamos chamar de c1 c2 , que corresponde "juno"
de c1 e c2 . O novo objeto (c1 c2 ) composto de dois pedaos: c1 e c2 , de
maneira que a integral de uma 1-forma sobre c1 c2 seja a soma da integral
de sobre c1 com a integral de sobre c2 . Podemos tambm convencionar
que c corresponde curva c "percorrida de trs para diante". Assim, tomar
3
o bordo de uma superfcie parametrizada : [a10 , a11 ] [a20 , a21 ] IR
corresponde a considerar as quatro curvas ij dadas por
83
84 CAPTULO 6. OS TEOREMAS DE KELVIN E DE GREEN
10 (t2 ) = (a10 , t2 ),
11 (t2 ) = (a11 , t2 ),
20 (t1 ) = (t1 , a20 ),
21 (t1 ) = (t1 , a21 ),

e fazer
= 20 11 21 10 .
Podemos, tambm, convencionar que, se

R R n IN , nc corresponde a colar n c-
pias de c (de modo que nc = n c ) e, da mesma forma, (n)c corresponde
a tomar as n cpias de c "percorridas de trs para diante".
Exerccio: Sejam c, cn : [0, 2] IR2 dadas por c(t) = (cos t, sin t) e cn (t) =
(cos nt, sin nt). Entenda que nc = cn para toda 1-forma (contnua, para
R R
simplicar).
Embora os smbolos e , para denotar a colagem, possam evitar confu-

ses, os universalmente adotados so os tradicionais + e . Desta forma,
escreveremos, por exemplo,
= 20 + 11 21 10 .
Denio: Seja um subconjunto de IRN . Uma cadeia unidimensional

(ou 1-cadeia ) de classe C em uma soma formal
r
c = n1 c1 + + nk ck ,
onde cada ni um inteiro e cada
ci : [ai , bi ]
de classe Cr (com ai 6= bi ).
A. OS OBJETOS 85
A ideia a reter que uma cadeia consiste em um conjunto de curvas "emenda-

das umas nas outras" (embora no estejamos exigindo que cada uma comece
onde termina a outra). As multiplicidades ni indicam que cada ci deve ser
contada ni
vezes (com sentido invertido se ni for negativo). No caso de 1-
3
cadeias em IR , devemos ter em mente o que queremos, quando considerarmos
integrais de linha: dado uma 1-forma denida em um aberto contendo as
imagens das ci , deniremos
Z Z Z
= n1 + + nk .
c c1 ck
Exerccio: Seja c = c1 2c2 , com c1 , c2 : [0, 1] IR2 dadas por c1 (t) =

(cos 4t, sin 4t) e c2 (t) = (cos 2t, sin 2t). Mostre que
Z
= 0,
c
qualquer que seja 1-forma contnua em IR2 . Conclua que, embora no seja
nula, c "moralmente nula".
Denio:Dada uma superfcie parametrizada

: [a10 , a11 ] [a20 , a21 ] IR3
seu bordo ser a cadeia composta pelas curvas
10 (t2 ) = (a10 , t2 ),
11 (t2 ) = (a11 , t2 ),
20 (t1 ) = (t1 , a20 ),
21 (t1 ) = (t1 , a21 ),

somadas da seguinte maneira:
= 20 + 11 21 10 .
Observao: Note que os sinais foram tomados para manter o sentido trigo-
nomtrico (misteriosamente escolhido).
b Os integrandos
Consideraremos apenas integrandos sobre objetos de dimenses 1 e 2: 1-
formas ou 2-formas, conforme o caso.
Denio: Seja um subconjunto de IR3 (ou, eventualmente, de IR2 ). Uma

1-forma diferencial em uma aplicao que, a cada ponto P de ,
associa uma transformao linear (P ) de IR3 (ou IR2 ) em IR.
Representaremos, em geral, a forma por
(P ) = F1 (P )dx + F2 (P )dy + F3 (P )dz
(ou (P ) = F1 (P )dx + F2 (P )dy , se IR2 ), entendendo que, se v =

(v1 , v2 , v3 ), ento (P )v dada por
(P )v = F1 (P )v1 + F2 (P )v2 + F3 (P )v3
2
((P )v = F1 (P )v1 + F2 (P )v2 , se estivermos em IR ). Diremos que
contnua, diferencivel, ou de classe r
C , conforme o sejam F1 , F2 e F3 .
Denio: uma 1-forma diferencial = F1 dx + F2 dy + F3 dz

Sejam
em e c : [a, b] uma curva parametrizada em , dada por c(t) =
(x(t), y(t), z(t). A integral de linha de sobre c denida por
Z Z
= F1 dx + F2 dy + F3 dz =
c c
Z b
[F1 (x(t), y(t), z(t))x(t)
+ F2 (x(t), y(t), z(t))y(t)
+ F3 (x(t), y(t), z(t))z(t)]
dt,
a
caso essa ltima integral exista (o que sempre o caso, se for contnua,
por exemplo). Salvo meno em contrrio, suporemos sempre que nossas
1-formas so contnuas. Se c = n1 c1 + . . . + nl cl uma 1-cadeia em , a
integral de sobre c dada por
B. OS INTEGRANDOS 87
Z Z Z
= n1 + . . . + nl .
c c1 cl
Exemplo: O caso para ns mais relevante aquele em que a cadeia c o

bordo de uma superfcie para metrizada ,
: [a10 , a11 ] [a20 , a21 ] .

O bordo de ser a cadeia
= 20 11 21 10 ,
com
10 (t2 ) = (a10 , t2 ),
11 (t2 ) = (a11 , t2 ),
20 (t1 ) = (t1 , a20 ),
21 (t1 ) = (t1 , a21 ),

de modo que
Z Z Z Z Z
= + .
20 11 21 10
Denio: Uma aplicao : IR3 IR3 IR dita uma forma bilinear

alternada se, para todos ~u, ~u1 , ~u2 , ~v, ~v1 , ~v2 em IR3 e para todo t em IR,
(i) (t~u1 + ~u2 , ~v ) = t(~u1 , ~v ) + (~u2 , ~v ),
(ii) (~u, t~v1 + ~v2 ) = t(~u, ~v1 ) + (~u, ~v2 ),

e
(iii) (~u, ~v ) = 0,
Observao: da propriedade (iii) decorre (~u, ~u) = 0, qualquer que seja ~u

em IR3 . Da vem
0 = (~u + ~v , ~u + ~v ) = (~u, ~u) + (~v , ~v ) + (~u, ~v ) + (~v , ~u) = (~u, ~v ) + (~v , ~u),
o que signica que (~u, ~v ) troca de sinal, quando trocamos a ordem dos
vetores ~u e ~v . Da o adjetivo alternada.
Denio: Sejam uma 2-forma diferencial em e
: [a1 , b1 ] [a2 , b2 ]
uma superfcie parametrizada. A integral de sobre denida por

Z Z b2 Z b1

= ((s, t)) (s, v), (s, t) dsdt.
a2 a1 s t
c Um pouco mais sobre as 2-formas

Como j repetimos exaustivas vezes, uma aplicao : IR3 IR3 IR
dita uma forma bilinear alternada se, para todos ~u, ~u1 , ~u2 , ~v, ~v1 , ~v2 em IR3
e para todo t em IR,
(i) (t~u1 + ~u2 , ~v ) = t(~u1 , ~v ) + (~u2 , ~v ),
(ii) (~u, t~v1 + ~v2 ) = t(~u, ~v1 ) + (~u, ~v2 ),

e
(iii) (~u, ~v ) = 0,
A propriedade (iii), como j vimos, implica em dizer que (~u, ~v ) troca de

sinal, quando trocamos a ordem dos vetores ~u e ~v . Vejamos o que essas
propriedades nos do, em termos de coordenadas. Suponhamos
C. UM POUCO MAIS SOBRE AS 2-FORMAS 89
~u = (u1 , u2 , u3 ); ~v = (v1 , v2 , v3 ).
Ento, se bilinear alternada, temos
(~u, ~v ) = (u1 e~1 + u2 e~2 + u3 e~3 , v1 e~1 + v2 e~2 + v3 e~3 ) =
(e~2 , e~3 )[u2 v3 u3 v2 ] + (e~3 , e~1 )[u3 v1 u1 v3 ] + (e~1 , e~2 )[u1 v2 u2 v1 ].
Chamando (e~2 , e~3 ) de F1 , (e~3 , e~1 ) de F2 e (e~1 , e~2 ) de F3 e fazendo F =

(F1 , F2 , F3 ), temos
(~u, ~v ) = det(F, ~u, ~v ) =< F, ~u ~v > .
Usaremos, tambm, as sugestivas notaes
= F1 dydz + F2 dzdx + F3 dxdy = F1 dy dz + F2 dz dx + F3 dx dy.
Assim, toda forma bilinear alternada em IR3

pode ser associada a um vetor, e
3
viceversa. No caso em que, para uma certa transformao linear A : IR
3
IR , a forma seja dada por
(~u, ~v ) =< [A A ]~u, ~v >,

com A dada, na base cannica, pela matriz (aij ), teremos

0 a12 a21 a13 a31 u1 v1
(~u, ~v ) = a21 a12 0 a23 a32 u2 v2 =
a31 a13 a32 a23 0 u3 v3
= (a32 a23 )[u2 v3 u3 v2 ] + (a13 a31 )[u3 v1 u1 v3 ] + (a21 a12 )[u1 v2 u2 v1 ].
Neste caso, portanto, o vetor associado 2-forma

F = (F1 , F2 , F3 ) = (a32 a23 , a13 a31 , a21 a12 ).
O caso mais relevante (e que apareceu no nal do captulo anterior) aquele

em que a transformao linear era a diferencial de F = (F1 , F2 , F3 ), de modo
0 0
que a matriz em questo era a de F F :

F1 F2 F1 F3
0 y
x z
x
F2 F1 F2 F3

x
y
0 z
y .

F3 F1 F3 F2
x
z y
z
0
Neste caso, o vetor associado forma que chamamos de d

F3 F2 F1 F3 F2 F1
F = , , ,
y z z x x y
conhecido como o rotacional de F .

Observao: Note que, com a tradicional notao e~1 = i, e~2 = j, e~3 k , o
smbolo F coerente com

i j k

F = x y z

F1 F2 F3
d O Teorema de Kelvin
No nal do captulo anterior, uma nova derivada surgiu do estudo que zemos
da variao da integral de linha de uma 1-forma = F1 dx + F2 dy + F3 dz ao
longo de uma curva que se movia, de uma posio inicial c0 at uma posio
nalc1 , mantidas xas suas extremidades. Isto gerava uma superfcie , cujo
bordo era, precisamente, c1 c0 . Podemos observar, claro, que, se deixarmos
livres as extremidades da curva, o bordo da superfcie que geraremos ter
mais dois pedaos, alm de c0 e c1 (Figura ??).
No parece ser to difcil lidar com esta situao, mas teremos que alterar
um pouco a demonstrao do Teorema.
D. O TEOREMA DE KELVIN 91
Teorema de Kelvin:1 aberto em IR3 , uma 1-forma de classe C 1

Sejam
em e : B = [a1 , b1 ] [a2 , b2 ] de classe C 1 . Ento
Z Z
= d,

sendo d a 2-forma chamada de derivada exterior de , dada por

F3 F2 F1 F3 F2 F1
d = dy dz + dz dx+ dxdy,
y z z x x y
associada ao campo de vetores

F3 F2 F1 F3 F2 F1
F = , , .
y z z x x y
Demonstrao: Comecemos, para no complicar, supondo que de classe C 2 .
Faamos, para cada s em [a1 , b1 ], cs : [a2 , b2 ] , c(t) = (s, t) e
Z Z b2

I(s) = F = F ((s, t)). (s, t)dt.
cs a2 t
Derivando I , obtemos:
b2 b2
2
Z Z

I 0 (s) = F 0 ((s, t)) (s, t). (s, t)dt + F ((s, t)). (s, t)dt
a2 s t a2 st
Integrando por partes a segunda parcela, obtemos
R b2 R b2
I 0 (s) = a2 F 0 ((s, t))
s (s, t). t (s, t)dt a2 F 0 ((s, t))
t (s, t). s (s, t)dt+
+F ((s, b2 )).
s (s, b2 ) F ((s, a2 )). s (s, a2 ).
Integrando de a1 a b1 , obtemos
R b1 R b1
F ((s, b2 )). F ((s, a2 )).
R R
c b1 F ca1 F a1 s (s, b2 )ds + a1 s (s, a2 )ds =
R b1 R b2
= a1 a2 F 0 ((s, t))
s (s, t).
t (s, t)dt F 0 ((s, t)) (s, t). (s, t) dtds.
t s
1 tambm chamado de Teorema de Stokes

t

c0
c1
Figura 6.1: Teorema de Kelvin
O primeiro termo exatamente F . O segundo, aps manipulaes (ver o nal

R
da seo anterior), exatamente d . Isto demonstra o Teorema, no caso em que

R
de classe C 2 .
Vejamos agora o caso em que apenas C 1 . Note que, nestas condies, no

podemos calcular I 0 da mesma forma. Vamos trabalhar com a denio. Dado h,
temos:
R b2
I(s + h) I(s) = a2 [F ((s + h, t) F ((s, t))] .
t (s + h, t)dt
R b2 h i

a2 F ((s, t)). t (s + h, t) t (s, t) dt.
Integrando por partes a segunda parcela, obtemos:
R b2 h i

a2 F ((s, t)). t (s + h, t) t (s, t) dt =
= F ((s, b1 )). [(s + h, b1 ) (s, b1 )] F ((s, a1 )). [(s + h, a1 ) (s, a1 )]

R b1
a1 F 0 ((s, t))
s . [(s + h, b1 ) (s, b1 )] .
Agora, s escrever
I(s + h) I(s)
I 0 (s) = lim
h0 h
D. O TEOREMA DE KELVIN 93
e observar que as convergncias dos integrandos so uniformes. O resto igual.
Um subproduto o caso em que a 1-forma = F1 dx + F2 dy est denida em

2
um aberto de IR (e nossa toma valores em . Podemos trazer a situao
3
para IR , redenindo, em IR, (x, y, z) = F1 (x, y)dx+F2 (x, y)dy . A antiga
(s, t) = (x(s, t), y(s, t)) ser redenida como (s, t) = (x(s, t), y(s, t), 0).
Teremos, ento

F2 F1
d = dx dy
x y
e o Teorema nos dar
Z Z
F2 F1
F1 dx + F2 dy = dx dy =
x y
Z b2 Z b1
F2 F1 x y x y
= (x(s, t), y(s, t)) (s, t)dsdt.
a2 a1 x y s t t s
Este o Teorema de Green. Se

representa uma mudana de variveis
da regio [a1 , b1 ] [a2 , b2 ] para a regio D de IR2 , podemos, observando que
x y x y

s t t s
o determinante jacobiano de , concluir que

Z Z
F2 F1
= dxdy,
D D x y
que a forma usual do Teorema de Green.

Exerccio: Seja a 1- forma de variao de ngulo, denida em IR2 \
{(0, 0)} por
1
(x, y) = (ydx + xdy)
x2 + y 2
1. Mostre que d = 0.
2. Sejac = c1 c2 , c1 , c2 : [0, 2] IR2 dadas por

R c1 (t) = (5+10 cos t, 4+
10 sin t), c2 (t) = (10 cos t, 10 sin t). Calcule c (faa uma gura e use
o fato de que d = 0)
Captulo 7
Dois Teoremas
a A variao de ngulo, de novo

Consideremos, em IR2 \ {(0, 0)}, a forma de variao de ngulo, denida
por
1
(x, y) = (ydx + xdy).
x2 + y2
Temos
y 2 x2 y 2 x2

d(x, y) = dxdy = 0.
(x2 + y 2 )2 (x2 + y 2 )2
Podemos agora, como uma simples aplicao do Teorema de Green, demons-

trar o princpio fundamental que implica tanto no Teorema Fundamental da
lgebra como no Teorema de Brouwer.
Proposio:Sejam R > 0 e D = {(x, y) IR2 | x2 + r2 R}. Suponha que

2 1
f : D IR seja de classe C e tal que
Z
6= 0,
cR
sendo cR : [0, 2] IR2 dada por cR (t) = f (R cos t, R sin t). Ento existe
(xo , yo ) em D tal que f (xo , yo ) = (0, 0).
95
96 CAPTULO 7. DOIS TEOREMAS
Demonstrao: Considere ; [0, R][0, 2] IR2 , dada por (s, t) = f (s cos t, s sin t).
Se f no se anulasse, poderamos aplicar o Teorema de Green a , usando a forma
de variao de ngulo. O bordo de ser dado por = 20 + 11 21 10 ,
com
20 , 21 : [0, R] IR2 \ {(0, 0)} , 20 (s) = f (s, 0), 21 = f (s, 0);
10 , 11 : [0, 2] IR2 \ {(0, 0)} , 10 (s) = f (0, 0), 11 = f (R cos t, R sin t).
Logo, temos
Z Z Z Z Z
= , = 0, = 6= 0.
20 21 10 11 cR
Mas da decorre
Z Z Z
0 6= = d = 0 = 0,

o que impossvel.
Exerccio: Use a Proposio acima para demonstrar tanto o Teorema Funda-

mental da lgebra como o Teorema de Brouwer.
Observao: A importncia da nova demonstrao que esta prescinde da

prova de que a variao de ngulo, no caso de curvas fechadas, um mltiplo
inteiro de 2 . A generalizao disto para dimenses mais altas mais rdua.
b Formas exatas
A forma diferencial , denida em , dita exata se existe forma , tambm
denida em , tal que
d(x) = (x) x .
No caso de 1-formas, isso quer dizer apenas que = df , para alguma funo
f : IR. Nosso Teorema sobre independncia de caminho, demonstrado
B. FORMAS EXATAS 97
no captulo 4, pode prescindir de curvas C1 por partes (poderia, tambm, ser

reformulado em termos de cadeias, mas isso desviaria um pouco nosso foco).
Preferimos convidar o leitor a acreditar na seguinte verso.
Teorema de independncia de caminho: A 1-forma , denida no aberto

de IR3 exata se, e somente se,
Z
=0
c
para toda curva fechada C1 em .
Suponhamos, agora, que nosso aberto satisfaa seguinte condio.
Denio: dito simplesmente conexo se para toda curva fechada

c : [a, b] , de classe C 1 , existe homotopia de caminhos fechados :
[0, 1] [a, b] , de classe C 1 , tal que (1, t) c(t) e (0, t) P , para
algum ponto P de .
Temos, ento, como corolrio do Teorema de independncia de caminho e do

teorema de Kelvin, o seguinte resultado.
Corolrio: Se um aberto simplesmente conexo de IR3 e uma 1-forma

1
diferencial de classe C em , com d 0, ento exata.
Demonstrao: Pelo teorema de independncia de caminho, basta mostrar que

Z
=0
c
para toda curva c fechada em . Mas, tomando uma homotopia C 1 de caminhos

fechados entre c e um ponto P de , teremos, usando o Teorema de Kelvin e
observando o que nos d ,
Z Z Z
0= d = = .
c
Observao: Considerando o campo F associado 1-forma , a condio

d 0 equivalente a ser nulo em o rotacional de F.
98 CAPTULO 7. DOIS TEOREMAS
ndice Remissivo
Abel, 8 curvas
Algebra, 7 parametrizada, 83
ngulo
variao de, 31, 32 derivada, 50, 82
Ars Magna, 2, 7 exterior, 82, 91

derivadas
bloco parciais, 50
singular, 83 determinante
Bombelli jacobiano, 93
Raaele, 7 diferencial, 64
bordo
de superfcie parametrizada, 85 energia
cintica, 49
cadeia
Euler, 8
unidimensional, 84
1-cadeia, 84 Ferrari, 1
campo uxo
de foras, 46, 49 de campo atravs de superfcie,
trabalho de, 46 76
Cardano linhas de, 75
frmulas de, 2 forma
Girolamo, 1 bilinear alternada, 69, 87, 88
comprimento de variao de ngulo, 93, 95
de arco, 30 diferencial, 53, 69, 86
curva r
de classe C , 53, 86
fechada, 37 contnua, 53, 86
ndice de, 37 exata, 96
parametrizada, 32, 37, 53 funo
C 1 por partes, 53 uniformemente contnua, 36
fechada, 54
velocidade de, 33 Galois
99
100 NDICE REMISSIVO
Evariste, 8 rotacional, 90
Gauss, 8, 21 Runi
Girard Paolo, 8
Albert, 7
grupo Scipione del Ferro, 1
de Galois, 8 simplesmente conexo, 97
solvel, 9 superfcie
rea de, 66
Hamilton, 8, 11 bordo de, 65
homotopia, 33 elemento de, 67
de caminhos fechados, 34 orientao, 64
de extremidades xas, 34, 79 parametrizada, 61, 83
livre, 34
trao, 63
superfcies
independncia de caminho, 56
parametrizadas, 63
ndice, 37, 39
integral
Tartaglia, 1
de 2-forma, 88
Teorema
de linha, 52, 54, 86
de Brouwer, 95
Lagrange, 8 de D'Alembert, 21
de Green, 93
massa, 49 de independencia de caminho, 56
de independncia de caminho, 97
nmero
de Kelvin, 91
de voltas, 29, 30, 37
de no retratabilidade, 41
nmeros
de ponto xo de Brouwer, 42
complexos, 5, 7, 8
de Rouch, 27
parte imaginria, 11
de Runi, 8
parte real, 11
de Stokes, 91
imaginrios, 7, 11
do Valor Intermedirio, 29, 40
negativos, 5, 7
Fundamental da lgebra, 8, 21,
Newton
29, 95
mtodo de, 9
demonstrao erudita, 40
segunda lei de, 49
Fundamental do Clculo, 52
partio, 47 Segundo, 58
norma de, 47 transformao
produto linear
misto, 77 adjunta de, 81
NDICE REMISSIVO 101
variao
de ngulo, 31, 32
velocidade, 33
vetor
velocidade, 30
Vieta, 3
Wallis, 8

Felipe Acker: o Teorema Fundamental Da Álgebra e Uma Pequena Introdução Às Formas Diferenciais

Enviado por

Direitos autorais:

Formatos disponíveis

Felipe Acker: o Teorema Fundamental Da Álgebra e Uma Pequena Introdução Às Formas Diferenciais

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Felipe Acker: o Teorema Fundamental Da Álgebra e Uma Pequena Introdução Às Formas Diferenciais

Enviado por

Direitos autorais:

Formatos disponíveis

1

o Teorema Fundamental da lgebra

2 O Teorema Fundamental da lgebra 11

3 A forma de variao de ngulo e o nmero de voltas 29

6 Os Teoremas de Kelvin e de Green 83

Estas notas foram escritas, parte delas aproveitando trechos e guras de

Agradeo Professora Cristina Vaz e organizao da IV EEMUFPA o am-

Santa Teresa, madrugada de 24 de outubro de 2012

O processo de resoluo de equaes polinomiais do 3o grau um interes-

do 3o grau; impedidos pelo juramento sagrado, Cardano e Ferrari no teriam,

a A frmula de del Ferro-Tartaglia

Uma primeira substituio,

Exerccio: Faa a substituio e as contas.

Exerccio: Faa a substituio e as contas.

Exerccio: Mostre que os seis valores de w se agrupam em trs pares, cada

a uma equao da forma

Nossa equao equivalente, para qualquer u, a

Como se trata de uma equao do terceiro grau, podemos, usando o mtodo

cujas razes so as das duas equaes:

c Problemas inerentes soluo de del Ferro-

Exerccio: Mostre que o coeciente do termo de segundo grau do polinmio

Mas esse apenas um probleminha, perto do que ainda vem...

Examinemos a funo f (y) = y 3 + py + q e vejamos sob que condies suas

lim f (y) = e lim f (y) = +,

precisaremos que o grco de f, vindo de , suba at um valor mximo

A primeira desigualdade nos conduz a

4p3 + 27q2 < 0.

Assim, se a equao original,

4p3 + 27q2 < 0.

A segunda substituio nos conduz equao

d A inveno dos nmeros complexos

Com a possibilidade de operar com nmeros negativos e com nmeros cor-

Assim, em um primeiro momento, a razo para operar com nmeros da forma

enunciado do Teorema Fundamental da lgebra, consolidando a ideia

Teorema de Runi: No possvel, em geral, resolver por radicais as

A prova de Runi no convincente; considera-se que o primeiro a, de fato,

Mas o trabalho mais espetacular o do francs variste Galois (1811-1832).

Em uma linha completamente diferente, Isaac Newton (1642-1727), apresenta

p(x) = an xn + an1 xn1 + . . . + a0

e chute uma raiz aproximada inicial x0 . A raiz verdadeira x0 +h; substituindo-

0 = p(x0 + h) = p(x0 ) + nan1 h + O(h2 ) = p(x0 ) + p0 (x0 )h + O(h2 ),

representando por O(h2 ) os termos que envolvem potncias de h superior

Reiterando repetidas vezes, com a frmula

Newton no tinha computadores...ns temos. Ainda hoje, o mtodo de New-

Exerccio: Faa um desenho mostrando que o mtodo consiste em aproximar

(a + bi) + (c + di) = (a + c) + (b + d)i

(a + bi)(c + di) = (ac bd) + (ad + bc)i.

Embora outros j tivessem proposto a interpretao do nmero complexo

(a, b)(c, d) = (ac bd, ad + bc).

A interpretao dos complexos como elementos de IR2 nos permite tom-los,

Exerccio: Sejam (a, b) e (x, y) nmeros complexos. Observe que o produto

Feito o exerccio, resta observar que

a2 + b2 exatamente a norma do vetor (a, b) (neste caso, dizemos tambm

Exerccio: Suponha que os nmeros complexos z1 e z2 sejam dados por z1 =

cos(1 + 2 ) = cos 1 cos 2 sin 1 sin 2 ,

sin(1 + 2 ) = sin 1 cos 2 + cos 1 sin 2 ,

que z1 z2 = (r1 r2 cos(1 + 2 ), r1 r2 sin(1 + 2 )). Ou seja: o produto de dois

Uma outra maneira de entender as coordenadas polares dizer que todo

Exerccio: Sejam z um nmero complexo no nulo e n um nmero natural

Estas notas foram escritas, parte delas aproveitando trechos e guras de

Exerccio: Mostre que o coeciente do termo de segundo grau do polinmio

precisaremos que o grco de f, vindo de , suba at um valor mximo

Teorema de Runi: No possvel, em geral, resolver por radicais as

A prova de Runi no convincente; considera-se que o primeiro a, de fato,

Exerccio: Observe que, se n um inteiro positivo e c o crculo denido por

J a multiplicao, associativa e distributiva em relao adio, ca denida

Observao: por conta da evidente identicao entre os quatrnions i, j e k

Exerccio: Verique que o determinante acima , de fato, igual ao produto

A demonstrao uma simples conta, mas ca mais sugestiva se observarmos

Teorema Fundamental da lgebra: Todo polinmio de coecientes com-

Para esboar a demonstrao, xaremos o grau do polinmio (um inteiro n