Apostila6 PDF

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 ortografia.

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-
fica 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 filas 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 codificao. 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 bibliogrficas teis para aqueles mais
curiosos que desejarem aprofundar seus conhecimentos sobre os as-
suntos. A leitura de um trabalho matemtico deve ser pausada e
refletida, 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-
fica 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
ficam 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 significado e sua necessidade e no se criando si-
tuaes, por vezes extremamente artificiais, 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 significativas da Matemtica invariavelmente exige do pro-
fessor certo conhecimento de alguma outra rea como, por exemplo,
Fsica, Biologia ou Geografia. Esse professor deve estar ciente que tal
3
principal1
2009/8/19
page 4
Estilo OBMEP
exigncia vai requerer dele um maior empenho e dedicao.

Por fim 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 60o !

Motivado por todas essas consideraes escrevemos o texto que
aqui se apresenta. Escolhemos como tema a geometria da esfera que
encontra na Geografia 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 geogrficos 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 justificado com o uso da trigonometria esfrica, tema
este que j no frequenta nossos livros didticos.
Enfim, 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 OBME
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 Geogrficas . . . . . . . . . . . . . . . 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
Referncias Bibliogrficas 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 geogrficos 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 geogrficas 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
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 Geografia.
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.
r
O P
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 significado utilizado. Um
comentrio anlogo vale para a palavra dimetro.
Neste texto a notao P Q representa o segmento de extremos P
e Q enquanto que PQ indica o seu comprimento.
Na figura anterior r o raio da superfcie esfrica, OP , OQ e OT
so raios, P Q e P T 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
N 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.
S
P E
Seja P um ponto qualquer de E, P distinto de T. Como E

perpendicular a OT temos que 4OP T um tringulo retngulo com
hipotenusa OP e catetos OT e P T . 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.
OO
R
T F
Sendo F o p da perpendicular ao plano E, traada a partir de O,

temos F 6= T , pois E no perpendicular a OT . Seja R o ponto da
principal1
2009/8/19
page 12
Estilo OBMEP

reta F T tal que T F R e F R = F T . Ento 4OF R = 4OF T
(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 figura 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.
S
E
r
O
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 definio 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.
O O
X F Y
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 4OF Y 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 4OF X

tem um ngulo reto em F e, pelo teorema de Pitgoras,
OF 2 + F X 2 = OX 2 = r2

e, portanto, F X = r2 OF 2 (note que r2 OF 2 > 0).

Logo X est na circunferncia de centro F e raio r2 OF 2 .
Provamos assim que a interseco E S est contida na circunferncia

de centro F e raio r2 OF 2 .
principal1
2009/8/19
page 14
Estilo OBMEP
Isso ainda no significa 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 r2 OF 2 . Novamente pelo teorema de Pitgoras,
OX 2 = OF 2 + F X 2
= OF 2 + r2 OF 2
= r2 .
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.
POLO NORTE
30
30
POLO SUL
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.
E
B
D A
C
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 figura 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 M B, C
ponto mdio de AB, AM = OM e AB = 5.
B
E
C M
A
O S
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
figuras 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 0 duas superfcies esfricas de centros distintos O e

O0 , respectivamente. Sendo r e r0 , r r, seus respectivos raios,
verifique que
S S 0 vazia OO0 > r + r0 ou OO0 < r r0
S S 0 um ponto OO0 = r + r0 ou OO0 = r r0
S S 0 uma circunferncia OO0 < r + r0 ou OO0 < r r0 .
Faa desenhos ilustrando todas estas possibilidades.
(Sugesto: Observe inicialmente que P S S P S e
P O2 P O02 = r2 r02 . A seguir, mostre que o conjunto dos
pontos P do espao que satisfazem P O2 P O02 = r2 r02

um plano E perpendicular reta OO0 num ponto H definido por
r2 r02
MH = com O M H, onde M o ponto mdio do seg-
2OO0
mento OO0 . 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.

5 3
6) 5, 60o e .
2
10) 0, 1, 2 ou infinitos 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 figura 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.
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.
ab
A razo = chama-se achatamento da Terra.
b
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 figura 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
N
Meridiano
Paralelo
Equador
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 Geografia 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
profissionais 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 Pacfico faz um ngulo de 87 530 com a vertical.
Utilize estes dados para estimar o raio da Terra em quilmetros.
Considere sen 87 530 = 0,99932.
principal1
2009/8/19
page 23
Estilo OBMEP
23
Linha do Horizonte
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 refletia 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 120 .
Raios
712? Solares
Alexandria
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 oficial que estava ao seu lado que determinasse a distn-
cia ao horizonte. O oficial pegou papel e lpis e, em poucos
instantes, deu uma resposta. No papel ele havia escrito a fr-
8
mula d = 5h. Admitindo-se que o raio da Terra mea
5
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
N SEC. 2.1: AS COORDENADAS GEOGRFICAS 25
4) Cerca de 19 km.
5) Cerca de 43 km.
2.1 As Coordenadas Geogrficas
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 geogrficas: 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 figura a seguir temos que = m(EOP ) a latitude de P
enquanto que = m(GM P ) 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
G ?
P ?: latitude de P
?: longitude de P
O ?
Equador
E
Greenwich
Atividades
1) Observando um globo terrestre ou um mapa apropriado estabelea

as coordenadas geogrficas 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) Verifique 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 afirmao pode ser interpretada da seguinte

maneira. A reta N S o eixo polar da Terra, a circunferncia C
contm um meridiano, E est no Equador, P o observador, a reta

P H a linha do horizonte e m(XP H) a elevao de Polaris

onde P X paralela a N S.
X
N H
O E
C
S
O fato acima equivale a dizer que m(EOP ) = m(XP H).

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/s2
(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?
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 = 2r2 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 geogrficas 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) rparalelo = rterra 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 figura abaixo temos x = rsen e, portanto, a rea A da

calota esfrica dada por
A = 2rh = 2r(r x) = 2r2 (1 sen ).
r ?
?
x h d
Sendo F a frao visvel temos
2r2 (1 sen ) 1 sen

F = 2
= .
4r 2
r 1 d
Por outro lado, como sen = segue que F = .
r+d 2r+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
N 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
Raios
NOITE DIA Solares
S
A
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 270 com esta perpendicular.
2327
Equador
Plano da rbita
terrestre
2327
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 figura 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.
N
Raios
Solares
Equador
S
21 de maro e 23 de setembro
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 ficando 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 ficando 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 figura 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 270 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.
N Circ. Polar rtico
Trp. de Cncer
Raios
Solares
Equador
Trp. de Capricrnio
S
Circ. Polar
21 de dezembro
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 330 N chamado Crculo Polar rtico. Os pon-
tos situados entre o Crculo Polar rtico e o Polo Norte ficam 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 330 S, e o Polo Sul fica 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 ficando cada vez menos ex-
posto aos raios solares, ao contrrio do Hemisfrio Norte. Assim, no
Hemisfrio Sul onde moramos, os dias vo ficando 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 270 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.
Circ. Polar rtico

Trp. de Cncer
Equador
Raios
Solares
Trp. de Capricrnio
Circ. Polar Antrtico
21 de junho
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 grfico 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.

7 2x
4) (b) h(x) = 12 + sen ( ).
3 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). Afinal, 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
N 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 oficial. 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 oficial.
Conforme mostra a figura 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 geogrfico a situao da hora oficial 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, modificado 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
2r2
1) onde r o raio da Terra.
3
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.
?: ngulo de elevao do
Raios O Sol em P
Solares
?
P
41
principal1
2009/8/19
page 42
Estilo OBMEP
42 CAP. 3: O NGULO DE ELEVAO DO SOL E DA ENERGIA SOLAR
Na figura 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 definida 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 quantificar 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
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 figura 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.
A
B B
C
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 figura 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 sen 90 = 1 e a intensidade relativa da
luz solar 1 ou, em porcentagem, 100%. Como sen 80 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 fim 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
N 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 figura abaixo, a reta P B 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 ) = 30o temos
m(AP C) = 30o (so ngulos correspondentes no contexto de re-

tas paralelas note que AP e BO so paralelas aos raios solares).
Logo m(AP B) = 60o uma vez que BP C 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 sen 60o . Uma calculadora mostrar aproximadamente
0,8660,
Trp. de Cncer
Equador B E O Equador
30
A 60
A
P
Trp. de Capricrnio C
S
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 sen 40 . 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 8o S
Cuiab, Brasil 16o S
So Paulo, Brasil 23o S
Melbourne, Austrlia 38o S
Quito, Equador 0o S
Miami, EUA 26o N
Madri, Espanha 41o N
Oslo, Noruega 60o N
Barrow, Alaska 71o N
principal1
2009/8/19
page 47
Estilo OBMEP
N 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 300 de latitude norte.
N
Trp. de Cncer
Equador
2330?
7230?
Trp. de Cncer Trp. de Cncer
C
P Equador Equador
A
B D
B D O O
E
E 1730?
3630? 5330?
A P
C
A ilustrao da esquerda na figura acima mostra o ngulo de ele-
vao do Sol em Cleveland (EUA) localizada a 41 de latitude norte.

A reta P B 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(AP C) = m(BOP )
= m(EOP ) m(EOB)
= 41 23 300
= 17 300 .
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 300 = 72 300 .
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 300 ao
meio-dia solar. Para obter a intensidade relativa da radiao solar
que atinge Cleveland nesta hora encontre sen 72 300 . 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 figura 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 300 = 53 300
e, pela congruncia de ngulos correspondentes no paralelismo,

m(AP C) = 53 300 . Portanto, AP B, que o ngulo de elevao
do Sol ao meio-dia solar, tem medida
90 53 300 = 36 300 .
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 300 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 sen 36 300 . 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.
2330?
Equador
Trp. de Capricrnio
S
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 300 de latitude sul.
C
A P
2530?
E 6430?
O
Equador
B D
Trp. de Capricrnio
A figura acima mostra o ngulo de elevao do Sol novamente em

Cleveland. A reta P B 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 300 = 64 300

90 64 300 = 25 300 .
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 300 ao
que atinge Cleveland nesta hora encontre sen 25 300 . 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.
630?
E
8330?
B O
Equador
A
P
C
Trp. de
Capricrnio
principal1
2009/8/19
page 51
Estilo OBMEP
A figura anterior mostra o ngulo de elevao do Sol em Porto

Alegre. A reta P B 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 300 = 6 300

90 6 300 = 83 300 .
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 300 ao
que atinge Porto Alegre nesta hora encontre sen 83 300 . 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 geogrfico para iden-

tificar 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
p
d(P, O) = x2 + y 2 + z 2 .
x 2 ? y 2 ? z2 P = (x, y, z)
x2 ? y2
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
p
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 = r2 . (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:
x2 + y 2 + z 2 2xu 2yv 2zw + u2 + v 2 + w2 r2 = 0 (4.2)
que uma equao da forma
x2 + 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 x2 + 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 afirmativo, 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
x2 + y 2 + z 2 + 4x 2y 6z + 8 = 0,
a ideia completar os quadrados e colocar (4.3) na forma (4.1).

Assim:
x2 + 4x = x2 + 2.2x = x2 + 2.2x + 22 22 = (x + 2)2 4
y 2 2y = y 2 2y + 12 12 = (y 1)2 1
z 2 6z = z 2 2.3z = z 2 2.3z + 32 32 = (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
x2 + y 2 + z 2 2x 4y + 10
= 0 obtemos (x 1)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 x2 + y 2 + z 2 2x 4y 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 S1 , S2 , S3 e S4 superfcies esfricas de

centros C1 , C2 , C3 e C4 , respectivamente. Mostraremos que se
S1 S2 S3 S4 6= e C1 , C2 , C3 , C4 so no coplanares ento
S1 S2 S3 S4 = {P }.
Sendo x2 + y 2 + z 2 + aj x + bj y + cj z + dj = 0 as equaes gerais
de Sj , 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 x2 , y 2 e
z 2 so eliminados.
Tal equao linear determina o plano que contm a correspondente
interseco. Por exemplo, subtraindo as equaes de S1 e S2 obtm-se
uma equao do plano que contm S1 S2 .
Considerando-se os planos que contm S1 S2 , S1 S3 e S1 S4
temos que se P = (x, y, z) est em S1 S2 S3 S4 ento (x, y, z)
a soluo do sistema linear
(a1 a2 )x + (b1 b2 )y + (c1 c2 )z + (d1 d2 ) = 0
(*) (a1 a3 )x + (b1 b3 )y + (c1 c3 )z + (d1 d3 ) = 0
(a1 a4 )x + (b1 b4 )y + (c1 c4 )z + (d1 d4 ) = 0
A prova do teorema estar terminada se mostrarmos que o sistema

(*) tem uma nica soluo, pois a existncia de dois pontos distintos
em S1 S2 S3 S4 acarretariam duas solues distintas do sistema
linear (*).
Sendo Cj = (uj , vj , wj ) o centro de Sj , j = 1, 2, 3, 4, compa-
rando as equaes (4.2) e (4.3) acima temos aj = 2uj , bj = 2vj ,
principal1
2009/8/19
page 58
Estilo OBMEP
cj = 2wj de modo que

a1 a2 b1 b2 c1 c2 u2 u1 v2 v1 w2 w1

a1 a3 b1 b3 c1 c3 = 8 u3 u1 v3 v1 w3 w1

a1 a4 b1 b4 c1 c4 u4 u1 v4 v1 w4 w1
Como C1 , C2 , C3 , C4 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, significando 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
S1 S2 S3 S4 6= essencial para a validade do teorema.
A eventual soluo de (*) nos dar o procurado ponto P desde que
pertena simultaneamente s quatro superfcies esfricas S1 , S2 , S3 e
S4 .
Considere, por exemplo, as superfcies esfricas abaixo.

S1 : centro (0, 0, 1) e raio 2

S2 : centro (0, 3, 0) e raio 10
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 verificao
principal1
2009/8/19
page 59
Estilo OBMEP
59
simples mostra que o ponto P = (1, 0, 0) pertence simultaneamente

S1 , S2 , S3 e S4 de modo que S1 S2 S3 S4 = {(1, 0, 0)}.
Vejamos agora, a relao entre as coordenadas geogrficas 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 figura abaixo.
(0,0,z) = B
q = m(?AOP) P = (x, y, z)
j = m(?COA)
0
q
j
(x,0,0) = C
A = (x, y, 0)
Quando P est sobre a superfcie terrestre os ngulos e

acima indicados correspondem exatamente latitude e longitude do
ponto P como anteriormente definidos na seo 2.1. A diferena entre
p
OP = x2 + y 2 + z 2 e o raio da Terra chamada de elevao (ou
altitude) de P = (x,y,z).
No tringulo retngulo 4OP B da figura acima temos
OB z
cos(90o ) = =p
OP x + y2 + z2
2
principal1
2009/8/19
page 60
Estilo OBMEP
z
e, como cos(90o ) = sen , segue que sen = p .
x2
+ y2 + z2
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 4OAC temos
AC y OC x
sen = =p e cos = =p .
OA 2
x +y 2 OA x + y2
2
Estas expresses definem 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 geogrfi-
cas do ponto P cujas coordenadas cartesianas so dadas por

P = (3 3 106 , 3 106 , 6 3 106 ). Considere como unidade de
medida o metro.
Temos
x2 + y 2 + z 2 = 27 1012 + 9 1012 + 108 1012 = 144 1012
e
x2 + y 2 = 27 1012 + 9 1012 = 36 1012 .

6 3 106 3
Logo, sen = = e, portanto, = 60o .
12 106 2

3 106 1 3 3 106 3
Como sen = 6
= e cos = 6
=
6 10 2 6 10 2
obtemos = 30o .
Assim as coordenadas geogrficas de P so = 60 N e = 30 W.

Supondo o raio da Terra igual a 6, 4106 metros temos que a elevao
principal1
2009/8/19
page 61
Estilo OBMEP
61
de P mede 12 106 6, 4 106 = 5, 6 106 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 .
p
A partir da elevao de P obtemos o valor de x2 + y 2 + z 2 que
z
denotaremos por r. Logo sen = e, portanto, z = rsen .
r
p
x2 + y 2
Por outro lado, como cos = sen (90 ) = segue
p p r
2 2 2
que x = x + y cos = r cos cos e y = x + y sen = 2
r cos sen .
Para referncia futura repetimos no quadro abaixo as relaes en-
tre as coordenadas geogrficas 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) S1 : centro (5,5,15) e raio 13.

(b) S2 : centro (4,2,5) e raio 3.
principal1
2009/8/19
page 62
Estilo OBMEP
(c) S3 : centro (5,1,7) e raio 5.

(d) S4 : centro (0, -2, -3) e raio 7.
2) Verifique se as equaes dadas abaixo so equaes gerais de su-

perfcies esfricas. Em caso afirmativo, determine o centro e o
raio.
(a) x2 + y 2 + z 2 4x + 6y + 2z 2 = 0.
(b) x2 + y 2 + z 2 2x + 2y = 0.
(c) x2 + y 2 + z 2 10x + 2y 6z + 35 = 0.
(d) x2 + 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 contm S1 S2 , S1 S3 e S1 S4 .
Resolva o sistema linear obtido e ache o ponto de interseco desses
trs planos. Verifique que esse ponto pertence simultaneamente s
quatro superfcies esfricas S1 , S2 , S3 e S4 .
5) Determine as coordenadas geogrficas e a elevao dos seguintes

pontos do espao (considere as coordenadas cartesianas dadas em
metros e o raio da Terra medindo 6,4 106 metros):

(a) P = (3 3 106 , 3 106 , 6 3 106 );

(b) P = (3 3 106 , 3 106 , 6 3 106 );

(c) P = (3 106 , 3 3 106 , 6 106 );
principal1
2009/8/19
page 63
Estilo OBMEP
63

(d) P = (3 105 , 3 3 105 , 6 105 ).
Respostas
1) (a) S1 : x2 + y 2 + z 2 10x 10y 30z + 106 = 0.

(b) S2 : x2 + y 2 + z 2 8x 4y 10z + 36 = 0.
(c) S3 : x2 + y 2 + z 2 10x 2y 14z + 50 = 0.
(d) S4 : x2 + 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 oficial 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.
Afinal, 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 fi-
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,99792458 108 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 geogrficas (latitude,
longitude) e a elevao.
A preciso do tempo essencial na operao do GPS. Um erro
de um microssegundo (106 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 fim 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 identifi-

cadas por fotografias 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 coeficientes dessa ordem. Uma alter-
nativa, abrindo mo eventualmente da preciso, trabalhar com um
nmero menor de dgitos utilizando a notao cientfica. Suponha que
o raio da Terra mea 6,378164 106 metros e considere a velocidade
da luz sendo de 2,99792458 108 m/s.
Atividade
A tabela abaixo indica as efemrides (em metros) de cada satlite.
x y z
Satlite 1 1,877191188 106 -1,064608026 107 2,428036099 107
Satlite 2 1,098145713 107 -1,308719098 107 2,036005484 107
Satlite 3 2,459587359 107 -4,336916128 106 9,090267461 106
Satlite 4 3,855818937 106 7,251740720 106 2,527733606 107
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 geogrfico ou um globo terrestre para iden-

tificar 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
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 afirmao 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
360o ..... 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
(49o W) e suas latitudes so 26o S e 17o S, respectivamente. Esto
assim separadas por 9o 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 79o W enquanto que
a de Entebe 32o E. Logo a diferena entre suas longitudes de 111o
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
A B
? circunferncia mxima
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 (verifique).
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 >= kOAkkOBk cos , onde <, > indica o produto in-

terno usual entre os vetores OA e OB enquanto que kOAk, kOBk so
os mdulos desses vetores, neste caso ambos iguais as 6 400.
Como

< OA, OB > = 6 4002 [0,152330,13244+0,43041] = 6 4002 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 geogrficas, 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
simplificaes 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 geogrficas 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 1
2
(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 1 .
2
A
r (t)
B
q1
j1
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 finali-

zando no instante t1 teremos (0) = , (t1 ) = 1 e (t1 ) = 1 .
2
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 t1 .
Derivando-se essa funo vetorial em relao ao tempo t obtemos

o vetor velocidade r0 (t) da trajetria e consequentemente sua veloci-

dade k r0 (t)k no instante t.
Clculos rotineiros nos do que

p p
k r0 (t)k = 0 (t)2 + 0 (t)2 cos2 (t) 0 (t)2 = |0 (t)| 0 (t).
Lembrando que o comprimento da trajetria calculado pela ex-

Rt
presso L = 0 1 k r0 (t)kdt, conclumos que
Rt
L 0 1 [0 (t)]dt = [(t1 ) (0)] = 1
2
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 geogrfico
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 Bibliogrficas
[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 profissionais 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
bibliogrficas 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
suficiente para nossas finalidades. 2 Teoremas, figuras, 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 fim

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 tipogrfi-
cos ou matemticos do texto, certamente alguns lhe escaparam. Como
disse Monteiro Lobato, os erros tipogrficos 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 tipogrfi-
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 OBME
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 significao
especial: agindo como catalisadores eles
influenciam 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 ficaram 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 fim

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 afirma 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, fizeram
com que os matemticos ficassem 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 sofisticadas,
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 [90o 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 definio no deve contentar-se em exprimir em que

consiste a coisa (...), mas ela deve tambm incluir e exi-
bir a causa. Ora, as definies so geralmente concluses.
Por exemplo: O que a quadratura? a igualdade de um
quadrado e de um retngulo. Uma definio como essa
uma concluso. Mas dizer que a quadratura a descoberta
da meia proporcional exprimir a causa do que definido.
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 especificados, 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 desafios 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 desafios. 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
ficaram 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 y
= = ,
x y 2
vemos que
x2 = y
e, portanto, multiplicando ambos os membros por x, obtemos
x3 = xy.
Mas como
xy = 2
temos que
x3 = 2.
No caso geral, se x e y so duas meias proporcionais entre a e b, temos
a x y
= =
x y b
e disso vemos que

x2 = ay
e que
xy = ab
e da segue-se que
x3 = axy = a2 b
e assim
x3 a2 b b
3
= 3 = .
a a 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
N SEC. 7.1: A MQUINA DE PLATO 99
usando somente estes dois instrumentos.
7.1 A Mquina de Plato
O filsofo 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 F D paralelas e CD perpendicular
a ambas. O segmento BE paralelo a CD e pode deslizar ao longo
de AC e de F D.
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 N OB e M OC so semelhantes e, por-

tanto,
ON OC
= .
OB OM
Como os tringulos N OB e OCB tambm so semelhantes, temos
que
ON OB
=
OB OC
e assim chegamos a
ON OB OC a OB OC
= = = = = ,
OB OC OM OB 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 , N M HJ e SGT L

(Figura 7.3), que podem deslizar sobre uma reta de maneira que a
principal1
2009/8/19
page 101
Estilo OBMEP
N SEC. 7.2: A MQUINA DE ERATSTENES 101
placa mdia (N M HJ), pode passar por traz da primeira (AEZF ),

e que a ltima (SGT L), 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 N H da segunda placa
(N M HJ), exatamente sobre a reta AD, no ponto B, como mostra
na Figura 7.4.
De maneira semelhante, fazemos deslizar a terceira placa (HGT L)
de tal forma que o lado direito da segunda placa (JH) corte a diagonal
(ST ) exatamente sobre AD, no ponto C.
Afirmamos ento que BZ e HC so meias proporcionais entre AE
e DT , ou seja, que
AE BZ GH
= = .
BZ 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 KA KE
= = . (7.1)
BZ KB KZ
Temos tambm que os tringulos BZK e CHK so semelhantes,
e, portanto
BZ KZ KB
= = . (7.2)
CH KH KC
Da semelhana dos tringulos CHK e DT K segue-se que
CH KH KC
= = . (7.3)
DT KT KD
Da semelhana dos tringulos AZK e BHK decorre
AZ KZ KA
= = . (7.4)
BH KH KB
principal1
2009/8/19
page 103
Estilo OBMEP
N SEC. 7.2: A MQUINA DE ERATSTENES 103
Alm disso, como os tringulos BHK e CT K so semelhantes,

vemos que
BH KH KB
= = . (7.5)
CT KT KC
De 7.3 e 7.5 obtemos
CH KH KC BH KB
= = = = , (7.6)
DT KT KD CT KC
KH
pois ambos tm em comum.
KT
KB
Como 7.2 e 7.6 tm em comum, segue-se que
KC
BZ KZ BK BH KH CH KC
= = = = = = . (7.7)
CH KH KC CT KT DT DK
KA
Como 7.1 e 7.4 tm em comum, segue-se que
KB
AE KA KE AZ KZ
= = = = . (7.8)
BZ KB KZ BH KH
De 7.7 mantenhamos somente as razes que nos interessam:
BZ KZ CH
= = . (7.9)
CH KH DT
De 7.8 mantenhamos somente as razes que nos interessam:
AE KZ
= . (7.10)
BZ KH
KZ
Como 7.9 e 7.10 tm em comum, obtemos, enfim, que
KH
principal1
2009/8/19
page 104
Estilo OBMEP
AE BZ CH
= = , (7.11)
BZ CH DT
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, suficiente 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 = F C = 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 F HK 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 definida por A e B.
Afirmamos que AM e CK so meias proporcionais entre a e b, ou
seja, que
BC MA CK
= = . (7.12)
MA CK AB
Para compreender isso, devemos usar a Proposio II.6, dos
principal1
2009/8/19
page 105
Estilo OBMEP
N 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 figura, 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 justificao 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 EF K e CEF , temos
BK KC + CF 2 = F K 2 . (7.14)
Alm disso, devido semelhana dos tringulos AM L e M BK

temos que
AB LK CK
= = . (7.15)
MA ML BC
1
Observe que BC = GC, devido congruncia dos tringulos
2
GBD e DAL.
Como AB = 2AD, temos
2 AD 2 CK
= (7.16)
MA GC
e assim,
AD CK
= . (7.17)
MA GC
principal1
2009/8/19
page 107
Estilo OBMEP
Como os tringulos GF K e CHK so semelhantes, temos
CK HK
= (7.18)
GC FH
e da segue-se que
AD CK HK
= = . (7.19)
MA GC FH
Temos ento que
AD HK
= , (7.20)
M A + AD F H + HK
e assim
AD HK
= . (7.21)
MD FK
Como HK = AD por construo, segue-se de 7.21 que M D = F K
e assim, de 7.14, temos
BK KC + CF 2 = F K 2 . (7.22)
Usaremos mais uma vez Euclides II-6, agora aplicada ao segmento

BA, cujo ponto mdio D, e prolongado at M :
BM M A + AD2 = M D2 . (7.23)
Como M D = F K, vemos que
BM M A + AD2 = F K 2 . (7.24)
Comparando 7.22 e 7.24 vemos que

principal1
2009/8/19
page 108
Estilo OBMEP
BM M A = BK KC (7.25)
de maneira que
BK MA
= . (7.26)
BM CK
Da semelhana dos tringulos M BK, M AL e LCK segue-se que
BK AL CK
= = . (7.27)
BM MA LC
Finalmente, usando 7.26 e 7.27, temos que:
CK MA AL
= = . (7.28)
LC CK MA
Como LC = AB, AL = BC, temos, enfim, que
BC MA CK
= = , (7.29)
MA CK AB
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 = F H e y = CK. Ento, nos tringulos
retngulos EF K e EF C temos que
EF 2 + EK 2 = F K 2 , (7.30)
EF 2 + EC 2 = F C 2 . (7.31)
principal1
2009/8/19
page 109
Estilo OBMEP
De 7.30 e de 7.31 vemos imediatamente que
F K 2 EK 2 = F C 2 EC 2 , (7.32)
e assim
2 2 2
1 1 1 2 1
b+x a+y = b a . (7.33)
2 2 2 2
Disso, segue-se imediatamente que
ay + y 2 = bx + x2 . (7.34)
Logo
a+y x
= . (7.35)
b+x y
Os tringulos CHK e GF K so semelhantes e podemos portanto

escrever
HK FH
= , (7.36)
CK GC
ou seja
1
b
2 = x = b = x = a = y . (7.37)
y 2a y a x b
Mas ento
a+y x+b a+y y

= = = . (7.38)
y b x+b b
De 7.34 e 7.36 vemos que

principal1
2009/8/19
page 110
Estilo OBMEP
x y x y a
= = = = (7.39)
y b y b x
e assim
a x y
= = . (7.40)
x y b
Como, pela semelhana dos tringulos AM L e LCK, temos que
a y
= , (7.41)
AM b
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 F HK tal que HK = CF = AD. Ou
seja, tivemos que ajustar o segmento de comprimento AD sobre o
segmento F K, 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
N 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 0 A uma cir-
cunferncia cujo dimetro OA0 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 OCA0

e o toro gerado pela circunferncia OBA ao girar em torno da reta
OZ, perpendicular ao plano de OCA0 .
A interseco destas duas superfcies define uma curva, conhecida
como curva de rquitas, dada pelas equaes
x2 + y 2 = ax,
(x2 + y 2 + z 2 )2 = a2 (x2 + y 2 ).
principal1
2009/8/19
page 112
Estilo OBMEP
b
Seja = e considere o cone cujo eixo a reta OA0 e cuja
a
geratriz forma com o eixo o ngulo . A equao deste cone
a2 2
(x2 + y 2 + z 2 ) = x . (7.43)
b2
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 OCA0 o
OC b
ponto C da circunferncia tal que = .
OB a
Afirmamos 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 enfim que
a OB OC
= = .
OB 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
N 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) afirma 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, afirma
que Mencmo foi um aluno de Eudoxo e um membro dos filsofos 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 y
= = .
x y b
Isso inteiramente equivalente s equaes simultneas,
y 2 = bx, xy = ab.
Assim, para resolver o problema, suficiente achar a interseco das

parbolas e hiprboles definidas 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, x2 = 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-
ficado 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 definida

como segue.
Seja uma circunferncia que passa pela origem O do sistema de
principal1
2009/8/19
page 115
Estilo OBMEP
N 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 = M W . 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

= cos .
2R
principal1
2009/8/19
page 116
Estilo OBMEP
1
Como em nosso caso R = , a equao 7.6 se reduz a = cos .
2
1
Por outro lado, OW = .
cos
Como OM = OW OP , a equao polar da cisside
1 sen2
= cos = .
cos cos
Para achar a equao cartesiana da cisside temos que:
y2
tg 2 x2 y2
x = cos = sen2 = = = ,
1 + tg 2 x2 + y 2 x2 + y 2
x2
ou seja,
x(x2 + y 2 ) y 2 = 0.
Seja U (0, 2) e considere o ponto de interseco, Z = (a, b), da reta

T U com a cisside. A equao cartesiana da reta T U y = 2(1 x),
de maneira que b = 2(1 a), e assim, como Z pertence cisside,
a(a2 + b2 ) b2 = 0 = a3 + ab2 b2 = 0 =
b3
a3 = b2 (1 a) = = 2a3 = b3 .
2
b
imediato ento que = 3 2. Assim, a equao cartesiana da
a
reta que passa por O e por Z y = 3 2x. Seja Q o 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
N 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
definidas por AO e OB respectivamente. Faa a rgua girar at que
DF = DE. Afirmamos 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 F BC, CAE e

F OE, temos que
a y a+y
= = .
x b b+x
Como DE 2 = DF 2 , segue-se que

1 2 1 2 1 2 1 2
y+ a + b = x+ b + a ,
2 4 2 4
de que obtemos y(a + y) = x(b + x). Desta ltima igualdade decorre

que
z a+y a y
= = = ,
y b+x x b
e da vemos imediatamente que
a x y
= = .
x 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 afirma 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 DP Z 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.
2a
Afirmamos que AZ = , com a o comprimento do lado do

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

principal1
2009/8/19
page 121
Estilo OBMEP
N SEC. 8.1: A QUADRATRIZ 121

dade. Quando = , temos que
2
a
= k,
2
de maneira que
2a
k=

e podemos concluir que
y 2a
= = y = .
2a
Assim,
y y 2a
= sen = = = .
sen sen
Temos ento que
2a
AZ = lim = lim .
0 0
Quando 0,

lim = 1,
0 sen
e assim vemos que
2a
AZ = = .

2a
Aps obter um segmento de comprimento imediato construir

para fazer a quadratura do crculo. Com efeito, fcil dividir, usando
2a
somente rgua e compasso, por 2a e, em seguida, tomar o inverso

1
de .

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
N 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 M N 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 N M O e M OB so issceles, de
maneira que x = M N b O = M ONb . De maneira semelhante,
cO = OBM
BM b .
No tringulo N OM , o teorema do ngulo externo permite escrever

cO = M BO
que B M b = 2 MN b O. Aplicando o teorema do ngulo
principal1
2009/8/19
page 124
Estilo OBMEP
124 CAP. 9: A TRISSECO DO NGULO
externo ao tringulo BN O, vemos que
b = BN
B OA b O + M BO
b = 3 BN
b O,
e vemos assim que com esta construo possvel dividir o ngulo

b em trs partes iguais.
B OA 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 P C = 2OA.
Afirmamos que P OBb = AOB/3.
b
Figura 9.2: Trisseco do ngulo por Nicomedes
Com efeito, seja D o ponto mdio de P C. Ento o tringulo

AP C est inscrito em um crculo de centro D e raio P D, e assim
P D = AD = DC = OA. Sejam = AOD b = ADO b e
b b
= DAC = ACD. Aplicando o teorema do ngulo externo ao trin-
gulo ADC vemos que = 2. Como AC e OB so paralelas, segue-se
b e portanto = 3.
que = P OB
principal1
2009/8/19
page 125
Estilo OBMEP
N 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 definio dada a seguir.
Figura 9.3: Conchide de Nicomedes
Sejam K um ponto fixo, o polo da conchide, e uma linha reta SA,

denominada diretriz da conchide, e um comprimento fixo d, chamado
de distncia da conchide.
A conchide a curva gerada por P quando S se desloca sobre
SA e o comprimento do segmento P S 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
definida 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 P AZ 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 b = 3 T AZ.
b
principal1
2009/8/19
page 127
Estilo OBMEP
N 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. Redefining 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 Woodruff 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 significance 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 Noordhoff, 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 fiz 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 filas.
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, finalmente, 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 criptografia 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 identificados 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 identificados
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-
ficao, 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 fique 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 final, mostraremos brevemente como estas ideias podem ser
extendidas para se obter cdigos mais sofisticados.
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
figurativos. 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 fitas 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 modificaria o ensino da mate-
mtica na Inglaterra e que tiveram influncia fundamental na
criao da lgebra abstrata) inventou um instrumento de clculo
mais sofisticado, que denominou Mquina Diferencial. Nessa
poca, ele observou que as operaes matemticas repetitivas
poderiam ser desenvolvidas com mais agilidade e confiabilidade
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 filha 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 financiar 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 sofisti-
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 Atanasoff-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 fitas perfuradas.
Em 1944, Tommy Flowers desenhou, na Inglaterra, o computa-
dor Colossus, totalmente eletrnico, concebido para decodificar
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 fim 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 ofi-
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 definitivamente. 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 codificao 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-
ficao de artigos atravs de identificao de padres.
Em torno de 1970, uma firma de assessoria, a McKinsey & Co.,
junto com a Uniform Grocery Product Code Council1 definiu um
formato numrico para identificar produtos e pediu a diversas com-
panhias que elaborassem um cdigo adequado. Dentre as firmas 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 modificaes. Posteriormente foi solicitado a
Laurer que ampliasse o cdigo, para permitir uma maior difuso do
sistema, de modo a identificar tambm o pas de origem de cada pro-
duto classificado. 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 classificadas como finas, 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 fina, 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 fina, mdia, grossa
ou muito grossa, respectivamente.
Assim, as primeiras quatro listras da figura (sem contar, claro as
listras que servem de limite e que aparecem mais compridas na figura),
que so uma listra branca grossa, uma preta mdia, uma branca fina
e uma preta fina 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 fixa,
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 figura. 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 codificados 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
N 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 codificao de um dado nmero, direita, se obtm da

sua codificao esquerda, trocando cada 0 por 1 e reciprocamente.
Agora, o mecanismo de reconhecimento fica 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, verificando 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 identificao 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 figura 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 identificados com um 0, na frente,
e o resto da codificao feita utilizando-se o sistema anterior.
Para outros pases, os primeiros dois ou trs dgitos, identificam o
pas. Por exemplo, o cdigo de barras de todos os produtos produzidos
no Brasil comea com a sequncia 789, que a que identifica 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 modificar
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 modificada a codificao do lado direito (permitindo assim que
as leitoras continuassem a identificar o lado correspondente) mas a
codificao do lado esquerdo varia, dependendo do dgito inicial.
1
Uma tabela completa, com os nmeros identificatrios de cada pas, pode ser
encontrada na pgina internet http://www.barcodeisland.com/ean13.phtml
principal1
2009/8/19
page 153
Estilo OBMEP
N SEC. 10.1: ESCREVENDO COM BARRAS 153
Um dgito do lado esquerdo pode ser agora codificado 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 1o 2o 3o 4o 5o 6o
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

identificada pelo cdigo 7895000266241. Como corresponde, comea
com a sequncia 789, de modo que o primeiro dgito, que estar im-
plcito na codificao dos demais, sete. Consequentemene, deve-se
usar, do lado esquerdo, a seguinte ordem de codificao (obtida na
tabela acima):
mpar, par, mpar, par, mpar, par.
Consultando ento a tabela de codificao do EAN-13 obtemos:
8 7 0110111 9 7 0010111 5 7 0110001
0 7 0100111 0 7 0001101 0 7 0100111
Para os dgitos do lado direito no temos que nos preocupar com

paridade, e obtemos, diretamente da tabela, a seguinte codificao:
2 7 1101100 6 7 1010000 6 7 1010000
2 7 1101100 4 7 1011100 1 7 1100110
Por tanto, o cdigo de barras correspondente :
Figura 10.3:
principal1
2009/8/19
page 155
Estilo OBMEP
N 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 identificar o pas de origem do produto. Os cinco
ou quatro dgitos que restam, at as barras centrais, identificam o
fabricante. Os primeiros cinco dgitos do lado direito identificam o
produto especfico, desse fabricante. O ltimo dgito, chamado dgito
de verificao, adicionado no final 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 verificao.
Suponhamos que um determinado produto est identificado, no
sistema EAN-13, por uma dada sequncia de dgitos a1 a2 . . . a12 a13 .
Como os primeiros dgitos identificam o pas de origem, o fabricante
e o produto especfico, os primeiros doze dgitos da sequncia, es-
to determinados naturalmente, por um mtodo-padro, a cargo de
uma autoridade classificadora em cada pas. Denotaremos o dcimo
terceiro dgito, de verificao, por x.
Para facilitar nossa exposio, vamos escrever esta sequncia como
um vetor
= (a1 , a2 , . . . , a11 , a12 , x).
principal1
2009/8/19
page 156
Estilo OBMEP
O sistema EAN-13, se utiliza de um vetor fixo, 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:
= (a1 , . . . , a12 , x) (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1) =
= a1 + 3a2 + a3 + 3a4 + a5 + 3a6 + a7 + 3a8 + a9 + 3a10 + a11 + 3a12 + x.
Agora, o dgito de verificao 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 verificao. 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 verificao 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 identificar 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 ai 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 verificao x fosse feita simplesmente
de modo que
a1 + a2 + + a12 + 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 verificao
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 6 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 verificao 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 ai e ai+1
no detectada, neste sistema de codificao, se, e somente se,
|ai ai+1 | = 5 (veja a atividade 4).
principal1
2009/8/19
page 159
Estilo OBMEP
Atividades
1) (i) Um determinado produto deve ser identificado, 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 definir um sistema de deteco de erros da seguinte

maneira. A cada nmero de 12 dgitos a0 . . . a11 vamos asignar
um dgito de verificao a12 de forma tal que
12
X
ai 0 (mod 10).
i=0
(i) Achar o dgito de verificao 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 afirmamos no texto que se apenas um erro de digitao for

cometido, alterando um dos dgitos ai para um outro valor bi ,
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
. . . ai ai+1 . . . 7 . . . ai+1 ai . . .
detectada pelo sistema EAN-13 se, e somente se,

|ai ai+1 | =
6 5. (Sugesto: note que |wi wi+1 | = 2).
(ii) Mostre que um erro de transposio no adjacente do tipo
. . . ai ai+1 ai+2 . . . 7 . . . ai+2 ai+1 ai . . .
no pode ser detectado pelo sistema EAN-13.

(iii) Mostrar que um erro de transposio em que dois dgitos no
adjacentes ai e aj 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, |ai aj | 6= 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 identificao.
Os erros num nico dgito e as transposies so, de longe, os mais
frequentes. Autores como D.F. Beckley [1] e J. Verhoeff [16] in-
vestigaram sistematicamente os erros cometidos por operadores hu-
manos. No quadro abaixo damos as frequncias relativas obtidas por
Verhoeff, 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
N SEC. 10.3: OUTROS CDIGOS NUMRICOS 161
Tipo de erro Frequncia relativa %

erro nico . . . a . . . 7 . . . b . . . 79
transposio adjacente . . . ab . . . 7 . . . ba. . . 10.2
transposio alterna . . . abc. . . 7 . . . cba. . . 0.8
erro gmeo . . . aa. . . 7 . . . bb. . . 0.6
erro gmeo alternado . . . aba. . . 7 . . . cbc . . . 0.3
outros 9.1
Tabela 10.1: Tipos de erros e suas frequncias segundo Verhoeff
Para descrever vrios dos mtodos existentes, vamos introduzir

um pouco de linguagem geral. Denotaremos por A o conjunto de
valores que podem assumir os dgitos utilizados na codificao. Por
exemplo, no caso do cdigo UPC da seo anterior, esse conjunto
A = {x Z | 0 x m 1}.
O vetor com os dados 0 = (a1 , . . . an1 ) ser chamado de vetor

de informao e o vetor, j acrescido do dgito de verificao ser
chamado de nmero ou vetor de indentificao.
Definio 10.1. Sejam = (w1 , . . . wn ), com wi A, 1 i n

um vetor de pesos e c A um inteiro fixado. Dados dois inteiros
positivos m e n e um conjunto de nmeros a1 , . . . an1 tais que ai A,
1 i n 1, define-se o nmero de verificao an como o nico
elemento de A que verifica a equao:
n
X
ai wi c (mod m).
i=1
Um sistema de codificao assim definido ser denotado por

C = (A, m, n, c, ).
Note que frequentemente A = {0, 1, . . . , m 1}. Neste caso,

tomando classes mdulo m, temos que an o nico elemento de A
principal1
2009/8/19
page 162
Estilo OBMEP
que verifica: !
n1
X
an = w1
n c ai wi .
i=1
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 verificao. Na nossa notao, o sistema pode
ser descrito como C = (A, 10, 2, 0, ) onde A 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 verificar 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 definido desta forma, para detectar os diversos tipos de erros
mais frequentes.
Teorema 10.2. (Capacidade de deteco) Sejam m um inteiro posi-

tivo e = (w1 , . . . wn ) um vetor de pesos. Suponhamos que um vetor
de identificao = (a1 . . . , an ) (onde assumimos que 0 ai < m,
para todo ndice i, 1 i n) satisfaz a condio
= a1 w1 + + an wn c (mod m).
Ento:
1. Todo erro consistente numa nica alterao na posio i-sima

ser detectado se e somente se mdc(wi , m) = 1.
principal1
2009/8/19
page 163
Estilo OBMEP
2. Todo erro de transposio da forma
. . . ai . . . aj . . . 7 . . . aj . . . ai . . .
ser detectado se e somente se mdc(wi wj , m) = 1.
Demonstrao. Suponhamos inicialmente que o dgito ai , na posio

i, foi trocado por um outro valor bi e vamos denotar por o vetor
resultante deste erro. claro que o erro no ser detectado se, e
somente se,
0 (mod m).
Mas = (ai bi )wi , de modo que o erro no ser

detectado se, e somente se, m | (ai bi )wi 0 (mod m) ou, se
denotamos por x a classe de um inteiro x em Zm , se, e somente se,
(ai bi )wi = 0 em Zm .
Se mdc(wi , m) = 1 tem-se que wi inversvel em Zm , donde a

condio acima implica que ai = bi , logo ai bi (mod m) e, como
ambos os nmeros so menores que m, isto s aconteceria se ai = bi .
Logo, o erro ser detectado.
Por outro lado, se mdc(wi , m) = d 6= 1, dado ai tem-se que
dentre os nmeros bi = ai + m/d e bi = ai m/d, um deles
verifica a condio 0 bi < m e o erro que substitui ai por esse
nmero no pode ser detectado. Isto completa a demonstrao de (i).
Suponhamos agora que foi cometido um erro do tipo
= . . . ai . . . aj . . . 7 0 = . . . aj . . . ai . . . .
principal1
2009/8/19
page 164
Estilo OBMEP
Note que, neste caso podemos calcular a diferena
0 = (ai wi + aj wj ) (aj wi ai wj ) = (ai aj )(wi wj ).
Assim, este erro no ser detectado se, e somente se,
(ai aj )(wi wj ) 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 codificao 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 classificao de livros

o ISBN (International Standard Book Number). Ele trabalha
mdulo 11, mas para facilitar a notao, utiliza tambm como con-
junto de valores A os dgitos de 0 a 9 e os vetores de identificao
tem 10 componentes. Ele pode ser descrito, na nossa notao, por
(A, 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 final, de verificao 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 verificao.
Ele ser um nmero a 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 A formado por inteiros menores do que
m como em todos os exemplos acima como cada componente wi
do vetor de pesos prima com m, resulta que multiplicar por wi , em
mdulo m, equivale a definir uma permutao do conjunto A (isto ,
uma bijeo de A em si mesmo). Isto sugere um mtodo mais geral
de definir o vetor de pesos.
Dado um vetor de informao 0 = (a1 , . . . , an1 ) podemos es-
colher n permutaes 1 , . . . n do conjunto A, definir um vetor de
pesos por = (1 , . . . , n ), fixar um nmero c A e escolher o dgito
principal1
2009/8/19
page 166
Estilo OBMEP
de verificao an de modo que verifique a equao:
() = 1 (a1 ) + n (an ) c (mod m).
Neste caso, o dgito de verificao fica definido por:

n1
!
X
an = n1 c i (ai ) .
i=1
Este tipo de codificao tambm usada na prtica, como mostrado

a seguir.
Exemplo 10.3.3.
Um cdigo usado pela IBM utiliza como conjunto A os dgitos de

0 a 9; o valores m = 10, um valor qualquer c A 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 identificao com um nmero mpar de

componentes n, se utiliza o vetor de pesos
= (I, , I, , . . . , , I).
Assim, a equao de verificao resulta:
an + (an1 ) + an2 + (an3 ) c (mod 10)
e o dgito de verificao dado pela frmula:
an c ((an1 ) an2 (an3 ) ) (mod 10).

principal1
2009/8/19
page 167
Estilo OBMEP
No caso em que o nmero de componentes do vetor de identificao

par utiliza-se o vetor de pesos
= (, I, , I, . . . , , I),
e resulta uma equao de verificao anloga, com uma frmula simi-

lar para o clculo do dgito de verificao.
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 verificao 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 codificao permite detectar todo erro nico de digi-
tao e toda transposio adjacente exceto no caso em que ai e aj
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
. . . ai . . . aj . . . 7 . . . aj . . . ai . . .
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
X
i1 (an+1i ) c (mod 10)
i=1
e
n
X
an c i1 (an+1i ) (mod 10).
i=2
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 2m 1

e tomar congruncias em mdulo 2m, vamos considerar nossos dgi-
tos como elementos de Z2m , para simplificar nossos argumentos. Su-
ponhamos que o sistema transforma o vetor (a1 , . . . , an ) num outro
vetor, que denotaremos por (1 (a1 ), . . . , n (an )). Claramente, se o
sistema capaz de detectar todo erro nico de digitao, ento a
aplicao na posio i-sima x 7 i (x) deve ser uma permutao de
Z2m .
Para que o sistema detecte todo erro de transposio entre as
posies i e j necessrio que i (a) + j (b) 6= j (a) + i (b), todo par
principal1
2009/8/19
page 169
Estilo OBMEP
de elementos diferentes a, b Z2m . Isto equivalente a dizer que a

aplicao = i j uma permutao Z2m .
Mas m [0, 2m 1] e temos que
(2m 1) 2m
0+1+2+ +2m1 = = 2mmm m (mod 2m),
2
ou seja,
0 + 1 + + 2m 1 = m em Z2m .
Logo:
X X
m = x= (x)
xZ2m xZ2m
X X X
= (i (x) j (x)) = i (x) j (x)
xZ2m xZ2m xZ2m
= m m = 0, em Z2m .
uma contradio.
Atividades
1) Calcular o dgito de verificao 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-

ficao 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 verificao. 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 Verhoeff, 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 D5 , que pode ser definido como
o grupo das isometrias do plano que deixam fixo 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 R0 , a rotao R1 de ngulo 2/5 em sentido anti-horrio,

e as rotaes R2 , R3 e R4 de ngulos 2(2/5), 3(2/5) e 4(2/5)
respectivamente. Contm ainda cinco reflexes, em relao aos seus
eixos de simetria, que passam por cada um dos vrtices e o ponto
mdio do lado oposto: S6 , S7 , S8 , S9 e S10 .
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
reflexes.
Assim, por exemplo, a composio das rotaes R3 e R4 seria a
rotao de ngulo 3(2/5) + 4(2/5) = 7(2/5) = 2(2/5); isto , a
rotao R2 . Em vez de escrever ento que R3 R4 = R2 escreveremos
simplesmente que 3 4 = 2.
Da mesma forma, como a composio S6 S5 = R1 (lembre que,
como se trata de composio de funes, aplicamos primeiro S1 e
depois S2 ) escrevemos 6 5 = 1. Por outro lado, fcil verificar que
S5 S6 = R0 donde escrevemos 6 5 = 0.
principal1
2009/8/19
page 173
Estilo OBMEP
N SEC. 11.1: O GRUPO DIHEDRAL 173
Procedendo desta forma, obtemos a seguinte tabela de multipli-

cao para D5 .
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 D5
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 Verhoeff consiste em transformar um vetor de informao

(a1 , . . . , an1 ) num vetor de codificao, adicionando um dgito de
verificao an de forma tal que
(a1 ) 2 (a2 ) n1 (an1 ) an = 0 em D5 .
Note que uma permutao de D5 . Ela foi escolhida para desen-

volver este sistema porque pode-se verificar diretamente que
a (b) 6= b (a) para todo a, b D5 . (11.1)
Logo abaixo veremos a importncia deste fato.

principal1
2009/8/19
page 174
Estilo OBMEP
Como i tambm uma permutao de D5 , para todo inteiro

positivo i, resulta claro que este sistema de codificao detecta todo
erro nico de digitao.
Note que um erro de transposio adjacente
. . . ai ai+1 . . . 7 . . . ai+1 ai . . . ser detectado se, e somente se,
i (ai ) i+1 (ai+1 ) 6= i (ai+1 si+1 (ai ). Mas, vimos na equao 11.1
que a (b) 6= b (a) para todo a, b D5 o que implica, aplicando a
permutao i a ambos os membros desta equao, que
i (a) i+1 (b) 6= i (b) i+1 (a) para todo a, b D5
como queramos demonstrar.

Uma variante do mtodo de Verhoeff1 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 unificada 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 D5 , mas ao invs de usar uma permutao e
suas potncias, utiliza dez permutaes diferentes. Para determin-
las damos, na tabela abaixo, em cada fila 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 significa, por exemplo, que a permutao 5 :

!
0 1 2 3 4 5 6 7 8 9
5 = .
4 2 8 6 5 7 3 9 0 1
O nmero de srie da nota da Figura 11.2 DU7124458G6. Vamos

verificar que esta uma numerao vlida. Para poder usar o mtodo
de Verhoeff 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 finalmente
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 D18 , que tem 36 elementos (e portanto os vinte smbolos
usado no cdigo alfanumrico das notas corresponderiam a elementos
diferentes em D5 ), 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 Verhoeff permite detectar erros de transposio adjacentes.
Isto justifica a seguinte definio.
principal1
2009/8/19
page 177
Estilo OBMEP
Definio 11.1. Uma permutao de um grupo G diz-se uma apli-

cao antissimtrica se verifica a seguinte condio:
x(y) 6= y(x), para todo par de elementos x, y G.
O grupo D5 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.
Definio 11.2. Uma permutao de um grupo G diz-se uma apli-

cao completa se a funo x 7 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 Z2 , admite uma aplicao antis-

simtrica [8].
Foi anunciado por Heiss que todo grupo finito 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 Dm 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 D5 .
2) Ache o centro Z(D5 ) de D5 e determine o quociente D5 /Z(D5 ).
3) Determine a decomposio em produto de ciclos disjuntos e a pari-

dade da permutao do mtodo de Verhoeff.
4) Determine o valor de x para que o nmero 3572498x seja um

nmero vlido no mtodo de Verhoeff.
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 Verhoeff, 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 N Z357x29477L2.
8) (Gallian [5]) Seja = (1 2 4 8 7 5)(3 6). A cada nmero da

forma a1 a2 . . . an (com n mpar) atribumos o dgito de controle
((a1 ) + a2 + (a3 ) + a4 + + (an )) (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 Identification 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 finite solvable groups,

Archiv der Math., n. 69, p. 445-454, 1997.
[12] HEISS, S. Anti-symmetric mappings for finite 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

Apostila6 PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila6 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

principal1

A Geometria do Globo Terrestre

Os Trs Problemas Clssicos da

A Matemtica dos Cdigos

Texto j revisado pela nova ortografia.

Os textos apresentados a seguir foram produzidos para a II

ceiro texto, em que Francisco Csar Polcino Miles expe os aspectos

Comit Acadmico Direo Acadmica

A Geometria do Globo Terrestre 1

Os Trs Problemas Clssicos da Matemtica Grega 81

A Matemtica dos Cdigos de Barras 133

A Geometria do Globo Terrestre

Num encontro de professores que atuam no ensino bsico fomos

exigncia vai requerer dele um maior empenho e dedicao.

16 ou ainda cos 60o !

1 A Superfcie Esfrica e seus Elementos 9

2 Qual a Forma da Terra? 19

3 O ngulo de Elevao do Sol e da Energia Solar 41

4 A Superfcie Esfrica em Coordenadas Cartesianas 54

6 A Distncia numa Superfcie Esfrica 71

Neste curso pretendemos desenvolver o estudo da esfera e seus

A utilizao do globo terrestre, com suas consequentes questes

A Superfcie Esfrica e seus

Seja O um ponto e r um nmero real positivo. A superfcie

Os pontos do espao cuja distncia a O menor que r so inte-

10 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

fcie esfrica denominado um raio da superfcie esfrica enquanto

1.1 A Interseo entre um Plano e uma Super-

A relao entre superfcies esfricas e planos no espao similar

N 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

Demonstrao. Sendo E um plano perpendicular ao raio OT em T,

Seja P um ponto qualquer de E, P distinto de T. Como E

Sendo F o p da perpendicular ao plano E, traada a partir de O,

12 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

Vamos agora investigar a figura obtida quando um plano secante

Teorema 1.2. A interseco de uma superfcie esfrica com um plano

Demonstrao. Dada uma superfcie esfrica S com centro O e raio

O prximo resultado nos d a situao mais geral.

N SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 13

Teorema 1.3. Se um plano contm um ponto do interior de uma

Demonstrao. Seja E um plano que no passa pelo centro O da

Seja X um ponto qualquer na interseco E S. Ento 4OF X

14 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

Isso ainda no significa que a interseco a circunferncia. Para

Portanto OX = r e X pertence superfcie esfrica S.

A interseco da superfcie esfrica com um plano passando pelo

N SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 15

1) A superfcie esfrica S tangente ao plano E em A. O ponto O

2) A perpendicular do centro de uma superfcie esfrica a uma corda

3) Dados um plano E e uma superfcie esfrica S de centro O e raio

d(O,E) Posio relativa

4) Sejam A e B dois pontos de uma superfcie esfrica S que no so

16 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

uma circunferncia mxima de S passando por A e B. (Sugesto:

5) Explique porque duas circunferncias mximas quaisquer de uma

6) Na figura abaixo um plano E intersecta a superfcie esfrica S de

Calcule o raio da superfcie esfrica S, a medida angular m(AOB)

7) Duas circunferncias mximas so ditas perpendiculares se es-

N SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 17

no globo terrestre passam pelos polos, que circunferncia mxima

8) Na geometria esfrica as linhas retas so representadas por cir-

(a) Um tringulo equiltero.