Teorema de Green e Aplicao

Alcimar de Souza Braga

Universidade Catlica de Braslia
Departamento de Matemtica


Resumo: O teorema de green uma ferramenta muito til no clculo de reas de figuras planas fechadas. Seu
principio utilizado para a demonstrao de outros teoremas. Neste trabalho contamos um pouco da histria do
Teorema de Green e de George Green embora tenha-se pouco sobre a vida pessoal deste grande matemtico e fsico
ingls que escreveu e demonstrou o teorema , ainda mostra que o principio do teorema de Green utilizado num
aparelho que calcula reas de figuras planas apenas se movendo sobre o contorno da curva fechada.

Palavras-chaves: Planmetro e Green.

Introduo

Este trabalho apresenta um estudo interessante do teorema de Green. Utiliza como fonte e
instrumento de pesquisa livros didticos e artigos.

George Green nasceu em 1973 e morreu em 1841. No existe nenhum registro de imagem deste
grande matemtico e fsico ingls. George Green era filho de um padeiro que vivia em
Notingham onde funcionava o estabelecimento de seu pai e foi ai que passou grande parte de sua
vida trabalhando. A histria diz que ele freqentou apenas dois anos do ensino elementar e no
fica bem claro como George Green obteve o conhecimento matemtico j que no freqentou
nenhuma instituio de ensino regular. Com 30 anos, Green tornou-se membro da Subscription
Library, Notingham, instituio fundada em 1816 e o objetivo claro desta instituio era o
encontro de no-acadmicos para discutir questes de avano da cincia. Quando completou 35
anos publicou seu primeiro e mais importante trabalho: uma obra sobre a aplicao da anlise
matemtica eletricidade e ao magnetismo, onde o teorema de Green foi utilizado, mas passou
desapercebido pela pequena tiragem do trabalho. Como esta obra teve uma tiragem bastante
reduzida, por que foi financiada pelo autor e amigos da Subscription Library, no teve grande
repercusso. George Green foi a primeira pessoa a usar o termo potencial na teoria do campo e
introduziu vrios teoremas de anlise vetorial que permitiram calcular o potencial eletrosttico.
Com 40 anos ingressou na Universidade de Caius, em Cambridge como estudante de licenciatura.
Algum tempo depois cerca de 4 anos, formou-se com desempenho desapontador possivelmente
por estar engajado em sua pesquisa, ento voltou para sua casa em Notingham para cuidar de seus
filhos e do moinho de seu pai, onde alguns anos mais tarde ficou doente e faleceu aos 48 anos.

Posteriormente (1850-1854), William Thomson (Lord Kelvin), descobriu o trabalho de George
Green e conseguiu publica-lo num jornal importante de grande circulao e respeitado na poca,
com a publicao descobriu-se que outros cientistas j tinham chegado a resultados obtidos por
George Green, entre eles Gauss, e de forma independente. O trabalho de George Green teve
influncia em Thomson, Stokes e Maxwell.
A vida de George Green um exemplo impressionante de um fenmeno nato que o ser humano
pode ter, o talento matemtico, este se apresenta e firmar-se mesmo em circunstancias
desfavorveis. Qualquer um com todas as pretenses a ser um matemtico est bem ciente que as
funes de George Green de suma importncia e muitos de ns fizemos uma vida fora de sua
explorao. O teorema de Green relaciona efeitos do volume aos efeitos de superfcie, um
resultado bonito, fundamental s teorias gravitacionais e eletromagnticas. Toda esta teoria veio
de algum que teve quinze meses de educao formal e cujo os anos de adolescncia foram
gastos trabalhando na padaria e no moinho de seu pai. Esta a histria de um extraordinrio
gnio que sobre todas estas dificuldades venceu.

1. Teorema de Green

O teorema de green um ferramenta da matemtica utilizada para o clculo de reas de figuras
planas limitadas e fechada; Alm disso seu principio utilizado para formulao de outros
teoremas como por exemplo o teorema de Stokes e Gauss, suas aplicaes so extensas e
extremamente teis nas reas da fsica, qumica, nas engenharias, geologia e etc.

Antes de demonstrarmos o teorema preciso sabermos um pouco a respeito Campos vetoriais e
da integral de linha, vamos ter uma idia do que se trata a integral de linha, pois o teorema de
Green tambm calcula esse valor de uma maneira bem mais rpida e direta.

1.1. Campos vetoriais

O campo vetorial associa um vetor a um ponto no espao. Se uma funo F com valores vetoriais
definido numa bola aberta B em R
3
ela dada da seguinte forma,
F(x,y,z)=M(x,y,z)i+N(x,y,z)j+R(x,y,z)k, ento F um campo vetorial. E o domnio do campo
vetorial um subconjunto de R
3
.

1.2. Integral de Linha

Suponha uma fora exercida sobre uma partcula no ponto (x,y), em algum disco aberto B em R,
seja dada pelo campo de foras F(x,y)=M(x,y)i + N(x,y)j, onde M e N so continuas em B. Seja
C a curva que est em B e tem a equao vetorial R(t)=f(t)i + g(t)j, a t b, as funes g e f tem
derivadas g e f continuas em [a,b]. Vamos definir caminho de F ao mover a partcula ao longo
de C, do ponto (f(a),g(a)) at (f(b),g(b)). Em um ponto qualquer de C ,por exemplo, (f(t),g(t)) a
fora dada assim: F(f(t),g(t))=M(f(t),g(t))i+N(f(t),g(t))j, com
b t t t t t a
n n
= < < < < < =
1 2 1 0
...

Figura 1 representao vetorial de integral de linha.

i
P
o ponto
)) ( ), ( ( ) , (
i i i i
t g t f y x =
em C, considerando a figura acima temos que
) ( ) ( ) (
1 1
=
i i i i
t R t R P P V
; logo
] ) ( ) ( [ ) ( ) ( ) (
1 1 1
j t g i t f j t g i t f P P V
i i i i i i
+ + =

)] ( ) ( [ )] ( ) ( [ ) (
1 1 1
j t g t g i t f t f P P V
i i i i i i
+ =

(1)
com f e g so continuas em [a,b] existem
i
c
e
i
d
no intervalo aberto
) , (
1 i i
t t

, de modo que:
) )( ( ) ( ) (
1 1
=
i i i i i
t t c f t t f

) )( ( ) ( ) (
1 1
=
i i i i i
t t d g t g t g

expressando
1
=
i i i
t t t
, e substituindo em (1) temos que:
) )( ( ) )( ( ) (
1 1 1
+ =
i i i i i i i i
t t d g t t c f P P V

) )]( ( ) ( [ ) (
1 1
+ =
i i i i i i
t t d g c f P P V

t j d g i c f P P V
i i i i i
+ =

] ) ( ) ( [ ) (
1

Para cada i consideremos o vetor
j d g d f N i c g c f M F
i i i i i
)) ( ), ( ( )) ( ), ( ( + =

Cada um dos vetores
) ,..., 3 , 2 , 1 ( n i F
i
= =
uma aproximao do vetor
|)) ( ), ( ( t g t f F
. O valor
dos vetores na variao de i no intervalo aberto so os vetores muito prximos de
i
F
.
Uma aproximao da medida do trabalho realizado por
|)) ( ), ( ( t g t f F
ao longo de C dada pela

n
i
iw
1 , onde

it j d g i c f j d g d f N i c g c f M iw
i i i i
+ + = ] ) ( ) ( ][ ) ( ), ( ( )) ( ), ( ( [

it d g d g d f N it c f c g c f M iw
i i i i i i
+ = )] ( ) ( ), ( ( [ ))] ( ) ( ), ( ( [

como so vrios i ento a somatria

= =
+
n
i
i i i
n
i
i i i
it d g d g d f N it c f c g c f M
1 1
)] ( )) ( ), ( ( [ )] ( )) ( ), ( ( [
, uma soma de Riemann, e se n
crescer sem limitao podemos chegar
}
+
a
b
i i i i i i
dt t g t g t f N t f t g t f M )] ( )) ( ), ( ( )) ( )) ( ), ( ( [
,
usaremos
)) ( ( t R F
para
)) ( ), ( ( t g t f F
.

Chegamos a seguinte definio: C uma curva contida num disco aberto B em R, com a equao
R(t)=f(t)i + g(t)j, onde obrigatoriamente f` e g` tem que serem continuas em [a,b], consideremos
tambm um campo de foras em B definido por
j y x N i y x M y x F ) , ( ) , ( ) , ( + =
, onde M e N so
continuas. Ento a medida do trabalho realizado por F ao mover uma partcula ao longo de C, de
(f(a),g(a)) at (f(b),g(b)) W.
}
+ =
a
b
i i i i i i
dt t g t g t f N t f t g t f M w )] ( )) ( ), ( ( )) ( )) ( ), ( ( [

}
) ( ) + ( =
a
b
i i i i
dt t g t f t g t f N t g t f M w ) ( ), ( . ) ( ), ( ( )) ( ), ( (
, ou;
}
=
a
b
dt t R t R F w ) ( ). ( (

A integral de linha mede o trabalho realizado para movimentar uma partcula ao longo de uma
curva. E calculada utilizando-se de duas notaes a primeira w(trabalho) medida pelo campo
de foras F ao se mover ao longo de C(Notao Diferencial)e a outra usando a notao vetorial.

Agora vamos fazer a demonstrao do teorema de Green, observe no grfico abaixo: A regio R
fechada dividida em duas curvas
1
C
e
2
C
,
1
C
comea no ponto a e vai at o b e
2
C

vai de b at
a, fechando assim todo o contorno da regio.

















Figura 2 Representa uma curva fechada dividida em 1
C
e 2
C
.
0 x
a
b
) (
2
x f
) (
1
x f
y
x
R
y
A figura representa uma curva fechada simples e seccionalmente suave. As funes que M e N
representam possuem derivadas primeiras diferente de zero, 1
C
e 2
C
tem derivadas parciais
primeiras continuas em um disco aberto B em R.
dA
dy
dM
dx
dN
dy y x N dx y x M
R
= +
} }}
) , ( ) , (

Prova: vamos considerar que a funo intercepta no mximo dois pontos tanto na horizontal
como na vertical.
A demonstrao consiste em mostrar que:
} }}
=
C R
dA
dy
dM
dx y x M ) , ( e
} }}
=
C R
dA
dx
dN
dy y x N ) , (
Para
} }}
=
C R
dA
dy
dM
dx y x M ) , ( (2)
)} ( ) ( , / ) , {(
2 1
x f y x f b x a y x R =
Considerando a integral de linha.
}
C
dx y x M ) , ( .
} } }
+ =
1 2
) , ( ) , ( ) , (
C C C
dx y x M dx y x M dx y x M (3)
} } }
+ =
C
b
a
a
b
dx x f x M dx x f x M dx y x M )) ( , ( )) ( , ( ) , (
2 1
(4)
} } }
=
C
b
a
b
a
dx x f x M dx x f x M dx y x M )) ( , ( )) ( , ( ) , (
2 1
(5)
dx x f x M x f x M dx y x M
C
b
a
))] ( , ( )) ( , ( [ ) , (
2 1
} }
= (6)
Considerando agora a integral dupla
}}

R
dA
y
M
, onde R a regio.
} } }}

b
a
x f
x f R
dx dy
y
M
dA
y
M
) (
) (
2
1
(7)
dx dy
y
M
dA
y
M
b
a
x f
x f R
} } }}
|
|
.
|

\
|

) (
) (
2
1
(8)
] dx y x M dA
y
M
x f
x f
b
a R
) (
) (
2
1
) , (
} }}
=

9)
dx x f x M x f x M dA
y
M
b
a R
} }}
=

))] ( , ( )) ( , ( [
2 2
(10)

Comparando (6) e (10) temos que (2) verdade:
} }}
=
C R
dA
dy
dM
dx y x M ) , (
A demonstrao para
} }}
=
C R
dA
dx
dN
dy y x N ) , ( anloga.

Outra regio:
Figura 3 Representa uma R
1
fechada.

Regies como a da figura 3 podem ser trabalhadas sem grandes dificuldades. A equao (2) ainda
se aplica.


Figura 4 Representa a uma Regio R que igual a
2 1
R R + .

A regio da figura 4 tambm pode ser calculada com o Teorema de Green, aplicando a equao
(2) (andando sempre no sentido anti-horrio).

O teorema de Green facilita o clculo de reas de regies limitadas por uma curva seccionalmente
suave, simples e fechada.

Isso pode acontecer utilizando o seguinte teorema que conseqncia do teorema de Green. Se R
for uma regio tendo por fronteira uma curva C fechada simples e seccionalmente suave e A
unidades de rea for a rea de R, ento
}
=
C
ydx xdy A
2
1
. (11)

Prova: seja x y x N e y y x M
2
1
) , (
2
1
) , ( = = . Ento,
dA y
y
x
x
xdy ydx
R C
}} } (

|
.
|

\
|

|
.
|

\
|

= +
2
1
2
1
2
1
2
1

dA xdy ydx
R C
}} }
|
.
|

\
|
+ = +
2
1
2
1
2
1
2
1

}} }
= +
R C
dA xdy ydx
2
1
2
1

Como
}}
R
dA a medida da rea de R, ento
}
=
C
A ydx xdy
2
1

Vamos ver um exemplo da aplicao deste teorema para calcular a rea dada por uma elipse que
tem como equao 1
2
2
2
2
= +
b
y
a
x
.

As equaes paramtricas da elipse so: t a x cos = , t b y sen = , 2 0 t
logo a derivada tdt a dx sen = e tdt b dy sen = . Se C for a elipse e A for a rea da regio da
elipse, teremos:
}
=
c
ydx xdy A
2
1

( )( ) ( ) ( ) [ ]
}
=
2
0
sen sen cos cos
2
1
tdt a t b tdt b t a A , multiplicando as parnteses obteremos,
( )
}
+ =
2
0
2 2
sen cos dt t t ab A , como 1 sen cos
2 2
= + t t
logo,
}
=
2
0
2
1
dt ab A , ento teremos que, ab A = unidades de rea. (Louis Leithold, p. 1100-1106)

2. Aplicao

2.1 O Planmetro:

Em 1854, o matemtico Jacob Amsler inventou um instrumento mecnico que era capaz de medir
rea de regies planas limitadas. Como a dificuldade para se medir reas de figuras planas e
irregulares era muito difcil a inveno de um aparelho pequeno e to fcil de ser manuseado foi
extremamente inovadora, encarado com muito entusiasmo na ocasio e at hoje visto como um
instrumento inovador. Vamos estudar um pouco sobre seu manuseio e funcionamento.

Mecanicamente, o Planmetro tem uma construo muito simples, possui dois braos de
tamanhos iguais ou podem ser de tamanho diferente, ambos feito de metal. Os braos so capazes
de variar o ngulo entre eles, desde 0 a 180 graus. Na extremidade de um dos braos, temos
uma ponta que pode ser fixada na superfcie plana. Na outra ponta temos uma rodinha que gira
perpendicularmente ao brao na qual fixada. Na ponta dessa rodinha temos um contador, que
mede o nmero de voltas que ela d quando a ponta mvel do instrumento se desloca sobre o
contorno da figura plana a ser medida. Quando a ponta se desloca sobre todo o contorno da figura
plana fechada, o contador indicar a rea cercada pela curva.

Ao pensarmos em um instrumento to simples, a nossa imaginao induzida a princpios
simples de funcionamento, mas por trs deste instrumento tem um principio e um grau de
complexibilidade muito grande. ai que entra o teorema de Green.

O Teorema de Green aliado ao Planmetro, os dois juntos tem sido de grande importncia para o
calculo de reas de figuras planas fechadas. Uma rea R a ser medida pelo Planmetro no deve
conter a extremidade fixa do aparelho e podemos fixa-la em qualquer lugar desde que fora da
rea a ser medida, depois com a extremidade mvel do aparelho devemos percorrer a curva C que
fechada, sempre no sentido anti-horrio(por causa do marcador) e aps percorrer todo o
contorno da figura calculada a rea.

Para explicar como o Teorema de Green entra na historia, precisamos descrever o campo de
direes definido pelo instrumento. Para tal vamos definir as coordenadas x e y. Escolhemos para
a origem do eixo a ponta do Planmetro que esta fixa, a partir da, dois eixos perpendiculares x e
y so traados. Como a rodinha gira perpendicularmente ao brao no qual est fixada, o campo
F(x,y) definido pelo Planmetro perpendicular ao brao mvel e suponhamos que ele tenha
mdulo 1.











Figura 5 Representao de uma regio sendo medida por um planimetro.

Agora definiremos a equao, primeiro considere que os braos do Planmetro tenham tamanhos
iguais a r. o primeiro esta com o centro na origem(0,0), e o brao mvel em (a,b). chamemos de
v o vetor que representa o brao mvel do Planmetro.




F(x,y)
0
y
x












Figura 6 Representa os braos de um planimetro um centrado na origem e o outro em (a,b).

Temos ento v =(x-a,y-b) e um vetor perpendicular w=(-(y-b),x-a). como os braos tem
comprimento r temos ( ) ( ) r a x b y w v = + = =
2 2
, logo o nosso campo
( ) ( )
|
.
|

\
|
= =
r
a x
r
b y
w
w
F , , precisamos determinar a e b. Considerando a equao dos
crculos que podem ser descritos por cada um dos braos do Planmetro.

= +
= +
2 2 2
2 2 2
) ( ) ( r b y a x
r b a

Desenvolvendo a Segunda equao acima temos que: b
y
xa
y
y x
+ =
+
2
2 2
, logo
y
xa y x
b
2
2
2 2
+
= , substituindo esses valores na equao do circulo com centro em (0,0) e
desenvolvendo, teremos:
2 2 2 2 2 2 2 2 2 2 2
4 ) ( 4 4 ) ( 4 r y y x xa a x y x a y = + + + +
0 4 ) ( ) ( 4 ) ( 4
2 2 2 2 2 2 2 2 2 2
= + + + + r y y x a y x x a y x
Usando ) (
2 2 2
y x R + = temos:
0
4
4
2
2 2 4
2
=

+
R
r y R
xa a
e logo,
R
r y R x R x
a
2
4
2
2 2 4 2 2
+
+ =
ou seja,
1
4
2 2
2 2
2

+
+ =
y x
r y x
a

(a,b)
v

(x,y)
F(x,y)
0
y
x
Com a escolha de um valor positivo para a implica simplesmente que o caminho a ser percorrido
pelo brao mvel do Planmetro o sentido anti-horrio(sentido padro de funcionamento do
aparelho). Com o valor de a definido, o valor de b aparece, consequentemente, como sendo:

Ry
r y R x R x y
b
2
4
2
2 2 4 2 2
+
+ =
ou seja,
1
4
2 2
2 2
2

+
+ =
y x
r x y
b

Calculados os valores de a e b temos que o campo para o Planmetro :

|
|
.
|

\
|

+
+ = = 1
4
2 2
1
) (
1
) , (
2 2
2
y x
r x y
r
b y
r
y x f

|
|
.
|

\
|

+
= = 1
4
2 2
1
) (
1
) , (
2 2
2
y x
r y x
r
a x
r
y x g

Derivando as duas equaes acima vamos obter:

1
4 2
8
2
1
2 2
2
2 2
2

+ +
+ =

y x
r
y x
xyr
x
g
r

1
4 2
8
2
1
2 2
2
2 2
2

+ +
+ =

y x
r
y x
xyr
y
f
r
fazendo,
1 =
|
|
.
|

\
|

y
f
x
g
r
y
f
r
x
g
r
e,
1 =
|
|
.
|

\
|

=
y
f
x
g
r k , logo
r y
f
x
g
k
1
=
|
|
.
|

\
|

=

Percebemos que se aplicarmos o Teorema Green ao Planmetro, a constante que multiplica a rea
s depende do comprimento dos braos, ou seja

}
= +
c
C por cercada rea
r
dy y x g dx y x f *
1
) , ( ) , (
Ento para o funcionamento do Planmetro necessrio sabermos o comprimento dos braos, o
dimetro da rodinha colocada perpendicularmente ao brao mvel e o nmero de voltas dada pela
rodinha, que marcado pelo contador ao percorrer a curva fechada C no sentido anti-horrio,
essas medidas so dadas pelas variveis r para comprimento dos braos, d para dimetro e k o
nmero de voltas dada pela rodinha. O campo determinado pelo Planmetro F(x,y)=(f,g). Ento
C por cercada rea
r
gdy fdx d k
c
*
1
}
= + = ou seja: rea cercada por
r
d
k C

= . (Rabelo, Adriano
Borges.; Manso, Fernando Ferreira. O Planmetro e o Teorema de Green)

Concluso:

Existem varias maneiras de calcular reas de figuras geomtricas regulares como a do quadrado,
retngulo, etc., mas outras reas irregulares como as que vimos nas figuras deste trabalho, so
mais difceis para se calcular, no entanto com as ferramentas apresentadas no trabalho pode ficar
bem mais fcil o calculo destas reas, tanto o teorema de Green como o planimetro pode fazer
este calculo. No sculo XIX quando foi inventado o planimetro baseado num teorema
relativamente simples(teorema de Green), este instrumento(o planimetro) to simples mas
inovador foi visto com muito entusiasmo, j que podia calcular a rea de regies irregulares e
tudo isso se utilizando do mesmo principio do teorema de Green. Estas duas ferramentas causou
muito entusiasmo na poca de suas invenes e ainda hoje so vistos com o mesmo entusiasmo
de antes, tendo aplicaes extensas e extremamente teis na engenharia, na fsica, etc. So estas
as concluses que chegamos que o teorema e o planimetro so teis no dia a dia de um
engenheiro, um fsico e outros profissionais.

Abaixo temos fotos de planimetro.
Figura 7 Planimetro analgico. (Rabelo, Adriano Borges.; Manso, Fernando Ferreira. O Planmetro e o
Teorema de Green. <.http://www.mat.ufmg.br/comed/2004/e2004/planimetro.pdf>)



Figura 8 Planimetro digital. (http://www.haff.de/planimeter_e.htm)

Referncia Bibliogrfica:

LEITHOLD, Louis. O Clculo Com Geometria Analtica. So Paulo: Harbra, 1986. 2v, p.1100-1006.
SWOKOWSKI, Earl Willian; FARIAS, Alfredo Alves de (Trad.). Clculo Com Geometria Analtica. 2.ed So
Paulo: Makron, 1995. v . ISBN 8534603081
Rabelo, Adriano Borges.; Manso, Fernando Ferreira. O Planmetro e o Teorema de Green. Disponvel em:
<.http://www.mat.ufmg.br/comed/2004/e2004/planimetro.pdf>
Villate, Jaime. George Green. Disponvel em: <http://paginas.fe.up.pt/~villate/electromagnetismo/pioneiros/green.html>
Polkinghorne FRS, Dr. John. George Green and mathematics. Disponvel em:
<http://www.stpetersnottingham.org/sermon/green.htm>