A Geometria Do Globro Terrestre e Outros

principal1
2009/2/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/2/19
page 2
Estilo OBMEP
principal1
2009/2/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 Cientfica da OBMEP motivada pelo fato de tratarem de questes muito
interessantes e, ao nosso ver, motivadoras.
O primeiro, de Srgio Alves, aborda o problema do estabelecimento de coordenadas no globo terrestre. O domnio de tais coordenadas e o uso de instrumentos para medi-las, propiciou grandes
avanos para a humanidade, desde os tempos das grandes navegaes
(e o conseqente 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 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
idia simples e genial, de grande utilidade. Esse o tema do teri
principal1
2009/2/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 assuntos. A leitura de um trabalho matemtico deve ser pausada e
refletida, e aqui no ser diferente. O leitor deve se envolver nas
questes e idias discutidas pelo autor e muitas vezes dialogar com
ele, quem sabe buscando outras solues.
Esperamos que os bolsistas apreciem tanto a beleza dos problemas 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 Cientfica da OBMEP.
Comit Acadmico
Direo Acadmica
principal1
2009/2/19
page iii
Estilo OBMEP
Sumrio
Os Trs Problemas Clssicos da Matemtica Grega
A Matemtica dos Cdigos de Barras
iii
1
81
131
principal1
2009/2/19
page iv
Estilo OBMEP
principal1
2009/2/19
page 1
Estilo OBMEP

Srgio Alves
principal1
2009/2/19
page 2
Estilo OBMEP
2
principal1
2009/2/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 idias e conceitos abstratos levam ao desenvolvimento 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
situaes, 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 professor certo conhecimento de alguma outra rea como, por exemplo,
Fsica, Biologia ou Geografia. Esse professor deve estar ciente que tal
principal1
2009/2/19
page 4
Estilo OBMEP
4
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 freqentemente 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 cos60o !
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 estudo do globo terrestre e dos vrios assuntos a ele relacionados. Incorporamos 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 idias
matemticas envolvidas no funcionamento do sistema de posicionamento 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 freqenta nossos livros didticos.
Enfim, produzimos este texto na esperana que ele fornea aos
professores uma possvel resposta quela pergunta que freqentemente
lhes feita: Para que serve isso que o senhor est ensinando?
Srgio Alves
principal1
2009/2/19
page 5
Estilo OBME
Sumrio
Introduo
1 A Superfcie Esfrica e seus Elementos
1.1
A Interseo entre um Plano e uma Superfcie Esfrica
2 Qual a Forma da Terra ?
10
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
principal1
2009/2/19
page 6
Estilo OBMEP
6
Referncias Bibliogrficas
78
principal1
2009/2/19
page 7
Estilo OBMEP
Introduo
Neste curso pretendemos desenvolver o estudo da esfera e seus
elementos explorando sua associao com o globo terrestre. Conceitos geogrficos como paralelos, meridianos, latitudes, longitudes e
fusos horrios esto baseados em importantes idias 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
horrios 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 constituem a fundamentao matemtica necessria para o entendimento
de alguns modernos sistemas de navegao por satlites, em especial
do GPS.
principal1
2009/2/19
page 8
Estilo OBMEP
8
A utilizao do globo terrestre, com suas conseqentes questes
envolvendo, por exemplo, clculo de distncias e ngulos sobre a esfera, 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/2/19
page 9
Estilo OBMEP
Captulo 1
A Superfcie Esfrica e seus

Elementos
Seja O um ponto e r um nmero real positivo. A superfcie
esfrica de centro O e raio r o conjunto de todos os pontos P
do espao cuja distncia a O igual a r.
Q
r
Os pontos do espao cuja distncia a O menor que r so interiores 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 super9
principal1
2009/2/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 confuso 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 acima 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 Superfcie 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 resul-
principal1
2009/2/19
page 11
Estilo OBMEP
N SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA
11
tado.
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 esfrica.
S
T
P
Seja P um ponto qualquer de E, P distinto de T. Como E

perpendicular a OT temos que 4OP T um triangulo 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
T
R
F
E
principal1
2009/2/19
page 12
Estilo OBMEP
12
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
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
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/2/19
page 13
Estilo OBMEP
13
Teorema 1.3. Se um plano contm um ponto do interior de uma

superfcie esfrica, ento a interseco do plano com a superfcie esfrica uma circunferncia. O centro dessa circunferncia o p
da perpendicular ao plano traada a partir do centro da superfcie
esfrica.
O O
X
F Y
E
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
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 .
e, portanto F X =
principal1
2009/2/19
page 14
Estilo OBMEP
14
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 Plos Norte e Sul.
PLO NORTE
30
30
PLO SUL
principal1
2009/2/19
page 15
Estilo OBMEP
15
Atividades
1. A superfcie esfrica S tangente ao plano E em A. O ponto O

o centro de S e B, C, D esto em E. Que relao existe entre
OA e AB , AC e AD? Explique.
S
O
E
B
D
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? Apresente 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
principal1
2009/2/19
page 16
Estilo OBMEP
16
somente 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
C
A
O
Calcule o raio da superfcie esfrica S, a medida angular

m(AOB) e a medida OC.
7. Duas circunferncias mximas so ditas perpendiculares se estiverem em planos perpendiculares. Mostre que para cada duas
circunferncias mximas existe uma terceira circunferncia mxima perpendicular a ambas. Se duas circunferncias mximas
principal1
2009/2/19
page 17
Estilo OBMEP
17
no globo terrestre passam pelos plos, que circunferncia mxima perpendicular a ambas?
8. Na geometria esfrica as linhas retas so representadas por
circunferncias 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
S S 0 um ponto
S S 0 uma circunferncia
OO0 > r + r0 ou OO0 < r r0

OO0 = r + r0 ou OO0 = r r0
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
2OO0
segmento 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 respostas.
principal1
2009/2/19
page 18
Estilo OBMEP
18
Respostas
2. 24
5 3
6. 5,
e
2
10. 0, 1, 2 ou infinitos pontos
60o
principal1
2009/2/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 plos. 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 Plos Norte e Sul. Esta
seco aproxima-se de uma elipse cujo semi-eixo maior a a metade
do dimetro do Equador e o semi-eixo menor b a metade da distncia
entre os plos.
N
b
a
19
principal1
2009/2/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 plos.
ab
A razo =
chama-se achatamento da Terra.
b
A tabela seguinte mostra valores dos semi-eixos a e b e do correspondente 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.
abaixo ilustra um globo terrestre.
A figura
O ponto N representa o Plo Norte e o ponto S o Plo 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 perpendicular 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/2/19
page 21
Estilo OBMEP
21
N
Meridiano
Paralelo
Equador
S
duas partes chamadas hemisfrios.

O plano do Equador divide a superfcie terrestre em dois hemisfrios: o Hemisfrio Norte (que contm o Plo Norte) e o Hemisfrio Sul (que contm o Plo 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 Plos Norte
e Sul por meio de arcos mximos, isto , arcos contidos em circunferncias mximas que passam pelos plos. Convm ressaltar que
os meridianos, ao contrrio dos paralelos, no so circunferncias.
Alm disso, eles esto contidos em planos perpendiculares ao plano
principal1
2009/2/19
page 22
Estilo OBMEP
22
do 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,
descrevem 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
coincidir necessariamente com a usada pelos matemticos.
Atividades
1. Qual o comprimento do Equador, supondo que o raio da Terra

mea 6400 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 esses dados para estimar o raio da Terra em
quilmetros. Considere sen87 530 = 0, 99932.
principal1
2009/2/19
page 23
Estilo OBMEP
23
Linha do Horizonte
O
3. O clculo do raio da Terra mais clebre da Antigidade foi realizado pelo grego Eratstenes (276-196 a.C.). Consultando as
observaes astronmicas acumuladas durante sculos na biblioteca de Alexandria, Eratstenes soube que em Siena, 5000 estdios ( 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
Solares
712?
Alexandria
Siena
principal1
2009/2/19
page 24
Estilo OBMEP
24
Admitindo que os raios solares cheguem ao nosso planeta praticamente paralelos, mostre como obter para o raio da Terra o
valor aproximado de 250000/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 distncia ao horizonte. O oficial pegou papel e lpis e, em poucos
instantes, deu uma resposta. No papel ele havia escrito a fr8
mula d =
5h. Admitindo-se que o raio da Terra mea
5
6400 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

edifcio de 150 metros de altura, supondo-se que no haja obstrues no meio? Utilize a frmula do exerccio anterior.
Respostas
1. cerca de 40212 km
2. cerca de 6319 km
3. cerca de 7360 km
principal1
2009/2/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 isso utilizamos as chamadas coordenadas geogrficas: latitude 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/2/19
page 26
Estilo OBMEP
26
N
M
G
?: latitude de P
?: longitude de P
Equador
E
Greenwich
Atividades
1. Observando um globo terrestre ou um mapa apropriado estabelea as coordenadas geogrficas de cada uma das cidades
abaixo.
Cidade
So Paulo
Macei
Belo Horizonte
Nova Orleans
Chicago
Roma
Nova York
Buenos Aires
Londres
Moscou
Cairo
Tquio
Quito
Los Angeles
Latitude
Longitude
principal1
2009/2/19
page 27
Estilo OBMEP
27
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. Geometricamente, 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
P
C
S
O fato acima equivale a dizer que m(EOP ) = m(XP H).

Mostre porque isso verdadeiro.
5. A acelerao da gravidade, frequentemente denotada por g,
considerada constante para movimentos prximos da superf-
principal1
2009/2/19
page 28
Estilo OBMEP
28
cie terrestre. Na verdade, porm, g no constante, variando

ligeiramente com a latitude . Uma boa aproximao para g,
ao nvel do mar, dada pela expresso
g = 9, 78049(1 + 0, 005288sen2 0, 000006sen2 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 6400 km, qual o comprimento de um grau de longitude em uma latitude arbitrria ?
Em particular, qual o comprimento numa latitude de 30 N
(aproximadamente 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 16000 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 6400 km.
9. Um astronauta encontra-se numa nave espacial que gira numa
rbita 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 esfrica e sua rea dada por 2rh, onde r = 6400 km
principal1
2009/2/19
page 29
Estilo OBMEP
29
o raio da Terra e h a altura da calota). Qual seria a frao

visvel se a nave estivesse a 20.200 km acima da superfcie da
Terra? Neste caso, quanto mede o ngulo de visualizao sobre
a Terra?
h
10. Zona a regio da superfcie terrestre compreendida entre dois

paralelos. Utilize a expresso da rea da calota esfrica para deduzir 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: cortandose 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 plo.
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/2/19
page 30
Estilo OBMEP
30
Respostas
2. rparalelo = rterra cos
5. (c) mximo nos plos 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
Sendo F a frao visvel temos

F =
2r2 (1 sen)
1 sen
.
=
2
4r
2
r
1 d
Por outro lado, como sen =
segue que F =
.
r+d
2r+d
Para r = 6400 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/2/19
page 31
Estilo OBMEP
31
N SEC. 2.2: OS MOVIMENTOS DA TERRA
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 conseqncias desses 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 essa 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 conseqncia 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
NOITE
DIA
Raios
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, tambm 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 isso movimento aparente do Sol.
principal1
2009/2/19
page 32
Estilo OBMEP
32
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. Nessa 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 essa 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, formando um ngulo de 23 270 com esta perpendicular.
2327
N
Equador
Plano da rbita
terrestre
2327
principal1
2009/2/19
page 33
Estilo OBMEP
33
Se o eixo da Terra fosse perpendicular ao plano da rbita, durante

qualquer dia do ano o Hemisfrio Norte receberia a mesma quantidade
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.
Incio do Outono
no
Hemisfrio Sul
Incio do Vero
no
Hemisfrio Sul
Incio do Inverno
no
Hemisfrio Sul
Incio da Primavera
no
Hemisfrio Sul
Apenas em duas ocasies a circunferncia mxima que separa a

zona iluminada daquela que est no escuro passa rigorosamente pelos
plos. 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 plos e
principal1
2009/2/19
page 34
Estilo OBMEP
34
os dois hemisfrios so igualmente iluminados e aquecidos.

No dia 21 de maro comea para ns (no Hemisfrio Sul) o outono, enquanto que para os habitantes do Hemisfrio Norte a primavera 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 Hemisfrio 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 Plo 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/2/19
page 35
Estilo OBMEP
35
Voc j entendeu por que isso acontece? Observe a figura abaixo.

Qual hemisfrio est mais exposto aos raios solares em 21 de dezembro? 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.
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 pontos situados entre o Crculo Polar rtico e o Plo Norte ficam inteiramente 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 Plo Sul fica iluminada 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/2/19
page 36
Estilo OBMEP
36
junho. Nessa poca, o Hemisfrio Sul vai ficando cada vez menos
exposto 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 Plo Norte na direo mais prxima do Sol. A reta imaginria determinada 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 perpendicularmente 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 Plo Sul no atingida
pelos raios solares e a noite dura 24 horas, enquanto que a situada
entre o Crculo Polar rtico e o Plo Norte permanece iluminada
durante 24 horas. No h noite e o dia tem durao de 24 horas.
principal1
2009/2/19
page 37
Estilo OBMEP
37
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 minutos 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, determinando A, B e de modo que h(x) = A + Bsen(x).
(Sugesto: Calcule sabendo que h uma funo peridica de perodo 365. A seguir, obtenha B usando os
valores mximos e mnimos da funo h.)
(c) Seja y o nmero de dias aps 1o 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/2/19
page 38
Estilo OBMEP
38
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
longitude 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 Horizonte exatamente meio-dia, qual ser a hora verdadeira
em Braslia? Para responder essa pergunta basta repetir o argumento
utilizado na atividade 3 do pargrafo 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
prximos uns dos outros? Cada vez que viajssemos para leste ou
para oeste teramos que mudar vrias vezes os ponteiros do relgio.
principal1
2009/2/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 localidades. 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 sentido 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/2/19
page 40
Estilo OBMEP
40
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
proporcional 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 1000 km/h permanecendo o tempo todo na
mesma latitude. Seu destino B alcanado aps percorrer 3000
km. Supondo que o raio da Terra mea 6400 km, qual a hora
local verdadeira em B?
Respostas
1.
2r2
onde r o raio da Terra
3
2. Pesquise sobre a linha internacional de data

3. 17 horas e 35 minutos
principal1
2009/2/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 conseqncia 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.
C
Raios
Solares
?: ngulo de elevao do
Sol em P
?
P
t
41
principal1
2009/2/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 meridiano 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 incidente 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, frequentemente 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 relativa 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 de
principal1
2009/2/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
perpendicularmente 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
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/2/19
page 44
Estilo OBMEP
44
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 retngulo, a medida do ngulo de elevao do Sol e o comprimento de
C a medida do lado oposto a . A razo entre o comprimento de C
e o comprimento de B, que depende do ngulo de elevao e igual
a sen, nos d uma medida para a intensidade relativa da luz solar.
Se o comprimento de B tomado como 1, ento sen = C/1 = C.
Por exemplo, se o ngulo do papel B mede 90 , isto , B perpendicular direo da luz solar, ento sen90 = 1 e a intensidade relativa
da luz solar 1 ou, em porcentagem,100%. Como sen80 0.9848,
temos que quando o ngulo de elevao mede 80 , o papel recebe
aproximadamente 98% da radiao solar disponvel.
Neste modelo, o pedao de papel representa uma rea da Terra e o
ngulo do papel representa o ngulo de elevao do Sol. Quando o Sol
se torna visvel pela primeira vez de manh, certa rea recebe a luz
solar sob um ngulo extremamente pequeno e a intensidade relativa
da radiao solar pequena nesta rea. Quando meio-dia a luz solar
inclinada ao mnimo, ou est perto de se tornar vertical. Ao 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/2/19
page 45
Estilo OBMEP
N SEC. 3.1: O NGULO DE ELEVAO DO SOL NOS EQUINCIOS
3.1
45
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 durante 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 ngulos
complementares. Para calcular a intensidade relativa da radiao solar encontre sen60o . Uma calculadora mostrar aproximadamente
0,8660,
N
Trp. de Cncer
B
Equador
E
30
A 60
A
Trp. de Capricrnio
S
Equador
principal1
2009/2/19
page 46
Estilo OBMEP
46
indicando que a intensidade de Sol em Porto Alegre nos dias de

equincios cerca de 86% da que seria se os raios solares incidissem 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 conhecida. Por exemplo, Santa Cruz, Argentina, est localizada a 50 de
latitude sul. Portanto, o ngulo de elevao do Sol ao meio-dia solar
nos dias de equincios mede 90 50 = 40 .
Para calcular a intensidade relativa da radiao solar que a cidade
recebe nesses dias, encontre sen40 . A calculadora mostrar aproximadamente 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 radiao solar ao meio-dia solar nos dias de equincios.
Cidade
Recife, Brasil
Cuiab, Brasil
So Paulo, Brasil
Melbourne, Austrlia
Quito, Equador
Miami, EUA
Madri, Espanha
Oslo, Noruega
Barrow, Alaska
Latitude
8o S
16o S
23o S
38o S
0o S
26o N
41o N
60o N
71o N
ngulo
de
Elevao do Sol
Intensidade
Relativa
principal1
2009/2/19
page 47
Estilo OBMEP
47
N SEC. 3.2: O NGULO DE ELEVAO DO SOL NOS SOLSTCIOS
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
B
B
D
E
1730?
3630?
A
5330?
P
A ilustrao da esquerda na figura acima mostra o ngulo de elevao 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 .
Uma vez que o ngulo BPC reto segue que APB, que o ngulo de
principal1
2009/2/19
page 48
Estilo OBMEP
48
elevao do Sol ao meio-dia solar, tem medida

90 17 300 = 72 300 .
Cleveland e outras cidades localizadas a 41 de latitude norte recebem o maior brilho solar direto do ano durante o dia de solstcio 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 sen72 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
Porto Alegre nesta hora encontre sen36 300 . A calculadora mostrar
principal1
2009/2/19
page 49
Estilo OBMEP
49
aproximadamente 0,5948 indicando que Porto Alegre recebe cerca de

59% da radiao solar que incidiria se o ngulo fosse de 90 ao meiodia 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.
N
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
P
A
2530?
E
B
6430?
O
Equador
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

Cleveland, P est entre C e O com AP e BO sendo paralelas aos
principal1
2009/2/19
page 50
Estilo OBMEP
50
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 recebem 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 sen25 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.
8330?
630?
O
Equador
A
P
C
Trp. de
Capricrnio
A figura acima mostra o ngulo de elevao do Sol em Porto Ale-
principal1
2009/2/19
page 51
Estilo OBMEP
51
gre. 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 sen83 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/2/19
page 52
Estilo OBMEP
52
Atividades
1. Complete a tabela abaixo, obtendo a intensidade relativa da radiao solar ao meio-dia solar nos dias de solstcios.
Latitude
Cidade
Rio Branco, Brasil
So Paulo, Brasil
Melbourne, Austrlia
Santa Cruz, Argentina
Quito, Equador
So Jos, Costa Rica
Miami, EUA
Paris, Frana
Forel, Groelndia
Solstcio de
Junho
ngulo de
Intensidade
elevao
Relativa
do Sol
Solstcio de
Dezembro
ngulo de
Intensidade
elevao
Relativa
do Sol
10 S
23 S
38 S
50 S
0
10 N
26 N
49 N
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 segundos
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/2/19
page 53
Estilo OBMEP
53
(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 identificar a localidade desconhecida P.
principal1
2009/2/19
page 54
Estilo OBMEP
Captulo 4
A Superfcie Esfrica em
Coordenadas Cartesianas
A partir desta seo trabalharemos num sistema ortogonal de coordenadas cartesianas com origem O. Dado um ponto P = (x, y, z)
do espao, uma dupla aplicao do teorema de Pitgoras mostra que
a distncia de P a O expressa por
d(P, O) =
p
x2 + y 2 + z 2 .
x 2 ? y 2 ? z2
P = (x, y, z)
O
x2 ? y2
54
principal1
2009/2/19
page 55
Estilo OBMEP
55
Mais geralmente, a distncia entre os pontos P = (x, y, z) e
C = (u, v, w) dada pela frmula
d(P, C) =
(x u)2 + (y v)2 + (z w)2 .
Sendo r um nmero real positivo, a superfcie esfrica S de centro

C = (u, v, w) e raio r o conjunto dos pontos P = (x, y, z) tais que
(x u)2 + (y v)2 + (z w)2 = r2
(4.1)
A equao (4.1) acima denominada equao reduzida de S. Assim, 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 superfcie 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/2/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 idia 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
mesmo argumento para a equao

= 0 obtemos (x 1)2 + (y 2)2 + z 2 = 5
x2 + y 2 + z 2 2x 4y + 10
(faa voc).
Como uma soma de quadrados nunca um nmero negativo conclumos que nenhum ponto do espao tem coordenadas (x,y,z) satisfazendo 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 prximo pargrafo onde discutiremos a fundamentao matemtica do
funcionamento do GPS.
principal1
2009/2/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, comparando as equaes (4.2) e (4.3) acima temos aj = 2uj , bj = 2vj ,
principal1
2009/2/19
page 58
Estilo OBMEP
58
cj = 2wj de modo que
a1 a2 b1 b2 c1 c2
a1 a3 b1 b3 c1 c3
a1 a4 b1 b4 c1 c4
u2 u1 v2 v1 w2 w1
=
8
u3 u1 v3 v1 w3 w1
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 determinante 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 acarreta necessariamente que a interseco das quatro superfcies esfricas 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/2/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 Plo 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)
j = m(?COA)
P = (x, y, z)
0
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 a elevao (ou
altitude) de P = (x,y,z).
No tringulo retngulo 40P B da figura acima temos
cos(90o ) =
OB
z
=p
2
OP
x + y2 + z2
principal1
2009/2/19
page 60
Estilo OBMEP
60
e, como cos(90o ) = sen, segue que sen = p
.
+ 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.
x2
Por outro lado, no tringulo retngulo 4OAC temos

sen =
y
OC
x
AC
=p
e cos =
=p
.
2
2
2
OA
OA
x +y
x + y2
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 geogrficas 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 =
=
e cos =
=
6
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/2/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
segue que
Por outro lado, como cos = sen(90 ) =
r
p
p
2
2
2
2
x = x + y cos = rcoscos e y = x + y sen = rcossen.
Para referncia futura repetimos no quadro abaixo as relaes entre as coordenadas geogrficas e as coordenadas cartesianas.
x = rcoscos
y = rcossen
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.
(c) S3 : centro (5,1,7) e raio 5.
principal1
2009/2/19
page 62
Estilo OBMEP
62
(d) S4 : centro (0, -2, -3) e raio 7.

2. Verifique se as equaes dadas abaixo so equaes gerais de
superfcies 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
acima. Determine 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/2/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/2/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 determinar a sua posio em qualquer lugar sobre a Terra com uma notvel
preciso.
64
principal1
2009/2/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 militares 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 motivaram 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 Defesa dos Estados Unidos ao GPS, consiste de um segmento espacial (os
satlites), um segmento de controle (as estaes terrestres de gerenciamento) 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 prdeterminadas com quatro satlites em cada rbita. Os satlites percorrem uma rbita completa a cada 12 horas e cada satlite tem 28
de visualizao sobre a Terra (veja atividade 9 da seo 2.1). Isso
assegura com que todo ponto da superfcie terrestre, em qualquer
principal1
2009/2/19
page 66
Estilo OBMEP
66
CAP. 5: A MATEMTICA DO GPS
instante, 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 fixado que recebido por um receptor na Terra (segmento do usurio)
funcionando como um cronmetro extremamente acurado. O receptor mede a diferena entre o tempo que o padro recebido
principal1
2009/2/19
page 67
Estilo OBMEP
67
e o tempo que foi emitido. Esta diferena, no mais do que um
dcimo de segundo, permite que o receptor calcule a distncia ao
satlite emissor multiplicando-se a velocidade do sinal (aproximadamente 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 superfcie 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 processa 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 determina a posio do usurio calculando-a como interseco das quatro
superfcies esfricas obtidas. A localizao dada, no em coordenadas 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 micro segundo (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 auxilio do piloto automtico e do GPS, uma aeronave
civil capaz de percorrer distncias transatlnticas e pousar sem a
principal1
2009/2/19
page 68
Estilo OBMEP
68
interferncia do piloto com erro de alguns centmetros com o eixo da

pista.
A navegao a funo primria do GPS sendo usado em aeronaves, 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 dentro 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 meteorologia, estudo do clima e outros campos de pesquisa relacionados.
4. Localizao para resgate: o servio usa o GPS para guiar helicpteros de socorro at o lugar do acidente.
5. Aplicaes industriais: reas infectadas por pestes so identificadas 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 aeronaves, 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
principal1
2009/2/19
page 69
Estilo OBMEP
69
de um ponto sobre a superfcie terrestre. As informaes transmitidas
no sistema GPS envolvem, por uma questo de preciso, dez ou mais
dgitos. Para um aproveitamento mais realista da atividade, sugerimos a utilizao de calculadoras ou softwares com capacidade de
resolver sistemas lineares com coeficientes dessa ordem. Uma alternativa, 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.
Satlite
Satlite
Satlite
Satlite
1
2
3
4
x
1, 877191188 106
1, 098145713 107
2, 459587359 107
3, 855818937 106
y
-1, 064608026 107
-1, 308719098 107
-4, 336916128 106
7, 251740720 106
z
2, 428036099 107
2, 036005484 107
9, 090267461 106
2, 527733606 107
Um receptor GPS registra os seguintes lapsos de tempo (em segundos) 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/2/19
page 70
Estilo OBMEP
70
(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 identificar a posio desse usurio do GPS.
principal1
2009/2/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
71
principal1
2009/2/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 conhecimento 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
o
.....
.....
2r
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 circunferncia 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
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
6400 km, segue que a distncia entre elas dada por
(49o
(9/360).(2).6400 1005 km.
principal1
2009/2/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).6400 12399 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
Por exemplo, as cidades de Nova York e Npoles esto praticamente 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 7419 km (verifique).
Se A e B representam as cidades de Nova York e Npoles, respectivamente, 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/2/19
page 74
Estilo OBMEP
74
Terra medindo 6400 km, podemos escrever

A = 6400(cos41 cos(74 ), cos41 sen(74 ), sen41 )
B = 6400(cos41 cos14 , cos41 sen14 , sen41 ),
ou seja,
A = 6400(0, 20802, 0, 72547, 0, 65606)
B = 6400(0, 73229, 0, 18257, 0, 65606).
A medida procurada ser obtida por meio da relao

< OA, OB >= kOAkkOBkcos, onde <, > indica o produto interno

usual entre os vetores OA e OB enquanto que kOAk, kOBk so os

mdulos desses vetores, neste caso ambos iguais as 6400.
Como

< OA, OB > = 64002 [0, 152330, 13244+0, 43041] = 64002 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.6400 7037km. Note como esta distncia menor do
que aquela calculada ao longo do paralelo.
O argumento acima pode ser utilizado para calcular a distncia 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).6400.
Encerramos a seo apresentando uma prova formal do fato que
_
d(A, B) o comprimento do arco menor AB da circunferncia mxima que passa por A e B. Isso pode ser feito com umas poucas
simplificaes e a ajuda do clculo diferencial e integral.
principal1
2009/2/19
page 75
Estilo OBMEP
75
Primeiro, podemos supor sem perda de generalidade que a superfcie 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 Plo Norte. O outro ponto, B, ser dado pelas suas
coordenadas geogrficas que vamos supor medidas em radianos. Digamos 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/2/19
page 76
Estilo OBMEP
76
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 exRt
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 6400 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
determine a distncia entre elas.
2. Qual a distncia de Salvador ao Plo Sul? E ao Plo 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/2/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
curto possvel). Que distncia o piloto teve de voar?
(b) Qual a distncia de Chicago a Roma por circunferncia
mxima?
(c) Quanto tempo se economizaria voando em uma circunferncia 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 8300 km
(b) cerca de 7752 km
(c) aproximadamente 36 minutos
4. cerca de 8545 km
principal1
2009/2/19
page 78
Estilo OBMEP
[1] Azevedo, G.G. e Santos, F.M.: Panorama do Brasil I, Editora
Atual, 1990.
[2] Feeman, T.G.: Portraits of the Earth, American Mathematical
Society, 2002.
[3] Hy Kim: Angled Sunshine, Seasons and Solar Energy, The
Mathematics Teacher Vol 90, No 7, October 1997.
[4] Jennings, G.A.: Modern Geometry with Applications, Springer,
1997.
[5] Moise, E.: Elementary Geometry from an Advanced Standpoint,
Third Edition, Addison Wesley Publishing Co., 1990.
[6] Nord, G.D., Jabon, D. and Nord, J.: The Mathematics of the
Global Positioning System, The Mathematics Teacher Vol 90,
No 6, September 1997.
[7] Waiveris, C. and Craine, T.V.: Where are we?, The Mathematics
Teacher Vol 89, N 6, September 1996.
78
principal1
2009/2/19
page 79
Estilo OBMEP
REFERNCIAS BIBLIOGRFICAS
Sites Consultados
[1] www.garmin.com
[2] http://astro.if.ufrgs.br/indexhtml
79
principal1
2009/2/19
page 80
Estilo OBMEP
80
principal1
2009/2/19
page 81
Estilo OBMEP
Os Trs Problemas Clssicos da

Matemtica Grega
Joo Pitombeira de Carvalho
81
principal1
2009/2/19
page 82
Estilo OBMEP
82
principal1
2009/2/19
page 83
Estilo OBMEP
Prefcio
Este trabalho foi escrito originalmente para um mini-curso apresentado 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
publicado como um dos captulos do livro de Joo Bosco Pitombeira
de Carvalho, Trs excurses pela Histria da Matemtica. 1
No mini-curso, usamos o aplicativo de geometria dinmica
TABULAE, para que os alunos pudessem fazer, realmente, as construes 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 realmente 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 construes 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/2/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 explicao: 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 outras lnguas. Em verdade, 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, facilmente 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/2/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
R
feitas com o aplicativo de Geometria dinmica TABULAE
, desenvolvido no Instituto de Matemtica da Universidade Federal do Rio
de Janeiro.
Embora o autor tenha procurado corrigir todos os erros tipogrficos 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 tipogrficos), as quais podem ser encaminhadas para jbpfcarvalho@gmail.com.
Joo Bosco Pitombeira de Carvalho
principal1
2009/2/19
page 86
Estilo OBMEP
86
principal1
2009/2/19
page 87
Estilo OBME
Sumrio
Introduo
89
7 A Duplicao do Cubo
97
7.1
A mquina de Plato . . . . . . . . . . . . . . . . . . .
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
8.1
99
119
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/2/19
page 88
Estilo OBMEP
88
128
principal1
2009/2/19
page 89
Estilo OBMEP
Introduo
indubitvel que,
na Histria da
Matemtica, alguns problemas tm significao especial: agindo como catalisadores
eles influenciam muito o desenvolvimento
da cincia. Tais problemas atraem devido
simplicidade e lucidez de seus enunciados,
fascinando 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 Geometria 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/2/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 estes 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, pp. 89-121).
Uma discusso de por que os gregos tentavam resolver problemas de
construo usando somente a rgua e compasso, pode ser encontrada,
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 sempre e no do que nasce e perece.
Passaram tambm a dar ao crculo e reta papeis destacados:
... Aristteles - O que no tem nem comeo nem fim
portanto ilimitado
Parmnides- Ele ilimitado.
Aristteles - Portanto ele no tem forma, pois no participa nem do redondo nem do reto.
principal1
2009/2/19
page 91
Estilo OBMEP
91
Alm da idia 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 instrumentos.
O matemtico van der Waerden (p. 263) resumiu a situao como
segue:
A idia por vezes expressa de que os gregos permitiam somente construes com rgua e compasso inadmissvel. 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 sempre 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/2/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 persistiram 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 existncia robusta eles so atualmente chamados de problemas
famosos. (...) Estes trs problemas, solidamente inexpugnveis malgrado todas as tentativas usando geometria
plana, o mtodo matemtico dos antigos gregos, fizeram
com que os matemticos ficassem fascinados e construissem 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 frutfera 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/2/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, idia 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/2/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 completamente resolvido nos Elementos de Euclides, e j foi 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, pp. 131-132). Curiosamente,
somente h pouco tempo, em 1947, usando tcnicas muito sofisticadas, que o problema de achar todas as lnulas quadrveis foi
completamente resolvido (Scriba, 1987)!
A primeira meno conhecida do problema da quadratura do crculo 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 todos os outros foi o de fazer a quadratura do retngulo. Este problema
facilmente resolvido com rgua e compasso usando o resultado que,
principal1
2009/2/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 exibir
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 problemas 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/2/19
page 96
Estilo OBMEP
96
conceitos e tcnicas existentes no conseguiam resolver estes problemas, eles inventavam novos conceitos e tcnicas apropriadas para a
tarefa.
principal1
2009/2/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 detalhes contraditrios. Uma delas se refere duplicao de um tmulo e
a outra duplicao de um altar (van der Waerden, pp. 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 demasiadamente pequena e que ela deveria ser duas vezes maior e ordenou imediatamente 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/2/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/2/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. Gravitaram 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, pp. 162-163) em Matemtica. Assim, 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 , formado 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/2/19
page 100
Estilo OBMEP
100
Figura 7.2: Meia proporcional entre ON = a e OM = b

Vemos que os tringulos N OB e M OC so semelhantes e portanto
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/2/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 interseco, K, com a reta que passa por ET . Fazemos as placas
deslizar, como descrito acima, de maneira que o lado direito ZF da
primeira 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.3.
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/2/19
page 102
Estilo OBMEP
102
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
=
=
BZ
KB
KZ
(7.1)
Temos tambm que os tringulos BZK e CHK so semelhantes,

e portanto
BZ
KZ
KB
=
=
CH
KH
KC
(7.2)
Da semelhana dos tringulos CHK e DT K segue-se que

CH
KH
KC
=
=
DT
KT
KD
(7.3)
Da semelhana dos tringulos AZK e BHK decorre

AZ
KZ
KA
=
=
BH
KH
KB
(7.4)
principal1
2009/2/19
page 103
Estilo OBMEP
103
N SEC. 7.2: A MQUINA DE ERATSTENES
Alm disso, como os tringulos BHK e CT K so semelhantes,

vemos que
BH
KH
KB
=
=
CT
KT
KC
(7.5)
CH
KH
KC
BH
KB
=
=
=
=
,
DT
KT
KD
CT
KC
(7.6)
De 7.3 e 7.5 obtemos
KH
em comum.
KT
KB
em comum, segue-se que
Como 7.2 e 7.6 tm
KC
pois ambos tm
BZ
KZ
BK
BH
KH
CH
KC
=
=
=
=
=
=
CH
KH
KC
CT
KT
DT
DK
Como 7.1 e 7.4 tm
(7.7)
KA
em comum, segue-se que
KB
AE
KA
KE
AZ
KZ
=
=
=
=
BZ
KB
KZ
BH
KH
(7.8)
De 7.7 mantenhamos somente as razes que nos interessam:

BZ
KZ
CH
=
=
CH
KH
DT
(7.9)
De 7.8 mantenhamos somente as razes que nos interessam:

AE
KZ
=
BZ
KH
Como 7.9 e 7.10 tm
KZ
em comum, obtemos, enfim, que
KH
(7.10)
principal1
2009/2/19
page 104
Estilo OBMEP
104
AE
BZ
CH
=
=
,
BZ
CH
DT
o que queramos demonstrar.
(7.11)
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
=
=
.
MA
CK
AB
(7.12)
Para compreender isso, devemos usar a Proposio II.6, dos
principal1
2009/2/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/2/19
page 106
Estilo OBMEP
106
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
=
=
.
MA
ML
BC
(7.15)
1
Observe que BC = GC, devido congruncia dos tringulos
2
GBD e DAL.
Como AB = 2AD, temos
2 AD
2 CK
=
MA
GC
(7.16)
AD
CK
=
MA
GC
(7.17)
e assim,
principal1
2009/2/19
page 107
Estilo OBMEP
107
Como os tringulos GF K e CHK so semelhantes, temos

CK
HK
=
GC
FH
(7.18)
AD
CK
HK
=
=
.
MA
GC
FH
(7.19)
HK
AD
=
M A + AD
F H + HK
(7.20)
HK
AD
=
.
MD
FK
(7.21)
e da segue-se que
Temos ento que
e assim
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 .
Comparando 7.22 e 7.24 vemos que
(7.24)
principal1
2009/2/19
page 108
Estilo OBMEP
108
BM M A = BK KC
(7.25)
BK
MA
=
.
BM
CK
(7.26)
de maneira que
Da semelhana dos tringulos M BK, M AL e LCK segue-se que

BK
AL
CK
=
=
BM
MA
LC
(7.27)
Finalmente, usando 7.26 e 7.27, temos que:

CK
MA
AL
=
=
LC
CK
MA
(7.28)
Como LC = AB, AL = BC, temos, enfim, que

BC
MA
CK
=
=
,
MA
CK
AB
o que queramos demonstrar.
(7.29)
2
Esta demonstrao encontra-se em Heath (1981). Daremos a seguir 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/2/19
page 109
Estilo OBMEP
109
De 7.30 e de 7.31 vemos imediatamente que

F K 2 EK 2 = F C 2 EC 2
(7.32)
e assim
1
b+x
2
1
a+y
2
2
1 2
1
b
a .
2
2
(7.33)
Disso, segue-se imediatamente que

ay + y 2 = bx + x2 .
(7.34)
a+y
x
= .
b+x
y
(7.35)
Logo
Os tringulos CHK e GF K so semelhantes e podemos portanto

escrever
HK
FH
=
,
CK
GC
(7.36)
ou seja
1
b
2 = x = b = x = a = y .
y
2a
y
a
x
b
(7.37)
Mas ento
a+y
x+b
a+y
y
=
=
= .
y
b
x+b
b
De 7.34 e 7.36 vemos que
(7.38)
principal1
2009/2/19
page 110
Estilo OBMEP
110
x
y
x
y
a
= = = =
y
b
y
b
x
(7.39)
a
x
y
= = .
x
y
b
(7.40)
e assim
Como, pela semelhana dos tringulos AM L e LCK, temos que

a
y
= ,
AM
b
(7.41)
AM = x,
(7.42)
vemos imediatamente que
o que conclui a demonstrao.

Na construo apresentada por Nicomedes (Figura 7.5), foi
necessrio construir a reta F KK 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, pp. 289-290). Embora o raciocnio de rquitas seja
puramente geomtrico (veja van der Waerden, p. 151 ou Heath, 1981,
principal1
2009/2/19
page 111
Estilo OBMEP
N SEC. 7.4: A CONSTRUO DE RQUITAS
111
vol 1, pp. 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 circunferncia cujo dimetro OA0 igual a a e uma outra circunferncia
OBA, cujo dimetro igual a b e que est contida em um plano perpendicular 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/2/19
page 112
Estilo OBMEP
112
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
(x2 + y 2 + z 2 ) =
a2 2
x .
b2
(7.43)
Seja D a projeo de C sobre Ox. Ento a curva de rquitas

corta o cone no ponto B cuja projeo sobre o plano de 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/2/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/2/19
page 114
Estilo OBMEP
114
Se x e y so duas meias proporcionais entre a e b, temos que

x
y
a
= = .
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 proporcionais 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 verificado pela soluo devida a Diocles. claro que Mencmo no formulou 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/2/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/2/19
page 116
Estilo OBMEP
116
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
y2
x2
x = cos = sen2 =
=
=
,
x2 + y 2
1 + tg 2
x2 + y 2
x2
tg 2
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
= 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.
imediato ento que
principal1
2009/2/19
page 117
Estilo OBMEP
117
N SEC. 7.7: O MTODO DE HIERO
7.7
O Mtodo de Hiero
Descrevemos a seguir o mtodo proposto por Hiero

duas meias proporcionais entre os segmentos a e b.
para achar
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.
Matemtico e fsico grego, que viveu em torno de 60 d.C., em Alexandria.
principal1
2009/2/19
page 118
Estilo OBMEP
118
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
x
y
a
= = .
x
y
b
Mais detalhes sobre a duplicao do cubo podem ser achados em
Heath (1981, vol 1, pp 244-270). Uma explicao lcida da soluo de
rquitas encontra-se em van der Waerden (pp. 150-152), Heath (1981,
vol 1, pp. 246-249) e Teixeira (1995, pp 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/2/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 gregos encontraram maneiras de resolver este problema usando curvas
e construes que no podem ser obtidas somente com rgua e compasso.
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. Aristteles afirma que a origem deste problema foi a procura da mdia geomtrica, 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/2/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 constante 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/2/19
page 121
Estilo OBMEP
121
N SEC. 8.1: A QUADRATRIZ
dade. Quando =
, temos que
2
a
= k,
2
de maneira que
k=
2a
e podemos concluir que

=
Assim,
y
2a
= y =
.
2a
y
2a
y
= sen = =
=
.
sen
sen
Temos ento que
2a
.
0
AZ = lim = lim
0
Quando 0,
lim
= 1.
sen
e assim vemos que

AZ = =
2a
.
2a
imediato construir
Aps obter um segmento de comprimento
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 crculo pode ser encontrado em Heath (1981, vol I, pp. 220-235). Uma
boa exposio encontra-se em Teixeira (1995, pp. 362-384). A histria
detalhada do nmero pode ser lida em Beckmann (1977).
principal1
2009/2/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 curves 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/2/19
page 123
Estilo OBMEP
N SEC. 9.1: A TRISSECO DO NGULO POR ARQUIMEDES
9.1
123
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 =ngulo M N O = ngulo M ON . De maneira semelhante,
ngulo BM O = ngulo OBM .
No tringulo N OM , o teorema do ngulo externo permite escre\
\
\
ver que BM
O=M
BO = 2 M
N O. Aplicando o teorema do ngulo
principal1
2009/2/19
page 124
Estilo OBMEP
124
CAP. 9: A TRISSECO DO NGULO
externo ao tringulo BN O, vemos que

\ = BN
\
\
\
BOA
O+M
BO = 3 BN
O,
e vemos assim que com esta construo possvel dividir o ngulo
BOA em trs partes iguais.
2
9.2
A Trisseco do ngulo por Nicomedes
Examinemos agora outro exemplo de trisseco do ngulo, devido

a Nicomedes, no qual ele utiliza uma construo por ajustamento.
Suponha que desejamos trissectar o ngulo = AOB. Por B
levante uma reta perpendicular a OB e por A uma reta paralela a OB
(Figura 9.2). Trace uma reta por O e sejam P e C suas interseces
com AB e AC respectivamente. Mova-a de maneira que P C = 2OA.
\
\
Afirmamos que P
OB = AOB/3.
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
\ = ADO
\ e
P D = AD = DC = OA. Sejam = AOD
\ = ACD.
\ Aplicando o teorema do ngulo externo ao trin = DAC
gulo ADC vemos que = 2. Como AC e OB so paralelas, segue-se
\
que = P
OB e portanto = 3.
principal1
2009/2/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 plo 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 plo 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 105. Com efeito, a interseco K da
conchide cujo plo 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/2/19
page 126
Estilo OBMEP
126
9.3
CAP. 9: A TRISSECO DO NGULO
Trisseco
do
ngulo
Usando
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
freqentemente em Matemtica, s vezes uma idia que permite atacar 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 = 3 T[
AZ.
principal1
2009/2/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, pp 235-244). Para uma
discusso geral de problemas resolvidos usando construes neusis, ver
Heath (1953, Captulo V, pp. c-cxxii) e um tratamento mais didtico
em Yates (1971). Vrias outras construes podem ser achadas em
Teixeira (1995, pp. 327-358). Consultar tambm Dudley (1987) em
que se encontram muitos processos aproximados ou exatos para trissectar um ngulo.
principal1
2009/2/19
page 128
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 and 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 and Herbert Robbins: What is mathematics?
New York: Oxford University Press, 1996.
[6] Bkouche, Rudolf et Jolle Delattre: Pourquoi la rgle et le compas. Comission Inter-IREM, Histoire de problmes, Histoire des
Mathmatiques. Paris: Ellipses, 1993.
[7] Dudley, Underwood:
Springer, 1987.
A budget of trisections. New York:
[8] Eves, Howard: Introduo Histria da Matemtica. Campinas:

Editora da UNICAMP, 1995.
128
principal1
2009/2/19
page 129
Estilo OBMEP
129
[9] Hadlock, Charles Robert: Field theory and its classical problems.
Washington, DC: Mathematical Association of America, 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, two volumes. 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, translated by Wooster Woodruff Beman e David Eugene Smith. New
York: G. E. Stechert & Co. 1930.
[15] Knorr, Wilbur Richard: The evolution of the euclidean elements:
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, pp 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/2/19
page 130
Estilo OBMEP
130
[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, no 211987,
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. (1a ed. Coimbra:
Universidade de Coimbra, 1909).
[23] van der Waerden, B. L. : Science Awakening I. Third edition.
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 alKhwarizmi 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/2/19
page 131
Estilo OBMEP
A Matemtica dos Cdigos

de Barras
Francisco Csar Polcino Milies
131
principal1
2009/2/19
page 132
Estilo OBMEP
132
principal1
2009/2/19
page 133
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 deparamos 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. Seu 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 conceitos e idias bsicas ligados 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 discutir um dos aspectos mais interessantes da teoria: como se pode
133
principal1
2009/2/19
page 134
Estilo OBMEP
134
estruturar o cdigo de modo que um clculo simples (em geral efetuado automaticamente pela caixa que registra a compra) pode detectar 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 aplicaes, tais como a moderna criptografia ou a teoria de cdigos corretores 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/2/19
page 135
Estilo OBMEP
Sumrio
Introduo
137
Um Pouco de Histria . . . . . . . . . . . . . . . . . . . . . 139

10 Cdigo de Barras
147
10.1 Escrevendo com Barras . . . . . . . . . . . . . . . . . . 147

10.2 A Deteco de Erros . . . . . . . . . . . . . . . . . . . 153
10.3 Outros Cdigos Numricos . . . . . . . . . . . . . . . . 158
11 Cdigos sobre Grupos
168
11.1 O Grupo Dihedral . . . . . . . . . . . . . . . . . . . . 168

177
135
principal1
2009/2/19
page 136
Estilo OBMEP
136
principal1
2009/2/19
page 137
Estilo OBMEP
Introduo
Hoje em dia, muitos produtos so identificados com um cdigo
numrico. O progresso da tecnologia, que tornou relativamente
baratos e acessveis aparelhos de leitura ptica e computadores,
tornou tambm uso de este tipo de cdigos bastante freqente. 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 identificao, escrito de forma a permitir uma leitura rpida no
caixa. Note que imediatamente abaixo das barras, aparece o mesmo
nmero escrito em algaritmos correntes, de forma que o leitor humano
tambm possa ler o nmero.
Figura 9.5: Cdigo de barras
137
principal1
2009/2/19
page 138
Estilo OBMEP
138
Porm, algumas vezes acontece que, ao passar um produto pela

leitora tica (por exemplo, quando a embalagem est mida ou enrrugada), esta no consegue realizar a leitura. O que vemos ento
que 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 tenta passa-lo mais uma vez. Se nem assim
d 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 totalemente
simtrico para a mquina, que o l usando um feixe de luz transversal,
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 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 digitao - e todos ns j vimos isso acontecer alguma vez - 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 idias 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 idias matemticas que fazem com que eventuais erros possam ser detectados. No
captulo final, mostraremos brevemente como estas idias podem ser
extendidas para se obter cdigos mais sofisticados.
principal1
2009/2/19
page 139
Estilo OBMEP
139
Um Pouco de Histria
A idia 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 os comeos
da automao, isto foi feito com cartes perfurados que so antepassados diretos dos cdigos de barra.
De forma muito esquemtica, os estgios do processo que nos interessa so os seguintes:
Em 1728, B. Bouchon concebeu a idia 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/2/19
page 140
Estilo OBMEP
140
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 matemtica na Inglaterra e que tiveram influncia fundamental na
criao da lgebra abstrata) inventou um instrumento de clculo
mais sofisticado, que denominou Mquina Diferencial. Nessa
essa 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,
projetou uma Mquina Anatica, 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 dispositivo 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 idias 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 taduziu 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 investimentos governamentais, a mquina jamais chegou a ser construida. De acordo ao plano original, ela seria movida a vapor e
de tamanho maior do que uma locomotiva.
principal1
2009/2/19
page 141
Estilo OBMEP
141
A prxima personagem importante nesta histria Hermann
Hollerith (1860-1951) que obteve um doutorado em estatstica 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 completamente todos os dados recolhidos. Durante este perodo, Hollerith 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 idia 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 sofisticado e coletar mais dados que o anterior, a inveno de Hollerith
pode tabular todos os dados em apenas seis semanas.
Sua criao teve sucesso immediato 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/2/19
page 142
Estilo OBMEP
142
neares, alm de ter outras limitaes tcnicas.
Em 1941 os alemes desenvolveram o Z3, desenhado por
Konrad Zuse. Era eletromecnico, mas com objetivos mais
gerais e totalmente programvel mediante fitas perfuradas.
Em 1944, Tommy Flowers desenhou, na Inglaterra, o computador 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 computador 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 construo 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 precisou, para sua construo, de mais de cinco milhes de soldas
feitas a mo. Ocupava todo um galpo e consimuia 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 possuia 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/2/19
page 143
Estilo OBMEP
143
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 Universidade de Harvard, iniciou-se em 1939 mas foi concludo apenas
em 1943, na IBM. Foi tansladado a Harvard onde foi mostado
publicamente, pela primeira vez, em 1944 e foi batizado oficialmente 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 diminuir

gradativamente o tamanho (e o custo!) dos computadores at
populari-z-los definitivamente. Foi tambm a tecnologia que permitiu usar feixes de luz e scanners para transmitir dados direta e
rapidamente aos computadores, criando assim condies para a utilizao da codificao que nos interessa estudar aqui.
principal1
2009/2/19
page 144
Estilo OBMEP
144
Cdigos de Barras
A primeira patente de um cdigo de barras foi atribuida 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 classificao 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 Council 1 definiu um
formato numrico para identificar produtos e pediu a diversas companhias que elaborassem um cdigo adequado. Dentre as firmas contactadas, a que acabou apresentando a proposta vencedora foi a IBM
e o cdigo foi criado por George J. Laurer2
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/2/19
page 145
Estilo OBMEP
145
ser conhecido como cdigo UPC (Universal Product Code) e foi adotado nos Estados Unidos e Canad. Ele consistia de uma seqncia
de 12 dgitos, traduzidos para barras da forma que analizaremos detalhadametne 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 produto 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/2/19
page 146
Estilo OBMEP
146
principal1
2009/2/19
page 147
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 imediatamente 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
147
principal1
2009/2/19
page 148
Estilo OBMEP
148
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 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 seqncia 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 seqncia de sete dgitos iguais a 1 ou
0. Por exemplo, a seqncia 0001101 que achamos acima representa
o nmero 0, o primeiro do cdigo da figura. O seguinte nmero do
cdigo, o 7, representado pela seqncia 0111011.
Agora que comeamos a compreender a forma de escrever com
barras, j podemos responder primeira das nossas perguntas: como
a leitora distingue a direita de 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 esquerdo do cdigo de barras. Isto feito conforme
seguinte tabela:
principal1
2009/2/19
page 149
Estilo OBMEP
149
N SEC. 10.1: ESCREVENDO COM BARRAS
dgito
do lado esquerdo
do lado direito
0001101
1110010
0011001
1100110
0010011
1101100
0111101
1000010
0100011
1011100
0110001
1001110
0101111
1010000
0111011
1000100
0110111
1001000
00010011
1110100
Note que a codificao de um dado nmero, direita, se obtm

da sua codificao esquera, trocando cada 0 por 1 e reciprocamente.
Agora, o mecanismo de reconhecimento fica claro se notamos que
cada seqncia do lado esquerdo tem um nmero mpar de dgitos
iguais a 1 e, conseqentemente, cada uma das que esto direita tem
um nmero par . Assim, verificando a paridade de cada seqncia de
sete dgitos, a maquina sabe imediatamente de que lado est lendo
o cdigo.
A elaborao do cdigo EAN se deparou com um problema bastante delicado. Era necessrio adicionar um dgito cada cdigo, de
modo a permitir a identificao do pas de orgem 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 abaixo, 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, vemos que h um 0 a mais, escrito no incio da seqncia. Porm, se
principal1
2009/2/19
page 150
Estilo OBMEP
150
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 utilindo-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 seqncia 789, que a que identifica o pas.1
Como era necessrio adicionar um dgito e tambm manter o o mesmo
padro de tamanho do cdigo de barras, para no ter que modificar
todas as leitoras, a idia 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.
Uma tabela completa, com os nmeros identificatrios de cada pas, pode ser
encontrada na pgina internet http://www.barcodeisland.com/ean13.phtml
principal1
2009/2/19
page 151
Estilo OBMEP
151
N SEC. 10.1: ESCREVENDO COM BARRAS
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
0001101
0100111
1110010
0011001
0110011
1100110
0010011
0011011
1101100
0111101
0100001
1000010
0100011
0011101
1011100
0110001
0111001
1001110
0101111
0000101
1010000
0111011
0010001
1000100
0110111
0001001
1001000
00010011
0010111
1110100
Finalmente, para cada dgito inicial escolhe-se uma alternncia

diferente de pares e mpares de acordo com o seguinte critrio:
1o
2o
3o
4o
5o
6o
mpar
mpar
mpar
mpar
mpar
mpar
mpar
mpar
par
mpar
par
par
mpar
mpar
par
par
mpar
par
mpar
mpar
par
par
par
mpar
mpar
par
mpar
mpar
par
par
mpar
par
par
mpar
mpar
par
mpar
par
par
par
mpar
mpar
mpar
par
mpar
par
mpar
par
mpar
par
mpar
par
par
mpar
mpar
par
par
mpar
par
mpar
Dgito inicial
principal1
2009/2/19
page 152
Estilo OBMEP
152
Vamos ver um exemplo. Uma barra de cerais produzida no Brasil

identificada pelo cdigo 7895000266241. Como corresponde, comea
com a seqncia 789, de modo que o primeiro dgito, que estar implcito na codificao dos demais, sete. Conseqentemene, 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 0111001
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/2/19
page 153
Estilo OBMEP
N SEC. 10.2: A DETECO DE ERROS
153
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 orgem 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 a 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 seqncia 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 seqncia, esto 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 seqncia como
um vetor
= (a1 , a2 , . . . , a11 , a12 , x).
principal1
2009/2/19
page 154
Estilo OBMEP
154
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.
Conseqentemente, 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. Suponhamos 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/2/19
page 155
Estilo OBMEP
155
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 dgitos (pois usa apenas um para identificar o pas de orgem 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
necessriamente 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/2/19
page 156
Estilo OBMEP
156
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/2/19
page 157
Estilo OBMEP
157
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/2/19
page 158
Estilo OBMEP
158
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 erros 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] investigaram sistematicamente os erros cometidos por operadores humanos. No quadro abaixo damos as frequencias 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/2/19
page 159
Estilo OBMEP
159
N SEC. 10.3: OUTROS CDIGOS NUMRICOS
Tipo de erro
erro nico
. . . a . . . 7 . . . b . . .
transposio adjacente
. . . ab . . . 7 . . . ba. . .
transposio alterna
. . . abc. . . 7 . . . cba. . .
erro gmeo
. . . aa. . . 7 . . . bb. . .
erro gmeo alternado
. . . aba. . . 7 . . . cbc . . .
outros
Frequncia relativa %
79
10.2
0.8
0.6
0.3
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 acrecido 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 freqentemente A = {0, 1, . . . , m 1}. Neste caso,
tomando classes mdulo m, temos que an o nico elemento de A
principal1
2009/2/19
page 160
Estilo OBMEP
160
que verifica:
an = w1
n
n1
X
!
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 sistema definido desta forma, para detectar os diversos tipos de erros
mais freqentes.
Teorema 10.2. (Capacidade de deteco) Sejam m um inteiro positivo 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/2/19
page 161
Estilo OBMEP
161
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 . . . .
Note que, neste caso podemos calcular a diferena
0 = (ai wi + aj wj ) (aj wi ai wj ) = (ai aj )(wi wj ).
principal1
2009/2/19
page 162
Estilo OBMEP
162
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 clasificao de livros
o ISBN (International Standard Book Number). Ele trabalha
mdulo 11, mas para facilitar a notao, utiliza tambm como conjunto 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 acima 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)
Este mtodo, porm, tem um pequeno inconveniente, que se comprender melhor analizando mais um exemplo. Um conhecido livro
de lgebra [13] tem como vetor de informao de seu cdigo ISBN o
principal1
2009/2/19
page 163
Estilo OBMEP
163
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 smbolo para representar este nmero. A conveno usual utilizar o
smbolo X e assim, 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 escolher n permutaes 1 , . . . n do conjunto A, definir um vetor de
pesos por = (1 , . . . , n ), fixar um nmero c A e escolher o dgito
de verificao an de modo que verifique a equao:
() = 1 (a1 ) + n (an ) c (mod m).
principal1
2009/2/19
page 164
Estilo OBMEP
164
Neste caso, o dgito de verificao fica definido por:
an =
n1
n1
X
!
i (ai ) .
i=1
Este tipo de codificao tambm usado na prtica, como mostra o

seguinte.
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).
No caso em que o nmero de componentes do vetor de identificao
par utiliza-se o vetor de pesos
= (, I, , I, . . . , , I)
principal1
2009/2/19
page 165
Estilo OBMEP
165
e resulta uma equao de verificao anloga, com uma frmula similar 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
I
7
5
I
7
1
I
1
5
I
1
4
I
4
1
I
1
4
I
9
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 digitao 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 )
onde 0 = I. A equao ento:
n
X
i1 (an+1i ) c (mod 10)
i=1
e
an c
n
X
i=2
i1 (an+1i ) (mod 10).
2
I
2
principal1
2009/2/19
page 166
Estilo OBMEP
166
Este sistema detecta todo erro nico de digitao, toda transposio, 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 digitao 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 dgitos como elementos de Z2m , para simplificar nossos argumentos. Suponhamos 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
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
0+1+2+ +2m1 =
(2m 1) 2m
= 2mmm m (mod 2m),
2
ou seja,
0 + 1 + + 2m 1 = m em Z2m .
principal1
2009/2/19
page 167
Estilo OBMEP
167
Logo:
m =
x=
xZ2m
(x)
xZ2m
(i (x) j (x)) =
xZ2m
= m m = 0,
xZ2m
i (x)
j (x)
xZ2m
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
verificao 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) = 2x9 se x [5, 9]. Considere separadamente trs casos: (i) a, b [0, 4], (ii) a, b [5, 9]
e (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/2/19
page 168
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
168
principal1
2009/2/19
page 169
Estilo OBMEP
N SEC. 11.1: O GRUPO DIHEDRAL
169
identidade R0 , a rotao R1 de ngulo 2/5 em sentido antihorrio,

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/2/19
page 170
Estilo OBMEP
170
CAP. 11: CDIGOS SOBRE GRUPOS
Procedendo desta forma, obtemos a seguinte tabela de multiplicao 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
9
5
6
7
8
2
2
3
4
0
1
8
9
5
6
7
3
3
4
0
1
2
7
8
9
5
6
4
4
0
1
2
3
6
7
8
9
5
5
5
6
7
8
9
0
1
2
3
4
6
6
7
8
9
5
4
0
1
2
3
7
7
8
9
5
6
3
4
0
1
2
8
8
9
5
6
7
2
3
4
0
1
9
9
5
6
7
8
1
2
3
4
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 idia 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
desenvolver este sistema porque pode-se verificar diretamente que
a (b) 6= b (a) para todo a, b D5 .
Logo abaixo veremos a importncia deste fato.
(11.1)
principal1
2009/2/19
page 171
Estilo OBMEP
171
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 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 orgo
emissor de dinheiro da Alemanha, o Deutsche Bundesbank. As
notas de dinheiro so numeradas num cdigo alfanumrico; isto , se
utilizam tanto letras quanto 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:
O cdigo utilizado pelo banco segue uma variante do mtodo an1
Citado por Gallian [7].
principal1
2009/2/19
page 172
Estilo OBMEP
172
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 determinlas 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
5
8
9
4
2
7
0
1
5
1
2
3
4
5
6
7
8
9
10
1
5
8
9
4
2
7
0
1
5
8
2
7
0
1
5
8
9
4
2
7
0
3
6
3
6
3
6
3
6
3
6
3
4
2
7
0
1
5
8
9
4
2
7
5
8
9
4
2
7
0
1
5
8
9
6
3
6
3
6
3
6
3
6
3
6
7
0
1
5
8
9
4
2
7
0
1
8
9
4
2
7
0
1
5
8
9
4
9
4
2
7
0
1
5
8
9
4
2
Isto significa, por exemplo, que a permutao 5 :
5 =
0 1 2 3 4 5 6 7 8 9
4 2 8 6 5 7 3 9 0 1
!
.
O nmero de srie da nota da Figura 11.2 DU7124458G6. Vamos

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
0
D
1
G
2
K
3
L
4
N
5
S
6
U
7
Y
8
Z
9
Usando esta tabela, o nmero da nota em questo se transforma
principal1
2009/2/19
page 173
Estilo OBMEP
173
em 17712445826. Aplicamos ento ordenadamente as permutaes

dadas:
1
1
5
7
2
1
7
3
5
1
4
4
2
5
8
4
6
8
4
7
9
5
8
5
8
9
9
2
10
0
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 viceversa. 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/2/19
page 174
Estilo OBMEP
174
Definio 11.1. Uma permutao de um grupo G diz-se uma aplicao anti-simtrica 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 anti-simtrica.
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 anti-simtricas, houve vrios trabalhos que dedicam 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 aplicao 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 anti-simtrica se e somente se G possui uma aplicao
completa.
Um grupo abeliano de ordem 2m, com m mpar no possui aplicaes completas [3]. Como consequncia imediata, temos que Um
grupo abeliano de ordem 2m, com m mpar no possui aplicaes antisimtricas.
Outros resultados relativos a este tipo de aplicaes so os
seguintes:
Um grupo cclico admite uma aplicao anti-simtrica se e somente se de ordem mpar [15].
principal1
2009/2/19
page 175
Estilo OBMEP
175
Todo grupo solvel no abeliano admite uma aplicao antisimtrica [11].

Todo grupo simples, exceto Z2 , admite uma aplicao antisimtrica [8].
Foi anunciado por Heiss que todo grupo finito no abeliano tambm admite uma aplicao anti-simtrica [12].
Para os grupos dihedrais, diversas classes de aplicaes antisimtri-cas 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 freqentes, como mostra o seguinte
teorema, devido a Damm [3, Teorema 5]
Teorema 11.3. Seja m > 2 um inteiro mpar. No existe um sistema 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
paridade 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/2/19
page 176
Estilo OBMEP
176
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 qie
este mtodo detecta todo erro nico de digitao. Determine
quais transposies adjacentes no podem ser detectadas por
este mtodo.
principal1
2009/2/19
page 177
Estilo OBMEP
[1] D.F. Beckley: An optimum system with modulo 11,
Computer Bulletim, 11 (1967), 213-215.
The
[2] G.B. Belyavskaya, V.I. Izbash and G.L. Mullen: Check

character systems over quasegroups and loops, Quasigroups and
related systems, 10 (2003), 1-28.
[3] M. Damm: Check digit over groups and anti-symmetric
mappings, Archiv der Math., 75 (2000), 413-421.
[4] A. Ecker and G. Poch: Check character systems, Computing,
37 (1986), 277-301.
[5] J.A. Gallian: Contemporary Abstract Algebra, D.C. Heath and
Co., Lexington, 1990.
[6] J.A. Gallian: The Mathematics of Identification Numbers, The
College Math. J., 22, 3 (1991), 194-202.
[7] J.A. Gallian: Error detecting methods,
Surveys, 28, 3 (1996), 504-517.
ACM Computing
[8] J.A. Gallian and M. Mullin: Groups with antisymmetric

mappings, Archiv der Math., 65 (1995), 273-280.
[9] H.P. Gumm: A new class of check-digit methods for arbitrary
number systems, IEEE Trans, Inf. Th., 31 (1985), 102-105.
177
principal1
2009/2/19
page 178
Estilo OBMEP
178
[10] H.P. Gumm: Encoding of numbers to detect typing errors, Inter.

J. Applied Eng. Ed., 2 (1986), 61-65.
[11] S. Heiss: Anti-symmetric mappings for finite solvable groups,
Archiv der Math., 69 (1997), 445-454.
[12] S. Heiss: Anti-symmetric mappings for finite groups, preprint,
1999.
[13] R. Lidl and G. Pilz: Applied Abstract Algebra, Undergraduate
Texts in Math., Springer Verlag, New York, 1984.
[14] C. Polcino Milies and S.K. Sehgal: An introduction to Group
Rings, Kluwer Acad. Publ., Dordrecht, 2002.
[15] R.H. Schulz: On check digit systems using anti-symmetric
mappings, in Numbers, Information and Complexity, Kluwer
Acad. Publ., Dordrecht, 2000, 295-310.
[16] J. Verhoeff: Error detecting decimal codes, Math. Centre Tracts,
Mathematische Centrum, Amsterdam, 1969.
[17] S. Winters: Error detecting codes using dihedral groups, UMAP
J., 11 (1990), 299-308.
H tambm muitas pginas na internet com informaes sobe o

assunto. Veja, por exemplo:
http://en.wikipedia.org./wiki/ENIAC
http://en.wikipedia.org/wiki/Harvard_Mark-I
principal1
2009/2/19
page 179
Estilo OBMEP
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
179

A Geometria Do Globro Terrestre e Outros

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

A Geometria Do Globro Terrestre e Outros

Caricato da

Copyright:

Formati disponibili

principal1

A Geometria do Globo Terrestre

Os Trs Problemas Clssicos da

A Matemtica dos Cdigos

A Geometria do Globo Terrestre

1 A Superfcie Esfrica e seus Elementos

A Interseo entre um Plano e uma Superfcie Esfrica

2 Qual a Forma da Terra ?

3 O ngulo de Elevao do Sol e da Energia Solar

O ngulo de Elevao do Sol nos Equincios . . . . .

O ngulo de Elevao do Sol nos Solstcios . . . . . .

4 A Superfcie Esfrica em Coordenadas Cartesianas

6 A Distncia numa Superfcie Esfrica

A Superfcie Esfrica e seus

CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

fcie esfrica denominado um raio da superfcie esfrica enquanto

A Interseo entre um Plano e uma Superfcie Esfrica

A relao entre superfcies esfricas e planos no espao similar

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

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

CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

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

reta F T tal que T F R e F R = F T . Ento 4OF R

Vamos agora investigar a figura obtida quando um plano secante

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

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

r2 OF 2 ( note que r2 OF 2 > 0).

Logo X est na circunferncia de centro F e raio r2 OF 2 .

CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

Isso ainda no significa que a interseco a circunferncia. Para

e raio r2 OF 2 . Novamente pelo teorema de Pitgoras,

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

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

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

CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

somente uma circunferncia mxima de S passando por A e

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

Calcule o raio da superfcie esfrica S, a medida angular

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

OO0 > r + r0 ou OO0 < r r0

Faa desenhos ilustrando todas estas possibilidades.

plano E perpendicular reta OO0 num ponto H definido por

CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS

Qual a Forma da Terra ?

CAP. 2: QUAL A FORMA DA TERRA ?

A superfcie terrestre a superfcie de revoluo gerada por essa

O valor extremamente pequeno de nos permite, para efeitos

O ponto N representa o Plo Norte e o ponto S o Plo Sul. A

duas partes chamadas hemisfrios.

CAP. 2: QUAL A FORMA DA TERRA ?

do Equador. O meridiano mais notvel o de Greenwich, nome de

1. Qual o comprimento do Equador, supondo que o raio da Terra

CAP. 2: QUAL A FORMA DA TERRA ?

5. Em um dia claro, at de que distncia se poderia enxergar um

N SEC. 2.1: AS COORDENADAS GEOGRFICAS

O globo terrestre serve para localizar um determinado ponto ou

CAP. 2: QUAL A FORMA DA TERRA ?

N SEC. 2.1: AS COORDENADAS GEOGRFICAS