Apostila 6

principal1
2009/8/19
page 1
Estilo OBMEP
A Geometria do Globo Terrestre
Srgio Alves
Os Trs Problemas Clssicos da
Matemtica Grega
Joo Pitombeira de Carvalho
A Matemtica dos Cdigos
de Barras
Francisco Csar Polcino Milies
principal1
2009/8/19
page 2
Estilo OBMEP
Texto j revisado pela nova ortograa.
principal1
2009/8/19
page i
Estilo OBMEP
Apresentao
Os textos apresentados a seguir foram produzidos para a II
Bienal da Sociedade Brasileira de Matemtica, realizada em 2004,
em Salvador.
A utilizao desses trabalhos pelos bolsistas de Iniciao Cient-
ca da OBMEP motivada pelo fato de tratarem de questes muito
interessantes e, a nosso ver, motivadoras.
O primeiro, de Srgio Alves, aborda o problema do estabeleci-
mento de coordenadas no globo terrestre. O domnio de tais coor-
denadas e o uso de instrumentos para medi-las, propiciou grandes
avanos para a humanidade, desde os tempos das grandes navegaes
(e o consequente aumento do comrcio mundial) at o uso do GPS
para a construo de mapas e localizao.
O segundo texto, de autoria de Joo Bosco Pitombeira, tem forte
sabor histrico pois trata de trs problemas clssicos da geometria
euclidiana plana: a duplicao do cubo, a quadratura do crculo e
a trisseco do ngulo. So perguntas naturais cuja resposta custou
muito esforo e fazem parte da bagagem cultural da matemtica.
Quem viveu a poca das las nos supermercados, onde o preo de
cada produto tinha que ser registrado manualmente no caixa, sabe
muito bem o avano que representa o uso do cdigo de barras. Uma
ideia simples e genial, de grande utilidade. Esse o tema do ter-
i
principal1
2009/8/19
page ii
Estilo OBMEP
ii
ceiro texto, em que Francisco Csar Polcino Miles expe os aspectos
matemticos da codicao. Vemos aqui um belo exemplo de como
estruturas abstratas ajudam a resolver problemas concretos.
Como ser possvel notar, os textos no esgotam os respectivos
assuntos e possuem referncias bibliogrcas teis para aqueles mais
curiosos que desejarem aprofundar seus conhecimentos sobre os as-
suntos. A leitura de um trabalho matemtico deve ser pausada e
reetida, e aqui no ser diferente. O leitor deve se envolver nas
questes e ideias discutidas pelo autor e muitas vezes dialogar com
ele, quem sabe buscando outras solues.
Esperamos que os bolsistas apreciem tanto a beleza dos proble-
mas e de suas solues quanto a elegncia com que os temas foram
tratados.
O Comit Acadmico da OBMEP agradece aos autores por terem
permitido o uso dos seus trabalhos no Programa de Iniciao Cient-
ca da OBMEP.
Comit Acadmico Direo Acadmica
principal1
2009/8/19
page iii
Estilo OBMEP
Sumrio
A Geometria do Globo Terrestre 1
Os Trs Problemas Clssicos da Matemtica Grega 81
A Matemtica dos Cdigos de Barras 133
iii
principal1
2009/8/19
page iv
Estilo OBMEP
principal1
2009/8/19
page 1
Estilo OBMEP
A Geometria do Globo Terrestre
Srgio Alves
1
principal1
2009/8/19
page 2
Estilo OBMEP
principal1
2009/8/19
page 3
Estilo OBMEP
Prefcio
Num encontro de professores que atuam no ensino bsico fomos
questionados sobre a utilizao de aplicaes da Matemtica em sala
de aula. Nossas primeiras consideraes foram as esperadas: sempre
bom poder mostrar aos alunos que a Matemtica faz parte de nosso
cotidiano, ilustrando como ideias e conceitos abstratos levam ao de-
senvolvimento de conhecimentos e tecnologias que visam o bem-estar
da nossa sociedade. Com isso, certamente nossas aulas de Matemtica
cam mais interessantes e motivadoras para o aluno.
Porm, existe um preo a se pagar para conseguirmos esse intento
e notamos certa surpresa em nossos interlocutores quando passamos
a explicar melhor esse lado da questo.
Primeiramente, a chamada contextualizao da Matemtica tem
seu lugar e hora para acontecer. Ela deve ser feita de modo que o
aluno entenda seu signicado e sua necessidade e no se criando si-
tuaes, por vezes extremamente articiais, somente pelo gosto de
poder dar alguma aplicao prtica de um determinado tema. Nem
todo tpico da Matemtica passvel de contextualizao!
Um segundo ponto por ns levantado que a apresentao de
aplicaes signicativas da Matemtica invariavelmente exige do pro-
fessor certo conhecimento de alguma outra rea como, por exemplo,
Fsica, Biologia ou Geograa. Esse professor deve estar ciente que tal
3
principal1
2009/8/19
page 4
Estilo OBMEP
4
exigncia vai requerer dele um maior empenho e dedicao.
Por m destacamos o fato que, embora a Matemtica tenha a
marca da cincia exata por excelncia, nas suas aplicaes frequente-
mente temos que lidar com a questo das aproximaes fazendo uso,
ou no, de calculadoras ou programas de computador. Raramente na
soluo de um problema contextualizado comparecem nmeros como
16 ou ainda cos 60
o
!
Motivado por todas essas consideraes escrevemos o texto que
aqui se apresenta. Escolhemos como tema a geometria da esfera que
encontra na Geograa uma natural contextualizao por meio do es-
tudo do globo terrestre e dos vrios assuntos a ele relacionados. In-
corporamos no texto todos os conceitos geogrcos necessrios, o que
no exime o leitor destas notas de procurar aprofund-los com suas
prprias fontes.
Procuramos explicar, com a maior clareza possvel, as ideias
matemticas envolvidas no funcionamento do sistema de posiciona-
mento global (GPS), um dos mais modernos sistemas de localizao
por satlites, e fazemos ainda uma discusso atualizada do clculo
da distncia entre dois pontos da superfcie terrestre. Esse clculo,
no passado, era justicado com o uso da trigonometria esfrica, tema
este que j no frequenta nossos livros didticos.
Enm, produzimos este texto na esperana que ele fornea aos
professores uma possvel resposta quela pergunta que frequentemente
lhes feita: Para que serve isso que o senhor est ensinando?
Srgio Alves
principal1
2009/8/19
page 5
Estilo OBMEP
Sumrio
Introduo 7
1 A Superfcie Esfrica e seus Elementos 9
1.1 A Interseo entre um Plano e uma Superfcie Esfrica 10
2 Qual a Forma da Terra? 19
2.1 As Coordenadas Geogrcas . . . . . . . . . . . . . . . 25
2.2 Os Movimentos da Terra . . . . . . . . . . . . . . . . . 31
2.3 Os Fusos Horrios . . . . . . . . . . . . . . . . . . . . 38
3 O ngulo de Elevao do Sol e da Energia Solar 41
3.1 O ngulo de Elevao do Sol nos Equincios . . . . . 45
3.2 O ngulo de Elevao do Sol nos Solstcios . . . . . . 47
4 A Superfcie Esfrica em Coordenadas Cartesianas 54
5 A Matemtica do GPS 64
6 A Distncia numa Superfcie Esfrica 71
5
principal1
2009/8/19
page 6
Estilo OBMEP
6
Referncias Bibliogrcas 79
principal1
2009/8/19
page 7
Estilo OBMEP
Introduo
Neste curso pretendemos desenvolver o estudo da esfera e seus
elementos explorando sua associao com o globo terrestre. Concei-
tos geogrcos como paralelos, meridianos, latitudes, longitudes e fu-
sos horrios esto baseados em importantes ideias geomtricas que,
quando trabalhadas neste contexto, conduzem o aluno a uma melhor
compreenso e aprendizagem do tema.
O estudo dos movimentos da Terra nos permite entender, alm
das quatro estaes do ano com seus equincios e solstcios, porque
o Trpico de Capricrnio ou o Crculo Polar rtico so paralelos
notveis. Veremos ainda que as relaes entre longitude e fusos hor-
rios bem como entre latitude e o ngulo de elevao do Sol nos levam
a problemas geomtricos relevantes.
O estudo da posio relativa de duas ou mais esferas e as relaes
entre as coordenadas geogrcas e as coordenadas cartesianas cons-
tituem a fundamentao matemtica necessria para o entendimento
de alguns modernos sistemas de navegao por satlites, em especial
do GPS.
7
principal1
2009/8/19
page 8
Estilo OBMEP
8
A utilizao do globo terrestre, com suas consequentes questes
envolvendo, por exemplo, clculo de distncias e ngulos sobre a es-
fera, ou ainda, a confeco de mapas por meio de diversas projees,
abre caminho para um interessante trabalho interdisciplinar entre a
Matemtica e a Geograa.
principal1
2009/8/19
page 9
Estilo OBMEP
Captulo 1
A Superfcie Esfrica e seus
Elementos
Seja O um ponto e r um nmero real positivo. A superfcie
esfrica de centro O e raio r o conjunto de todos os pontos P
do espao cuja distncia a O igual a r.
Q
T
O
P
r
Os pontos do espao cuja distncia a O menor que r so inte-
riores superfcie esfrica e aqueles cuja distncia a O maior que
r so exteriores a ela.
A reunio da superfcie esfrica de centro O e raio r com seus
pontos interiores chamada a esfera de centro O e raio r.
O segmento que une o centro a um ponto qualquer da super-
9
principal1
2009/8/19
page 10
Estilo OBMEP
10 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS
fcie esfrica denominado um raio da superfcie esfrica enquanto
que o segmento que une dois pontos distintos da superfcie esfrica
chamado uma corda da superfcie esfrica.
Uma corda que contm o centro chamada um dimetro da
superfcie esfrica.
Evidentemente o comprimento de qualquer dimetro o nmero
2r que chamado o dimetro.
Observamos que a palavra raio usada com dois sentidos: pode
ser o nmero r ou um segmento OP. Isto, porm, no causa con-
fuso uma vez que sempre claro qual o signicado utilizado. Um
comentrio anlogo vale para a palavra dimetro.
Neste texto a notao PQ representa o segmento de extremos P
e Q enquanto que PQ indica o seu comprimento.
Na gura anterior r o raio da superfcie esfrica, OP, OQ e OT
so raios, PQ e PT so cordas, QT um dimetro e 2r = QT o
dimetro da superfcie esfrica.
1.1 A Interseo entre um Plano e uma Super-
fcie Esfrica
A relao entre superfcies esfricas e planos no espao similar
com a relao entre circunferncias e retas no plano.
Um plano E tangente a uma superfcie esfrica S se ES contm
exatamente um ponto. Esse ponto chamado ponto de tangncia.
Dizemos que o plano e a superfcie esfrica se tangenciam nesse ponto.
Se E S contm mais do que um ponto, ento o plano secante
superfcie esfrica. Podemos caracterizar o plano tangente conforme
o seguinte resultado.
principal1
2009/8/19
page 11
Estilo OBMEP
SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 11
Teorema 1.1. Um plano perpendicular a um raio na sua extremidade
comum com a superfcie esfrica tangente mesma. Reciprocamente,
todo plano tangente a uma superfcie esfrica perpendicular ao raio
que contm o ponto de tangncia.
Demonstrao. Sendo E um plano perpendicular ao raio OT em T,
vamos mostrar que nenhum outro ponto de E est na superfcie es-
frica.
P
E
O
S
T
Seja P um ponto qualquer de E, P distinto de T. Como E
perpendicular a OT temos que OPT um tringulo retngulo com
hipotenusa OP e catetos OT e PT. Logo OP > OT = r e, portanto,
P no est na superfcie esfrica.
Reciprocamente seja E um plano tangente superfcie esfrica no
ponto T. Suponha, por absurdo, que E no seja perpendicular ao raio
OT. Vamos mostrar que essa hiptese nos leva a uma contradio.
E
O
T
O
R
F
Sendo F o p da perpendicular ao plano E, traada a partir de O,
temos F ,= T, pois E no perpendicular a OT. Seja R o ponto da
principal1
2009/8/19
page 12
Estilo OBMEP
reta

FT tal que T F R e FR = FT. Ento OFR

= OFT
(pelo critrio LAL de congruncia de tringulos) de modo que
OR = OT = r e, portanto, R est na superfcie esfrica. Logo E
intersecta a superfcie esfrica em um ponto R distinto de T. Isso
impossvel, pois E um plano tangente.
Vamos agora investigar a gura obtida quando um plano secante
corta uma superfcie esfrica. Se o plano passa pelo centro a resposta
imediata.
Teorema 1.2. A interseco de uma superfcie esfrica com um plano
passando pelo seu centro uma circunferncia de mesmo centro e
mesmo raio.
E
S
O
r
Demonstrao. Dada uma superfcie esfrica S com centro O e raio
r e um plano E que passa por O, a interseco E S o conjunto de
todos os pontos de E cuja distncia a O igual a r. Essa exatamente
a denio de uma circunferncia de centro O e raio r.
O prximo resultado nos d a situao mais geral.
principal1
2009/8/19
page 13
Estilo OBMEP
Teorema 1.3. Se um plano contm um ponto do interior de uma
superfcie esfrica, ento a interseco do plano com a superfcie es-
frica uma circunferncia. O centro dessa circunferncia o p da
perpendicular ao plano traada a partir do centro da superfcie es-
frica.
E
O
O
F
Y
S
X
Demonstrao. Seja E um plano que no passa pelo centro O da
superfcie esfrica S e que contm um ponto Y do seu interior. Sendo
F o p da perpendicular a E traada a partir de O, vamos mostrar
que a interseco E S uma circunferncia de centro F.
Sabemos que OY < r, pois Y est no interior de S. No tringulo
retngulo OFY temos que OY hipotenusa, enquanto que OF
cateto. Logo OF < OY < r, ou seja, F tambm est no interior de S.
Seja X um ponto qualquer na interseco E S. Ento OFX
tem um ngulo reto em F e, pelo teorema de Pitgoras,
OF
2
+FX
2
= OX
2
= r
2
e, portanto, FX =
r
2
OF
2
(note que r
2
OF
2
> 0).
Logo X est na circunferncia de centro F e raio

r
2
OF
2
.
Provamos assim que a interseco ES est contida na circunferncia
de centro F e raio

r
2
OF
2
.
principal1
2009/8/19
page 14
Estilo OBMEP
Isso ainda no signica que a interseco a circunferncia. Para
completar a demonstrao, precisamos mostrar que todo ponto da
circunferncia pertence interseco.
Seja X um ponto qualquer da circunferncia, em E, com centro F
e raio

r
2
OF
2
. Novamente pelo teorema de Pitgoras,
OX
2
= OF
2
+FX
2
= OF
2
+r
2
OF
2
= r
2
.
Portanto OX = r e X pertence superfcie esfrica S.
A interseco da superfcie esfrica com um plano passando pelo
seu centro chamada uma circunferncia mxima da superfcie
esfrica.
H uma forte razo para esse nome: as circunferncias mximas
so as circunferncias de maior raio contidas na superfcie esfrica.
Veremos adiante que o Equador uma circunferncia mxima, mas
os outros paralelos no globo terrestre no o so. Eles so menores que
o Equador, tornando-se muito pequenos perto dos Polos Norte e Sul.
POLONORTE
POLO SUL
30
0
30
principal1
2009/8/19
page 15
Estilo OBMEP
Atividades
1) A superfcie esfrica S tangente ao plano E em A. O ponto O
o centro de S e B, C, D esto em E. Que relao existe entre OA
e AB , AC e AD? Explique.
S
D
A
C
B
E
O
2) A perpendicular do centro de uma superfcie esfrica a uma corda
divide-a ao meio. Utilize este resultado na resoluo do seguinte
problema. Numa superfcie esfrica de raio 15, a distncia de uma
corda ao centro igual a 9. Qual o comprimento da corda? Apre-
sente ainda uma prova do resultado acima.
3) Dados um plano E e uma superfcie esfrica S de centro O e raio
r, podemos caracterizar a posio relativa entre E e S por meio da
distncia d(O,E) de O ao plano E. Faa isso completando a tabela
abaixo.
d(O,E) Posio relativa
E secante a S
E tangente a S
E disjunto a S
4) Sejam A e B dois pontos de uma superfcie esfrica S que no so
extremos de um dimetro de S. Mostre que existe uma e somente
principal1
2009/8/19
page 16
Estilo OBMEP
uma circunferncia mxima de S passando por A e B. (Sugesto:
Sendo O o centro de S, considere o plano E determinado pelos
pontos no-colineares A, B e O.)
5) Explique porque duas circunferncias mximas quaisquer de uma
superfcie esfrica, se cortam nas extremidades de um dimetro da
superfcie esfrica.
6) Na gura abaixo um plano E intersecta a superfcie esfrica S de
centro O. Os pontos A, B, C e M esto em E sendo que A e B
tambm esto em S. Sabe-se que OM E, AM MB, C
ponto mdio de AB, AM = OM e AB = 5.
B
E
S
O
M
A
C
Calcule o raio da superfcie esfrica S, a medida angular m(AOB)
e a medida OC.
7) Duas circunferncias mximas so ditas perpendiculares se es-
tiverem em planos perpendiculares. Mostre que para cada duas
circunferncias mximas existe uma terceira circunferncia m-
xima perpendicular a ambas. Se duas circunferncias mximas
principal1
2009/8/19
page 17
Estilo OBMEP
no globo terrestre passam pelos polos, que circunferncia mxima
perpendicular a ambas?
8) Na geometria esfrica as linhas retas so representadas por cir-
cunferncias mximas. Se puder, encontre cada uma das seguintes
guras em tal geometria.
(a) Um tringulo equiltero.
(b) Um tringulo com dois ngulos retos.
(c) Um tringulo com trs ngulos retos.
(d) Um tringulo cujas medidas de seus ngulos somem 500.
(e) Um retngulo, isto , um quadriltero com quatro ngulos
retos.
9) Sejam S e S
duas superfcies esfricas de centros distintos O e

O
, respectivamente. Sendo r e r
, r r, seus respectivos raios,

verique que
S S
vazia OO
> r +r
ou OO
< r r
S S
um ponto OO
= r +r
ou OO
= r r
S S
uma circunferncia OO
< r +r
ou OO
< r r
.
Faa desenhos ilustrando todas estas possibilidades.
(Sugesto: Observe inicialmente que P S S P S e
PO
2
PO
2
= r
2
r
2
. A seguir, mostre que o conjunto dos
pontos P do espao que satisfazem PO
2
PO
2
= r
2
r
2
um plano E perpendicular reta

OO
num ponto H denido por

MH =
r
2
r
2
2OO
com O M H, onde M o ponto mdio do seg-

mento OO
. Conclua a prova utilizando a atividade 3 para obter

as relaes desejadas.)
10) Quais as possibilidades para a quantidade de pontos da interseco
de trs superfcies esfricas? Faa desenhos ilustrando suas respos-
tas.
principal1
2009/8/19
page 18
Estilo OBMEP
Respostas
2) 24.
6) 5, 60
o
e
5
3
2
.
10) 0, 1, 2 ou innitos pontos.
principal1
2009/8/19
page 19
Estilo OBMEP
Captulo 2
Qual a Forma da Terra?
A Terra redonda, mas no uma esfera perfeita, uma vez que
achatada nos polos. Na verdade, a Terra aproximadamente um
elipside.
A gura abaixo mostra uma seco da superfcie terrestre atravs
de um plano que contm a reta que liga os Polos Norte e Sul. Esta
seco aproxima-se de uma elipse cujo semieixo maior a a metade
do dimetro do Equador e o semieixo menor b a metade da distncia
entre os polos.
N
S
a
b
19
principal1
2009/8/19
page 20
Estilo OBMEP
20 CAP. 2: QUAL A FORMA DA TERRA?
A superfcie terrestre a superfcie de revoluo gerada por essa
elipse quando esta gira em torno da reta que passa pelos polos.
A razo =
a b
b
chama-se achatamento da Terra.
A tabela seguinte mostra valores dos semieixos a e b e do corres-
pondente achatamento da Terra, obtidos por alguns pesquisadores.
a (metros) b (metros)
Bessel (1841) 6 377 397 6 356 078 0,0033541
Clarke (1880) 6 378 249 6 356 515 0,0034191
Helmert (1906) 6 378 200 6 356 940 0,0033443
Hayford (1924) 6 378 388 6 356 911 0,0033785
Krassovski (1940) 6 378 245 6 356 863 0,0033636
O valor extremamente pequeno de nos permite, para efeitos
didticos, desprezar esse achatamento e considerar a Terra como se
fosse uma esfera.
A superfcie da Terra passa a ser considerada daqui por diante
como um globo: o globo terrestre. O globo terrestre ainda o nome
do instrumento didtico que representa a Terra como uma esfera.
Iniciamos estabelecendo a nomenclatura apropriada. A gura a
seguir ilustra um globo terrestre.
O ponto N representa o Polo Norte e o ponto S o Polo Sul. A
reta determinada por N e S chamada o eixo polar. Ela a reta em
torno da qual a Terra efetua seu movimento de rotao.
O plano que passa pelo centro da superfcie esfrica e perpendi-
cular ao eixo polar chama-se o plano do Equador.
O Equador a interseco do plano do Equador com a superfcie
esfrica. O Equador , portanto, uma circunferncia mxima.
Um plano que passa pelo centro da superfcie esfrica divide-a em
principal1
2009/8/19
page 21
Estilo OBMEP
21
Paralelo
S
Meridiano
Equador
N
duas partes chamadas hemisfrios.
O plano do Equador divide a superfcie terrestre em dois hemis-
frios: o Hemisfrio Norte (que contm o Polo Norte) e o Hemis-
frio Sul (que contm o Polo Sul).
Os paralelos so as seces da superfcie terrestre atravs de
planos paralelos (ou coincidentes) ao plano do Equador. So ento
circunferncias. Os paralelos notveis so:
o Equador
o Trpico de Cncer
o Trpico de Capricrnio
o Crculo Polar rtico
o Crculo Polar Antrtico
Os meridianos so semicircunferncias que ligam os Polos Norte
e Sul por meio de arcos mximos, isto , arcos contidos em circun-
ferncias mximas que passam pelos polos. Convm ressaltar que os
meridianos, ao contrrio dos paralelos, no so circunferncias. Alm
disso, eles esto contidos em planos perpendiculares ao plano do
principal1
2009/8/19
page 22
Estilo OBMEP
Equador. O meridiano mais notvel o de Greenwich, nome de uma
localidade prxima a Londres, onde est instalado um observatrio
astronmico.
Observao. Os livros de Geograa utilizam com muita frequncia a
palavra crculo para designar a circunferncia. Em particular, des-
crevem o Equador como um crculo mximo e utilizam nomes como
crculo polar. Isto , na verdade, um abuso de linguagem consagrado
pelo uso sistemtico ao longo do tempo. A nomenclatura utilizada por
prossionais no matemticos, no caso os gegrafos, no precisa co-
incidir necessariamente com a usada pelos matemticos.
Atividades
1) Qual o comprimento do Equador, supondo que o raio da Terra
mea 6 400 km? Considere = 3,14159.
2) Como se mede o raio da Terra? Uma das maneiras escalar o
topo de uma montanha cuja altitude acima do mar seja conhecida
e medir o ngulo entre a vertical e a linha do horizonte. A altura
do monte Shasta na Califrnia 4,3 km. Do seu topo, o horizonte
sobre o Oceano Pacco faz um ngulo de 87
53
com a vertical.
Utilize estes dados para estimar o raio da Terra em quilmetros.
Considere sen 87
53
= 0,99932.
principal1
2009/8/19
page 23
Estilo OBMEP
23
LinhadoHorizonte
?
O
3) O clculo do raio da Terra mais clebre da Antiguidade foi
realizado pelo grego Eratstenes (276-196 a.C.). Consultando as
observaes astronmicas acumuladas durante sculos na biblio-
teca de Alexandria, Eratstenes soube que em Siena, 5 000 est-
dios (medida grega de comprimento) ao sul de Alexandria e situada
aproximadamente no mesmo meridiano, o Sol se reetia no fundo
de um poo ao meio-dia de um determinado dia de cada ano. Ao
meio-dia deste tal dia, Eratstenes mediu o ngulo que o raio do
Sol fazia com a vertical de Alexandria, achando aproximadamente
7
12
.
Alexandria
Raios
Solares
712?
Siena
principal1
2009/8/19
page 24
Estilo OBMEP
Admitindo que os raios solares cheguem ao nosso planeta pratica-
mente paralelos, mostre como obter para o raio da Terra o valor
aproximado de 250 000/2 estdios. Supondo que a medida de
um estdio utilizada por Eratstenes era de aproximadamente 185
metros, calcule o valor acima em quilmetros.
4) Na ponte de um navio em alto-mar, o capito pediu a um
jovem ocial que estava ao seu lado que determinasse a distn-
cia ao horizonte. O ocial pegou papel e lpis e, em poucos
instantes, deu uma resposta. No papel ele havia escrito a fr-
mula d =
8
5
5h. Admitindo-se que o raio da Terra mea

6 400 km, mostre que essa frmula uma boa aproximao da
distncia d, em quilmetros, ao horizonte onde h a altura, em
metros, do observador acima da gua. Se a ponte do navio est a
30 metros acima da gua, qual a distncia ao horizonte?
5) Em um dia claro, at de que distncia se poderia enxergar um edi-
fcio de 150 metros de altura, supondo-se que no haja obstrues
no meio? Utilize a frmula do exerccio anterior.
Respostas
1) Cerca de 40 212 km.
principal1
2009/8/19
page 25
Estilo OBMEP
SEC. 2.1: AS COORDENADAS GEOGRFICAS 25
4) Cerca de 19 km.
5) Cerca de 43 km.
2.1 As Coordenadas Geogrcas
O globo terrestre serve para localizar um determinado ponto ou
regio da Terra. O aluno deve ter acesso a um para efetuar esta
localizao.
H razes prticas para se ultrapassar o estgio da localizao
ingnua (isto , apontar o dedo para o lugar e dizer: aqui!) sendo
necessrio criar um sistema de coordenadas para dar a localizao
precisa de um ponto no globo.
Para isto utilizamos as chamadas coordenadas geogrcas: la-
titude e longitude.
A latitude de um ponto P a medida do arco de meridiano que
passa por P situado entre o paralelo que contm P e o Equador. A
latitude expressa em graus, minutos e segundos e se mede de 0
a
90
N (norte) ou de 0
a 90
S (sul).
A longitude de um ponto P a medida do arco de paralelo que
passa por P situado entre o meridiano que contm P e o meridiano
de Greenwich. A longitude expressa em graus, minutos e segundos
e se mede de 0
a 180
E (leste) ou de 0
a 180
W (oeste).
Na gura a seguir temos que = m(EOP) a latitude de P
enquanto que = m(GMP) a longitude de P. Pontos sobre um
mesmo paralelo possuem latitudes iguais e pontos sobre um mesmo
meridiano possuem longitudes iguais.
principal1
2009/8/19
page 26
Estilo OBMEP
Equador
Greenwich
N
S
E
O
G
M
?
P
?
?:longitudedeP
?:latitudedeP
Atividades
1) Observando um globo terrestre ou um mapa apropriado estabelea
as coordenadas geogrcas de cada uma das cidades abaixo.
Cidade Latitude Longitude
So Paulo
Macei
Belo Horizonte
Nova Orleans
Chicago
Roma
Nova York
Buenos Aires
Londres
Moscou
Cairo
Tquio
Quito
Los Angeles
principal1
2009/8/19
page 27
Estilo OBMEP
2) Qual a relao entre o raio da superfcie terrestre, o raio de um
paralelo e a sua respectiva latitude?
3) Verique que a longitude de um ponto P a medida do arco do
Equador situado entre o meridiano que passa P e o meridiano de
Greenwich.
4) Um dos primeiros fatos que um estudante de astronomia aprende
que a latitude de um ponto da Terra localizado no Hemisfrio Norte
igual medida do ngulo que Polaris (a Estrela do Norte) forma
com a linha do horizonte, quando observada daquele ponto. Geo-
metricamente, esta armao pode ser interpretada da seguinte
maneira. A reta

NS o eixo polar da Terra, a circunferncia C
contm um meridiano, E est no Equador, P o observador, a reta
PH a linha do horizonte e m(XPH) a elevao de Polaris

onde

PX paralela a

NS.
N
H
X
P
O E
S
C
O fato acima equivale a dizer que m(EOP) = m(XPH).
Mostre porque isto verdadeiro.
5) A acelerao da gravidade, frequentemente denotada por g, con-
siderada constante para movimentos prximos da superfcie ter-
principal1
2009/8/19
page 28
Estilo OBMEP
restre. Na verdade, porm, g no constante, variando ligeira-
mente com a latitude . Uma boa aproximao para g, ao nvel
do mar, dada pela expresso
g = 9,78049(1 + 0,005288 sen
2
0,000006 sen
2
2) m/s
2
(a) Utilizando uma calculadora, determine g para a latitude do
lugar onde voc mora.
(b) Expresse g apenas em funo de sen, isto , elimine o ngulo
duplo.
(c) Em que lugar da Terra o valor de g mximo? E mnimo?
6) Supondo que o raio da Terra mea 6 400 km, qual o comprimento
de um grau de longitude em uma latitude arbitrria ? Em par-
ticular, qual o comprimento numa latitude de 30
N (aproximada-
mente a latitude de Nova Orleans), 10
S (aproximadamente a
latitude de Macei) e 20
S (aproximadamente a latitude de Belo

Horizonte)?
7) A que latitude um grau de longitude tem comprimento igual a 48
km? A que latitude um paralelo mede 16 000 km?
8) Qual a altura mnima para que um satlite consiga fotografar
o Brasil inteiro? Admita que Oiapoque e Chu estejam sobre
o mesmo meridiano, mas em paralelos diferentes: a latitude de
Oiapoque 6
N e a de Chu 34
S. Suponha que o raio da Terra

mea 6 400 km.
9) Um astronauta encontra-se numa nave espacial que gira numa r-
bita em torno da Terra.No momento em que a nave est 160 km
acima da superfcie da Terra, que frao da superfcie da Terra
visvel para o astronauta? (Esta frao chamada calota es-
frica e sua rea dada por 2rh, onde r = 6 400 km o raio
principal1
2009/8/19
page 29
Estilo OBMEP
da Terra e h a altura da calota). Qual seria a frao visvel se
a nave estivesse a 20 200 km acima da superfcie da Terra? Neste
caso, quanto mede o ngulo de visualizao sobre a Terra?
h
10) Zona a regio da superfcie terrestre compreendida entre dois
paralelos. Utilize a expresso da rea da calota esfrica para de-
duzir que a rea da zona delimitada por um paralelo de latitude e
o Equador dada por 2rd = 2r
2
sen , onde r o raio da Terra
e d a distncia entre o plano que contm o paralelo e o plano
do Equador. Conclua da o surpreendente fato: cortando-se uma
superfcie esfrica em fatias de igual espessura, as reas das zonas
so iguais, sendo indiferente que o corte tenha sido feito perto do
Equador ou perto do polo.
11) Um ponto P do globo terrestre tem latitude e longitude . Quais
so as coordenadas geogrcas do ponto Q diametralmente oposto
a P? Discuta cada uma das possibilidades N/S para e E/W para
.
principal1
2009/8/19
page 30
Estilo OBMEP
Respostas
2) r
paralelo
= r
terra
cos .
5) (c) mximo nos polos e mnimo no Equador.
6) Aproximadamente 111,7 cos km; 96,7 km; 110 km; 104,9 km.
7) 65
(N ou S) e 67
(N ou S), ambas aproximadamente.

8) Aproximadamente 410 km.
9) Na gura abaixo temos x = rsen e, portanto, a rea A da
calota esfrica dada por
A = 2rh = 2r(r x) = 2r
2
(1 sen ).
d
?
h x
?
r
Sendo F a frao visvel temos
F =
2r
2
(1 sen )
4r
2
=
1 sen
2
.
Por outro lado, como sen =
r
r +d
segue que F =
1
2
d
r +d
.
Para r = 6 400 e d = 160 obtemos F = 0, 012 de modo que
a frao visvel cerca de 1,2%. Para d = 20 200 obtemos
F = 0, 379 e a frao visvel cerca de 37,9%. Neste caso, a
medida 2 do ngulo de visualizao aproximadamente 28
.
principal1
2009/8/19
page 31
Estilo OBMEP
SEC. 2.2: OS MOVIMENTOS DA TERRA 31
2.2 Os Movimentos da Terra
A Terra no est parada. Ela tem dois movimentos principais:
o de rotao, em torno de seu eixo polar, e o de translao, em
torno do Sol. As consequncias destes dois movimentos so muito
importantes em nosso dia-a-dia.
Para dar uma volta completa em torno de seu eixo polar, a Terra
leva 24 horas ou um dia. Durante esta rotao, uma metade da
Terra est voltada para o Sol, do qual recebe luz e calor: nela ento
dia. A outra metade no recebe os raios solares: nela ento noite.
Assim, a sucesso dos dias e das noites uma consequncia da rotao
da Terra.
Sob a hiptese de que os raios solares so paralelos temos que,
em cada instante, a curva sobre o globo terrestre que separa o dia da
noite uma circunferncia mxima.
N
A
S
A
NOITE DIA
Raios
Solares
Todos os dias vemos o Sol aparecer no nascente, tambm
chamado oriente ou leste, subir no cu e se deitar no poente, tam-
bm chamado ocidente ou oeste. Temos a impresso de que o Sol
que caminha no cu. Na realidade, no isso que acontece. A Terra
que gira em torno de seu eixo polar da esquerda para direita, isto
, do oeste para leste, causando a impresso do movimento do Sol.
Chamamos a isto movimento aparente do Sol.
principal1
2009/8/19
page 32
Estilo OBMEP
O momento em que o Sol, em sua trajetria aparente, est mais
alto no cu o meio-dia solar. Neste momento a sombra projetada
de uma haste vertical tem o menor comprimento possvel. O meio-dia
solar para uma particular localidade ocorre quando o meridiano que
a contm corta a reta imaginria determinada pelos centros da Terra
e do Sol.
Alm de girar em torno de seu eixo, a Terra gira tambm em
torno do Sol. Nesta translao em torno do Sol, a Terra descreve uma
curva elptica denominada rbita. A trajetria da rbita da Terra
chamada eclptica e o plano que a contm referido como o plano
da eclptica. Para dar uma volta completa em torno do Sol, a Terra
leva 365 dias e 6 horas, isto , pouco mais que um ano. Para corrigir
esta diferena, foi necessrio aumentar um dia no ano, a cada perodo
de quatro anos. Nesses anos, chamados bissextos, o ms de fevereiro
tem 29 dias.
Um fato extremamente importante deve ser observado: em sua
translao em torno do Sol, o eixo da Terra no perpendicular ao
plano da eclptica, mas inclinado, sempre na mesma direo, for-
mando um ngulo de 23
27
com esta perpendicular.

Planodarbita
terrestre
Equador
2327
2327
N
S
principal1
2009/8/19
page 33
Estilo OBMEP
Se o eixo da Terra fosse perpendicular ao plano da rbita, durante
qualquer dia do ano, o Hemisfrio Norte receberia a mesma quantida-
de de luz e calor que o Hemisfrio Sul. Mas, como o eixo inclinado,
os dias e as noites no tm a mesma durao em todos os lugares da
Terra. Vejamos por que.
Observe a gura abaixo atentamente. Ela mostra as posies da
Terra em relao ao Sol ao longo do ano. Como voc pode ver, a
posio da Terra no a mesma em todos os meses do ano.
Apenas em duas ocasies a circunferncia mxima que separa a
zona iluminada daquela que est no escuro passa rigorosamente pelos
polos. Aproximadamente em 21 de maro e em 23 de setembro a
noite e o dia duram, em todos os lugares da Terra, cerca de 12 horas
cada um: so os equincios (noites iguais).
Nestas datas a reta imaginria determinada pelos centros da Terra
e do Sol corta o globo terrestre num ponto do paralelo de latitude 0
,
isto , os raios solares incidem perpendicularmente sobre a
linha do Equador, que recebe ento mais calor. Para o norte ou
para o sul do Equador, o calor vai diminuindo em direo aos polos e
principal1
2009/8/19
page 34
Estilo OBMEP
os dois hemisfrios so igualmente iluminados e aquecidos.
No dia 21 de maro comea para ns (no Hemisfrio Sul) o ou-
tono, enquanto que para os habitantes do Hemisfrio Norte a pri-
mavera que tem incio.
O dia 23 de setembro marca o comeo da primavera no Hemisfrio
Sul e o do outono no Hemisfrio Norte.
Raios
Solares
N
S
Equador
21demaroe23desetembro
Vejamos agora o que acontece de setembro a dezembro no Hemis-
frio Sul, de acordo com o movimento que a Terra faz em torno do
Sol.
Durante esta poca, os dias vo cando mais longos e as noites
mais curtas, at que, por volta de 21 de dezembro, temos o dia
mais longo e a noite mais curta: o que chamamos de solstcio de
vero. A Terra inclina o Polo Sul na direo mais prxima do Sol.
Nesse dia, comea no Hemisfrio Sul o vero.
O que se passa no Hemisfrio Norte nessa poca? A a situao
se inverte: os dias vo cando mais curtos e as noites mais longas. A
21 de dezembro, os habitantes daquele hemisfrio tm a noite mais
longa do ano e o dia mais curto: o solstcio de inverno. Para eles,
comea o inverno.
principal1
2009/8/19
page 35
Estilo OBMEP
Voc j entendeu por que isso acontece? Observe a gura abaixo.
Qual hemisfrio est mais exposto aos raios solares em 21 de dezem-
bro? Nessa data a reta imaginria determinada pelos centros da Terra
e do Sol corta o globo terrestre num ponto do paralelo de latitude
23
27
S, chamado Trpico de Capricrnio. Assim, no solstcio de

dezembro, os raios solares incidem perpendicularmente sobre
o Trpico de Capricrnio que recebe ento mais luz e calor fazendo
com que o Hemisfrio Sul seja mais iluminado e mais quente que o
Hemisfrio Norte.
21dedezembro
N
S
Trp.deCapricrnio
Equador
Circ.Polarrtico
Circ.Polar
Trp.deCncer
Raios
Solares
Voc j percebeu o que acontece nas regies polares em 21 de
dezembro? Nesse dia, os raios solares no ultrapassam o limite do
paralelo de latitude 66
33
N chamado Crculo Polar rtico. Os pon-

tos situados entre o Crculo Polar rtico e o Polo Norte cam inteira-
mente no escuro, independentemente da sua longitude. No h assim
dia, e a noite tem durao de 24 horas.
Enquanto isso, no Hemisfrio Sul, a zona situada entre o Crculo
Polar Antrtico, paralelo de latitude 66
33
S, e o Polo Sul ca ilumi-

nada durante 24 horas. No h assim noite, e o dia tem durao de
24 horas.
Vamos agora acompanhar o movimento da Terra de maro at
principal1
2009/8/19
page 36
Estilo OBMEP
junho. Nessa poca, o Hemisfrio Sul vai cando cada vez menos ex-
posto aos raios solares, ao contrrio do Hemisfrio Norte. Assim, no
Hemisfrio Sul onde moramos, os dias vo cando mais curtos e as
noites mais longas at que, por volta de 21 de junho, temos a noite
mais longa do ano: o nosso solstcio de inverno. Nessa data tem
incio para ns o inverno.
No Hemisfrio Norte, a data 21 de junho marca o dia mais longo
do ano: o solstcio de vero, ou incio do vero. A Terra inclina
seu Polo Norte na direo mais prxima do Sol. A reta imaginria de-
terminada pelos centros da Terra e do Sol corta o globo terrestre num
ponto do paralelo de latitude 23
27
N, chamado Trpico de Cncer.

Logo, no solstcio de junho, os raios solares incidem perpendi-
cularmente sobre o Trpico de Cncer e o Hemisfrio Norte ,
portanto, mais iluminado e mais quente que o Hemisfrio Sul.
21dejunho
Trp.deCapricrnio
Equador
Circ.PolarAntrtico
Trp.deCncer
Raios
Solares
Circ.Polarrtico
Vejamos o que ocorre nas regies polares nesta poca. A zona
situada entre o Crculo Polar Antrtico e o Polo Sul no atingida
pelos raios solares e a noite dura 24 horas, enquanto que a situada
entre o Crculo Polar rtico e o Polo Norte permanece iluminada
durante 24 horas. No h noite e o dia tem durao de 24 horas.
principal1
2009/8/19
page 37
Estilo OBMEP
Atividades
1) A Terra gira 360
em torno de seu eixo em 24 horas. Quantos

graus de longitude a reta determinada pelos centros da Terra e do
Sol cruza a cada hora? E a cada minuto?
2) Voc est numa localidade cujo meio-dia solar ocorreu 6 horas e
8 minutos depois do meio-dia solar em Greenwich. Qual a sua
longitude?
3) Quanto tempo depois do meio-dia solar em Greenwich ocorre o
meio-dia solar em So Paulo? Qual a diferena de tempo entre o
meio-dia solar em So Paulo e em Roma?
4) A variao sazonal no tempo de durao do dia pode ser modelada
por uma senide. O dia em Nova Orleans tem cerca de 14 horas
no solstcio de vero (21 de junho) e cerca de 9 horas e 20 mi-
nutos no solstcio de inverno (21 de dezembro). Nos itens abaixo
desconsidere a possibilidade de um ano bissexto.
(a) Esboce o grco do nmero h de horas dos dias de Nova
Orleans como funo do nmero x de dias a partir de 21 de
maro.
(b) Encontre uma expresso para h como funo de x, deter-
minando A, B e de modo que h(x) = A + Bsen (x).
(Sugesto: Calcule sabendo que h uma funo peri-
dica de perodo 365. A seguir, obtenha B usando os va-
lores mximos e mnimos da funo h.)
(c) Seja y o nmero de dias aps 1 de janeiro. Encontre uma
expresso para h como funo de y.
(d) Que dias do ano tem durao aproximada de 13 horas em
Nova Orleans?
principal1
2009/8/19
page 38
Estilo OBMEP
Respostas
1) 15
; 0, 25
.
2) 92
W.
3) 3 horas e 8 minutos; 3 horas e 56 minutos.
4) (b) h(x) = 12 +
7
3
sen (
2x
365
).
2.3 Os Fusos Horrios
No momento em que for meio-dia em So Paulo, ser tambm
meio-dia em todos os lugares situados ao longo do meridiano que
passa por So Paulo: o que chamamos hora verdadeira. Todas as
localidades situadas sobre um mesmo meridiano tm a mesma hora
verdadeira.
Assim, se meio-dia em Belo Horizonte, isto , se o Sol sobre Belo
Horizonte est em seu ponto mais alto no cu, o mesmo no acontecer
em Braslia. Isso ocorre porque Belo Horizonte est no meridiano de
longitude 44
W, enquanto Braslia encontra-se no meridiano de longi-

tude 48
W. Portanto, meio-dia em Braslia ocorrer um pouco depois

do meio-dia em Belo Horizonte (lembre-se que a Terra gira em torno
de seu eixo polar da esquerda para direita). Anal, se em Belo Hori-
zonte exatamente meio-dia, qual ser a hora verdadeira em Braslia?
Para responder essa pergunta basta repetir o argumento utilizado na
atividade 3 da pgina anterior.
Assim, a hora verdadeira no a mesma em Belo Horizonte,
Braslia ou So Paulo. Voc j imaginou a confuso que seria se cada
lugar tivesse uma hora diferente, mesmo se tratando de lugares pr-
ximos uns dos outros? Cada vez que viajssemos para Leste ou para
Oeste teramos que mudar vrias vezes os ponteiros do relgio.
principal1
2009/8/19
page 39
Estilo OBMEP
SEC. 2.3: OS FUSOS HORRIOS 39
Para tornar as coisas mais simples, foi necessrio dividir o globo
em 24 partes aproximadamente iguais, uma vez que a Terra leva
24 horas para efetuar seu movimento de rotao. Resultou assim o
que chamamos de fusos horrios. Cada fuso horrio corresponde a
uma faixa limitada por dois meridianos, distantes 15
um do outro
(observe que 360
: 24 = 15
). Dessa forma, embora haja diferena

na hora verdadeira das localidades situadas dentro de um mesmo fuso
horrio, a hora marcada nos relgios ser a mesma para todas essas lo-
calidades. o que chamamos de hora ocial. Assim, Rio de Janeiro,
Braslia, Belo Horizonte, So Paulo, embora sejam cidades situadas
em meridianos diferentes, por encontrarem-se no mesmo fuso horrio
tm a mesma hora ocial.
Conforme mostra a gura abaixo, pases pouco extensos no sen-
tido da longitude, como a Itlia e o Paraguai, tm um nico fuso
horrio. Mas pases muito extensos possuem vrios fusos horrios: os
Estados Unidos, por exemplo, possuem quatro fusos. Pesquise num
atlas geogrco a situao da hora ocial no Brasil.
principal1
2009/8/19
page 40
Estilo OBMEP
Atividades
1) Fuso a regio da superfcie terrestre compreendida entre dois
meridianos. Calcule a rea do fuso limitado pelos meridianos de
longitude 20
E e 40
W. (Sugesto: A rea de um fuso pro-

porcional sua abertura.)
2) Indo-se de Oeste para Leste, deve-se adiantar o relgio de uma hora
cada vez que se ultrapassa um limite de fuso horrio. Utilizando-se
um avio bastante rpido, pode-se partir de Greenwich a zero hora
do sbado, e chegar ao seu meridiano oposto s 24 horas (tempo
local). Nessa altura, sero 12 horas do sbado em Greenwich.
Continuando com a mesma velocidade, o viajante completar a
volta, podendo chegar a Greenwich s 24 horas do sbado; mas seu
relgio, modicado somente em funo dos fusos horrios marcar
24 horas de domingo! Como resolver este problema?
3) Um piloto sai de uma cidade A de latitude 40
N s 12 horas e
15 minutos (hora local verdadeira). Ele voa no rumo Leste a uma
velocidade mdia de 1 000 km/h permanecendo o tempo todo na
mesma latitude. Seu destino B alcanado aps percorrer 3 000
km. Supondo que o raio da Terra mea 6 400 km, qual a hora local
verdadeira em B?
Respostas
1)
2r
2
3
onde r o raio da Terra.
2) Pesquise sobre a linha internacional de data.
3) 17 horas e 35 minutos.
principal1
2009/8/19
page 41
Estilo OBMEP
Captulo 3
O ngulo de Elevao do
Sol e da Energia Solar
Vimos anteriormente que as estaes do ano so consequncia da
inclinao do eixo da Terra em relao perpendicular ao plano da
eclptica. A relao entre esta inclinao e a quantidade relativa de
energia solar recebida por localidades com diferentes latitudes uma
questo do mundo real que ser agora analisada.
A grande maioria da energia solar nunca alcana a superfcie da
Terra. Porm, a intensidade de radiao que a alcana varia de acordo
com o chamado ngulo de elevao do Sol.
?
t
P
C
O
Raios
Solares
?:ngulodeelevaodo
SolemP
41
principal1
2009/8/19
page 42
Estilo OBMEP
42 CAP. 3: O NGULO DE ELEVAO DO SOL E DA ENERGIA SOLAR
Na gura da pgina anterior, a circunferncia C contm o meri-
diano que passa por uma localidade P do globo terrestre e t a reta
tangente a C em P. O menor ngulo formado pelos raios solares e pela
reta t chamado o ngulo de elevao do Sol ao meio-dia solar
em P.
Nesta parte do curso, iremos calcular a intensidade relativa solar
que alcana a superfcie da Terra em diferentes localidades do mundo
e em diferentes pocas do ano. Para nossos propsitos, intensidade
relativa denida como a razo da intensidade de radiao solar inci-
dente na superfcie pela intensidade de radiao se os raios incidissem
perpendicularmente superfcie (ngulo de elevao com medida igual
a 90
).
Voc j reparou que a luz solar parece mais quente quando o Sol
est a pino? Voc capaz de explicar por que ao meio-dia de um dia
claro de vero muito mais quente que a noite ou a manh do mesmo
dia? O que faz o inverno frio e o vero quente? As respostas a todas
estas perguntas esto relacionadas com o ngulo de elevao do Sol.
Veremos a seguir que quanto mais prximo de 90
a medida deste
ngulo estiver, maior a intensidade da radiao solar. Apesar disso,
muitas vezes mais quente s 15h que ao meio-dia, pois, embora a
superfcie da Terra receba mais energia solar ao meio-dia, a energia
acumulada na atmosfera, desde manh at este horrio, frequente-
mente torna estas horas as mais quentes do dia.
A atividade seguinte oferece um bom modelo para quanticar a
relao entre a medida do ngulo de elevao do Sol e a intensidade re-
lativa da radiao solar recebida por uma particular cidade. Escurea
a sala e acenda uma lanterna sobre um pedao de papel branco A.
Toda a rea do papel ser iluminada pela posio perpendicular da
lanterna. Coloque outro pedao de papel idntico na frente de A, mas
incline-o de maneira como mostrada por B. Discuta qual posio do
principal1
2009/8/19
page 43
Estilo OBMEP
43
papel, A ou B,
A
A A
recebe mais energia luminosa. Observe a sombra que B projeta em A,
quando B mais e mais inclinado. Note que a diminuio da sombra
indica que a quantidade de luz sobre B est diminuindo. A quantidade
de energia luminosa recebida pelo papel inclinado a mesma recebida
por C, onde C paralelo a A.
Na gura abaixo, a ilustrao da esquerda mostra a viso
lateral quando os raios solares atingem A verticalmente, ou per-
pendicularmente superfcie. As ilustraes do meio e da direita
mostram a quantidade relativamente menor de energia que a folha
de papel recebe quando o ngulo de elevao do Sol reduzido.
B
A
C
B
C
? ?
Quanto mais o papel inclinado, menos energia luminosa ele recebe.
Nas ilustraes anteriores, A e B so na realidade reas retangu-
principal1
2009/8/19
page 44
Estilo OBMEP
lares, mas como as larguras destas reas so as mesmas, podemos
desconsider-las e levar em conta apenas os comprimentos mostrados
na gura acima.
O comprimento de B a medida da hipotenusa do tringulo retn-
gulo, a medida do ngulo de elevao do Sol e o comprimento de
C a medida do lado oposto a . A razo entre o comprimento de C
e o comprimento de B, que depende do ngulo de elevao e igual a
sen , nos d uma medida para a intensidade relativa da luz solar. Se
o comprimento de B tomado como 1, ento sen = C/1 = C. Por
exemplo, se o ngulo do papel B mede 90
, isto , B perpendicular
direo da luz solar, ento sen90
= 1 e a intensidade relativa da
luz solar 1 ou, em porcentagem, 100%. Como sen80
0.9848,
temos que quando o ngulo de elevao mede 80
, o papel recebe
aproximadamente 98% da radiao solar disponvel.
Neste modelo, o pedao de papel representa uma rea da Terra e o
ngulo do papel representa o ngulo de elevao do Sol. Quando o Sol
se torna visvel pela primeira vez de manh, certa rea recebe a luz
solar sob um ngulo extremamente pequeno e a intensidade relativa
da radiao solar pequena nesta rea. Quando meio-dia a luz solar
inclinada ao mnimo, ou est perto de se tornar vertical. Ao m do
dia, os raios solares incidem na Terra novamente com o menor ngulo
possvel. Isto explica por que a luz solar pela manh ou pela tarde
no to quente quanto ao meio-dia.
Atividade
Seja a medida do ngulo de elevao do Sol ao meio-dia solar
em P e a medida do ngulo de elevao do Sol ao meio-dia solar no
Equador, ambas consideradas num mesmo dia. Quais as expresses
relacionando , e a latitude de P? Existem duas possveis respostas
conforme P seja um ponto do Hemisfrio Norte ou Sul.
principal1
2009/8/19
page 45
Estilo OBMEP
SEC. 3.1: O NGULO DE ELEVAO DO SOL NOS EQUINCIOS 45
3.1 O ngulo de Elevao do Sol nos
Equincios
Vamos calcular a medida desse ngulo ao meio-dia solar nos dias de
equincios de primavera e outono. Como vimos anteriormente, nesses
dias os raios solares incidem perpendicularmente sobre o Equador.
Tomemos, por exemplo, a cidade de Porto Alegre localizada a 30
de
latitude sul.
Na gura abaixo, a reta

PB tangente a Terra no ponto P, que
representa Porto Alegre, O o centro da Terra e C um ponto
da reta

OP com P entre C e O. Como m(BOP) = 30
o
temos
m(APC) = 30
o
(so ngulos correspondentes no contexto de re-
tas paralelas note que

AP e

BO so paralelas aos raios solares).
Logo m(APB) = 60
o
uma vez que BPC reto.
O ngulo de elevao do Sol ao meio-dia solar mede ento 60
du-
rante os equincios de primavera e outono em Porto Alegre e tambm
em todas as localidades que esto situadas a 30
de latitude sul. Note

que o ngulo de elevao do Sol nesses dias e a latitude so ngu-
los complementares. Para calcular a intensidade relativa da radiao
solar encontre sen60
o
. Uma calculadora mostrar aproximadamente
0,8660,
N
S
Trp.deCncer
Equador
Trp.deCapricrnio
60
B O
30
E
C
A
A
Equador
P
principal1
2009/8/19
page 46
Estilo OBMEP
indicando que a intensidade de Sol em Porto Alegre nos dias de
equincios cerca de 86% da que seria se os raios solares incidis-
sem perpendicularmente superfcie, ou ainda, 86% da intensidade
do Sol que atinge o ponto E localizado sobre o Equador e que tem a
mesma longitude de Porto Alegre.
Pelo mesmo mtodo, podemos calcular a intensidade relativa da
radiao solar recebida por qualquer cidade cuja latitude seja conhe-
cida. Por exemplo, Santa Cruz, Argentina, est localizada a 50
de
latitude sul. Portanto, o ngulo de elevao do Sol ao meio-dia solar
nos dias de equincios mede 90
50
= 40
.
Para calcular a intensidade relativa da radiao solar que a cidade
recebe nesses dias, encontre sen40
. A calculadora mostrar aproxi-

madamente 0,6427. A intensidade relativa da radiao solar cerca
de 64% ao meio-dia solar em Santa Cruz, nos equincios de primavera
e outono.
Atividade
Complete a tabela abaixo, obtendo a intensidade relativa da ra-
diao solar ao meio-dia solar nos dias de equincios.
ngulo Intensidade
Cidade Latitude de
Elevao do Sol Relativa
Recife, Brasil 8
o
S
Cuiab, Brasil 16
o
S
So Paulo, Brasil 23
o
S
Melbourne, Austrlia 38
o
S
Quito, Equador 0
o
S
Miami, EUA 26
o
N
Madri, Espanha 41
o
N
Oslo, Noruega 60
o
N
Barrow, Alaska 71
o
N
principal1
2009/8/19
page 47
Estilo OBMEP
SEC. 3.2: O NGULO DE ELEVAO DO SOL NOS SOLSTCIOS 47
3.2 O ngulo de Elevao do Sol nos Solstcios
Vamos agora calcular a medida do ngulo de elevao do Sol ao
meio-dia solar no dia de solstcio de junho. Sabemos que nesse dia os
raios solares incidem perpendicularmente sobre o Trpico de Cncer,
que est aproximadamente a 23
30
de latitude norte.
P
7230?
E
B
A
D
1730?
O
Trp.deCncer
Equador
C
P A
C
B
O
D
E
5330?
Trp.deCncer
Equador
3630?
Equador
Trp.deCncer
N
S
2330?
A ilustrao da esquerda na gura acima mostra o ngulo de ele-
vao do Sol em Cleveland (EUA) localizada a 41
de latitude norte.
A reta

PB tangente a Terra no ponto P que representa Cleveland,
O o centro da Terra e C um ponto da reta

OP, com P entre C e
O. Como

AP e

BO so paralelas aos raios solares temos
m(APC) = m(BOP)
= m(EOP) m(EOB)
= 41
23
30
= 17
30
.
principal1
2009/8/19
page 48
Estilo OBMEP
Uma vez que o ngulo BPC reto segue que APB, que o ngulo
de elevao do Sol ao meio-dia solar, tem medida
90
17
30
= 72
30
.
Cleveland e outras cidades localizadas a 41
de latitude norte re-

cebem o maior brilho solar direto do ano durante o dia de solst-
cio de junho, quando o ngulo de elevao do Sol mede 72
30
ao
meio-dia solar. Para obter a intensidade relativa da radiao solar
que atinge Cleveland nesta hora encontre sen72
30
. A calculadora
mostrar aproximadamente 0,9537 indicando que Cleveland recebe
cerca de 95% da radiao solar que incidiria se o ngulo fosse de 90
ao meio-dia no solstcio de junho, ou ainda, 95% da intensidade do

Sol que atinge o ponto D localizado sobre o Trpico de Cncer e que
tem a mesma longitude de Cleveland.
A ilustrao da direita na gura acima mostra o ngulo de elevao
do Sol em Porto Alegre. A reta tangente a Terra no ponto P que
representa Porto Alegre, P est C e O com e sendo paralelas aos raios
solares. Como P est no Hemisfrio Sul, a medida do ngulo BOP
igual a
m(EOP) +m(EOB) = 30
+ 23
30
= 53
30
e, pela congruncia de ngulos correspondentes no paralelismo,

m(APC) = 53
30
. Portanto, APB, que o ngulo de elevao

do Sol ao meio-dia solar, tem medida
90
53
30
= 36
30
.
Porto Alegre e outras cidades localizadas a 30
de latitude sul
recebem o menor brilho solar direto do ano durante o dia de solstcio
de junho, quando o ngulo de elevao do Sol mede 36
30
ao meio-dia
solar. Para obter a intensidade relativa da radiao solar que atinge
principal1
2009/8/19
page 49
Estilo OBMEP
Porto Alegre nesta hora encontre sen36
30
. A calculadora mostrar
aproximadamente 0,5948 indicando que Porto Alegre recebe cerca de
59% da radiao solar que incidiria se o ngulo fosse de 90
ao meio-
dia no solstcio de junho, isto , 59% da intensidade do Sol que atinge
o ponto D localizado sobre o Trpico de Cncer e que tem a mesma
longitude de Porto Alegre.
S
N
Equador
Trp.deCapricrnio
2330?
Analogamente podemos calcular a medida do ngulo de elevao
do Sol ao meio-dia solar no dia de solstcio de dezembro. Nesse dia
os raios solares incidem perpendicularmente sobre o Trpico de
Capricrnio, que est aproximadamente a 23
30
de latitude sul.
E
D
B
P
C
2530?
A
O
6430?
Trp.deCapricrnio
Equador
A gura acima mostra o ngulo de elevao do Sol novamente em
Cleveland. A reta

PB tangente a Terra no ponto P que representa
principal1
2009/8/19
page 50
Estilo OBMEP
Cleveland, P est entre C e O com

AP e

BO sendo paralelas aos
raios solares. Como P est no Hemisfrio Norte, a medida do ngulo
BOP igual a
m(EOP) +m(EOB) = 41
+ 23
30
= 64
30

m(APC) = 64
30

90
64
30
= 25
30
.
Cleveland e outras cidades localizadas a 41
de latitude norte re-

cebem o menor brilho solar direto do ano durante o dia de solstcio
de dezembro, quando o ngulo de elevao do Sol mede 25
30
ao
que atinge Cleveland nesta hora encontre sen25
30
. A calculadora
mostrar aproximadamente 0,4305 indicando que Cleveland recebe
ao meio-dia no solstcio de dezembro, ou ainda, 43% da intensidade

do Sol que atinge o ponto D localizado sobre o Trpico de Capricrnio
e que tem a mesma longitude de Cleveland.
C
P
A
B
E
O
630?
8330?
Equador
Trp.de
Capricrnio
principal1
2009/8/19
page 51
Estilo OBMEP
A gura anterior mostra o ngulo de elevao do Sol em Porto
Alegre. A reta

PB tangente a Terra no ponto P que representa
Porto Alegre, P est entre C e O com

AP e

BO sendo paralelas aos
raios solares. Como P est no Hemisfrio Sul, a medida do ngulo
BOP igual a
m(EOP) m(EOB) = 30
23
30
= 6
30

m(APC) = 6
30

90
30
= 83
30
.
Porto Alegre e outras cidades localizadas a 30
de latitude sul
recebem o maior brilho solar direto do ano durante o dia de solstcio
de dezembro, quando o ngulo de elevao do Sol mede 83
30
ao
que atinge Porto Alegre nesta hora encontre sen83
30
. A calculadora
mostrar aproximadamente 0,9935 indicando que Porto Alegre recebe
ao meio-dia no solstcio de dezembro, isto , 99% da intensidade do

Sol que atinge o ponto localizado sobre Trpico de Capricrnio e que
tem a mesma longitude de Porto Alegre.
Vimos nessa seo de que maneira a latitude de um ponto pode
ser usada para calcular o ngulo de elevao do Sol ao meio-dia solar
naquele ponto em determinadas pocas do ano. Sob certas condies,
esse processo pode ser invertido obtendo-se a latitude a partir do
ngulo de elevao do Sol (veja atividade 2 a seguir).
principal1
2009/8/19
page 52
Estilo OBMEP
Atividades
1) Complete a tabela abaixo, obtendo a intensidade relativa da radia-
o solar ao meio-dia solar nos dias de solstcios.
Solstcio de Solstcio de
Junho Dezembro
Latitude ngulo de Intensidade ngulo de Intensidade
Cidade elevao Relativa elevao Relativa
do Sol do Sol
Rio Branco, Brasil 10
S
So Paulo, Brasil 23
S
Melbourne, Austrlia 38
S
Santa Cruz, Argentina 50
S
Quito, Equador 0
So Jos, Costa Rica 10
N
Miami, EUA 26
N
Paris, Frana 49
N
Forel, Groelndia 66
N
2) No dia 26 de janeiro de 2004 as seguintes medidas foram tomadas
numa localidade desconhecida P da regio sul do Brasil.
Altura de uma haste vertical = 35 cm
Comprimento da menor sombra projetada = 5,4 cm
Horrio local da menor sombra = 12 horas 25 minutos 56 se-
gundos
Consultando um almanaque sabe-se que nesse dia os raios solares
incidem perpendicularmente sobre o paralelo de latitude 18
45S e
que o meio-dia solar em Greenwich ocorre s 12 horas 12 minutos
36 segundos. Sabe-se ainda que o horrio na localidade P o de
Greenwich diminudo de 3 horas.
(a) Determine o tempo decorrido entre o meio-dia solar em
Greenwich e o meio-dia solar em P.
(b) Calcule a longitude de P.
principal1
2009/8/19
page 53
Estilo OBMEP
(c) Determine a medida do ngulo de elevao do Sol ao meio-dia
solar naquele dia.
(d) Calcule a latitude de P.
(e) Consulte um globo terrestre ou um atlas geogrco para iden-
ticar a localidade desconhecida P.
principal1
2009/8/19
page 54
Estilo OBMEP
Captulo 4
A Superfcie Esfrica em
Coordenadas Cartesianas
A partir desta seo trabalharemos num sistema ortogonal de
coordenadas cartesianas com origem O. Dado um ponto P = (x, y, z)
do espao, uma dupla aplicao do teorema de Pitgoras mostra que
a distncia de P a O expressa por
d(P, O) =
_
x
2
+y
2
+z
2
.
O
2 2 2
z y x ? ?
2 2
y x ?
P=(x,y,z)
54
principal1
2009/8/19
page 55
Estilo OBMEP
55
Mais geralmente, a distncia entre os pontos P = (x, y, z) e
C = (u, v, w) dada pela frmula
d(P, C) =
_
(x u)
2
+ (y v)
2
+ (z w)
2
.
Sendo r um nmero real positivo, a superfcie esfrica S de centro
C = (u, v, w) e raio r o conjunto dos pontos P = (x, y, z) tais que:
(x u)
2
+ (y v)
2
+ (z w)
2
= r
2
. (4.1)
A equao (4.1) acima denominada equao reduzida de S. As-
sim, por exemplo, (x + 1)
2
+ (y 2)
2
+ z
2
= 4 a equao reduzida
da superfcie esfrica de centro C = (1, 2, 0) e raio r =

4 = 2.
Desenvolvendo os quadrados em (4.1), obtemos:
x
2
+y
2
+z
2
2xu 2yv 2zw +u
2
+v
2
+w
2
r
2
= 0 (4.2)
que uma equao da forma
x
2
+y
2
+z
2
+ax +by +cz +d = 0 (4.3)
onde a, b, c, d so nmeros reais.
A equao (4.2) chamada equao geral de S. Assim, a super-
fcie esfrica de centro C = (1, 2, 0) e raio r = 2 tem como equao
geral x
2
+y
2
+z
2
+ 2x 4y + 1 = 0.
Dada uma equao da forma (4.3) como decidir se ela a equao
geral de alguma superfcie esfrica S? Em caso armativo, quais as
coordenadas do centro e qual o raio de S?
principal1
2009/8/19
page 56
Estilo OBMEP
56 CAP. 4: A SUPERFCIE ESFRICA EM COORDENADAS CARTESIANAS
Considerando, por exemplo, a equao
x
2
+y
2
+z
2
+ 4x 2y 6z + 8 = 0,
a ideia completar os quadrados e colocar (4.3) na forma (4.1).
Assim:
x
2
+ 4x = x
2
+ 2.2x = x
2
+ 2.2x + 2
2
2
2
= (x + 2)
2
4
y
2
2y = y
2
2y + 1
2
1
2
= (y 1)
2
1
z
2
6z = z
2
2.3z = z
2
2.3z + 3
2
3
2
= (z 3)
2
9
Substituindo na equao dada obtemos
(x + 2)
2
4 + (y 1)
2
1 + (z 3)
2
9 + 8 = 0,
ou seja, (x + 2)
2
+ (y 1)
2
+ (z 3)
2
= 6.
Trata-se, portanto, de uma superfcie esfrica de centro
C = (-2,1,3) e raio r =

6.
Repetindo-se o mesmo argumento para a equao
x
2
+y
2
+z
2
2x4y +10 = 0 obtemos (x1)
2
+(y 2)
2
+z
2
= 5
(faa voc).
Como uma soma de quadrados nunca um nmero negativo con-
clumos que nenhum ponto do espao tem coordenadas (x,y,z) satis-
fazendo a equao acima. Trata-se, portanto, do conjunto vazio.
J a equao x
2
+y
2
+z
2
2x4y 6z +14 = 0 pode ser escrita
como (x 1)
2
+ (y 2)
2
+ (z 3)
2
= 0 cuja nica soluo o ponto
de coordenadas (x,y,z) = (1,2,3).
O resultado a seguir desempenhar um papel importante no pr-
ximo pargrafo onde discutiremos a fundamentao matemtica do
funcionamento do GPS.
principal1
2009/8/19
page 57
Estilo OBMEP
57
Teorema 4.1. Se quatro superfcies esfricas se intersectam e seus
centros so no coplanares ento essa interseco consiste de um
nico ponto.
Demonstrao. Sejam S
1
, S
2
, S
3
e S
4
superfcies esfricas de
centros C
1
, C
2
, C
3
e C
4
, respectivamente. Mostraremos que se
S
1
S
2
S
3
S
4
,= e C
1
, C
2
, C
3
, C
4
so no coplanares ento
S
1
S
2
S
3
S
4
= P.
Sendo x
2
+y
2
+z
2
+a
j
x +b
j
y +c
j
z +d
j
= 0 as equaes gerais
de S
j
, onde j = 1, 2, 3, 4, ao subtrairmos essas equaes duas a duas
obtemos equaes lineares em x, y e z uma vez que os termos x
2
, y
2
e
z
2
so eliminados.
Tal equao linear determina o plano que contm a correspondente
interseco. Por exemplo, subtraindo as equaes de S
1
e S
2
obtm-se
uma equao do plano que contm S
1
S
2
.
Considerando-se os planos que contm S
1
S
2
, S
1
S
3
e S
1
S
4
temos que se P = (x, y, z) est em S
1
S
2
S
3
S
4
ento (x, y, z)
a soluo do sistema linear
(a
1
a
2
)x + (b
1
b
2
)y + (c
1
c
2
)z + (d
1
d
2
) = 0
(*) (a
1
a
3
)x + (b
1
b
3
)y + (c
1
c
3
)z + (d
1
d
3
) = 0
(a
1
a
4
)x + (b
1
b
4
)y + (c
1
c
4
)z + (d
1
d
4
) = 0
A prova do teorema estar terminada se mostrarmos que o sistema
(*) tem uma nica soluo, pois a existncia de dois pontos distintos
em S
1
S
2
S
3
S
4
acarretariam duas solues distintas do sistema
linear (*).
Sendo C
j
= (u
j
, v
j
, w
j
) o centro de S
j
, j = 1, 2, 3, 4, compa-
rando as equaes (4.2) e (4.3) acima temos a
j
= 2u
j
, b
j
= 2v
j
,
principal1
2009/8/19
page 58
Estilo OBMEP
c
j
= 2w
j
de modo que
a
1
a
2
b
1
b
2
c
1
c
2
a
1
a
3
b
1
b
3
c
1
c
3
a
1
a
4
b
1
b
4
c
1
c
4
= 8
u
2
u
1
v
2
v
1
w
2
w
1
u
3
u
1
v
3
v
1
w
3
w
1
u
4
u
1
v
4
v
1
w
4
w
1
Como C
1
, C
2
, C
3
, C
4
so no-coplanares segue que o determinante
direita no nulo e, portanto, (*) um sistema linear com determi-
nante no nulo tendo assim uma nica soluo.
Evidentemente o simples fato do sistema linear (*) ter uma nica
soluo, signicando que os centros so no-coplanares, no acar-
reta necessariamente que a interseco das quatro superfcies esfri-
cas consiste de um nico ponto P. Em outras palavras, a hiptese
S
1
S
2
S
3
S
4
,= essencial para a validade do teorema.
A eventual soluo de (*) nos dar o procurado ponto P desde que
pertena simultaneamente s quatro superfcies esfricas S
1
, S
2
, S
3
e
S
4
.
Considere, por exemplo, as superfcies esfricas abaixo.
S
1
: centro (0, 0, 1) e raio

2
S
2
: centro (0, 3, 0) e raio

10
S
3
: centro (2, 0, 0) e raio 1
S
4
: centro (0, 0, 0) e raio 1
Seus centros so no-coplanares e o sistema linear (*), neste caso
dado por
6y 2z = 0
4x 2z 4 = 0
2z = 0,
tem como nica soluo x = 1, y = 0 e z = 0. Uma vericao
principal1
2009/8/19
page 59
Estilo OBMEP
59
simples mostra que o ponto P = (1, 0, 0) pertence simultaneamente
S
1
, S
2
, S
3
e S
4
de modo que S
1
S
2
S
3
S
4
= (1, 0, 0).
Vejamos agora, a relao entre as coordenadas geogrcas e as
coordenadas cartesianas.
Para tanto consideramos um sistema ortogonal de coordenadas
cartesianas com origem O no centro da Terra, o eixo Oz positivo
apontando na direo do Polo Norte N, o plano Oxy sendo o plano do
Equador com o eixo Ox positivo cortando o meridiano de Greenwich
e o eixo Oy positivo cortando o meridiano de longitude 90
E.
Dado um ponto P = (x,y,z) do espao, sejam e os ngulos
assinalados na gura abaixo.
q =m(
j =m(
q
j
(x,0,0)=C
(0,0,z)=B
0
P =(x,y,z)
A=(x,y,0)
?AOP)
?COA)
Quando P est sobre a superfcie terrestre os ngulos e
acima indicados correspondem exatamente latitude e longitude do
ponto P como anteriormente denidos na seo 2.1. A diferena entre
OP =
_
x
2
+y
2
+z
2
e o raio da Terra chamada de elevao (ou
altitude) de P = (x,y,z).
No tringulo retngulo OPB da gura acima temos
cos(90
o
) =
OB
OP
=
z
_
x
2
+y
2
+z
2
principal1
2009/8/19
page 60
Estilo OBMEP
e, como cos(90
o
) = sen , segue que sen =
z
_
x
2
+y
2
+z
2
.
Esta expresso atribui a um nico valor entre 0 e 90 quando
z > 0 e um nico valor entre -90 e 0 quando z < 0. No primeiro
caso dizemos que a latitude de P
N enquanto que no segundo a

latitude de P ()
S.
Por outro lado, no tringulo retngulo OAC temos
sen =
AC
OA
=
y
_
x
2
+y
2
e cos =
OC
OA
=
x
_
x
2
+y
2
.
Estas expresses denem um nico valor entre 0 e 180 quando y > 0
e dizemos que a longitude de P
E. Quando y < 0, assume um

nico valor entre -180 e 0 e, neste caso, a longitude de P ()
W.
Como exemplo, vamos determinar as coordenadas geogr-
cas do ponto P cujas coordenadas cartesianas so dadas por
P = (3
3 10
6
, 3 10
6
, 6
3 10
6
). Considere como unidade de
medida o metro.
Temos
x
2
+y
2
+z
2
= 27 10
12
+ 9 10
12
+ 108 10
12
= 144 10
12
e
x
2
+y
2
= 27 10
12
+ 9 10
12
= 36 10
12
.
Logo, sen =
6
3 10
6
12 10
6
=
3
2
e, portanto, = 60
o
.
Como sen =
3 10
6
6 10
6
=
1
2
e cos =
3
3 10
6
6 10
6
=
3
2
obtemos = 30
o
.
Assim as coordenadas geogrcas de P so = 60
N e = 30
W.
Supondo o raio da Terra igual a 6, 410
6
metros temos que a elevao
principal1
2009/8/19
page 61
Estilo OBMEP
61
de P mede 12 10
6
6, 4 10
6
= 5, 6 10
6
metros.
O processo acima pode ser invertido: conhecendo-se a latitude ,
a longitude e a elevao de um ponto P, podemos determinar suas
coordenadas cartesianas x, y e z.
Como antes interpretamos as designaes N/S para e E/W para
como positivas/negativas, respectivamente. Por exemplo, um ponto
com latitude 40
N e longitude 70
W ter = 40
e = 70
enquanto que um ponto com latitude 40
S e longitude 70
E ter
= 40
e = 70
.
A partir da elevao de P obtemos o valor de
_
x
2
+y
2
+z
2
que
denotaremos por r. Logo sen =
z
r
e, portanto, z = rsen .
Por outro lado, como cos = sen (90 ) =
_
x
2
+y
2
r
segue
que x =
_
x
2
+y
2
cos = r cos cos e y =
_
x
2
+y
2
sen =
r cos sen .
Para referncia futura repetimos no quadro abaixo as relaes en-
tre as coordenadas geogrcas e as coordenadas cartesianas.
x = r cos cos
y = r cos sen
x = rsen
Atividades
1) Determine a equao geral de cada uma das superfcies esfricas
abaixo.
(a) S
1
: centro (5,5,15) e raio 13.
(b) S
2
: centro (4,2,5) e raio 3.
principal1
2009/8/19
page 62
Estilo OBMEP
(c) S
3
: centro (5,1,7) e raio 5.
(d) S
4
: centro (0, -2, -3) e raio 7.
2) Verique se as equaes dadas abaixo so equaes gerais de su-
perfcies esfricas. Em caso armativo, determine o centro e o
raio.
(a) x
2
+y
2
+z
2
4x + 6y + 2z 2 = 0.
(b) x
2
+y
2
+z
2
2x + 2y = 0.
(c) x
2
+y
2
+z
2
10x + 2y 6z + 35 = 0.
(d) x
2
+y
2
+z
2
2x + 4y + 15 = 0.
3) Obtenha uma equao da superfcie esfrica de centro
C = (3,-2,5) que :
(a) tangente ao plano Oxy;
(b) tangente ao plano Oyz;
(c) tangente ao plano Oxz.
4) Considere as quatro superfcies esfricas dadas na atividade 1. De-
termine as equaes dos planos que contmS
1
S
2
, S
1
S
3
e S
1
S
4
.
Resolva o sistema linear obtido e ache o ponto de interseco desses
trs planos. Verique que esse ponto pertence simultaneamente s
quatro superfcies esfricas S
1
, S
2
, S
3
e S
4
.
5) Determine as coordenadas geogrcas e a elevao dos seguintes
pontos do espao (considere as coordenadas cartesianas dadas em
metros e o raio da Terra medindo 6,4 10
6
metros):
(a) P = (3
3 10
6
, 3 10
6
, 6
3 10
6
);
(b) P = (3
3 10
6
, 3 10
6
, 6
3 10
6
);
(c) P = (3 10
6
, 3
3 10
6
, 6 10
6
);
principal1
2009/8/19
page 63
Estilo OBMEP
63
(d) P = (3 10
5
, 3
3 10
5
, 6 10
5
).
Respostas
1) (a) S
1
: x
2
+y
2
+z
2
10x 10y 30z + 106 = 0.
(b) S
2
: x
2
+y
2
+z
2
8x 4y 10z + 36 = 0.
(c) S
3
: x
2
+y
2
+z
2
10x 2y 14z + 50 = 0.
(d) S
4
: x
2
+y
2
+z
2
+ 4y + 6z 36 = 0.
4) P = (2, 1, 3).
principal1
2009/8/19
page 64
Estilo OBMEP
Captulo 5
A Matemtica do GPS
A sigla GPS nada mais do que a abreviatura para Global
Positioning System. Trata-se de uma constelao de vinte e quatro
satlites, orbitando em torno da Terra a uma altura aproximada de
20 200 km acima do nvel do mar, permitindo a receptores determi-
nar a sua posio em qualquer lugar sobre a Terra com uma notvel
preciso.
64
principal1
2009/8/19
page 65
Estilo OBMEP
65
O projeto foi iniciado em 1973 pelo Departamento de Defesa dos
Estados Unidos com o propsito de que aeronaves e navios milita-
res pudessem determinar, em qualquer circunstncia de tempo, sua
posio exata. Ajuda no lanamento de msseis e a localizao de
tropas terrestres em movimento foram outras necessidades que moti-
varam tal projeto.
Os projetistas do GPS tambm o planejaram para uso civil,
porm, com preciso menor do que para as operaes militares.
O sistema NAVSTAR (abreviatura para Navigation Satellite
Timing and Ranging), nome ocial dado pelo Departamento de De-
fesa dos Estados Unidos ao GPS, consiste de um segmento espacial (os
satlites), um segmento de controle (as estaes terrestres de geren-
ciamento) e um segmento do usurio.
Os vinte e quatro satlites que formam o segmento espacial do
GPS trafegam em torno da Terra em seis rbitas estveis e predeter-
minadas com quatro satlites em cada rbita. Os satlites percorrem
uma rbita completa a cada 12 horas e cada satlite tem 28
de vi-
sualizao sobre a Terra (veja atividade 9 da seo 2.1). Isso assegura
com que todo ponto da superfcie terrestre, em qualquer instante,
principal1
2009/8/19
page 66
Estilo OBMEP
66 CAP. 5: A MATEMTICA DO GPS
esteja visualizado por pelo menos quatro satlites. Vrias reas da
Terra so, por alguns momentos, visualizadas por at dez satlites.
Todos os vinte e quatro satlites so controlados pelas estaes
terrestres de gerenciamento. Existe uma estao master, localizada
no Colorado (Estados Unidos), que com o auxlio de quatro estaes
de gerenciamento espalhadas pelo planeta, monitoram o desempenho
total do sistema, corrigindo as posies dos satlites e reprogramando
o sistema com o padro necessrio. Aps o processamento de todos
esses dados, as correes e sinais de controle so transferidas de volta
para os satlites.
Anal, de que maneira o GPS determina a localizao de um ponto
sobre a superfcie terrestre?
Cada um dos satlites do GPS transmite por rdio um padro -
xado que recebido por um receptor na Terra (segmento do usurio)
funcionando como um cronmetro extremamente acurado. O re-
ceptor mede a diferena entre o tempo que o padro recebido
e o tempo que foi emitido. Esta diferena, no mais do que um
principal1
2009/8/19
page 67
Estilo OBMEP
67
dcimo de segundo, permite que o receptor calcule a distncia ao
satlite emissor multiplicando-se a velocidade do sinal (aproximada-
mente 2,9979245810
8
m/s a velocidade da luz) pelo tempo que
o sinal de rdio levou do satlite ao receptor.
Essa informao localiza uma pessoa sobre uma imaginria su-
perfcie esfrica com centro no satlite e raio igual distncia acima
calculada.
Cada satlite programado para emitir o que se chama
efemride, que informa a sua posio exata, naquele instante, em
relao a um sistema ortogonal de coordenadas como o descrito na
seo anterior. Tal posio permanentemente rastreada e conferida
pelas estaes terrestres de gerenciamento. A unidade receptora pro-
cessa esses sinais. Com a posio do satlite e a distncia acima
calculada obtm-se a equao geral da superfcie esfrica imaginria.
Coletando-se sinais emitidos por quatro satlites, o receptor deter-
mina a posio do usurio calculando-a como interseco das quatro
superfcies esfricas obtidas. A localizao dada, no em coordena-
das cartesianas, mas por meio das coordenadas geogrcas (latitude,
longitude) e a elevao.
A preciso do tempo essencial na operao do GPS. Um erro
de um microssegundo (10
6
segundos) no registro do lapso de tempo
desde a transmisso at a sua recepo resulta num erro de 300 metros.
Unidades receptoras do GPS extremamente precisas (e caras!) podem
determinar sua posio a menos de um metro.
Com o m da guerra fria, o sistema GPS passou a oferecer uma
preciso muito maior para o usurio civil, disponibilizando a ele a
mesma preciso que s os militares tinham a algum tempo atrs. Hoje
em dia, com auxlio do piloto automtico e do GPS, uma aeronave
civil capaz de percorrer distncias transatlnticas e pousar sem a
interferncia do piloto com erro de alguns centmetros com o eixo da
principal1
2009/8/19
page 68
Estilo OBMEP
pista.
A navegao a funo primria do GPS sendo usado em aero-
naves, navios, veculos e por indivduos que usam o receptor porttil
(de bolso). Atualmente o GPS tem se mostrado til em diversas
situaes das quais destacamos algumas.
1. Roteirista de viagens: determinam alm da sua posio den-
tro de uma cidade, quais as atraes e pontos tursticos mais
prximos, hotis, postos de emergncias, etc.
2. Monitoramento de abalos ssmicos: tais abalos so precedidos
por alteraes no campo gravitacional que distorcem as ondas
de rdio permitindo, atravs do GPS, tentar prever a ocorrncia
de um terremoto com algumas horas de antecedncia.
3. Meteorologia: o GPS gera informaes para a previso da me-
teorologia, estudo do clima e outros campos de pesquisa rela-
cionados.
4. Localizao para resgate: o servio usa o GPS para guiar he-
licpteros de socorro at o lugar do acidente.
5. Aplicaes industriais: reas infectadas por pestes so identi-
cadas por fotograas areas e, com uso do GPS, um trator pode
ser guiado para aplicaes de pesticidas.
6. Uso militar: coordenadas de ataque, orientao e controle para
msseis balsticos, marcao para artilharia, bombardeio de ae-
ronaves, defesa area, rastreamento de submarinos, localizao
de minas e radares inimigos, atos terroristas, etc.
Na atividade a seguir pretendemos discutir, do ponto de vista
matemtico, o mtodo utilizado pelo GPS na determinao da posio
de um ponto sobre a superfcie terrestre. As informaes transmitidas
principal1
2009/8/19
page 69
Estilo OBMEP
69
no sistema GPS envolvem, por uma questo de preciso, dez ou mais
dgitos. Para um aproveitamento mais realista da atividade, suge-
rimos a utilizao de calculadoras ou softwares com capacidade de
resolver sistemas lineares com coecientes dessa ordem. Uma alter-
nativa, abrindo mo eventualmente da preciso, trabalhar com um
nmero menor de dgitos utilizando a notao cientca. Suponha que
o raio da Terra mea 6,378164 10
6
metros e considere a velocidade
da luz sendo de 2,99792458 10
8
m/s.
Atividade
A tabela abaixo indica as efemrides (em metros) de cada satlite.
x y z
Satlite 1 1,877191188 10
6
-1,064608026 10
7
2,428036099 10
7
Satlite 2 1,098145713 10
7
-1,308719098 10
7
2,036005484 10
7
Satlite 3 2,459587359 10
7
-4,336916128 10
6
9,090267461 10
6
Satlite 4 3,855818937 10
6
7,251740720 10
6
2,527733606 10
7
Um receptor GPS registra os seguintes lapsos de tempo (em se-
gundos) entre a transmisso e a recepo do sinal de cada satlite.
Satlite 1 Satlite 2 Satlite 3 Satlite 4
0,08251731391 0,07718558331 0,06890629029 0,07815826940
(a) Calcule a distncia entre o receptor e cada satlite.
(b) Escreva as equaes gerais das imaginrias superfcies esfricas
centradas em cada satlite e raios iguais s distncias calculadas
no item anterior.
principal1
2009/8/19
page 70
Estilo OBMEP
(c) Determine as coordenadas cartesianas do ponto P que pertence
simultaneamente s quatro superfcies esfricas obtidas no item
anterior. (Sugesto: Veja atividade 4 do captulo 4)
(d) Determine a latitude, a longitude e a elevao do ponto P.
(e) Consulte um atlas geogrco ou um globo terrestre para iden-
ticar a posio desse usurio do GPS.
principal1
2009/8/19
page 71
Estilo OBMEP
Captulo 6
A Distncia numa Superfcie
Esfrica
A distncia d(A, B) entre dois pontos A e B , essencialmente, o
menor dos comprimentos das trajetrias ligando A a B. No plano,
a trajetria de menor comprimento o segmento de linha reta AB e
seu comprimento AB a distncia entre A e B. Sobre uma superfcie
esfrica, no entanto, no existe um segmento de linha reta uma vez
que ela curvada em todas as direes e tneis atravs da Terra no
so permitidos. Como medir a distncia entre dois pontos A e B neste
caso?
A
B
B
A
71
principal1
2009/8/19
page 72
Estilo OBMEP
72 CAP. 6: A DISTNCIA NUMA SUPERFCIE ESFRICA
Quanto maior o raio de uma circunferncia, mais ela se aproxima
de ser uma reta. Como as circunferncias de maior raio contidas numa
superfcie esfrica S so as circunferncias mximas, razovel esperar
que a distncia (em S) entre dois pontos A e B seja o comprimento
do arco menor

AB da circunferncia mxima que passa por A e B.
Uma prova formal desta armao ser dada adiante.
O clculo desse comprimento pode ser feito a partir do conheci-
mento da medida do ngulo AOB onde O o centro da superfcie
esfrica S. Como o comprimento do arco proporcional medida do
ngulo central correspondente, uma regra de trs simples nos d o
valor procurado.
Sendo r o raio da superfcie esfrica temos
360
o
. . . . . 2r
o
. . . . . d(A,B)
de modo que d(A,B) = (/360).(2).r.
Todos os meridianos esto contidos em circunferncias mximas
enquanto que, entre os paralelos, apenas o Equador uma circunfe-
rncia mxima. Logo quando A e B possuem a mesma longitude, a
diferena entre as latitudes pode ser usada para achar a medida .
Analogamente quando A e B esto sobre o Equador a diferena
entre as longitudes que nos permite calcular . Vejamos como.
As cidades de Curitiba e Goinia esto sobre o mesmo meridiano
(49
o
W) e suas latitudes so 26
o
S e 17
o
S, respectivamente. Esto
assim separadas por 9
o
de latitude e, tomando o raio da Terra como
6 400 km, segue que a distncia entre elas dada por
(9/360).(2).6 400 1 005 km.
principal1
2009/8/19
page 73
Estilo OBMEP
73
As cidades de Quito, no Equador, e Entebe, em Uganda, esto
ambas sobre o Equador. A longitude de Quito 79
o
W enquanto que
a de Entebe 32
o
E. Logo a diferena entre suas longitudes de 111
o
de modo que a distncia entre elas igual a
(111/360).(2).6 400 12 399 km.
Quando duas cidades A e B esto sobre um mesmo paralelo, que
no seja o Equador, o caminho mais curto possvel entre elas, ao
contrrio do que diz nossa intuio, no o comprimento do arco
menor

AB daquele paralelo e sim o comprimento do arco menor

AB
da circunferncia mxima que passa por A e B.
paralelo
circunferncia mxima
A B
?
0
Por exemplo, as cidades de Nova York e Npoles esto pratica-
mente sobre o mesmo paralelo (41
N) e suas longitudes so 74
W e
14
E, respectivamente. O comprimento do arco menor do paralelo

entre as duas cidades cerca de 7 419 km (verique).
Se A e B representam as cidades de Nova York e Npoles, respec-
tivamente, vejamos como calcular neste caso o comprimento do arco
menor

AB da circunferncia mxima que passa por A e B, ou seja,
como calcular = m(AOB).
Considerando-se um sistema ortogonal de coordenadas cartesianas
como descrito no captulo 4 e supondo, como de costume, o raio da
principal1
2009/8/19
page 74
Estilo OBMEP
Terra medindo 6 400 km, podemos escrever
A = 6 400(cos 41
cos(74
), cos 41
sen (74
), sen 41
)
B = 6 400(cos 41
cos 14
, cos 41
sen 14
, sen 41
),
ou seja,
A = 6 400(0,20802, 0,72547, 0,65606)
B = 6 400(0,73229, 0,18257, 0,65606).
A medida procurada ser obtida por meio da relao
<

OA,
OB >= |
OA||
OB| cos , onde <, > indica o produto in-

terno usual entre os vetores
OA e
OB enquanto que |
OA|, |
OB| so
os mdulos desses vetores, neste caso ambos iguais as 6 400.
Como
<
OA,
OB > = 6 400
2
[0,152330,13244+0,43041] = 6 400
2
0,4503,
segue que cos = 0,4503 e, portanto, = 63
.
O comprimento do arco menor

AB da circunferncia mxima que
passa por A e B, que a distncia entre A e B, ento dada por
(63/360).2.6 400 7 037km. Note como esta distncia menor do
que aquela calculada ao longo do paralelo.
O argumento acima pode ser utilizado para calcular a dis-
tncia entre dois pontos quaisquer A e B do globo terrestre.
Dadas suas coordenadas geogrcas, obtemos suas coordenadas carte-
sianas e, usando o produto interno <

OA,
OB >, determinamos
= m(AOB). A distncia procurada d(A, B) ento dada por
d(A, B) = (/360).(2).6 400.
Encerramos a seo apresentando uma prova formal do fato que
d(A, B) o comprimento do arco menor

AB da circunferncia m-
xima que passa por A e B. Isso pode ser feito com umas poucas
simplicaes e a ajuda do clculo diferencial e integral.
principal1
2009/8/19
page 75
Estilo OBMEP
75
Primeiro, podemos supor sem perda de generalidade que a super-
fcie esfrica que estamos trabalhando tem raio igual a 1 unidade (a
que voc quiser) e que seu centro a origem do sistema ortogonal de
coordenadas cartesianas.
Segundo, pela simetria da superfcie esfrica podemos assumir que
o ponto A o Polo Norte. O outro ponto, B, ser dado pelas suas
coordenadas geogrcas que vamos supor medidas em radianos. Di-
gamos que a latitude de B
1
enquanto que sua longitude
1
.
A circunferncia mxima que passa por A e B contm o meridiano
por B de modo que o arco menor

AB tem por comprimento

2

1
(lembre-se que o raio da superfcie esfrica 1).
Devemos agora considerar uma trajetria arbitrria ligando A e
B e mostrar que seu comprimento maior ou igual a

2

1
.
) t ( r
A
q
1
B
j
1
Se nos imaginarmos viajando de A at B, em cada instante t,
estaremos num ponto do globo terrestre com uma latitude (t) e uma
longitude (t). Iniciando nossa viagem no instante t = 0 e a nali-
zando no instante t
1
teremos (0) =

2
, (t
1
) =
1
e (t
1
) =
1
.
Uma trajetria arbitrria ligando A e B ento descrita por um
principal1
2009/8/19
page 76
Estilo OBMEP
vetor posio

r (t) dado por
r (t) = (cos (t) cos (t), cos (t)sen (t), sen (t)), 0 t t
1
.
Derivando-se essa funo vetorial em relao ao tempo t obtemos
o vetor velocidade

r
(t) da trajetria e consequentemente sua veloci-

dade |
(t)| no instante t.
Clculos rotineiros nos do que
|
(t)| =
_
(t)
2
+
(t)
2
cos
2
(t)
_
(t)
2
= [
(t)[
(t).
Lembrando que o comprimento da trajetria calculado pela ex-
presso L =
_
t
1
0
|
(t)|dt, conclumos que

L
_
t
1
0
[
(t)]dt = [(t
1
) (0)] =

2

1
e temos assim provado o resultado desejado.
Atividades
Em todos os exerccios desta srie suponha que o raio da Terra
mea 6 400 km.
1) As cidades de Macap (Brasil) e Pontianak (Indonsia) esto
ambas situadas sobre o Equador. Consulte um atlas geogrco
para achar a longitude de cada uma dessas localidades e deter-
mine a distncia entre elas.
2) Qual a distncia de Salvador ao Polo Sul? E ao Polo Norte? E
a Fortaleza? (Sugesto: Salvador e Fortaleza esto sobre um
mesmo meridiano.)
3) Chicago e Roma situam-se na mesma latitude (42
N), mas em
longitudes diferentes: a de Chicago aproximadamente 88
W e a
de Roma aproximadamente 12
E.
principal1
2009/8/19
page 77
Estilo OBMEP
77
(a) Suponha que um piloto tenha ido de Chicago a Roma em
voo no rumo leste, permanecendo o tempo todo na mesma
latitude. (Muita gente acha que esse o caminho mais cur-
to possvel.) Que distncia o piloto teve de voar?
(b) Qual a distncia de Chicago a Roma por circunferncia m-
xima?
(c) Quanto tempo se economizaria voando em uma circunfern-
cia mxima num avio a jato capaz de fazer uma velocidade
mdia de 900 km/h?
4) Qual a distncia entre Nova York (40
40N, 74
W) e Buenos
Aires (34
30S, 58
30W)?
Respostas
3) (a) Cerca de 8 300 km.
(b) Cerca de 7 752 km.
(c) Aproximadamente 36 minutos.
principal1
2009/8/19
page 78
Estilo OBMEP
principal1
2009/8/19
page 79
Estilo OBMEP
Referncias Bibliogrcas
[1] AZEVEDO, G.G.; SANTOS, F.M. Panorama do Brasil I. Rio de
Janeiro: Editora Atual, 1990.
[2] FEEMAN, T.G. Portraits of the Earth. [S.L.]: American Ma-
thematical Society, 2002.
[3] HY, Kim. Angled Sunshine, Seasons and Solar Energy. The
Mathematics Teacher, v. 90, n. 7, October 1997.
[4] JENNINGS, G.A. Modern Geometry with Applications.
[S.L.:s.n.], 1997.
[5] MOISE, E. Elementary Geometry from an Advanced Standpoint.
Third Edition. [S.L.]: Addison Wesley Publishing Co., 1990.
[6] NORD, G.D.; JABON, D.; NORD, J. The Mathematics of the
Global Positioning System. The Mathematics Teacher, v. 90,
n. 6, September 1997.
[7] WAIVERIS, C.; CRAINE, T.V. Where are we?. The Mathema-
tics Teacher, v. 89, n. 6, September 1996.
79
principal1
2009/8/19
page 80
Estilo OBMEP
80 REFERNCIAS BIBLIOGRFICAS
Sites Consultados
[1] www.garmin.com
[2] http://astro.if.ufrgs.br/indexhtml
principal1
2009/8/19
page 81
Estilo OBMEP
Os Trs Problemas Clssicos da
Matemtica Grega
Joo Pitombeira de Carvalho
81
principal1
2009/8/19
page 82
Estilo OBMEP
principal1
2009/8/19
page 83
Estilo OBMEP
Prefcio
Este trabalho foi escrito originalmente para um minicurso apresen-
tado na Bienal da Sociedade Brasileira de Matemtica, em Salvador,
em 2004. Posteriormente, foi feita uma reviso completa do texto,
com a correo de erros de impresso, e incorporadas sugestes dos
alunos. esta verso aqui impressa. Mais tarde, foi refeito e publi-
cado como um dos captulos do livro de Joo Bosco Pitombeira de
Carvalho, Trs excurses pela Histria da Matemtica.
1
No minicurso, usamos o aplicativo de geometria dinmica
TABULAE, para que os alunos pudessem fazer, realmente, as cons-
trues geomtricas. A mais elaborada, que exige pacincia, a da
quadratriz. Acreditamos que a utilizao da geometria dinmica d
vida ao estudo dos problemas clssicos, pois, com ela, possvel real-
mente ver que as construes feitas pelos gregos funcionam. Isso
instrutivo principalmente no caso das mquinas de Plato e de
Eratstenes (ver, 7.1 e 7.2, respectivamente). Esta fuso da histria
com as tecnologias torna o estudo dos problemas clssicos bem mais
interessante. Outra ocasio em que a geometria dinmica d vida ao
estudo das construes geomtricas dos gregos no estudo de cons-
trues por neusis ou ajustamento. Com um aplicativo de geometria
dinmica, o leitor pode ver que a construo possvel.
1
Os dois outros captulos tratam, respectivamente, da equivalncia e aplicao
de reas na matemtica grega e da histria da equao do segundo grau.
83
principal1
2009/8/19
page 84
Estilo OBMEP
84
Os tpicos expostos neste texto tm encantado sucessivas geraes
de matemticos prossionais ou amadores. Eles so os problemas da
duplicao do cubo, quadratura do crculo e trisseco do ngulo,
os quais moldaram muito das atividades de pesquisa matemtica dos
gregos, e deram origem, inclusive, ao estudo das cnicas. vastssima
a produo matemtica dedicada a estes trs problemas, provenientes
de erros, por vezes sutis, sobre as exigncias feitas para a soluo
dos problemas. Somente no sculo XIX que foi demonstrado que
eles no podem ser resolvidos somente com rgua (no graduada) e
compasso, o que no impede o aparecimento, at hoje, de provas de
que possvel efetuar as trs construes. Essas tentativas no devem
ser olhadas com desprezo, mas sim como testemunho de interesse pela
Matemtica em vrios setores na sociedade.
Cabe um pedido de desculpas e, ao mesmo tempo, uma expli-
cao: os leitores notaro por certo a predominncia de referncias
bibliogrcas em lnguas estrangeiras. Isso se deve ao pouco nmero
de fontes em portugus sobre o assunto. Embora progressos estejam
sendo feitos no sentido de tornar disponveis, em nossa lngua, bons
textos sobre os tpicos cobertos neste livro, at hoje a maior parte dos
trabalhos sobre o assunto esto escritos em outros idiomas. Em ver-
dade, a motivao para a redao deste material foi tornar disponvel
exposies introdutrias sobre os tpicos aqui tratados.
Neste trabalho, o livro Science Awakening, de Van der Waerden,
simplesmente citado como van der Waerden. A edio padro, facil-
mente disponvel, dos Elementos de Euclides a de Heath (1956).
Para os leitores que no tm acesso a esta edio, recomendamos a
traduo da edio de Simson (1773) para o portugus, perfeitamente
suciente para nossas nalidades.
2
Teoremas, guras, equaes ou
2
Ela se encontra disponvel gratuitamente em www.dominiopublico.gov.br.
principal1
2009/8/19
page 85
Estilo OBMEP
85
igualdades so numeradas sequencialmente. O smbolo 2 indica o m
de uma demonstrao ou construo.
Com exceo das Figuras 7.8, 8.1 e 9.4, todas as ilustraes foram
feitas com o aplicativo de Geometria dinmica TABULAE
R _
, desen-
volvido no Instituto de Matemtica da Universidade Federal do Rio
de Janeiro.
Embora o autor tenha procurado corrigir todos os erros tipogr-
cos ou matemticos do texto, certamente alguns lhe escaparam. Como
disse Monteiro Lobato, os erros tipogrcos so como sacis. Quando
os procuramos, eles se escondem. Uma vez publicado o texto, saltam
alegres chamando a ateno dos leitores. Fico, desde j, muito grato
pelas indicaes dos erros remanescentes (matemticos ou tipogr-
cos), as quais podem ser encaminhadas para jbpfcarvalho@gmail.com.
Joo Bosco Pitombeira de Carvalho
principal1
2009/8/19
page 86
Estilo OBMEP
principal1
2009/8/19
page 87
Estilo OBMEP
Sumrio
Introduo 89
7 A Duplicao do Cubo 97
7.1 A mquina de Plato . . . . . . . . . . . . . . . . . . . 99
7.2 A mquina de Eratstenes . . . . . . . . . . . . . . . . 100
7.3 A soluo de Nicomedes . . . . . . . . . . . . . . . . . 104
7.4 A Construo de rquitas . . . . . . . . . . . . . . . . 110
7.5 A soluo achada por Mencmo . . . . . . . . . . . . . 113
7.6 O mtodo de Diocles . . . . . . . . . . . . . . . . . . . 114
7.7 O mtodo de Hiero . . . . . . . . . . . . . . . . . . . 117
8 A Quadratura do Crculo 119
8.1 A Quadratriz . . . . . . . . . . . . . . . . . . . . . . . 119
9 A Trisseco do ngulo 122
9.1 A Trisseco do ngulo por Arquimedes . . . . . . . . 123
9.2 A Trisseco do ngulo por Nicomedes . . . . . . . . . 124
9.3 A Trisseco do ngulo Usando a Quadratriz . . . . . 126
87
principal1
2009/8/19
page 88
Estilo OBMEP
88
principal1
2009/8/19
page 89
Estilo OBMEP
Introduo
indubitvel que, na histria da Mate-
mtica, alguns problemas tm signicao
especial: agindo como catalisadores eles
inuenciam muito o desenvolvimento da cin-
cia. Tais problemas atraem devido simpli-
cidade e lucidez de seus enunciados, fasci-
nando muitos matemticos. Como resultado,
so elaborados novos mtodos e, at mesmo
novas teorias e novas perguntas, profundas
e abrangentes, so formuladas (Raigorodski,
2004).
Os matemticos gregos estudaram trs problemas de Geome-
tria que desempenharam papel importante no desenvolvimento da
Matemtica. Eles so problemas de construo e resistiram a todas
as tentativas dos gregos para resolv-los utilizando somente a rgua
sem graduao e o compasso, os nicos instrumentos empregados por
Euclides nos Elementos.
89
principal1
2009/8/19
page 90
Estilo OBMEP
90
Os problemas, que caram conhecidos como os trs problemas
clssicos, so:
1 A duplicao do cubo.
2 A quadratura do crculo.
3 A trisseco do ngulo.
Sabemos, desde o sculo XIX, que esses problemas no podem ser
resolvidos somente com a rgua e o compasso. Referncias acessveis
sobre isso so, por exemplo, Courant and Robbins (1996), Hadlock
(1978), Klein (1930), Bunt, Jones and Bedient (1988, p. 89-121).
Uma discusso de por que os gregos tentavam resolver problemas de
construo usando somente a rgua e o compasso, pode ser encon-
trada, por exemplo, em Bkouche et Jolle (1993).
Para os primeiros gemetras gregos, uma linha era o percurso de
um ponto, e a linha reta era um percurso sem asperezas e desvios
(Szab, 2000). No entanto, aos poucos, os matemticos gregos se
distanciaram da realidade palpvel, como se v, por exemplo, em
Plato:
[a Geometria] tem por objeto o conhecimento do que sem-
pre e no do que nasce e perece.
Passaram tambm a dar ao crculo e reta papis destacados:
...Aristteles O que no tem nem comeo nem m
portanto ilimitado.
Parmnides Ele ilimitado.
Aristteles Portanto ele no tem forma, pois no parti-
cipa nem do redondo nem do reto.
principal1
2009/8/19
page 91
Estilo OBMEP
91
Alm da ideia de perfeio ideal atribuda ao crculo e linha
reta uma outra razo para a restrio rgua e ao compasso pode
ter sido a crise devida descoberta da irracionalidade de
2, nmero
que pode, no entanto ser construdo com rgua e compasso. Esses
instrumentos eram a garantia da existncia de tais nmeros.
No entanto, falsa a crena de que os gregos, na resoluo de
problemas de construes geomtricas, trabalhavam somente com a
rgua e o compasso. Exatamente como os matemticos de hoje, para
resolverem um problema eles usavam todas as ferramentas disponveis
ou criavam novas ferramentas apropriadas. De suas tentativas para
achar solues para os problemas clssicos, surgiram vrias curvas e
mtodos que enriqueceram a Matemtica. Encontram-se em Knorr
(1986) e Bos (2001) construes geomtricas, incluindo solues dos
trs problemas clssicos, utilizando vrias curvas e outros instrumen-
tos.
O matemtico Van der Waerden (p. 263) resumiu a situao como
segue:
A ideia por vezes expressa de que os gregos permi-
tiam somente construes com rgua e compasso inad-
missvel. Ela negada pelas numerosas construes que
nos chegaram para a duplicao do cubo e a trisseco do
ngulo. No entanto, verdade que tais construes eram
consideradas mais elementares, e Pappus arma que sem-
pre que uma construo for possvel com rgua e compasso
mtodos mais avanados no deveriam ser usados.
Isso parece seguir a mesma linha que o princpio da navalha de
Ockham, muito posterior. Na linguagem popular, poderamos dizer
principal1
2009/8/19
page 92
Estilo OBMEP
92
que no se deve usar um canho para matar uma mosca.
impossvel superestimar a importncia destes problemas. Como
diz Yates (1971, p. 5).
Na histria da Matemtica h trs problemas que per-
sistiram com vigor impressionante durante mais de dois
mil anos. Eles so a trisseco do ngulo, a duplicao do
cubo e a quadratura do crculo, e devido sua existn-
cia robusta eles so atualmente chamados de problemas
famosos. (...) Estes trs problemas, solidamente inex-
pugnveis malgrado todas as tentativas usando geometria
plana, o mtodo matemtico dos antigos gregos, zeram
com que os matemticos cassem fascinados e construs-
sem novas tcnicas e teoremas para sua soluo. Por meio
deste estmulo surgiu grande parte das estruturas atuais
da lgebra e da geometria.
A procura constante de solues para os trs problemas durante
tanto tempo forneceu descobertas frutferas e que lanaram luz sobre
tpicos bem distantes. Somente em 1837 que foi demonstrado, por
Wantzel, que um nmero real construtvel com rgua e compasso
se, e somente se, ele um nmero algbrico, de grau uma potncia de
dois, sobre os racionais.
Os trs problemas so muito naturais para quem tem curiosidade
matemtica. Scrates, no dilogo Meno de Plato, usando perguntas
apropriadas, faz com que um jovem escravo ache um quadrado cuja
rea duas vezes a rea de um quadrado dado. Isso pode ser feito
facilmente usando rgua e compasso.
Com efeito, o quadrado cujo lado a diagonal do quadrado
dado a soluo do problema. Se AB o lado do quadrado dado
principal1
2009/8/19
page 93
Estilo OBMEP
93
(Figura 6.1), ento
DB =
2 AB =DB
2
= 2 AB
2
.
Figura 6.1: Duplicao do quadrado
De DB
2
= 2 AB
2
, vemos imediatamente que
AB
DB
=
DB
2AB
.
Assim, achar o comprimento de DB equivalente a inserir uma
meia proporcional entre AB e 2AB.
De maneira mais geral, se desejarmos construir um quadrado cuja
rea seja b vezes a rea a do quadrado ABCD, devemos ter
AB
DB
=
DB
bAB
.
Como veremos, a ideia de inserir meias proporcionais entre duas
grandezas dadas est por traz da maioria das tentativas de duplicar
o cubo.
Quadrar uma regio plana consiste em traar, somente com
principal1
2009/8/19
page 94
Estilo OBMEP
94
rgua e compasso, um quadrado cuja rea seja igual rea da regio
dada. O problema de quadrar qualquer regio poligonal est comple-
tamente resolvido nos Elementos de Euclides, e ir ser estudado no
Captulo 7. O problema da quadratura do crculo tambm muito
natural. Uma vez resolvido o problema da quadratura de qualquer
regio poligonal, o prximo passo tentar quadrar regies limitadas
por linhas curvas. Entre estas regies, o crculo uma escolha bvia.
Isso levou investigao das lnulas por Hipcrates de Quios, em
torno de 430 a.C. (Van der Waerden, p. 131-132). Curiosamente, so-
mente h pouco tempo, em 1947, usando tcnicas muito sosticadas,
que o problema de achar todas as lnulas quadrveis foi comple-
tamente resolvido (Scriba, 1987)!
A primeira meno conhecida do problema da quadratura do cr-
culo encontra-se no problema 50 do papiro Rhind, em torno de 1600
a.C.:
Um campo circular tem 9 khet de dimetro. Qual a sua rea?
Resoluo: Tira 1/9 do dimetro do seu dimetro, isto 1 Khet. O
resto 8 Khet. Multiplica 8 por 8; o que faz 64. Por isso, contm 64
setat de terra.
Nota: 1 setat khet ao quadrado
Em sua comdia Os pssaros, Aristfanes introduz o astrnomo
Meton e o ridiculariza por causa de suas tentativas de fazer a
quadratura do crculo:
Farei minhas medies com um esquadro reto [90
o
graus],
e assim voc observa que o crculo se torna quadrangular.
Para Szab (2000), o problema de quadratura que deu origem a to-
dos os outros foi o de fazer a quadratura do retngulo. Este problema
facilmente resolvido com rgua e compasso usando o resultado que,
principal1
2009/8/19
page 95
Estilo OBMEP
95
em um tringulo retngulo, a altura relativa hipotenusa a meia
proporcional entre os segmentos que ela determina sobre a hipotenusa.
Aristteles,
3
por sua vez, pensa que este problema surgiu da
procura da mdia geomtrica (meia proporcional), mas que isso foi
esquecido e s restou o prprio problema:
A denio no deve contentar-se em exprimir em que
consiste a coisa (...), mas ela deve tambm incluir e exi-
bir a causa. Ora, as denies so geralmente concluses.
Por exemplo: O que a quadratura? a igualdade de um
quadrado e de um retngulo. Uma denio como essa
uma concluso. Mas dizer que a quadratura a descoberta
da meia proporcional exprimir a causa do que denido.
Semelhantemente, uma vez que se sabe como bissectar um ngulo
(Elementos, I-9), natural perguntar como dividir um ngulo em n
partes; em particular, em 3 partes.
Embora no tenham conseguido resolver estes problemas com os
instrumentos especicados, os matemticos gregos no se deixaram
intimidar e, com engenho notvel, foram capazes de achar solues
para os trs problemas, usando vrios outros tipos de instrumentos e
construes.
Em verdade, da mesma maneira que a Matemtica moderna cresce
com respostas aos desaos de novos problemas, muito da Matemtica
grega se desenvolveu devido a tentativas de resolver os trs proble-
mas clssicos. Neste sentido, os matemticos gregos eram realmente
nossos colegas, pois tinham a mesma atitude mental dos matemticos
atuais e tentavam conscientemente atacar novos desaos. Quando os
3
Tratado da alma, II,2, 413, 13-20.
principal1
2009/8/19
page 96
Estilo OBMEP
96
conceitos e tcnicas existentes no conseguiam resolver estes proble-
mas, eles inventavam novos conceitos e tcnicas apropriadas para a
tarefa.
principal1
2009/8/19
page 97
Estilo OBMEP
Captulo 7
A Duplicao do Cubo
O que sabemos sobre este problema encontra-se principalmente
em Eutcio, um comentador de Arquimedes.
H duas lendas sobre a origem da duplicao do cubo, com deta-
lhes contraditrios. Uma delas se refere duplicao de um tmulo e
a outra duplicao de um altar (Van der Waerden, p. 160-161).
Segundo a primeira lenda, Minos mandou fazer um tmulo para
Glauco. Ao saber que o tmulo era um cubo cuja aresta media 100
ps, ele disse que a residncia real tinha sido construda demasiada-
mente pequena e que ela deveria ser duas vezes maior e ordenou ime-
diatamente que duplicassem cada aresta do tmulo, sem estragar sua
bela forma.
De acordo com a segunda lenda, quando um orculo anunciou
aos habitantes de Delos que, para se verem livres da peste, deveriam
construir um altar duas vezes maior do que o existente, os arquitetos
caram muito confusos, pois no sabiam como construir um cubo
duas vezes maior do que outro.
Hipcrates de Quios (viveu em torno de 430 a.C.) reduziu este
problema ao de achar duas meias proporcionais x e y entre 1 e 2.
97
principal1
2009/8/19
page 98
Estilo OBMEP
98 CAP. 7: A DUPLICAO DO CUBO
Com efeito, se
1
x
=
x
y
=
y
2
,
vemos que
x
2
= y
e, portanto, multiplicando ambos os membros por x, obtemos
x
3
= xy.
Mas como
xy = 2
temos que
x
3
= 2.
No caso geral, se x e y so duas meias proporcionais entre a e b, temos
a
x
=
x
y
=
y
b
e disso vemos que
x
2
= ay
e que
xy = ab
e da segue-se que
x
3
= axy = a
2
b
e assim
x
3
a
3
=
a
2
b
a
3
=
b
a
.
Apresentaremos agora sete solues do problema da duplicao do
cubo, quase todas baseadas em achar duas meias proporcionais entre
duas grandezas, usando construes que no podem ser efetuadas
somente com rgua e compasso e curvas que no podem ser traadas
principal1
2009/8/19
page 99
Estilo OBMEP
SEC. 7.1: A MQUINA DE PLATO 99
usando somente estes dois instrumentos.
7.1 A Mquina de Plato
O lsofo grego Plato (viveu de 429 a 347 a.C.) tinha grande
interesse pela Matemtica e lhe atribua importncia particular. Gra-
vitaram em torno dele excelentes matemticos, como, por exemplo,
rquitas, Eudoxo, Mencmo, Teeteto, entre outros.
bem conhecido que Plato desprezava construes mecnicas,
materiais (ver Van der Waerden, p. 162-163) em Matemtica. As-
sim, irnico que a soluo discutida a seguir seja conhecida como
mquina de Plato.
Figura 7.1: A mquina de Plato
A mquina de Plato (Figura 7.1) um dispositivo, ACDF, for-
mado por partes rgidas, com AC e FD paralelas e CD perpendicular
a ambas. O segmento BE paralelo a CD e pode deslizar ao longo
de AC e de FD.
Para achar duas meias proporcionais entre ON = a e OM = b,
movimentamos ACDF de maneira que o segmento CD passe por M,
C esteja sobre o eixo horizontal e fazemos BE deslizar at que passe
por N e B esteja sobre o eixo vertical, como mostrado na Figura 7.2.
principal1
2009/8/19
page 100
Estilo OBMEP
Figura 7.2: Meia proporcional entre ON = a e OM = b
Vemos que os tringulos NOB e MOC so semelhantes e, por-
tanto,
ON
OB
=
OC
OM
.
Como os tringulos NOB e OCB tambm so semelhantes, temos
que
ON
OB
=
OB
OC
e assim chegamos a
ON
OB
=
OB
OC
=
OC
OM
=
a
OB
=
OB
OC
=
OC
b
,
o que mostra que OB e OC so de fato meias proporcionais entre a
e b.
7.2 A Mquina de Eratstenes
Considere trs placas retangulares AEZF, NMHJ e SGTL
(Figura 7.3), que podem deslizar sobre uma reta de maneira que a
principal1
2009/8/19
page 101
Estilo OBMEP
SEC. 7.2: A MQUINA DE ERATSTENES 101
placa mdia (NMHJ), pode passar por traz da primeira (AEZF),
e que a ltima (SGTL), deslize por traz da do meio. Suponha que
desejamos achar duas meias proporcionais entre a = AE e b = DT.
Figura 7.3: A mquina de Eratstenes
Traamos o segmento de reta AD e o prolongamos at a inter-
seco, K, com a reta que passa por ET. Fazemos as placas deslizar,
como descrito acima, de maneira que o lado direito ZF da pri-
meira placa (AEZF), intercepte a diagonal NH da segunda placa
(NMHJ), exatamente sobre a reta AD, no ponto B, como mostra
na Figura 7.4.
De maneira semelhante, fazemos deslizar a terceira placa (HGTL)
de tal forma que o lado direito da segunda placa (JH) corte a diagonal
(ST) exatamente sobre AD, no ponto C.
Armamos ento que BZ e HC so meias proporcionais entre AE
e DT, ou seja, que
AE
BZ
=
BZ
GH
=
GH
DT
.
principal1
2009/8/19
page 102
Estilo OBMEP
Figura 7.4: Meias proporcionais entre AE = a e DT = b
Com efeito, como os tringulos AEK e BZK so semelhantes,
temos
AE
BZ
=
KA
KB
=
KE
KZ
. (7.1)
Temos tambm que os tringulos BZK e CHK so semelhantes,
e, portanto
BZ
CH
=
KZ
KH
=
KB
KC
. (7.2)
Da semelhana dos tringulos CHK e DTK segue-se que
CH
DT
=
KH
KT
=
KC
KD
. (7.3)
Da semelhana dos tringulos AZK e BHK decorre
AZ
BH
=
KZ
KH
=
KA
KB
. (7.4)
principal1
2009/8/19
page 103
Estilo OBMEP
SEC. 7.2: A MQUINA DE ERATSTENES 103
Alm disso, como os tringulos BHK e CTK so semelhantes,
vemos que
BH
CT
=
KH
KT
=
KB
KC
. (7.5)
De 7.3 e 7.5 obtemos
CH
DT
=
KH
KT
=
KC
KD
=
BH
CT
=
KB
KC
, (7.6)
pois ambos tm
KH
KT
em comum.
Como 7.2 e 7.6 tm
KB
KC
em comum, segue-se que
BZ
CH
=
KZ
KH
=
BK
KC
=
BH
CT
=
KH
KT
=
CH
DT
=
KC
DK
. (7.7)
Como 7.1 e 7.4 tm
KA
KB
em comum, segue-se que
AE
BZ
=
KA
KB
=
KE
KZ
=
AZ
BH
=
KZ
KH
. (7.8)
De 7.7 mantenhamos somente as razes que nos interessam:
BZ
CH
=
KZ
KH
=
CH
DT
. (7.9)
De 7.8 mantenhamos somente as razes que nos interessam:
AE
BZ
=
KZ
KH
. (7.10)
Como 7.9 e 7.10 tm
KZ
KH
em comum, obtemos, enm, que
principal1
2009/8/19
page 104
Estilo OBMEP
AE
BZ
=
BZ
CH
=
CH
DT
, (7.11)
o que queramos demonstrar. 2
O processo descoberto por Eratstenes pode ser usado para inserir
qualquer nmero de meias proporcionais entre a e b. Para inserir n
meias proporcionais, suciente tomar n + 1 retngulos e proceder
como acima.
7.3 A Soluo de Nicomedes
O mtodo para duplicar o cubo encontrado por Nicomedes, que
viveu em torno de 240 a.C., verdadeiramente muito engenhoso.
Suponha que queremos inserir duas meias proporcionais entre
b = AB e a = BC (Figura 7.5).
Construa o retngulo ABCL. Seja D o ponto mdio de AB e
trace a reta que passa por L e D. Seja G seu ponto de interseco
com a reta que passa por C e B. Seja E o ponto mdio de BC e trace
a perpendicular a BC por E. Chame de F o ponto desta reta para o
qual BF = FC = AD.
Trace a reta s que passa por F e por G e a paralela a S que
passa por C. Por F trace a reta FHK construda de tal maneira
que HK = CF = AD. Trace a reta que passa pelos pontos K e L e
chame de M sua interseco com a reta denida por A e B.
Armamos que AM e CK so meias proporcionais entre a e b, ou
seja, que
BC
MA
=
MA
CK
=
CK
AB
. (7.12)
Para compreender isso, devemos usar a Proposio II.6, dos
principal1
2009/8/19
page 105
Estilo OBMEP
SEC. 7.3: A SOLUO DE NICOMEDES 105
Figura 7.5: Meias proporcionais entre a = BC e b = AB
Elementos de Euclides, cujo enunciado o seguinte:
Elementos, II-6: Se uma linha reta dividida em duas partes
iguais e se uma outra linha reta lhe adicionada, prolongando-a, o
retngulo determinado pela linha reta e pela reta adicionada igual,
se lhe for adicionado o quadrado sobre a metade da reta, ao quadrado
sobre a reta formada pela metade e pela reta adicionada.
Ou seja, na gura, a soma das reas do retngulo de base AD e
altura DB e do quadrado LEGH (que igual ao quadrado de lado
CB) igual rea do quadrado de lado CD (Ver Figura 7.6).
Voltemos justicao da construo de Nicomedes, aplicando
II-6 ao segmento BC cortado ao meio por E e prolongado at K:
BK KC +CE
2
= EK
2
. (7.13)
principal1
2009/8/19
page 106
Estilo OBMEP
Figura 7.6: Elementos II.6
Adicionando EF
2
a ambos os lados desta igualdade e aplicando o
teorema de Pitgoras aos tringulos EFK e CEF, temos
BK KC +CF
2
= FK
2
. (7.14)
Alm disso, devido semelhana dos tringulos AML e MBK
temos que
AB
MA
=
LK
ML
=
CK
BC
. (7.15)
Observe que BC =
1
2
GC, devido congruncia dos tringulos
GBD e DAL.
Como AB = 2AD, temos
2 AD
MA
=
2 CK
GC
(7.16)
e assim,
AD
MA
=
CK
GC
. (7.17)
principal1
2009/8/19
page 107
Estilo OBMEP
Como os tringulos GFK e CHK so semelhantes, temos
CK
GC
=
HK
FH
(7.18)
e da segue-se que
AD
MA
=
CK
GC
=
HK
FH
. (7.19)
Temos ento que
AD
MA+AD
=
HK
FH +HK
, (7.20)
e assim
AD
MD
=
HK
FK
. (7.21)
Como HK = AD por construo, segue-se de 7.21 que MD = FK
e assim, de 7.14, temos
BK KC +CF
2
= FK
2
. (7.22)
Usaremos mais uma vez Euclides II-6, agora aplicada ao segmento
BA, cujo ponto mdio D, e prolongado at M:
BM MA+AD
2
= MD
2
. (7.23)
Como MD = FK, vemos que
BM MA+AD
2
= FK
2
. (7.24)
Comparando 7.22 e 7.24 vemos que
principal1
2009/8/19
page 108
Estilo OBMEP
BM MA = BK KC (7.25)
de maneira que
BK
BM
=
MA
CK
. (7.26)
Da semelhana dos tringulos MBK, MAL e LCK segue-se que
BK
BM
=
AL
MA
=
CK
LC
. (7.27)
Finalmente, usando 7.26 e 7.27, temos que:
CK
LC
=
MA
CK
=
AL
MA
. (7.28)
Como LC = AB, AL = BC, temos, enm, que
BC
MA
=
MA
CK
=
CK
AB
, (7.29)
o que queramos demonstrar. 2
Esta demonstrao encontra-se em Heath (1981). Daremos a se-
guir uma demonstrao analtica para a construo de Nicomedes
(veja Bos, 2001).
Na Figura 7.5, faa x = FH e y = CK. Ento, nos tringulos
retngulos EFK e EFC temos que
EF
2
+EK
2
= FK
2
, (7.30)
EF
2
+EC
2
= FC
2
. (7.31)
principal1
2009/8/19
page 109
Estilo OBMEP
De 7.30 e de 7.31 vemos imediatamente que
FK
2
EK
2
= FC
2
EC
2
, (7.32)
e assim
_
1
2
b +x
_
2
_
1
2
a +y
_
2
=
_
1
2
b
_
2
_
1
2
a
_
2
. (7.33)
Disso, segue-se imediatamente que
ay +y
2
= bx +x
2
. (7.34)
Logo
a +y
b +x
=
x
y
. (7.35)
Os tringulos CHK e GFK so semelhantes e podemos portanto
escrever
HK
CK
=
FH
GC
, (7.36)
ou seja
1
2
b
y
=
x
2a
=
b
y
=
x
a
=
a
x
=
y
b
. (7.37)
Mas ento
a +y
y
=
x +b
b
=
a +y
x +b
=
y
b
. (7.38)
De 7.34 e 7.36 vemos que
principal1
2009/8/19
page 110
Estilo OBMEP
x
y
=
y
b
=
x
y
=
y
b
=
a
x
(7.39)
e assim
a
x
=
x
y
=
y
b
. (7.40)
Como, pela semelhana dos tringulos AML e LCK, temos que
a
AM
=
y
b
, (7.41)
vemos imediatamente que
AM = x, (7.42)
o que conclui a demonstrao.
Na construo apresentada por Nicomedes (Figura 7.5), foi
necessrio construir a reta FHK tal que HK = CF = AD. Ou
seja, tivemos que ajustar o segmento de comprimento AD sobre o
segmento FK, a partir de K. Este tipo de construo, que no pode
ser efetuado com rgua e compasso, chamado de construo por
neusis ou por ajustamento. Ela utilizada em vrias solues dos
trs problemas clssicos, em particular por Arquimedes.
7.4 A Construo de rquitas
Vamos agora considerar uma das solues mais engenhosas do
problema de duplicar um cubo, devida a rquitas (viveu em torno
de 390 a.C.). Reproduzimos aqui a soluo como apresentada em
Teixeira (1995, p. 289-290). Embora o raciocnio de rquitas seja
puramente geomtrico (veja Van der Waerden, p. 151 ou Heath, 1981,
principal1
2009/8/19
page 111
Estilo OBMEP
SEC. 7.4: A CONSTRUO DE RQUITAS 111
vol. 1, p. 246-249), usaremos seu equivalente analtico, mais familiar
para ns, habituados com a linguagem algbrica.
Sejam a e b os dois segmentos dados, com b < a, para os quais
desejamos construir duas meias proporcionais. Sejam OC
A uma cir-
cunferncia cujo dimetro OA
igual a a e uma outra circunferncia

OBA, cujo dimetro igual a b e que est contida em um plano per-
pendicular ao plano da primeira circunferncia (veja a Figura 7.7).
Figura 7.7: Duplicao do cubo por rquitas
Considere o cilindro circular reto gerado pela circunferncia OCA
e o toro gerado pela circunferncia OBA ao girar em torno da reta

OZ, perpendicular ao plano de OCA
.
A interseco destas duas superfcies dene uma curva, conhecida
como curva de rquitas, dada pelas equaes
x
2
+y
2
= ax,
(x
2
+y
2
+z
2
)
2
= a
2
(x
2
+y
2
).
principal1
2009/8/19
page 112
Estilo OBMEP
Seja =
b
a
e considere o cone cujo eixo a reta OA
e cuja
geratriz forma com o eixo o ngulo . A equao deste cone
(x
2
+y
2
+z
2
) =
a
2
b
2
x
2
. (7.43)
Seja D a projeo de C sobre Ox. Ento a curva de rquitas
corta o cone no ponto B cuja projeo sobre o plano de OCA
o
ponto C da circunferncia tal que
OC
OB
=
b
a
.
Armamos que OC e OB so duas meias proporcionais entre a e
b. Com efeito,
OC
2
= a OD,
OB
2
= a OC,
b OB = a OD.
Disso, decorre que
OC
2
= b OD,
OB
2
= a OC,
e temos enm que
a
OB
=
OB
OC
=
OC
b
.
2
Teixeira (1995, p. 290) comenta que,
esta soluo muito engenhosa e tem grande interesse
histrico, porque o mais antigo exemplo de soluo
de um problema de geometria plana usando geometria
principal1
2009/8/19
page 113
Estilo OBMEP
SEC. 7.5: A SOLUO ACHADA POR MENCMO 113
espacial, e a curva usada a mais antiga curva reversa
conhecida.
Comentando a verso original, geomtrica, desta soluo, Van der
Waerden (p. 151) arma que rquitas deve ter tido uma inspirao
divina para achar esta construo.
7.5 A Soluo Achada por Mencmo
Mencmo viveu em torno de 350 a.C. Em seu Comentrio sobre
o primeiro livro de Euclides, Proclus, no Sumrio de Eudemo, arma
que Mencmo foi um aluno de Eudoxo e um membro dos lsofos e
matemticos em torno de Plato. Ele era irmo de Dinstrato o qual,
segundo Proclus, aperfeioou ainda mais a geometria.
Figura 7.8: Duplicao do cubo por Mencmo
principal1
2009/8/19
page 114
Estilo OBMEP
Se x e y so duas meias proporcionais entre a e b, temos que
a
x
=
x
y
=
y
b
.
Isso inteiramente equivalente s equaes simultneas,
y
2
= bx, xy = ab.
Assim, para resolver o problema, suciente achar a interseco das
parbolas e hiprboles denidas por estas equaes, respectivamente
(veja a Figura 7.8). As coordenadas deste ponto so as meias propor-
cionais que estamos procurando.
bvio que 7.5 tambm equivalente a
y
2
= bx, x
2
= ay. (7.44)
Desta maneira, o problema pode tambm ser resolvido usando
duas parbolas cujos vrtices coincidem e cujos eixos so ortogonais.
Estas duas solues so descritas por Eutcio em seu comentrio do
Tratado sobre a esfera e o cilindro, de Arquimedes.
Nem todas as solues deste problema consistiam em inserir duas
meias proporcionais entre duas grandezas dadas. Isso pode ser veri-
cado pela soluo devida a Diocles. claro que Mencmo no for-
mulou sua soluo usando a representao analtica das parbolas ou
hiprboles, mas seu raciocnio equivalente a isso.
7.6 O Mtodo de Diocles
A soluo de Diocles se baseia na cisside, uma curva denida
como segue.
Seja uma circunferncia que passa pela origem O do sistema de
principal1
2009/8/19
page 115
Estilo OBMEP
SEC. 7.6: O MTODO DE DIOCLES 115
coordenadas, tem seu centro sobre o eixo dos x e dimetro igual a
1. Sejam T = (1, 0) e r a reta vertical que passa por T. Seja P um
ponto qualquer sobre a circunferncia. A reta que passa por O e por
P intercepta r no ponto W. Tome o ponto M sobre OW tal que
OP = MW. A cisside o lugar geomtrico do ponto M quando P
percorre a circunferncia (veja a Figura 7.9, que no mostra toda a
cisside, mas somente a parte que nos interessa para a resoluo do
problema da duplicao do cubo).
Figura 7.9: Duplicao do cubo usando a cisside
A equao polar de uma circunferncia que passa pela origem, tem
raio R, e centro sobre o eixo dos x
2R
= cos .
principal1
2009/8/19
page 116
Estilo OBMEP
Como em nosso caso R =
1
2
, a equao 7.6 se reduz a = cos .
Por outro lado, OW =
1
cos
.
Como OM = OW OP, a equao polar da cisside
=
1
cos
cos =
sen
2
cos
.
Para achar a equao cartesiana da cisside temos que:
x = cos = sen
2
=
tg
2
1 + tg
2
=
y
2
x
2
x
2
+y
2
x
2
=
y
2
x
2
+y
2
,
ou seja,
x(x
2
+y
2
) y
2
= 0.
Seja U(0, 2) e considere o ponto de interseco, Z = (a, b), da reta
TU com a cisside. A equao cartesiana da reta TU y = 2(1 x),
de maneira que b = 2(1 a), e assim, como Z pertence cisside,
a(a
2
+b
2
) b
2
= 0 = a
3
+ab
2
b
2
= 0 =
a
3
= b
2
(1 a) =
b
3
2
= 2a
3
= b
3
.
imediato ento que
b
a
=
3
2. Assim, a equao cartesiana da

reta que passa por O e por Z y =
3
2x. Seja Qo ponto de interseco

dessa reta com a reta x = 1. Temos, ento, que as coordenadas de Q
so (1,
3
2). Se temos um cubo cuja aresta mede 1, para duplicar seu

volume, devemos achar a aresta y de um cubo que tem volume 2. Ou
seja, devemos ter y =
3
2. Vemos portanto que a ordenada do ponto

Q, achada acima, resolve o problema.
principal1
2009/8/19
page 117
Estilo OBMEP
SEC. 7.7: O MTODO DE HIERO 117
7.7 O Mtodo de Hiero
Descrevemos a seguir o mtodo proposto por Hiero
1
para achar
duas meias proporcionais entre os segmentos a e b.
Figura 7.10: Mtodo de Hiero para achar meias proporcionais
Construa o retngulo OACB, no qual AO = a e OB = b
(Figura 7.10). Seja D o centro do retngulo. Tome uma rgua que
passa por C e sejam E e F seus pontos de interseco com as retas
denidas por AO e OB respectivamente. Faa a rgua girar at que
DF = DE. Armamos ento que BF = x e AE = y so as duas
meias proporcionais entre a e b.
1
Matemtico e fsico grego, que viveu em torno de 60 d.C., em Alexandria.
principal1
2009/8/19
page 118
Estilo OBMEP
Com efeito, usando a semelhana dos tringulos FBC, CAE e
FOE, temos que
a
x
=
y
b
=
a +y
b +x
.
Como DE
2
= DF
2
, segue-se que
_
y +
1
2
a
_
2
+
1
4
b
2
=
_
x +
1
2
b
_
2
+
1
4
a
2
,
de que obtemos y(a +y) = x(b +x). Desta ltima igualdade decorre
que
z
y
=
a +y
b +x
=
a
x
=
y
b
,
e da vemos imediatamente que
a
x
=
x
y
=
y
b
.
Mais detalhes sobre a duplicao do cubo podem ser achados em
Heath (1981, vol. 1, p. 244-270). Uma explicao lcida da soluo de
rquitas encontra-se em Van der Waerden (p. 150-152), Heath (1981,
vol. 1, p. 246-249) e Teixeira (1995, p. 285-326), o qual apresenta um
total de 17 solues para a duplicao do cubo, incluindo os mtodos
propostos por Vite, Descartes, Fermat, Newton e Clairaut.
principal1
2009/8/19
page 119
Estilo OBMEP
Captulo 8
A Quadratura do Crculo
Como j dissemos, quadrar o crculo, ou seja, construir, com
rgua e compasso, um quadrado com rea igual rea do crculo
um problema bem natural, uma vez resolvido o problema de fazer a
quadratura de polgonos! Veremos agora como os matemticos gre-
gos encontraram maneiras de resolver este problema usando curvas
e construes que no podem ser obtidas somente com rgua e com-
passo.
A origem do interesse grego nos problemas de quadratura pouco
conhecida. Segundo Zsab (2000), o problema primitivo do qual se
originaram todos os outros foi o da quadratura do retngulo. Aristte-
les arma que a origem deste problema foi a procura da mdia geom-
trica, mas que isso foi esquecido e que s foi preservado o problema.
8.1 A Quadratriz
Esta curva notvel resolve dois dos problemas clssicos: a
quadratura do crculo e a trisseco de um ngulo arbitrrio. Para
constru-la, suponhamos que no quadrado ABCD o lado AD gira com
119
principal1
2009/8/19
page 120
Estilo OBMEP
120 CAP. 8: A QUADRATURA DO CRCULO
movimento circular uniforme em torno de A at que coincide com o
lado AB. Ao mesmo tempo, o lado DC desce com velocidade cons-
tante at coincidir com AB. Os dois movimentos esto sincronizados
de maneira que ambos os lados, DC e AD coincidam com AB no
mesmo instante.
Figura 8.1: Duplicao do cubo com a quadratriz
A quadratriz o lugar geomtrico gerado pelas interseces destes
dois lados mveis. a curva DPZ da Figura 8.1. Ela foi inventada
por Hpias de Elis (viveu em torno de 420 a.C.), originariamente
em suas tentativas para trissectar o ngulo. Tudo indica que foi
Dinstrato (viveu em torno de 350 a.C.) quem pela primeira vez usou
esta curva para fazer a quadratura do crculo.
Armamos que AZ =
2a
, com a o comprimento do lado do

quadrado. Com efeito, sejam o ngulo PAZ, x = MP, y = AM e
AB = AD = DC = a. Ento, devido proporcionalidade dos dois
movimentos, temos que
y
= k, com k a constante de proporcionali-

principal1
2009/8/19
page 121
Estilo OBMEP
SEC. 8.1: A QUADRATRIZ 121
dade. Quando =

2
, temos que
a
2
= k,
de maneira que
k =
2a
e podemos concluir que

=
y
2a
=y =
2a
.
Assim,
y
= sen = =
y
sen
=
2a
sen
.
Temos ento que
AZ = lim
0
= lim
0
2a
.
Quando 0,
lim
0
sen
= 1,
e assim vemos que
AZ = =
2a
.
Aps obter um segmento de comprimento
2a
imediato construir
para fazer a quadratura do crculo. Com efeito, fcil dividir, usando
somente rgua e compasso,
2a
por 2a e, em seguida, tomar o inverso

de
1
.
Um tratamento mais completo do problema da quadratura do cr-
culo pode ser encontrado em Heath (1981, vol. I, p. 220-235). Uma
boa exposio encontra-se em Teixeira (1995, p. 362-384). A histria
detalhada do nmero pode ser lida em Beckmann (1977).
principal1
2009/8/19
page 122
Estilo OBMEP
Captulo 9
A Trisseco do ngulo
Voltamo-nos agora para o terceiro dos problemas clssicos, ou seja,
a trisseco de um ngulo qualquer. Este problema pode ser resolvido
de vrias maneiras. Acredita-se que Hpias de Elis, que viveu no sculo
V a.C. foi um dos primeiros a tentar resolver este problema, utilizando
curvas e construes que no podem ser efetuadas somente com rgua
e compasso.
Faremos, em primeiro lugar, uma digresso sobre as construes
por ajustamento ou por neusis.
Em uma construo por neusis deve-se ajustar um segmento dado
entre duas curvas dadas, com a exigncia de que o segmento passe
por um ponto dado. Nas palavras de Heath (1953, p. c):
Assim, uma linha reta tem que colocada entre duas
linhas ou curvas de maneira que passe por um ponto dado
e o segmento determinado sobre ela pelas interseces com
as linhas ou curvas seja igual a um comprimento dado.
Mostremos um exemplo de uma construo por neusis.
122
principal1
2009/8/19
page 123
Estilo OBMEP
SEC. 9.1: A TRISSECO DO NGULO POR ARQUIMEDES 123
9.1 A Trisseco do ngulo por Arquimedes
A construo que mostraremos a seguir, que utiliza neusis, um
exemplo das vrias solues do problema da trisseco do ngulo
propostas por Arquimedes.
Figura 9.1: Trisseco do ngulo por Arquimedes
Suponha que desejamos trissectar o ngulo BOA. Tome uma reta
r que passa por B e, tendo o cuidado para que ela sempre passe por
B, movimente-a para que o segmento MN seja igual ao raio OM do
crculo. Isso exatamente o que se denomina uma construo por
neusis: Ajustamos um segmento (o raio OM) entre o crculo e a linha
reta que passa por C e por A.
Observe que os tringulos NMO e MOB so issceles, de
maneira que x = M

NO = M

ON. De maneira semelhante,
B
MO = O
BM.
No tringulo NOM, o teorema do ngulo externo permite escrever
que B
MO = M

BO = 2 M

NO. Aplicando o teorema do ngulo
principal1
2009/8/19
page 124
Estilo OBMEP
124 CAP. 9: A TRISSECO DO NGULO
externo ao tringulo BNO, vemos que
B
OA = B

NO +M

BO = 3 B

NO,
e vemos assim que com esta construo possvel dividir o ngulo
B
OA em trs partes iguais. 2

9.2 A Trisseco do ngulo por Nicomedes
Examinemos agora outro exemplo de trisseco do ngulo, devido
a Nicomedes, no qual ele utiliza uma construo por ajustamento.
Suponha que desejamos trissectar o ngulo = AOB. Por B
levante uma reta perpendicular a OB e por A uma reta paralela a OB
(Figura 9.2). Trace uma reta por O e sejam P e C suas interseces
com AB e AC respectivamente. Mova-a de maneira que PC = 2OA.
Armamos que P

OB = A
OB/3.
Figura 9.2: Trisseco do ngulo por Nicomedes
Com efeito, seja D o ponto mdio de PC. Ento o tringulo
APC est inscrito em um crculo de centro D e raio PD, e assim
PD = AD = DC = OA. Sejam = A
OD = A
DO e
= D
AC = A
CD. Aplicando o teorema do ngulo externo ao trin-

gulo ADC vemos que = 2. Como AC e OB so paralelas, segue-se
que = P

OB e portanto = 3.
principal1
2009/8/19
page 125
Estilo OBMEP
SEC. 9.2: A TRISSECO DO NGULO POR NICOMEDES 125
A construo neusis usada neste problema pode ser efetuada
usando a conchide de Nicomedes, cuja denio dada a seguir.
Figura 9.3: Conchide de Nicomedes
Sejam K um ponto xo, o polo da conchide, e uma linha reta SA,
denominada diretriz da conchide, e um comprimento xo d, chamado
de distncia da conchide.
A conchide a curva gerada por P quando S se desloca sobre
SA e o comprimento do segmento PS permanece sempre igual a d
(Figura 9.3).
Para vermos como a conchide pode ser usada para a trisseco
do ngulo proposta por Nicomedes, trace a conchide com polo C,
diretriz AB e distncia igual a duas vezes OA. A interseco C desta
conchide com a paralela a OB que passa por A o ponto procurado,
como j foi mostrado.
A conchide pode tambm ser usada na duplicao do cubo feita
por Nicomedes feita na pgina 104. Com efeito, a interseco K da
conchide cujo polo F, diretriz CH e distncia AD com a linha reta
denida por G e C exatamente o ponto que achamos anteriormente
(compare com a Figura 7.5).
principal1
2009/8/19
page 126
Estilo OBMEP
126 CAP. 9: A TRISSECO DO NGULO
9.3 A Trisseco do ngulo Usando a
Quadratriz
Figura 9.4: Trisseco do ngulo com a quadratriz
Como j dissemos, a quadratriz foi utilizada em primeiro lugar
para resolver o problema da trisseco do ngulo. Como acontece
frequentemente em Matemtica, s vezes uma ideia que permite ata-
car com sucesso um problema mostra, posteriormente, ser capaz de
resolver outros problemas. Isso aconteceu com a quadratriz, pois foi
logo depois observado que ela tambm permite resolver o problema
da quadratura do crculo.
Suponha que desejamos dividir o ngulo PAZ em trs partes
iguais. Por P, trace a paralela a AZ que intercepta AD em M (Figura
9.4). Divida o segmento AM em trs partes iguais e seja AU uma
dessas partes. Por U trace a paralela a AZ que corta a quadratriz no
ponto T. Por proporcionalidade, o tempo gasto por P para chegar a
T igual ao tempo gasto por M para chegar a U, e igual a 2/3 do
tempo que P gasta para chegar a Z. Assim, P

AZ = 3 T

AZ.
principal1
2009/8/19
page 127
Estilo OBMEP
SEC. 9.3: A TRISSECO DO NGULO USANDO AQUADRATRIZ 127
Esta a soluo mais antiga que conhecemos para o problema
da trisseco do ngulo. Um tratamento mais amplo deste problema
pode ser encontrado em Heath (1981, vol. I, p. 235-244). Para uma
discusso geral de problemas resolvidos usando construes neusis, ver
Heath (1953, Captulo V, p. c-cxxii) e um tratamento mais didtico
em Yates (1971). Vrias outras construes podem ser achadas em
Teixeira (1995, p. 327-358). Consultar tambm Dudley (1987) em que
se encontram muitos processos aproximados ou exatos para trissectar
um ngulo.
principal1
2009/8/19
page 128
Estilo OBMEP
principal1
2009/8/19
page 129
Estilo OBMEP
[1] BECKMANN, Peter. A history of pi. 4th ed. Boulder. Colorado:
Golem Press, 1977.
[2] BOS, Henk J. M. Redening geometrical exactness: Descartes
transformation of the early modern concept of construction. New
York: Springer, 2001.
[3] BUNT, Lucas N. H.; Phillip S. Jones; Jack D. Bedient. The
historical roots of elementary mathematics. New York: Dover,
1988.
[4] CARVALHO, Joo Pitombeira de. Trs excurses pela histria
da Matemtica. Rio de Janeiro: Intermat, 2008.
[5] COURANT, Richard; ROBBINS, Herbert. What is mathema-
tics? New York: Oxford University Press, 1996.
[6] BKOUCHE, Rudolf; DELATTRE, Jolle. Pourquoi la rgle et le
compas. Comission Inter-IREM. Histoire de problmes, Histoire
des Mathmatiques. Paris: Ellipses, 1993.
[7] DUDLEY, Underwood. A budget of trisections. New York:
Springer, 1987.
[8] EVES, Howard. Introduo Histria da Matemtica. Cam-
pinas: Editora da UNICAMP, 1995.
129
principal1
2009/8/19
page 130
Estilo OBMEP
[9] HADLOCK, Charles Robert. Field theory and its classical
problems. Washington, DC: Mathematical Association of Ame-
rica, 1978. (Carus Mathematical Monographs 18.)
[10] HEATH, Thomas L. The works of Archimedes. New York: Dover,
1953.
[11] HEATH, Thomas L. The Thirteen books of Euclids Elements,
vols. 1, 2, 3. New York: Dover, 1956.
[12] HEATH, Thomas L. A history of Greek mathematics, 2 v. New
York: Dover, 1981.
[13] KATZ, Victor J. A History of Matematics an introduction. New
York: Harper Collins, 1993.
[14] KLEIN, Felix. Famous problems of elementary geometry, trans-
lated by Wooster Woodru Beman e David Eugene Smith. New
York: G. E. Stechert & Co. 1930.
[15] KNORR, Wilbur Richard. The evolution of the euclidean ele-
ments: a study of the theory of incommensurable magnitudes
and its signicance for early Greek geometry. Dordrecht [u.a.],
Holanda: Reidel, 1975.
[16] KNORR, Wilbur Richard. The ancient tradition of geometric
problems. Boston, Basel, Stuttgart: Birkhuser, 1986.
[17] RAIGORODSKI, Andrei M. The Borsuk partition problem: the
seventieth anniversary. The mathematical intelligencer, vol. 26,
n. 3, 2004, p. 4-12.
[18] SANTOS, Christovam dos. Trisseco de um ngulo. Revista
brasileira de Matemtica, ano 2, n. 5, jan./1931, p. 43-47.
principal1
2009/8/19
page 131
Estilo OBMEP
REFERNCIAS BIBLIOGRFICAS 131
[19] SCRIBA, Christoph J. On the so-called Classical Problems
in the History of Mathematics. Ivor Grattan-Guinness (Ed.)
Cahiers dHistoire & de Philosophie des Sciences, n. 21, 1987,
History in mathematics education. Proceedings of a Workshop
held at the University of Toronto, Canada, July August 1983.
Paris: Belin, 1987.
[20] SIMSON, Robert. Elementos de Euclides. Dos seis primeiros
livros, do undcimo e duodcimo, da verso latina de Frederico
Commandino, addicionados e ilustrados por Roberto Simson,
Professor de Mathematica na Academia de Glasgow. Coimbra:
Real Imprensa da Universidade, 1773. Com privilgio real.
[21] SZAB, Arpad. Laube des mathmatiques grecques. Paris:
Vrin, 2000.
[22] TEIXEIRA, Francisco Gomes. Trait des courbes spciales
planes et gauches, vol III. Paris: Jacques Gabay, 1995. 1. ed.
Coimbra: Universidade de Coimbra, 1909.
[23] VAN DER WAERDEN, B. L. Science Awakening I. Third edi-
tion. Grnigen: Wolters Noordho, s/d.
[24] VAN DER WAERDEN, B. L. Geometry and algebra in ancient
civilizations. New York: Springer Verlag, 1983.
[25] VAN DER WAERDEN, B. L. A History os algebra, from al-
Khwarizmi to Emmi Noether. New York: Springer Verlag, 1985.
[26] WANTZEL, Pierre. Recherches sur les moyens de reconnatre si
un problme de gomtrie peut se resoudre avec rgle et compas.
Journal de Mathmatiques, 2, 366-372, 1837.
[27] YATES, Robert C. The trisection problem. Reston, Virginia:
The National Council of Teachers of Mathematics, 1971. Classics
in mathematics education, vol. 4.
principal1
2009/8/19
page 132
Estilo OBMEP
principal1
2009/8/19
page 133
Estilo OBMEP
A Matemtica dos Cdigos
de Barras
Francisco Csar Polcino Milies
133
principal1
2009/8/19
page 134
Estilo OBMEP
principal1
2009/8/19
page 135
Estilo OBMEP
Prefcio
Em 1977 z meu primeiro estgio de pesquisa no exterior,
no Canad. Foi l, na biblioteca da universidade em que estagiava,
que vi pela primeira vez a utilizao de cdigos de barras, usados
para catalogar os livros do acervo. Logo depois, pude testemunhar o
seu emprego nos caixas de supermercados e grandes magazines.
Parecia coisa de mgica. Fiquei admirado de ver como agilizavam os
atendimentos e diminuiam o tamanho das las.
Hoje em dia, os cdigos de barras so de uso rotineiro e nos de-
paramos com eles continuamente no nosso dia a dia. No somente
esto presentes nos diversos artigos que compramos, como aparecem
tambm, em verses bem mais longas, em recibos, contas a pagar e
inmeras outras aplicaes.
Mesmo assim, eles esto completamente ausentes das nossas salas
de aula. Sua estrutura muito simples e certamente eles poderiam
ser usados para motivar o estudo da alguns aspectos da teoria da
divisibilidade e para plantear questes instigantes.
A exposio que se segue tem por objetivo apresentar os con-
ceitos e ideias bsicas ligadas a estes cdigos. Vamos descrever como
atribudo um nmero a cada produto, como feita a traduo de
nmeros para barras de espessura varivel e, nalmente, vamos dis-
cutir um dos aspectos mais interessantes da teoria: como se pode
135
principal1
2009/8/19
page 136
Estilo OBMEP
136
estruturar o cdigo de modo que um clculo simples (em geral efe-
tuado automaticamente pela caixa que registra a compra) pode de-
tectar se foi cometido algum erro de leitura. Partes deste trabalho
j foram publicadas na forma de artigos, na Revista do Professor de
Matemtica.
claro que este um tpico em contnuo desenvolvimento, que
est relacionado com outras reas da matemtica atual e suas apli-
caes, tais como a moderna criptograa ou a teoria de cdigos corre-
tores de erros. Esperamos que a leitura destas notas possa servir de
estmulo para que o leitor continue seus estudos, aprofundando-se nos
assuntos aqui tratados.
Csar Polcino Milies
Instituto de Matemtica e Estatstica
Universidade de So Paulo.
principal1
2009/8/19
page 137
Estilo OBMEP
Sumrio
Introduo 139
Um Pouco de Histria . . . . . . . . . . . . . . . . . . . . . 141
10 Cdigo de Barras 149
10.1 Escrevendo com Barras . . . . . . . . . . . . . . . . . . 149
10.2 A Deteco de Erros . . . . . . . . . . . . . . . . . . . 155
10.3 Outros Cdigos Numricos . . . . . . . . . . . . . . . . 160
11 Cdigos sobre Grupos 171
11.1 O Grupo Dihedral . . . . . . . . . . . . . . . . . . . . 171
137
principal1
2009/8/19
page 138
Estilo OBMEP
principal1
2009/8/19
page 139
Estilo OBMEP
Introduo
Hoje em dia, muitos produtos so identicados com um cdigo
numrico. O progresso da tecnologia, que tornou relativamente ba-
ratos e acessveis aparelhos de leitura ptica e computadores, tornou
tambm o uso deste tipo de cdigos bastante frequente. Por exemplo,
os produtos que compramos num supermercado esto identicados
por um cdigo de barras, como o que mostramos na Figura 9.5. Ele
no mais do que um nmero, assignado ao produto para sua identi-
cao, escrito de forma a permitir uma leitura rpida no caixa. Note
que imediatamente abaixo das barras, aparece o mesmo nmero es-
crito em algaritmos correntes, de forma que o leitor humano tambm
possa ler o nmero.
Figura 9.5: Cdigo de barras
139
principal1
2009/8/19
page 140
Estilo OBMEP
140
Porm, algumas vezes acontece que, ao passar um produto pela
leitora tica (por exemplo, quando a embalagem est mida ou en-
rugada), esta no consegue realizar a leitura. O que vemos ento a
pessoa que est no caixa tenta passar o produto em sentido contrrio,
ou inverte o produto, de modo que o cdigo de barras que de cabea
para baixo, e tentar pass-lo mais uma vez. Se nem assim der certo,
ento ele prprio l o cdigo e o digita rapidamente.
Naturalmente, estas atitudes sugerem algumas perguntas. Em
primeiro lugar, uma vez que o desenho das barras totalmente
simtrico para a mquina, que o l usando um feixe de luz transver-
sal, ao pass-lo de ponta cabea, ela no deveria ler o nmero na
ordem contrria? E, o que pior, o operador do caixa, ao digitar o
nmero rapidamente, no poderia cometer um erro e ns acabarmos
pagando por um produto muito mais caro do que aquele que estamos
comprando?
Na verdade, isso no ocorre. Tanto quando lido numa ordem,
como na ordem contrria, o cdigo sempre interpretado de forma
correta. Mais ainda, quando o operador comete algum erro de digita-
o e todos ns j vimos isso acontecer algumas vezes a mquina
simplesmente emite um som, para avisar que houve um erro!
O objetivo destas notas explicar como e porqu isso acontece.
Comearemos contando um pouco da histria destas ideias na prxima
seo. No captulo seguinte vamos explicar como feita a traduo
dos nmeros em termos de barras e como a leitora distingue entre
esquerda e direita; na seo 10.2 vamos explicar as ideias matemti-
cas que fazem com que eventuais erros possam ser detectados. No
captulo nal, mostraremos brevemente como estas ideias podem ser
extendidas para se obter cdigos mais sosticados.
principal1
2009/8/19
page 141
Estilo OBMEP
141
Um Pouco de Histria
A ideia de utilizar mquinas para realizar clculos , na
verdade, bastante antiga. J em 1642, Blaise Pascal construiu a
primeira mquina de calcular de que se tem notcia. Ela funcionava
com engrenagens mecnicas e era capaz de realizar apenas somas. Em
1694, Wilhelm Leibniz aprimorou o invento de Pascal e criou uma
mquina capaz de realizar tambm multiplicaes. Do ponto de vista
destas notas, o que realmente interessante a forma de transmitir
dados mquina j que, praticamente desde o comeo da automao,
isto foi feito com cartes perfurados que so antepassados diretos dos
cdigos de barras.
De forma muito esquemtica, os estgios do processo que nos in-
teressa so os seguintes:
Em 1728, B. Bouchon concebeu a ideia de cifrar informaes
em folhas de papel perfurado. A descoberta verdadeiramente
importante veio em 1801, quando Joseph-Marie Jacquard
(1752-1834) construiu um tear que era comandado por cartes
perfurados e que foi, talvez, a primeira mquina programvel.
O tear de Jacquard era capaz de realizar todos os movimentos
necessrios e ele foi o primeiro a produzir tecidos com padres
gurativos. Essa mquina deu mpeto revoluo tecnolgica
da era industrial e foi a base para o desenvolvimento do moderno
tear automtico.
Em 1857, Sir Charles Wheatstone utilizou tas de papel
para armazenar dados, seguindo o mesmo princpio bsico dos
cartes perfurados, mas com a vantagem de poder alimentar
dados de forma contnua.
principal1
2009/8/19
page 142
Estilo OBMEP
142
Em 1822, Charles P. Babbage (1792-1871), um professor de
matemtica de Cambridge e um dos fundadores de Analytical
Society (grupo de professores que modicaria o ensino da mate-
mtica na Inglaterra e que tiveram inuncia fundamental na
criao da lgebra abstrata) inventou um instrumento de clculo
mais sosticado, que denominou Mquina Diferencial . Nessa
poca, ele observou que as operaes matemticas repetitivas
poderiam ser desenvolvidas com mais agilidade e conabilidade
pelas mquinas que pelos homens. Mais adiante, em 1833, pro-
jetou uma Mquina Analtica, isto , uma mquina capaz de
executar todas as operaes aritmticas, de fazer comparaes
e analisar seus prprios resultados, que era programada atravs
de cartes perfurados. Ele foi o primeiro a perceber que uma
mquina de computar deveria ter um dispositivo de entrada,
uma memria (que ele chamou de mill = moinho) e um dispo-
sitivo de sada. Sua mquina, em particular, seria alimentada
por duas sries de cartes perfurados: uma com os dados e
outra com as operaes a serem executadas. Por causa disto,
ele considerado o pai do computador digital.
Suas ideias despertaram o interesse de Ada August, condessa de
Lovelace e lha de Lord Byron, que foi a primeira programadora
da histria. No perodo de 1842-1843 ela traduziu do italiano um
artigo de Luigi Menebrea sobre a mquina da Babbage e, num
apndice, detalhou um mtodo completo para calcular nmeros
de Bernoulli com a mquina.
Babbage conseguiu convencer o governo britnico a nanciar seu
projeto mas, apesar dos esforos de anos e de vrios investimen-
tos governamentais, a mquina jamais chegou a ser construda.
De acordo com o plano original, ela seria movida a vapor e de
tamanho maior do que uma locomotiva.
principal1
2009/8/19
page 143
Estilo OBMEP
143
A prxima personagem importante nesta histria Hermann
Hollerith (1860-1951) que obteve um doutorado em estats-
tica na Columbia University em 1879 e, logo em seguida, foi
empregado pelo Bureau de Censos dos EUA para trabalhar
com seu professor, William P. Trowbridge, no censo de 1880.
Foram necessrios dez anos de trabalho para tabular comple-
tamente todos os dados recolhidos. Durante este perodo, Hol-
lerith deu tambm aulas durante algum tempo no Massachussets
Institute of Technology e trabalhou no Escritrio de Patentes de
Washington. Sobretudo, ele empregou seu tempo projetando
uma mquina que pudesse tabular dados automaticamente.
Para isso, ele utilizou novamente a ideia dos cartes perfurados
de Jacquard, escrevendo dados em oito colunas que utilizavam
o sistema de numerao binria. Esses cartes eram ento lidos
por sua mquina que utilizava sensores eltricos. Quando foi
realizado um novo censo, em 1890, apesar dele ser mais sosti-
cado e coletar mais dados que o anterior, a inveno de Hollerith
pode tabular todos os dados em apenas seis semanas.
Sua criao teve sucesso imediato e ele deixou seu emprego
para fundar uma companhia dedicada ao desenvolvimento de
mquinas semelhantes, a Tabulating Machine Company que,
com o decorrer dos anos, se transformou na atual IBM.
O desenvolvimento de computadores eletrnicos ganhou mais
fora a partir da segunda guerra mundial, quando foi percebido
seu potencial estratgico.
Muitos autores consideram que o Atanaso-Berry Computer
(ABC), desenvolvido nos EUA no perodo 1937-42 o primeiro
computador eletrnico digital. Porm, ele no tinha capacidade
de programao geral e servia apenas para resolver sistemas li-
principal1
2009/8/19
page 144
Estilo OBMEP
144
neares, alm de ter outras limitaes tcnicas.
Em 1941 os alemes desenvolveram o Z3, desenhado por
Konrad Zuse. Era eletromecnico, mas com objetivos mais ge-
rais e totalmente programvel mediante tas perfuradas.
Em 1944, Tommy Flowers desenhou, na Inglaterra, o computa-
dor Colossus, totalmente eletrnico, concebido para decodicar
mensagens interceptadas aos alemes.
O computador mais famoso deste perodo foi o ENIAC
(Electronic Numerical Integrator and Computer), desenhado
por John Mauchly e J. Presper Eckert, da Universidade de
Pennsylvania e construdo na Escola Penn Moore de Engenharia
Eletrnica daquela universidade. Embora ele fosse um com-
putador de propsitos gerais, ele foi desenhado originalmente
para calcular tabelas de fogo de artilharia para o Laboratrio
de Pesquisas Balsticas, durante a guerra, mas sua construo
s foi completada trs meses aps o m da guerra. Os primeiros
problemas computados pelo ENIAC foram relacionados cons-
truo da bomba de hidrognio. Tanto a entrada quanto a sada
de dados era feita atravs de cartes perfurados.
O aparelho pesava 27 toneladas, usava 17 468 vlvulas e pre-
cisou, para sua construo, de mais de cinco milhes de soldas
feitas a mo. Ocupava todo um galpo e consumia 150 kW
de energia eltrica. Costuma-se dizer que, quando estava em
uso, provocava apages na cidade de Pennsylvania mas isto no
deve ser verdade pois possua alimentao independente da rede
eltrica. Quando estava em operao, elevava a temperatura do
local a 50 graus. Ele foi desativado em 2 de outubro de 1955.
principal1
2009/8/19
page 145
Estilo OBMEP
145
Figura 9.6: O computador ENIAC
Outro computador de grande porte construdo nesse perodo foi
o Mark I. O projeto, concebido por Howard Aiken da Universi-
dade de Harvard, iniciou-se em 1939 mas foi concludo apenas
em 1943, na IBM. Foi transladado a Harvard onde foi mostrado
publicamente, pela primeira vez, em 1944 e foi batizado o-
cialmente como Harvard-IBM Automatic Sequence Controlled
Calculator (ASCC). Media 15.5 m de comprimento, 2.40 m de
altura e aproximadamente 60 cm de largura.
A partir de ento, os progressos da tecnologia permitiram dimi-
nuir gradativamente o tamanho (e o custo!) dos computadores at
populariz-los denitivamente. Foi tambm a tecnologia que permitiu
usar feixes de luz e scanners para transmitir dados direta e rapida-
mente aos computadores, criando assim condies para a utilizao
da codicao que nos interessa estudar aqui.
principal1
2009/8/19
page 146
Estilo OBMEP
146
Cdigos de Barras
A primeira patente de um cdigo de barras foi atribuda em 1952 a
Joseph Woodland e Bernard Silver. Seu cdigo consistia num padro
de circunferncias concntricas de espessura varivel. Ao dar entrada
ao pedido de patentes, eles descreviam seu invento como uma classi-
cao de artigos atravs de identicao de padres.
Em torno de 1970, uma rma de assessoria, a McKinsey & Co.,
junto com a Uniform Grocery Product Code Council
1
deniu um
formato numrico para identicar produtos e pediu a diversas com-
panhias que elaborassem um cdigo adequado. Dentre as rmas con-
tactadas, a que acabou apresentando a proposta vencedora foi a IBM
e o cdigo foi criado por George J. Laurer.
2
Figura 9.7: George J. Laurer
O cdigo proposto, formalmente aceito em maio de 1973, passou a
1
A palavra Grocery em ingls, equivale aproximadamente a nossa expresso
secos e molhados.
2
Estes dados, bem como a foto do autor, foram obtidos no site do prprio
Laurer, que diz ter tido a colaborao de outras duas pessoas, mas no cita os
nomes. O endereo do site :
http://www.bellsouthpwp.net/l/a/laurergj/upc_work.html
principal1
2009/8/19
page 147
Estilo OBMEP
147
ser conhecido como cdigo UPC (Universal Product Code) e foi ado-
tado nos Estados Unidos e Canad. Ele consistia de uma sequncia
de 12 dgitos, traduzidos para barras da forma que analizaremos de-
talhadamente no prximo captulo. Existem vrias verses sucessivas
do UPC, com pequenas modicaes. Posteriormente foi solicitado a
Laurer que ampliasse o cdigo, para permitir uma maior difuso do
sistema, de modo a identicar tambm o pas de origem de cada pro-
duto classicado. Baseado no UPC-A, ele acabou criando um novo
cdigo, com 13 dgitos, que foi adotado em dezembro de 1976 com
o nome EAN (European Article Numbering system). Alguns pases
adotam este mesmo sistema, dando-lhe outro nome. Por exemplo, no
Japo o sistema conhecido como JAN (Japanese Article Numbering
system).
principal1
2009/8/19
page 148
Estilo OBMEP
principal1
2009/8/19
page 149
Estilo OBMEP
Captulo 10
Cdigos de Barras
10.1 Escrevendo com Barras
Vamos estudar inicialmente o cdigo UPC, que mais simples.
Se observamos o cdigo de barras da Figura 10.1, notamos imediata-
mente que ele formado por listras brancas e pretas alternadas, de
espessura varivel. H, na verdade, quatro espessuras possveis para
essas listras, que podem ser classicadas como nas, mdias, grossas
ou muito grossas.
Figura 10.1: Cdigo UPC
149
principal1
2009/8/19
page 150
Estilo OBMEP
150 CAP. 10: CDIGOS DE BARRAS
Vamos utilizar o smbolo 0 para indicar uma listra branca na, o
smbolo 00 para uma listra branca mdia, 000 para uma listra branca
grossa e 0000 para uma listra muito grossa. Da mesma forma, vamos
representar por 1, 11, 111 e 1111, uma listra preta na, mdia, grossa
ou muito grossa, respectivamente.
Assim, as primeiras quatro listras da gura (sem contar, claro as
listras que servem de limite e que aparecem mais compridas na gura),
que so uma listra branca grossa, uma preta mdia, uma branca na
e uma preta na respectivamente, podem ser representadas pela se-
quncia 0001101.
Como j dissemos, o cdigo de barras representa uma srie de
nmeros. A cada nmero lhe assignado um espao de espessura xa,
que corresponde sempre a uma sequncia de sete dgitos iguais a 1 ou
0. Por exemplo, a sequncia 0001101 que achamos acima representa
o nmero 0, o primeiro do cdigo da gura. O seguinte nmero do
cdigo, o 7, representado pela sequncia 0111011.
Agora que comeamos a compreender a forma de escrever com
barras, j podemos responder primeira das nossas perguntas: como
a leitora distingue direita da esquerda, quando o artigo pode ser
passado em uma ou outra direo?
A resposta muito engenhosa e tambm bastante simples. Os
dgitos so codicados de maneira diferente quando esto do lado
direito ou do esquerdo do cdigo de barras. Isto feito conforme a
seguinte tabela:
principal1
2009/8/19
page 151
Estilo OBMEP
SEC. 10.1: ESCREVENDO COM BARRAS 151
dgito do lado esquerdo do lado direito
0 0001101 1110010
1 0011001 1100110
2 0010011 1101100
3 0111101 1000010
4 0100011 1011100
5 0110001 1001110
6 0101111 1010000
7 0111011 1000100
8 0110111 1001000
9 0001011 1110100
Note que a codicao de um dado nmero, direita, se obtm da
sua codicao esquerda, trocando cada 0 por 1 e reciprocamente.
Agora, o mecanismo de reconhecimento ca claro se notamos que
cada sequncia do lado esquerdo tem um nmero mpar de dgitos
iguais a 1 e, consequentemente, cada uma das que esto direita tem
um nmero par. Assim, vericando a paridade de cada sequncia de
sete dgitos, a mquina sabe imediatamente de que lado est lendo
o cdigo.
A elaborao do cdigo EAN se deparou com um problema bas-
tante delicado. Era necessrio adicionar um dgito cada cdigo, de
modo a permitir a identicao do pas de origem do produto, mas
se desejava fazer isto de uma forma tal que a mesma mquina leitora
pudesse ler indistintamente cdigos UPC e EAN.
Se observamos a gura a seguir, que representa o mesmo cdigo
numrico escrito em ambos sistemas, veremos que, a primeira vista,
parecem diferentes pois, no nmero escrito para o leitor humano, ve-
mos que h um 0 a mais, escrito no incio da sequncia. Porm, se
principal1
2009/8/19
page 152
Estilo OBMEP
observamos o cdigo de barras, vemos que exatamente o mesmo.
Figura 10.2: Os cdigos UPC-A e EAN-13
O que foi feito o seguinte. Os pases que utilizavam o cdigo
UPC antigo, EUA e Canad, so identicados com um 0, na frente,
e o resto da codicao feita utilizando-se o sistema anterior.
Para outros pases, os primeiros dois ou trs dgitos, identicam o
pas. Por exemplo, o cdigo de barras de todos os produtos produzidos
no Brasil comea com a sequncia 789, que a que identica o pas.
1
Como era necessrio adicionar um dgito e tambm manter o mesmo
padro de tamanho do cdigo de barras, para no ter que modicar
todas as leitoras, a ideia utilizada foi fazer com que o novo dgito
estivesse implcito na forma de escrita de todos os outros. Para isso,
no foi modicada a codicao do lado direito (permitindo assim que
as leitoras continuassem a identicar o lado correspondente) mas a
codicao do lado esquerdo varia, dependendo do dgito inicial .
1
Uma tabela completa, com os nmeros identicatrios de cada pas, pode ser
encontrada na pgina internet http://www.barcodeisland.com/ean13.phtml
principal1
2009/8/19
page 153
Estilo OBMEP
SEC. 10.1: ESCREVENDO COM BARRAS 153
Um dgito do lado esquerdo pode ser agora codicado com um
nmero par ou mpar de dgitos iguais a 1, de acordo com a seguinte
tabela:
dgito lado esquerdo mpar lado esquerdo par lado direito
0 0001101 0100111 1110010
1 0011001 0110011 1100110
2 0010011 0011011 1101100
3 0111101 0100001 1000010
4 0100011 0011101 1011100
5 0110001 0111001 1001110
6 0101111 0000101 1010000
7 0111011 0010001 1000100
8 0110111 0001001 1001000
9 0001011 0010111 1110100
Finalmente, para cada dgito inicial escolhe-se uma alternncia
diferente de pares e mpares de acordo com o seguinte critrio:
Dgito inicial 1
o
2
o
3
o
4
o
5
o
6
o
0 mpar mpar mpar mpar mpar mpar
1 mpar mpar par mpar par par
2 mpar mpar par par mpar par
3 mpar mpar par par par mpar
4 mpar par mpar mpar par par
5 mpar par par mpar mpar par
6 mpar par par par mpar mpar
7 mpar par mpar par mpar par
8 mpar par mpar par par mpar
9 mpar par par mpar par mpar
principal1
2009/8/19
page 154
Estilo OBMEP
Vamos ver um exemplo. Uma barra de cereais produzida no Brasil
identicada pelo cdigo 7895000266241. Como corresponde, comea
com a sequncia 789, de modo que o primeiro dgito, que estar im-
plcito na codicao dos demais, sete. Consequentemene, deve-se
usar, do lado esquerdo, a seguinte ordem de codicao (obtida na
tabela acima):
mpar, par, mpar, par, mpar, par.
Consultando ento a tabela de codicao do EAN-13 obtemos:
8 0110111 9 0010111 5 0110001
0 0100111 0 0001101 0 0100111
Para os dgitos do lado direito no temos que nos preocupar com
paridade, e obtemos, diretamente da tabela, a seguinte codicao:
2 1101100 6 1010000 6 1010000
2 1101100 4 1011100 1 1100110
Por tanto, o cdigo de barras correspondente :
Figura 10.3:
principal1
2009/8/19
page 155
Estilo OBMEP
SEC. 10.2: A DETECO DE ERROS 155
Um ltimo comentrio respeito deste cdigo. Como j dissemos,
os primeiros dois ou trs dgitos do cdigo de barras (dependendo do
caso) servem para identicar o pas de origem do produto. Os cinco
ou quatro dgitos que restam, at as barras centrais, identicam o
fabricante. Os primeiros cinco dgitos do lado direito identicam o
produto especco, desse fabricante. O ltimo dgito, chamado dgito
de vericao, adicionado no nal do processo de elaborao do
cdigo, de acordo com um mtodo que veremos adiante.
Falta ainda responder a nossa segunda pergunta: como faz a
mquina para detectar quando um operador apressado comete um
erro de digitao? Isto ser o assunto da nossa prxima seo.
10.2 A Deteco de Erros
Para compreender como funciona o processo de deteco de erros
precisamos entender, inicialmente, como se atribui a cada produto, o
dgito de vericao.
Suponhamos que um determinado produto est identicado, no
sistema EAN-13, por uma dada sequncia de dgitos a
1
a
2
. . . a
12
a
13
.
Como os primeiros dgitos identicam o pas de origem, o fabricante
e o produto especco, os primeiros doze dgitos da sequncia, es-
to determinados naturalmente, por um mtodo-padro, a cargo de
uma autoridade classicadora em cada pas. Denotaremos o dcimo
terceiro dgito, de vericao, por x.
Para facilitar nossa exposio, vamos escrever esta sequncia como
um vetor
= (a
1
, a
2
, . . . , a
11
, a
12
, x).
principal1
2009/8/19
page 156
Estilo OBMEP
O sistema EAN-13, se utiliza de um vetor xo, que chamaremos,
vetor de pesos que :
w = (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1).
Calcula-se, ento o produto escalar de ambos vetores:
= (a
1
, . . . , a
12
, x) (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1) =
= a
1
+3a
2
+a
3
+3a
4
+a
5
+3a
6
+a
7
+3a
8
+a
9
+3a
10
+a
11
+3a
12
+x.
Agora, o dgito de vericao x se escolhe de forma tal que a soma
acima seja mltiplo de 10, isto , tal que
= 0 (mod 10).
Por exemplo, no caso do cdigo da Figura 10.3, os nmeros que
indicam o pas de origem, o fabricante e o produto so 789500026624.
Vamos ver como foi determinado o dgito de vericao. Chamando
este dgito de x e fazendo o produto escalar com o vetor de pesos,
temos:
7+(38)+9+(35)+0+(30)+0+(32)+6+(36)+2+(34)+x =
= 99 +x.
Consequentemente, deve-se tomar x = 1.
Vejamos agora um exemplo de como funciona a deteco de erros.
Um livro do autor [14] recebeu o cdigo de barras 9781402002380. Su-
ponhamos que, por um erro de digitao no quarto dgito, este nmero
transmitido como = 9782402002380. Ao fazer a vericao de
leitura, o computador que recebeu a informao faz a operao
principal1
2009/8/19
page 157
Estilo OBMEP
e obtm:
9+(37)+8+(32)+4+(30)+2+(30)+0+(32)+3+(38)+0 = 73.
Como o resultado no um mltiplo de 10, o computador avisa
que foi cometido algum erro.
O cdigo UPC muito semelhante. Como utiliza apenas 12 dgi-
tos (pois usa apenas um para identicar o pas de origem do artigo,
enquanto o EAN utiliza-se de dois), e o vetor de pesos utilizado pelo
UPC tambm tem um dgito a menos; ele :
= (3, 1, 3, 1, 3, , 1, 3, 1, 3, 1, 3, 1).
O leitor notar que, se o digitador comete apenas UM erro de
digitao, trocando um dos dgitos a
i
por um outro valor, ento
necessariamente o produto no ser congruente a 0 em mdulo
10 e assim ser possvel detectar que o erro foi cometido. Se mais de
um erro for cometido na digitao, o fato provavelmente ainda ser
detectado, mas j no podemos ter certeza, pois eles poderiam se
compensar mutuamente e a soma poderia ainda continuar sendo
um mltiplo de 10.
O leitor pode-se perguntar qual a funo do vetor de pesos . De
fato, se a escolha do dgito de vericao x fosse feita simplesmente
de modo que
a
1
+a
2
+ +a
12
+x 0 (mod 10),
ainda assim UM erro de digitao seria detectado. Acontece que h
um outro tipo de erro de digitao muito comum, que consiste em
digitar todos os nmeros corretamente, mas trocar a ordem de dois
principal1
2009/8/19
page 158
Estilo OBMEP
dgitos consecutivos.
Suponha que, ao digitar o nmero 9 788531 404580 do nosso
primeiro exemplo, tenha se cometido esse tipo de erro, e que o nmero
de fato digitado fosse 9 788351 404580. Ao efetuar a vericao
ter-se-ia:
(9, 7, 8, 8, 5, 3, 1, 4, 0, 4, 5, 8, 0)(1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1) =
= 9 + 21 + 8 + 24 + 3 + 15 + 1 + 12 + 12 + 5 + 24
= 134 , 0 (mod 10).
Desta forma, o erro seria detectado.
Suponha agora que, ao digitar o nmero 9 781402 002380 do
nosso segundo exemplo, tenha se cometido um erro desse mesmo
tipo, e que o nmero de fato digitado fosse 9 781402 002830. Ao
efetuar a vericao ter-se-ia:
(9, 7, 8, 1, 4, 0, 2, 0, 0, 2, 8, 3, 0) (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1) =
= 9 + 21 + 8 + 3 + 4 + 2 + 6 + 3 + 24
= 80 0 (mod 10).
Este exemplo mostra que o sistema de deteco adotado acima
no tem a capacidade de detectar todo erro de transposio cometido.
fcil ver que a transposio de dois dgitos consecutivos a
i
e a
i+1
no detectada, neste sistema de codicao, se, e somente se,
[a
i
a
i+1
[ = 5 (veja a atividade 4).
principal1
2009/8/19
page 159
Estilo OBMEP
Atividades
1) (i) Um determinado produto deve ser identicado, no cdigo
UPC pelo nmero 7 897595 90071. Determine o dgito de
segurana correspondente.
(ii) Faa o mesmo para um produto cujo nmero 7 894900
01152.
2) Vamos denir um sistema de deteco de erros da seguinte
maneira. A cada nmero de 12 dgitos a
0
. . . a
11
vamos asignar
um dgito de vericao a
12
de forma tal que
12
i=0
a
i
0 (mod 10).
(i) Achar o dgito de vericao que deve se adicionar ao nmero
723443501297.
(ii) Provar que toda vez que apenas um nmero alterado na
digitao, este sistema capaz de detectar o erro.
(iii) Mostrar que este sistema no capaz de detectar qualquer
erro de transposio.
3) Ns armamos no texto que se apenas um erro de digitao for
cometido, alterando um dos dgitos a
i
para um outro valor b
i
,
ento o sistema UPC sempre ser capaz de detectar o erro. D
uma demonstrao cuidadosa deste fato.
principal1
2009/8/19
page 160
Estilo OBMEP
4) (i) Mostrar que uma transposio adjacente; isto , um erro do
tipo
. . . a
i
a
i+1
. . . . . . a
i+1
a
i
. . .
detectada pelo sistema EAN-13 se, e somente se,
[a
i
a
i+1
[ , = 5. (Sugesto: note que [w
i
w
i+1
[ = 2).
(ii) Mostre que um erro de transposio no adjacente do tipo
. . . a
i
a
i+1
a
i+2
. . . . . . a
i+2
a
i+1
a
i
. . .
no pode ser detectado pelo sistema EAN-13.
(iii) Mostrar que um erro de transposio em que dois dgitos no
adjacentes a
i
e a
j
so trocados no pode ser detectado pelo
sistema se a diferena i j par.
(iv) Mostrar que, num erro como o descrito no item anterior, se a
diferena i j mpar, ento o erro pode ser detectado pelo
sistema EAN-13 se, e somente se, [a
i
a
j
[ ,= 5.
10.3 Outros Cdigos Numricos
Como observamos na seo anterior, existem diversos tipos de er-
ros que podem ser cometidos ao digitar um vetor de identicao.
Os erros num nico dgito e as transposies so, de longe, os mais
frequentes. Autores como D.F. Beckley [1] e J. Verhoe [16] in-
vestigaram sistematicamente os erros cometidos por operadores hu-
manos. No quadro abaixo damos as frequncias relativas obtidas por
Verhoe, que citamos abreviando quadro publicado por H.H. Schulz
[15] e tambm por G.B. Belyavskaya, V.I. Izbash e V.A. Shcherbacov
[2].
principal1
2009/8/19
page 161
Estilo OBMEP
SEC. 10.3: OUTROS CDIGOS NUMRICOS 161
Tipo de erro Frequncia relativa %
erro nico . . . a . . . . . . b . . . 79
transposio adjacente . . . ab . . . . . . ba. . . 10.2
transposio alterna . . . abc. . . . . . cba. . . 0.8
erro gmeo . . . aa. . . . . . bb. . . 0.6
erro gmeo alternado . . . aba. . . . . . cbc . . . 0.3
outros 9.1
Tabela 10.1: Tipos de erros e suas frequncias segundo Verhoe
Para descrever vrios dos mtodos existentes, vamos introduzir
um pouco de linguagem geral. Denotaremos por / o conjunto de
valores que podem assumir os dgitos utilizados na codicao. Por
exemplo, no caso do cdigo UPC da seo anterior, esse conjunto
/ = x Z [ 0 x m1.
O vetor com os dados
= (a
1
, . . . a
n1
) ser chamado de vetor
de informao e o vetor, j acrescido do dgito de vericao ser
chamado de nmero ou vetor de indenticao.
Denio 10.1. Sejam = (w
1
, . . . w
n
), com w
i
/, 1 i n
um vetor de pesos e c / um inteiro xado. Dados dois inteiros
positivos m e n e um conjunto de nmeros a
1
, . . . a
n1
tais que a
i
/,
1 i n 1, dene-se o nmero de vericao a
n
como o nico
elemento de / que verica a equao:
n
i=1
a
i
w
i
c (mod m).
Um sistema de codicao assim denido ser denotado por
( = (/, m, n, c, ).
Note que frequentemente / = 0, 1, . . . , m 1. Neste caso,
tomando classes mdulo m, temos que a
n
o nico elemento de /
principal1
2009/8/19
page 162
Estilo OBMEP
que verica:
a
n
= w
1
n
_
c
n1
i=1
a
i
w
i
_
.
Exemplo 10.3.1.
Um sistema usado em alguns bancos (mas no todos) o seguinte:
o nmero de conta de um cliente composto de 9 dgitos, sendo que
o ltimo o dgito de vericao. Na nossa notao, o sistema pode
ser descrito como ( = (/, 10, 2, 0, ) onde / o conjunto dos dgitos
de 0 a 9 e = (7, 3, 9, 7, 3, 9, 7, 3, 9). Por exemplo, o nmero de uma
conta num certo banco 95-005541-9. Podemos vericar que
(9, 5, 0, 0, 5, 5, 4, 1, 9) (7, 3, 9, 7, 3, 9, 7, 3, 9) =
= 63 + 15 + 15 + 45 + 28 + 3 + 81
= 250 10 (mod 10).
Nosso prximo Teorema descreve a capacidade que tem um sis-
tema denido desta forma, para detectar os diversos tipos de erros
mais frequentes.
Teorema 10.2. (Capacidade de deteco) Sejam m um inteiro posi-
tivo e = (w
1
, . . . w
n
) um vetor de pesos. Suponhamos que um vetor
de identicao = (a
1
. . . , a
n
) (onde assumimos que 0 a
i
< m,
para todo ndice i, 1 i n) satisfaz a condio
= a
1
w
1
+ +a
n
w
n
c (mod m).
Ento:
1. Todo erro consistente numa nica alterao na posio i-sima
ser detectado se e somente se mdc(w
i
, m) = 1.
principal1
2009/8/19
page 163
Estilo OBMEP
2. Todo erro de transposio da forma
. . . a
i
. . . a
j
. . . . . . a
j
. . . a
i
. . .
ser detectado se e somente se mdc(w
i
w
j
, m) = 1.
Demonstrao. Suponhamos inicialmente que o dgito a
i
, na posio
i, foi trocado por um outro valor b
i
e vamos denotar por o vetor
resultante deste erro. claro que o erro no ser detectado se, e
somente se,
0 (mod m).
Mas = (a
i
b
i
)w
i
, de modo que o erro no ser
detectado se, e somente se, m [ (a
i
b
i
)w
i
0 (mod m) ou, se
denotamos por x a classe de um inteiro x em Z
m
, se, e somente se,
(a
i
b
i
)w
i
= 0 em Z
m
.
Se mdc(w
i
, m) = 1 tem-se que w
i
inversvel em Z
m
, donde a
condio acima implica que a
i
= b
i
, logo a
i
b
i
(mod m) e, como
ambos os nmeros so menores que m, isto s aconteceria se a
i
= b
i
.
Logo, o erro ser detectado.
Por outro lado, se mdc(w
i
, m) = d ,= 1, dado a
i
tem-se que
dentre os nmeros b
i
= a
i
+ m/d e b
i
= a
i
m/d, um deles
verica a condio 0 b
i
< m e o erro que substitui a
i
por esse
nmero no pode ser detectado. Isto completa a demonstrao de (i).
Suponhamos agora que foi cometido um erro do tipo
= . . . a
i
. . . a
j
. . .
= . . . a
j
. . . a
i
. . . .
principal1
2009/8/19
page 164
Estilo OBMEP
Note que, neste caso podemos calcular a diferena

= (a
i
w
i
+a
j
w
j
) (a
j
w
i
a
i
w
j
) = (a
i
a
j
)(w
i
w
j
).
Assim, este erro no ser detectado se, e somente se,
(a
i
a
j
)(w
i
w
j
) 0 (mod m).
Daqui em diante, o argumento inteiramente anlogo ao anterior.
A luz deste teorema, resulta claro que a melhor forma de ter
certeza que o sistema de codicao ser capaz de detectar todos
os erros nicos e todos os erros de transposio (contigua ou no)
tomar, para o valor do mdulo m, um nmero primo. De fato, existem
vrios sistemas em uso que procedem desta forma.
Exemplo 10.3.2.
Um sistema universalmente adotado para a classicao de livros
o ISBN (International Standard Book Number). Ele trabalha
mdulo 11, mas para facilitar a notao, utiliza tambm como con-
junto de valores / os dgitos de 0 a 9 e os vetores de identicao
tem 10 componentes. Ele pode ser descrito, na nossa notao, por
(/, 11, 10, 0, ) com = (10, 9, 8, 7, 6, 5, 4, 3, 2, 1).
Por exemplo, o livro do autor [14] mencionado anteriormente tem
o nmero ISBN 1-4020-0238-6. O dgito nal, de vericao 6 porque
(1, 4, 0, 2, 0, 0, 2, 3, 8, 6) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) =
= 10 + 36 + 14 + 8 + 9 + 16 + 6
= 99 0 (mod 11).
principal1
2009/8/19
page 165
Estilo OBMEP
Este mtodo, porm, tem um pequeno inconveniente, que se com-
preender melhor analizando mais um exemplo. Um conhecido livro
de lgebra [13] tem como vetor de informao de seu cdigo ISBN o
nmero 0-387-96035. Vamos tentar determinar o dgito de vericao.
Ele ser um nmero a / tal que
(0, 3, 8, 7, 9, 6, 0, 3, 5, a) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) 0 (mod 11).
Efetuando as operaes necessrias, obtemos que
243 +a 0 (mod 11)
ou
a 243 (mod 11).
Como 243 1 (mod 11) e 1 10 (mod 11) temos que a = 10.
Porm, no conjunto dos dgitos de 0 a 9, no temos nenhum que
represente o nmero 10. Devemos introduzir ento mais um sm-
bolo para representar este nmero. A conveno usual utilizar o
smbolo X e assim, o cdigo ISBN que aparece neste livro ISBN
0-387-96035-X.
Finalmente observamos que, se tomamos o nmero m de modo
que seja primo e o conjunto / formado por inteiros menores do que
m como em todos os exemplos acima como cada componente w
i
do vetor de pesos prima com m, resulta que multiplicar por w
i
, em
mdulo m, equivale a denir uma permutao do conjunto / (isto ,
uma bijeo de / em si mesmo). Isto sugere um mtodo mais geral
de denir o vetor de pesos.
Dado um vetor de informao
= (a
1
, . . . , a
n1
) podemos es-
colher n permutaes
1
, . . .
n
do conjunto /, denir um vetor de
pesos por = (
1
, . . . ,
n
), xar um nmero c / e escolher o dgito
principal1
2009/8/19
page 166
Estilo OBMEP
de vericao a
n
de modo que verique a equao:
() =
1
(a
1
) +
n
(a
n
) c (mod m).
Neste caso, o dgito de vericao ca denido por:
a
n
=
1
n
_
c
n1
i=1
i
(a
i
)
_
.
Este tipo de codicao tambm usada na prtica, como mostrado
a seguir.
Exemplo 10.3.3.
Um cdigo usado pela IBM utiliza como conjunto / os dgitos de
0 a 9; o valores m = 10, um valor qualquer c / e a permutao
=
_
0 1 2 3 4 5 6 7 8 9
0 2 4 6 8 1 3 5 7 9
_
.
No caso de um vetor de identicao com um nmero mpar de
componentes n, se utiliza o vetor de pesos
= (I, , I, , . . . , , I).
Assim, a equao de vericao resulta:
a
n
+(a
n1
) +a
n2
+(a
n3
) c (mod 10)
e o dgito de vericao dado pela frmula:
a
n
c ((a
n1
) a
n2
(a
n3
) ) (mod 10).
principal1
2009/8/19
page 167
Estilo OBMEP
No caso em que o nmero de componentes do vetor de identicao
par utiliza-se o vetor de pesos
= (, I, , I, . . . , , I),
e resulta uma equao de vericao anloga, com uma frmula simi-
lar para o clculo do dgito de vericao.
Este o sistema utilizado para determinar os nmeros nos cartes
de crdito. Por exemplo, um determinado carto tem o nmero 5745
5195 0431 5412. Vamos a aplicar a ele o sistema de vericao IBM:
5 7 4 5 5 1 9 5 0 4 3 1 5 4 1 2
I I I I I I I I
1 7 8 7 1 1 9 1 0 4 6 1 1 9 2 2
Agora, calculamos:
1+7+8+7+1+1+9+1+0+4+6+1+1+9+2+2 = 60 0 (mod 10)
Note que esta codicao permite detectar todo erro nico de digi-
tao e toda transposio adjacente exceto no caso em que a
i
e a
j
assumem os valores 0 e 9 ou 9 e 0 respectivamente (veja a atividade
3). Observe, porm, que este sistema no detecta transposies do
tipo
. . . a
i
. . . a
j
. . . . . . a
j
. . . a
i
. . .
quando a diferena i j par e tambm no permite detectar erros
gmeos.
O cdigo IBM generalizado utiliza a mesma permutao, com o
vetor de pesos:
= (
n1
,
n2
, . . . , ,
0
)
principal1
2009/8/19
page 168
Estilo OBMEP
onde
0
= I. A equao ento:
n
i=1
i1
(a
n+1i
) c (mod 10)
e
a
n
c
n
i=2
i1
(a
n+1i
) (mod 10).
Este sistema detecta todo erro nico de digitao, toda trans-
posio, adjacente ou no, (exceto no caso j apontado, quando os
dgitos envolvidos so 0 e 9) e todo erro gmeo.
Vimos acima que o cdigo ISBN detecta todo erro nico de digi-
tao e todo erro de transposio. natural se perguntar, ento, se
existe um cdigo com essa capacidade de deteco, trabalhando na
base 10. Infelizmente, a resposta negativa, como mostra o seguinte
teorema.
Teorema 10.3. (Gumm [10]) Se um sistema numrico de deteco
de erros, com um mdulo par, detecta todo erro nico de digitao,
ento, para todo par de ndices i, j existe um erro de transposio
entre as posies i e j que no detectada pelo sistema.
Demonstrao. Como vamos trabalhar com os nmeros de 0 a 2m1
e tomar congruncias em mdulo 2m, vamos considerar nossos dgi-
tos como elementos de Z
2m
, para simplicar nossos argumentos. Su-
ponhamos que o sistema transforma o vetor (a
1
, . . . , a
n
) num outro
vetor, que denotaremos por (
1
(a
1
), . . . ,
n
(a
n
)). Claramente, se o
sistema capaz de detectar todo erro nico de digitao, ento a
aplicao na posio i-sima x
i
(x) deve ser uma permutao de
Z
2m
.
Para que o sistema detecte todo erro de transposio entre as
posies i e j necessrio que
i
(a) +
j
(b) ,=
j
(a) +
i
(b), todo par
principal1
2009/8/19
page 169
Estilo OBMEP
de elementos diferentes a, b Z
2m
. Isto equivalente a dizer que a
aplicao =
i
j
uma permutao Z
2m
.
Mas m [0, 2m1] e temos que
0+1+2+ +2m1 =
(2m1) 2m
2
= 2mmm m (mod 2m),
ou seja,
0 + 1 + + 2m1 = m em Z
2m
.
Logo:
m =
xZ
2m
x =
xZ
2m
(x)
=
xZ
2m
(
i
(x)
j
(x)) =
xZ
2m
i
(x)
xZ
2m
j
(x)
= mm = 0, em Z
2m
.
uma contradio.
Atividades
1) Calcular o dgito de vericao para um livro cujo nmero ISBN
tem, como vetor de informao o nmero 85-314-0458.
2) Use o sistema do exemplo 10.3.1 para determinar o dgito de veri-
cao do nmero 13-010765.
3) Demonstre que o cdigo IBM e o cdigo IBM generalizado
tem a capacidade de deteco de erros mencionada no texto.
(Sugesto: Para discutir erros de transposio adjacente, note
que (x) = 2x, se x [0, 4] e que d(x) = 2x 9 se x [5, 9]. Con-
sidere separadamente trs casos: (i) a, b [0, 4], (ii) a, b [5, 9] e
principal1
2009/8/19
page 170
Estilo OBMEP
(iii) a [0, 4], b [5, 9] ou vice-versa. Mostre que nos casos (i) e
(ii) o erro sempre detectado e que, no caso (iii) o erro s no
detectado se a = 0 e b = 9 ou a = 9 e b = 0.
4) Mostre que no cdigo UPC podem ocorrer 90 erros de transposio
adjacente e que o cdigo capaz de detectar todos eles, exceto
quando os pares de nmeros adjacentes so 05, 16, 27, 38, 49 ou
aqueles que se obtm invertindo estes.
principal1
2009/8/19
page 171
Estilo OBMEP
Captulo 11
Cdigos Sobre Grupos
11.1 O Grupo Dihedral
Na seo anterior apresentamos diversos mtodos de detectar erros
usando um dgito de vericao. Dentre estes, s o sistema ISBN para
livros era capaz de detectar todo erro nico de digitao e todo erro
de transposio. Ele tinha, porm, o inconveniente de precisar da
introduo de um dgito extra, para representar o nmero 10, que
denotamos por X.
Em 1969 Verhoe, na sua tese de doutoramento [16], desenvolveu
um mtodo simples, baseado no em clculos com nmeros inteiros,
mas com os elementos de um certo grupo, que tambm detecta erros
nicos de digitao e todos os erros de transposo adjacentes, sem
necessidade de smbolos extras. A exposio elementar deste mtodo
que damos a seguir aparece em [6] e num texto bsico de lgebra, do
mesmo autor [5, Captulo V].
Consideremos o grupo dihedral D
5
, que pode ser denido como
o grupo das isometrias do plano que deixam xo um pentgono regular
dado. Este grupo contm dez elementos. Cinco deles so rotaes: a
171
principal1
2009/8/19
page 172
Estilo OBMEP
172 CAP. 11: CDIGOS SOBRE GRUPOS
identidade R
0
, a rotao R
1
de ngulo 2/5 em sentido anti-horrio,
e as rotaes R
2
, R
3
e R
4
de ngulos 2(2/5), 3(2/5) e 4(2/5)
respectivamente. Contm ainda cinco reexes, em relao aos seus
eixos de simetria, que passam por cada um dos vrtices e o ponto
mdio do lado oposto: S
6
, S
7
, S
8
, S
9
e S
10
.
Figura 11.1: Simetrias do pentgono
Vamos usar simplesmente os subndices 0, 1, 2, 3, 4 para designar as
rotaes correspondentes e os subndices 5, 6, 7, 8, 9 para as respectivas
reexes.
Assim, por exemplo, a composio das rotaes R
3
e R
4
seria a
rotao de ngulo 3(2/5) + 4(2/5) = 7(2/5) = 2(2/5); isto , a
rotao R
2
. Em vez de escrever ento que R
3
R
4
= R
2
escreveremos
simplesmente que 3 4 = 2.
Da mesma forma, como a composio S
6
S
5
= R
1
(lembre que,
como se trata de composio de funes, aplicamos primeiro S
1
e
depois S
2
) escrevemos 6 5 = 1. Por outro lado, fcil vericar que
S
5
S
6
= R
0
donde escrevemos 6 5 = 0.
principal1
2009/8/19
page 173
Estilo OBMEP
SEC. 11.1: O GRUPO DIHEDRAL 173
Procedendo desta forma, obtemos a seguinte tabela de multipli-
cao para D
5
.
0 1 2 3 4 5 6 7 8 9
0 0 1 2 3 4 5 6 7 8 9
1 1 2 3 4 0 6 7 8 9 5
2 2 3 4 0 1 7 8 9 5 6
3 3 4 0 1 2 8 9 5 6 7
4 4 0 1 2 3 9 5 6 7 8
5 5 9 8 7 6 0 4 3 2 1
6 6 5 9 8 7 1 0 4 3 2
7 7 6 5 9 8 2 1 0 4 3
8 8 7 6 5 9 3 2 1 0 4
9 9 8 7 6 5 4 3 2 1 0
Tabela 11.1: A tabela de multiplicao do grupo D
5
Consideremos a permutao:
=
_
0 1 2 3 4 5 6 7 8 9
1 5 7 6 2 8 3 0 9 4
_
.
A ideia de Verhoe consiste em transformar um vetor de informao
(a
1
, . . . , a
n1
) num vetor de codicao, adicionando um dgito de
vericao a
n
de forma tal que
(a
1
)
2
(a
2
)
n1
(a
n1
) a
n
= 0 em D
5
.
Note que uma permutao de D
5
. Ela foi escolhida para desen-
volver este sistema porque pode-se vericar diretamente que
a (b) ,= b (a) para todo a, b D
5
. (11.1)
Logo abaixo veremos a importncia deste fato.
principal1
2009/8/19
page 174
Estilo OBMEP
Como
i
tambm uma permutao de D
5
, para todo inteiro
positivo i, resulta claro que este sistema de codicao detecta todo
erro nico de digitao.
Note que um erro de transposio adjacente
. . . a
i
a
i+1
. . . . . . a
i+1
a
i
. . . ser detectado se, e somente se,
i
(a
i
)
i+1
(a
i+1
) ,=
i
(a
i+1
s
i+1
(a
i
). Mas, vimos na equao 11.1
que a (b) ,= b (a) para todo a, b D
5
o que implica, aplicando a
permutao
i
a ambos os membros desta equao, que
i
(a)
i+1
(b) ,=
i
(b)
i+1
(a) para todo a, b D
5
como queramos demonstrar.
Uma variante do mtodo de Verhoe
1
foi usada pelo rgo
emissor de dinheiro da Alemanha, o Deutsche Bundesbank. As
notas de dinheiro so numeradas num cdigo alfanumrico; isto
, se utilizam tanto de letras quanto de nmeros. Na Figura 11.2
reproduzimos uma nota de 10 marcos (que j est fora de circulao
desde o advento da moeda unicada da Europa, o Euro).
Figura 11.2:
1
Citado por Gallian [7].
principal1
2009/8/19
page 175
Estilo OBMEP
O cdigo utilizado pelo banco segue uma variante do mtodo an-
terior. Eles numeram as notas usando os dgitos de 0 a 9 e tambm
dez letras: A, D, G, K, L, N, U, V e Z. Tambm se utiliza da tabela
da operao do grupo D
5
, mas ao invs de usar uma permutao e
suas potncias, utiliza dez permutaes diferentes. Para determin-
las damos, na tabela abaixo, em cada la i os valores da funo
i
.
Em outras palavras, na posio i, j est o valor de
i
(j).
0 1 2 3 4 5 6 7 8 9
1
1 5 7 6 2 8 3 0 9 4
2
5 8 0 3 7 9 6 1 4 2
3
8 9 1 6 0 4 3 5 2 7
4
9 4 5 3 1 2 6 8 7 0
5
4 2 8 6 5 7 3 9 0 1
6
2 7 9 3 8 0 6 4 1 5
7
7 0 4 6 9 1 3 2 5 8
8
0 1 2 3 4 5 6 7 8 9
9
1 5 7 6 2 8 3 0 9 4
10
5 8 0 3 7 9 6 1 4 2
Isto signica, por exemplo, que a permutao
5
:
5
=
_
0 1 2 3 4 5 6 7 8 9
4 2 8 6 5 7 3 9 0 1
_
.
O nmero de srie da nota da Figura 11.2 DU7124458G6. Vamos
vericar que esta uma numerao vlida. Para poder usar o mtodo
de Verhoe devemos trabalhar apenas com os dgitos de 0 a 9; por
causa disso, a cada letra das usadas pelo Deutch Bundesbank deve-se
lhe assignar um valor numrico. Isto feito de acordo com a seguinte
tabela.
A D G K L N S U Y Z
0 1 2 3 4 5 6 7 8 9
principal1
2009/8/19
page 176
Estilo OBMEP
Usando esta tabela, o nmero da nota em questo se transforma
em 17712445826. Aplicamos ento ordenadamente as permutaes
dadas:
1 7 7 1 2 4 4 5 8 2 6

1

2

3

4

5

6

7

8

9

10

5 1 5 4 8 8 9 5 9 0 6
Agora precisamos multiplicar estes nmeros, com ajuda da
tabela 11.1. Temos:
5 1 = 9, 9 5 = 4, 4 4 = 3,
3 8 = 6, 6 8 = 3, 3 9 = 7,
7 5 = 2, 2 9 = 6, 6 0 = 6,
e nalmente
6 6 = 0.
Este mtodo, porm, tem um inconveniente. Nos clculos, ele no
distingue entre uma letra e o nmero que lhe assignado. Assim por
exemplo, se a letra K for trocada pelo nmero 3, o sistema ser incapaz
de detectar o erro. O mesmo acontece se ocorre uma transposio de
3 e K, ou vice-versa. Para evitar este problema, poder-se-ia usar
o grupo D
18
, que tem 36 elementos (e portanto os vinte smbolos
usado no cdigo alfanumrico das notas corresponderiam a elementos
diferentes em D
5
), com uma permutao adequada. Sugestes nesse
sentido apareceram, por exemplo, em trabalhos de Winters, em 1990
[17] e de Gallian e Mullin, em 1995 [8].
Note que a equao 11.1 foi essencial para podermos mostrar que o
mtodo de Verhoe permite detectar erros de transposio adjacentes.
Isto justica a seguinte denio.
principal1
2009/8/19
page 177
Estilo OBMEP
Denio 11.1. Uma permutao de um grupo G diz-se uma apli-
cao antissimtrica se verica a seguinte condio:
x(y) ,= y(x), para todo par de elementos x, y G.
O grupo D
5
desempenha um papel importante na elaborao de
cdigos detectores de erros porque pode-se mostrar que ele o nico
grupo de ordem 10 que possui uma aplicao antissimtrica.
Como as transposies adjacentes se encontram entre os erros mais
comuns e como cdigos que detectam estes erros podem-se elaborar a
partir de grupos com aplicaes antissimtricas, houve vrios traba-
lhos que dedicaram especial ateno a este tipo de grupos.
No caso dos grupos abelianos, h um tipo de permutao que
tambm importante.
Denio 11.2. Uma permutao de um grupo G diz-se uma apli-
cao completa se a funo x x(x), para todo x G, uma
permutao de G.
Pode-se demonstrar que se G um grupo abeliano, ento G possui
uma aplicao antissimtrica se, e somente se, G possui uma aplicao
completa.
Um grupo abeliano de ordem 2m, com m mpar no possui apli-
caes completas [3]. Como consequncia imediata, temos que Um
grupo abeliano de ordem 2m, com m mpar no possui aplicaes an-
tissimtricas.
Outros resultados relativos a este tipo de aplicaes so os
seguintes:
Um grupo cclico admite uma aplicao antissimtrica se, e so-
mente se, de ordem mpar [15].
principal1
2009/8/19
page 178
Estilo OBMEP
Todo grupo solvel no abeliano admite uma aplicao antis-
simtrica [11].
Todo grupo simples, exceto Z
2
, admite uma aplicao antis-
simtrica [8].
Foi anunciado por Heiss que todo grupo nito no abeliano tam-
bm admite uma aplicao antissimtrica [12].
Para os grupos dihedrais, diversas classes de aplicaes antis-
simtricas foram achadas em [4] e [9]. Como vimos, isto implica que
estes grupos podem ser usados para construir cdigos que detectam
erros nicos de digitao ou transposies adjacentes. Porm, eles
no podem detectar outros erros frequentes, como mostra o seguinte
teorema, devido a Damm [3, Teorema 5].
Teorema 11.3. Seja m > 2 um inteiro mpar. No existe um sis-
tema de dgito de controle sobre D
m
que seja capaz de detectar todas
as transposies alternadas, todas os erros gmeos ou todos os erros
gmeos alternados.
Atividades
1) Determine todos os subgrupos cclicos de D
5
.
2) Ache o centro Z(D
5
) de D
5
e determine o quociente D
5
/Z(D
5
).
3) Determine a decomposio em produto de ciclos disjuntos e a pari-
dade da permutao do mtodo de Verhoe.
4) Determine o valor de x para que o nmero 3572498x seja um
nmero vlido no mtodo de Verhoe.
principal1
2009/8/19
page 179
Estilo OBMEP
5) Mostre que tomando a permutao = (1 4)(2 3)(5 8 6 9 7) no
mtodo de Verhoe, tambm possvel detectar todo erro nico
de digitao e toda transposio adjacente.
6) Determine o valor do dgito x para que o nmero AD377345654Kx
seja um nmero vlido para uma nota emitida pelo Deustche Bank.
7) Idem, para o nmero NZ357x29477L2.
8) (Gallian [5]) Seja = (1 2 4 8 7 5)(3 6). A cada nmero da
forma a
1
a
2
. . . a
n
(com n mpar) atribumos o dgito de controle
((a
1
) +a
2
+(a
3
) +a
4
+ +(a
n
)) (mod 10). Calcule o valor
do dgito de controle para o nmero 3125600196431. Prove que
este mtodo detecta todo erro nico de digitao. Determine
quais transposies adjacentes no podem ser detectadas por este
mtodo.
principal1
2009/8/19
page 180
Estilo OBMEP
principal1
2009/8/19
page 181
Estilo OBMEP
[1] BECKLEY, D.F. An optimum system with modulo 11. The
Computer Bulletim, n. 11, p. 213-215, 1967.
[2] BELYAVSKAYA, G.B.; IZBASH V.I.; MULLEN, G.L. Check
character systems over quasegroups and loops. Quasigroups and
related systems, n. 10, p. 1-28, 2003.
[3] DAMN, M. Check digit over groups and anti-symmetric
mappings. Archiv der Math., n. 75, p. 413-421, 2000.
[4] ECKER, A.; POCH, G. Check character systems. Computing,
n. 37, p. 277-301, 1986.
[5] GALLIAN, J.A. Contemporary Abstract Algebra, D.C. Heath and
Co., Lexington, 1990.
[6] GALLIAN, J.A. The Mathematics of Identication Numbers,
The College Math. J., v. 22, n. 3, p. 194-202, 1991.
[7] GALLIAN, J.A. Error detecting methods, ACM Computing
Surveys, v. 28, n. 3, p. 504-517, 1996.
[8] GALLIAN, J.A.; MULLIN, M. Groups with antisymmetric
mappings, Archiv der Math., n. 65, p. 273-280, 1995.
[9] GUMM, H.P. A new class of check-digit methods for arbitrary
number systems, IEEE Trans, Inf. Th., n. 31, p. 102-105, 1985.
181
principal1
2009/8/19
page 182
Estilo OBMEP
[10] GUMM, H.P. Encoding of numbers to detect typing errors, In-
ter. J. Applied Eng. Ed., n. 2, p. 61-65, 1986.
[11] HEISS, S. Anti-symmetric mappings for nite solvable groups,
Archiv der Math., n. 69, p. 445-454, 1997.
[12] HEISS, S. Anti-symmetric mappings for nite groups, preprint,
1999.
[13] LIDL, R.; PILZ, G. Applied Abstract Algebra. Undergraduate
Texts in Math. New York: , Springer Verlag, 1984.
[14] POLCINO MILIES, C.; SEHGAL, S.K. An introduction to
Group Rings, Kluwer Acad. Publ., Dordrecht, 2002.
[15] SCHULZ, R.H. On check digit systems using anti-symmetric
mappings. In Numbers, Information and Complexity, p. 295-310,
Dordrecht: Kluwer Acad. Publ., 2000.
[16] VERHOEFF, J. Error detecting decimal codes. Math. Centre
Tracts. Amsterdam: Mathematische Centrum, 1969.
[17] WINTERS, S. Error detecting codes using dihedral groups.
UMAP J., n. 11, p. 299-308, 1990.
H tambm muitas pginas na internet com informaes sobre o
assunto. Veja, por exemplo:
http://en.wikipedia.org./wiki/ENIAC
http://en.wikipedia.org/wiki/Harvard_Mark-I
principal1
2009/8/19
page 183
Estilo OBMEP
REFERNCIAS BIBLIOGRFICAS 183
http://en.wikipedia.org/wiki/Ada_Lovelace
http://www-etsi2.ugr.es/alumnos/mili/Harvard20I.htm
http://www.bellsouthpwp.net/l/a/laurergj/upc_work.html
http://www.barcodeisland.com/ean13.phtml
http://www.adams1.com/pub/russadam/barcode1.html

Apostila 6

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Apostila 6

Încărcat de

Drepturi de autor:

Formate disponibile

principal1

duas superfcies esfricas de centros distintos O e

, r r, seus respectivos raios,

um plano E perpendicular reta

num ponto H denido por

com O M H, onde M o ponto mdio do seg-

. Conclua a prova utilizando a atividade 3 para obter

5h. Admitindo-se que o raio da Terra mea

PH a linha do horizonte e m(XPH) a elevao de Polaris

S (aproximadamente a latitude de Belo

S. Suponha que o raio da Terra

(N ou S), ambas aproximadamente.

com esta perpendicular.

S, chamado Trpico de Capricrnio. Assim, no solstcio de

N chamado Crculo Polar rtico. Os pon-

S, e o Polo Sul ca ilumi-

N, chamado Trpico de Cncer.

em torno de seu eixo em 24 horas. Quantos

W, enquanto Braslia encontra-se no meridiano de longi-

W. Portanto, meio-dia em Braslia ocorrer um pouco depois

). Dessa forma, embora haja diferena

W. (Sugesto: A rea de um fuso pro-

de latitude sul. Note

. A calculadora mostrar aproxi-

de latitude norte re-

ao meio-dia no solstcio de junho, ou ainda, 95% da intensidade do

e, pela congruncia de ngulos correspondentes no paralelismo,

. Portanto, APB, que o ngulo de elevao

e, pela congruncia de ngulos correspondentes no paralelismo,

. Portanto, APB, que o ngulo de elevao

de latitude norte re-

ao meio-dia no solstcio de dezembro, ou ainda, 43% da intensidade

e, pela congruncia de ngulos correspondentes no paralelismo,

. Portanto, APB, que o ngulo de elevao

ao meio-dia no solstcio de dezembro, isto , 99% da intensidade do

So Jos, Costa Rica 10

N enquanto que no segundo a

E. Quando y < 0, assume um

enquanto que um ponto com latitude 40

E, respectivamente. O comprimento do arco menor do paralelo

OB| cos , onde <, > indica o produto in-

(t) da trajetria e consequentemente sua veloci-

(t)|dt, conclumos que

igual a a e uma outra circunferncia

e o toro gerado pela circunferncia OBA ao girar em torno da reta

2. Assim, a equao cartesiana da

2x. Seja Qo ponto de interseco

2). Se temos um cubo cuja aresta mede 1, para duplicar seu

2. Vemos portanto que a ordenada do ponto

, com a o comprimento do lado do

= k, com k a constante de proporcionali-

e podemos concluir que

por 2a e, em seguida, tomar o inverso

OA em trs partes iguais. 2

CD. Aplicando o teorema do ngulo externo ao trin-

S-ar putea să vă placă și