O Planmetro e o Teorema de Green

Adriano Borges Rabelo e Fernando Ferreira Manso

1 A invencao do planmetro
Em 1854, o matematico suco Jacob Amsler inventou um dispositivo mecanico capaz de medir a area de regioes
planas limitadas. Na ocasiao e ate hoje o instrumento foi enxergado com muito entusiasmo. Se considerarmos a
diculdade de medir areas de planos extremamente irregulares, teremos ideia do quao inovador foi o planmetro
no seculo XIX.
Julgando o planmetro um instrumento bastante interessante, pensaremos um pouco mais a respeito do seu
funcionamento. Mecanicamente, o instrumento tem uma construcao muito simples, possui dois bracos de
tamanho igual ou nao, comumente feitos de metal. Esses bracos sao capazes de variar o angulo entre eles, desde
0 a 180 graus.
Na extremidade de um dos bracos, temos uma ponta que pode ser xada em superfcies planas. Na outra ponta,
temos uma rodinha que gira perpendicularmente ao braco na qual e xada. Na ponta dessa rodinha temos
um contador, que mede o n umero de voltas que ela da quando a ponta movel do instrumento se desloca em
uma superfcie plana. Quando esta ponta se desloca sobre uma curva plana fechada, o contador indicara a area
cercada pela curva.
Ao pensarmos em um instrumento tao simples, somos imediatamente induzidos a imaginar como este pode
executar calculos que a princpio tem um grande grau de complexidade. E nesse contexto que surge inseriremos
o Teorema de Green.
2 A Historia do Teorema de Green
George Green, matematico e fsico ingles, com pouca formacao basica, foi quem desenvolveu o Teorema de
Green. Em 1828, Green publicou seu trabalho An Essay on the Application of Mathematical Analysis to
the Theories of Electricity and Magnetism (Um ensaio sobre a aplicacao da analise matematica s teorias de
eletricidade e magnetismo). Nesse trabalho, o teorema foi utilizado, mas passou desapercebido pela pequena
tiragem do trabalho. Posteriormente, Green procurou a formacao superior e apos anos de estudos autodidaticos,

alunos do curso de graduacao em Engenharia Eletrica, EEUFMG, sob a orientacao de Sonia Pinto de Carvalho, do Departamento
de Matematica - ICEx - UFMG
1
entrou na Universidade de Caius, em Cambridge. Formou-se em quatro anos, com desempenho desapontador,
possivelmente por estar engajado em sua pesquisa. Publicou trabalhos sobre luz e som, e morreu em 1844.
Quatro anos depois seus trabalhos iniciais foram novamente publicados, sendo entao considerados de imensa
importancia para teorias modernas de eletricidade e magnetismo.
3 Apresentacao matematica do Teorema de Green e sua aplicacao
ao calculo de areas
O Teorema de Green diz que: se F(x, y) = (f(x, y), g(x, y)) e um campo de vetores no plano, C uma curva
fechada e R a regiao cercada por essa curva, sem que haja singularidades do campo em R. Temos entao que:

C
f(x, y)dx + g(x, y)dy =

R
(
g
x

f
y
)dxdy
Isso signica que a integral de linha em uma curva de um campo F(x,y) e igual a integral dupla, na regiao
cercada pela curva, da diferenca das derivadas parciais das componentes do campo, f(x,y) e g(x,y), em relacao
a y e x respectivamente.
A partir dessa importante relacao, podemos perceber que no caso em que a diferenca de derivadas parciais do
membro da direita for igual uma constante, podemos retira-la da integral e caremos com a seguinte situacao:

C
f(x, y)dx + g(x, y)dy =

R
dxdy = area cercada por C
Assim, podemos dizer que a area procurada e a integral de linha do membro esquerdo multiplicada por k
1
.
Como podemos perceber, o teorema de Green pode ser usado para encontrarmos a area de uma regiao plana
limitada por uma curva C.
4 O Teorema de Green aliado ao Planmetro
O desenho abaixo esquematiza o funcionamento de um planmetro. A area R a ser medida nao deve conter
a extremidade xa do aparelho e percorreremos a curva C com a extremidade movel, sempre no sentido anti-
horario (por causa do marcador).
2
Para usar o Teorema de Green, precisamos descrever o campo de direcoes denido pelo pelo instrumento. Para
tal, comecemos denindo coordenadas x e y. Como podemos fazer qualquer escolha, coloquemos a origem na
ponta do planmetro que e xada e, a partir dela, dois eixos perpendiculares x e y. Como a rodinha gira
perpendicularmente ao braco no qual esta xada, o campo F(x,y) denido pelo planmetro e perpendicular ao
braco movel e podemos supor que tenha modulo 1.
4.1 Equacao do Campo F(x,y)
Vamos considerar aqui que o planmetro tem os dois bracos com comprimento igual a r. O primeiro esta centrado
na origem escolhida (0,0) e o segundo, em um ponto movel (a,b). Chamemos de v o vetor que dene o braco
movel do planmetro.
Temos v = (x a, y b) e um vetor perpendicular e w = ((y b), x a). Como o braco tem comprimento r
temos v = w =

(y b)
2
+ (x a)
2
= r.
Assim, temos que nosso campo e:
F =
w
w
=

(y b)
r
,
(x a)
r

.
Precisamos agora determinar a e b. Para isso consideraremos a equacao dos crculos que podem ser descritos
por cada um dos bracos do planmetro:

a
2
+ b
2
= r
2
(x a)
2
+ (y b)
2
= r
2
3
Da segunda linha temos que:
x
2
+ y
2
2y
=
xa
y
+ b
e logo
b =
x
2
+ y
2
2xa
2y
.
Substituindo na equacao do crculo centrado em (0,0), e desenvolvendo, teremos:
4y
2
a
2
+ (x
2
+ y
2
)
2
+ 4x
2
a
2
4xa(x
2
+ y
2
) = 4y
2
r
2
4(x
2
+ y
2
)a
2
4x(x
2
+ y
2
)a + (x
2
+ y
2
)
2
4y
2
r
2
= 0
Colocando

x
2
+ y
2

= R
2
temos
a
2
xa +
R
4
4y
2
r
2
4R
2
= 0,
e logo
a =
x
2
+

R
2
x
2
R
4
+ 4y
2
r
2
2R
,
ou seja,
a =
x
2
+
y
2

4r
2
x
2
+ y
2
1
A escolha do valor positivo de a implica simplesmente que o caminho a ser percorrido pelo braco do planmetro e o
sentido anti-horario (sentido padrao de funcionamento). Com esse valor, o valor de b aparece, consequentemente,
como sendo:
b =
y
2
+
x

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

4r
2
x
2
+ y
2
1
Agora que calculamos os valores de a e de b temos que o campo para o planmetro e:
f(x, y) =
1
r
(y b) =
1
r

y
2
+
x
2

4r
2
x
2
+ y
2
1

g(x, y) =
1
r
(x a) =
1
r

x
2

y
2

4r
2
x
2
+ y
2
1

Derivando ambas as equacoes, obtemos:

r
g
x
=
1
2
+
8xyr
2
2
x
2
+y
2

4r
2
x
2
+y
2
1
r
f
y
=
1
2
+
8xyr
2
2
x
2
+y
2

4r
2
x
2
+y
2
1
4
Logo,
r
g
x
r
f
y
= r

g
x

f
y

= 1
e
=
g
x

f
y
=
1
r
Assim, pelo Teorema de Green aplicado ao planmetro, a constante que multiplica a area so depende do com-
primento dos bracos, ou seja

C
f(x, y)dx + g(x, y)dy =
1
r
area cercada por C
5 O que mede a integral de linha?
Tendo especicado que, para o campo gerado pelo planmetro, e de acordo com o Teorema de Green, a integral
de linha

C
f(x, y)dx + g(x, y)dy e igual a um m ultiplo da area da regiao delimitada pela curva C, torna-se
necessario denir agora o que exatamente calcula a integral de linha, e a relacao desta com a medicao realizada
pelo planmetro.
Para entender esta relacao analisaremos alguns casos de interesse que possibilitarao essas denicoes.
5.1 Quando o campo e um campo de forcas
Quando o campo e um campo de forcas, temos que a integral de linha

C
f(x, y)dx + g(x, y)dy representa o
trabalho realizado pelo campo vetorial F = (f, g) em uma partcula que se move ao longo da curva C.
Para vermos isso, faremos uma breve introducao ao calculo do trabalho, desde situacoes mais simples, onde a
for ca aplicada uma partcula e constante e na direcao e sentido do movimento, ate situacoes com mudancas
constantes na direcao do movimento, na direcao e na intensidade da forca sobre a partcula.
Na situacao mais simples, onde a forca aplicada uma partcula e constante e na direcao e sentido do movimento,
que se da em linha reta, o trabalho e dado por W = F.(b a), onde b a e a distancia percorrida pelo objeto
durante a atuacao da forca e F e o modulo da forca.
No caso em que a forca nao tem modulo constante, podemos subdividir a distancia percorrida em intervalos de
tamanhos x e supor que a forca e constante em cada um dos pedacinhos. Assim W F
i
x e, tomando o
limite quando x tende a zero, teremos W =

b
a
Fdx.
Podemos entao mudar a direcao da forca atuante sobre o objeto. Se seu modulo e direcao forem constantes,
podemos determinar sua componente na direcao do movimento ( | F | cos ) e assim determinar o trabalho
como W =| F | cos(b a).
5
No caso em que o modulo da forca nao e constante, novamente torna-se necessaria a integracao dessa forca ao
longo de toda a trajetoria e W =

b
a
| F | cos dx.
Tambem e possvel fazer com que a direc ao de atuacao da forca sobre a partcula varie durante a trajetoria,
alem da variacao ja includa do modulo da forca.
Nesse caso, torna-se necessario denir um vetor v unitario, que representa a direcao do movimento do objeto.
O produto escalar do vetor forca F pelo vetor direcao v nos da o modulo da componente da forca na direcao do
movimento (| F | cos = F v) uma vez que v e unitario. Integrando esse produto escalar por toda a trajetoria
obtemos o trabalho W =

b
a
F v dx. Lembramos que nesse caso apenas o vetor F e variavel, o vetor v e
constante.
Finalmente temos o caso em que, alem do modulo e direcao da forca sobre o objeto serem variaveis, a direcao
do movimento tambem varia.
Para determinarmos o trabalho nesta situacao e necessario realizar uma parametrizacao da curva por compri-
mento de arco. Tambem e preciso determinar um vetor unitario v que represente a direcao do movimento do
6
objeto. O produto escalar dos vetores variaveis Forca F e direcao v tera como resultado o modulo da compo-
nente da for ca na direcao do movimento em cada ponto da trajetoria. Integrando esse produto escalar durante
todo o comprimento da curva, obtemos o trabalho W =

s
0
F v ds.
Seja F = (f(x, y), g(x, y)). Como v e um vetor tangente a uma trajetoria curvilnea parametrizada por compri-
mento de arco s entao v = (
dx
ds
,
dy
ds
) e
W =

s
0
F v ds =

s
0

f
dx
ds
+ g
dy
ds

ds =

C
fdx + gdy
Assim, no caso em que o campo e um campo de forcas, a integral de linha calcula o trabalho realizado para se
mover sobre a cuva C sob a acao do campo. O planmetro, em princpio, nao determina um campo de forcas e
a integral de linha, entao, nao calcula trabalho.
5.2 Quando o campo e um campo qualquer
Se o campo e qualquer, a integral de linha nao calcula o trabalho realizado ao se mover um ponto sobre a curva
C, mas o exemplo anterior mostra que a integral de linha de um campo qualquer F ao longo de um curva C
mede a concordancia da circulacao do campo F com a orientacao da curva C, pois, se em um ponto F nao
tiver componente na direcao de C, o valor acrescido por esse ponto na integral de linha sera nulo, e se tiver
componente nessa direcao, havera um acrescimo na integral de linha de valor igual ao modulo dessa componente
do campo. Ela mede tambem a soma das projecoes da forca na direcao da curva.
Ora, dado um campo de vetores F = (f(x, y), g(x, y)), podemos procurar suas curvas integrais, isto e, as curvas
que sao sempre tangentes ao campo. Procuramos curvas (x(s), y(s)) tais que o vetor tangente v = (
dx
ds
,
dy
ds
) =
(f(x, y), g(x, y)) = F ou, na pratica, procuramos solucoes do sistema de equacoes diferenciais
dx
ds
= f(x, y) e
dy
ds
= g(x, y). Se | F |= 1 entao a curva sai parametrizada por comprimento de arco e F v = 1. Assim, a
integral de linha de um campo unitario em cima de uma curva integral mede o comprimento desta curva, pois
comprimento de C =

s
0
ds =

s
0
F v ds =

s
0

f
dx
ds
+ g
dy
ds

ds =

C
fdx + gdy.
Tambem podemos procurar as curvas ortogonais do campo, isto e, as curvas que sao sempre perpendicu-
lares ao campo. Procuramos curvas (x(s), y(s)) tais que o vetor tangente v = (
dx
ds
,
dy
ds
) e perpendicular a
(f(x, y), g(x, y)) = F, ou seja v F = 0. Na pratica, procuramos solucoes do sistema de equacoes diferenciais
dx
ds
= g(x, y) e
dy
ds
= f(x, y). Se | F |= 1 entao a curva sai parametrizada por comprimento de arco e a integral
de linha de um campo unitario em cima de uma curva ortogonal sera nula, pois

C
fdx + gdy =

s
0

f
dx
ds
+ g
dy
ds

ds =

s
0
F v ds = 0.
5.3 A relacao entre a integral de linha e a medicao realizada pelo Planmetro
As guras a seguir, realizadas usando o software Maple, mostram o campo gerado pelo Planmetro, no primeiro
quadrante e algumas curvas integrais e ortogonais deste campo.
7
8
Traduzindo para o funcionamento fsico do Planmetro, quando este percorre uma curva integral do campo,
a rodinha xada perpendicularmente na extremidade do braco movel, roda perfeitamente livre. O contador
acoplado a esta rodinha mede o n umero de voltas que ela da ao se deslocar sobre a curva. Seja k esta medida
e d o diametro da rodinha. O comprimento total da curva integral sera entao kd. Chamando novamente de
F = (f, g) o campo associado ao Planmetro e de C a curva integral temos:

C
fdx + gdy = comprimento de C = kd
Quando o Planmetro percorre uma curva ortogonal, a rodinha nao roda nada e logo, o medidor acoplado na
rodinha indicara zero, ou seja, o valor da integral de linha do campo sobre a curva ortogonal.
Assim, em qualquer um dos casos

C
fdx + gdy = kd
onde k e o n umero medido pelo contador acoplado `a rodinha.
Qualquer curva fechada C, contida no primeiro quadrante, pode ser aproximada por varios segmentos de curvas
integrais e ortogonais intercaladas, que denotaremos por C
1
, C
2
, ...C
n
. Entao

C
fdx + gdy

C1
fdx + gdy +

C2
fdx + gdy + ... +

Cn
fdx + gdy = (k
1
+ k
2
+ ... + k
n
)d
onde cada k
i
e o n umero dado pelo contador para cada C
i
.
Fazendo aproximacoes cada vez melhores teremos

C
fdx + gdy = kd
onde k e o n umero dado pelo contador ao percorrermos a curva C.
6 O funcionamento do Planmetro
Chamemos de r o comprimento de cada braco do Planmetro, d o diametro da rodinha colocada perpendicu-
larmente ao braco movel e de k o o n umero dado pelo contador ao se percorrer C no sentido anti-horario. O
campo determinado pelo Planmetro e F = (f, g). Entao kd =

C
fdx+gdy =
1
r
area cercada por C ou seja:
area cercada por C = k
d
r
.
De todo conte udo colocado, podemos ver o quao interessante e esse instrumento que baseado num teorema
relativamente simples, tem aplicacoes extensas e extremamente uteis na engenharia, geologia e etc.
7 Prova do Teorema de Green
Durante o estudo, utilizamos o Teorema de Green como ponto de apoio para a comprovacao do funcionamento
do Planmetro, aceitando sua veracidade, sem maiores preocupacoes. Torna-se entao relevante a seguinte apre-
sentacao, que prova a igualdade determinada pelo
9
Teorema de Green: Seja F = (f(x, y)dx, g(x, y)) um campo derivavel no plano, C uma curva fechada e
R a regiao cercada por C. Entao

C
f(x, y)dx + g(x, y)dy =

R
(
g
x

f
y
)dxdy
Prova:
Consideraremos a regiao R e a curva C como mostradas na gura abaixo.
Para provar o teorema de Green, demonstraremos que

C
f(x, y)dx =

R
(
f
y
)dxdy
e

C
g(x, y)dx =

R
(
g
x
)dxdy
Para demonstrar a primeira igualdade, consideraremos a regiao R e as curvas I
1
e I
2
, orientadas conforme a
gura abaixo, e que podem ser parametrizadas da seguinte forma: I
1
: x, y = l
1
(x) e I
2
: x, y = l
2
(x)
Temos, entao:
10

C
f(x, y)dx =

I1
f(x, y)dx+

I2
f(x, y)dx =

I1
f(x, y)dx

I2
f(x, y)dx =
b

a
f(x, l
1
(x))dx
b

a
f(x, l
2
(x))dx
=
b

a
[f(x, l
2
(x)) f(x, l
1
(x))]dx =
b

f(x, y)
y=l2(x)
y=l1(x)

dx =
b

l2(x)

l1(x)
f
y
dy

dx =

R
(
f
y
)dxdy
A prova de que

C
g(x, y)dx =

R

g
x

dxdy
feita do mesmo modo, mas considerando a gura abaixo:
Desse modo, provando essas duas igualdades, ca comprovado o teorema de Green.
Apesar de termos provado o Teorema de Green utilizando uma curva C completamente convexa, podemos
expandir o resultado para curvas com partes concavas. Por exemplo, se tivermos a curva C como mostrado
abaixo:
11
Nesse caso, basta dividirmos a curva concava em mais partes.
O resultado e valido tambem para os casos em que a curva tem uma parte reta, paralela um dos eixos (x ou
y). A parte reta impossibilita a realizacao dos calculos como foram feitos acima. Nesse caso, realizamos uma
rota cao do eixo, fazendo com que a reta nao seja mais paralela a este, e assim podemos realizar a divisao da
curva e fazer os calculos que comprovam o teorema de Green.
8 Bibliograa
ANTON, H.: Calculo, um Novo Horizonte, Volume 2, 6
a
Edicao, Ed. Bookman. Porto Alegre, 2000.
KNILL, Oliver: How does the planimeter work?, 2000. http://www.mathematik.com/Planimeter/explanation.html.
SCHEY, H. M.: Div, Grad, Curl, and All That: An Informal Text on Vector Calculus, 3
a
Edicao, Ed. W.
W. Norton and Company. New York, 1996.
12