Professional Documents
Culture Documents
2009/8/19
page 1
Estilo OBMEP
A Geometria do Globo Terrestre
Srgio Alves
Os Trs Problemas Clssicos da
Matemtica Grega
Joo Pitombeira de Carvalho
A Matemtica dos Cdigos
de Barras
Francisco Csar Polcino Milies
principal1
2009/8/19
page 2
Estilo OBMEP
Texto j revisado pela nova ortograa.
principal1
2009/8/19
page i
Estilo OBMEP
Apresentao
Os textos apresentados a seguir foram produzidos para a II
Bienal da Sociedade Brasileira de Matemtica, realizada em 2004,
em Salvador.
A utilizao desses trabalhos pelos bolsistas de Iniciao Cient-
ca da OBMEP motivada pelo fato de tratarem de questes muito
interessantes e, a nosso ver, motivadoras.
O primeiro, de Srgio Alves, aborda o problema do estabeleci-
mento de coordenadas no globo terrestre. O domnio de tais coor-
denadas e o uso de instrumentos para medi-las, propiciou grandes
avanos para a humanidade, desde os tempos das grandes navegaes
(e o consequente aumento do comrcio mundial) at o uso do GPS
para a construo de mapas e localizao.
O segundo texto, de autoria de Joo Bosco Pitombeira, tem forte
sabor histrico pois trata de trs problemas clssicos da geometria
euclidiana plana: a duplicao do cubo, a quadratura do crculo e
a trisseco do ngulo. So perguntas naturais cuja resposta custou
muito esforo e fazem parte da bagagem cultural da matemtica.
Quem viveu a poca das las nos supermercados, onde o preo de
cada produto tinha que ser registrado manualmente no caixa, sabe
muito bem o avano que representa o uso do cdigo de barras. Uma
ideia simples e genial, de grande utilidade. Esse o tema do ter-
i
principal1
2009/8/19
page ii
Estilo OBMEP
ii
ceiro texto, em que Francisco Csar Polcino Miles expe os aspectos
matemticos da codicao. Vemos aqui um belo exemplo de como
estruturas abstratas ajudam a resolver problemas concretos.
Como ser possvel notar, os textos no esgotam os respectivos
assuntos e possuem referncias bibliogrcas teis para aqueles mais
curiosos que desejarem aprofundar seus conhecimentos sobre os as-
suntos. A leitura de um trabalho matemtico deve ser pausada e
reetida, e aqui no ser diferente. O leitor deve se envolver nas
questes e ideias discutidas pelo autor e muitas vezes dialogar com
ele, quem sabe buscando outras solues.
Esperamos que os bolsistas apreciem tanto a beleza dos proble-
mas e de suas solues quanto a elegncia com que os temas foram
tratados.
O Comit Acadmico da OBMEP agradece aos autores por terem
permitido o uso dos seus trabalhos no Programa de Iniciao Cient-
ca da OBMEP.
Comit Acadmico Direo Acadmica
principal1
2009/8/19
page iii
Estilo OBMEP
Sumrio
A Geometria do Globo Terrestre 1
Os Trs Problemas Clssicos da Matemtica Grega 81
A Matemtica dos Cdigos de Barras 133
iii
principal1
2009/8/19
page iv
Estilo OBMEP
principal1
2009/8/19
page 1
Estilo OBMEP
A Geometria do Globo Terrestre
Srgio Alves
1
principal1
2009/8/19
page 2
Estilo OBMEP
principal1
2009/8/19
page 3
Estilo OBMEP
Prefcio
Num encontro de professores que atuam no ensino bsico fomos
questionados sobre a utilizao de aplicaes da Matemtica em sala
de aula. Nossas primeiras consideraes foram as esperadas: sempre
bom poder mostrar aos alunos que a Matemtica faz parte de nosso
cotidiano, ilustrando como ideias e conceitos abstratos levam ao de-
senvolvimento de conhecimentos e tecnologias que visam o bem-estar
da nossa sociedade. Com isso, certamente nossas aulas de Matemtica
cam mais interessantes e motivadoras para o aluno.
Porm, existe um preo a se pagar para conseguirmos esse intento
e notamos certa surpresa em nossos interlocutores quando passamos
a explicar melhor esse lado da questo.
Primeiramente, a chamada contextualizao da Matemtica tem
seu lugar e hora para acontecer. Ela deve ser feita de modo que o
aluno entenda seu signicado e sua necessidade e no se criando si-
tuaes, por vezes extremamente articiais, somente pelo gosto de
poder dar alguma aplicao prtica de um determinado tema. Nem
todo tpico da Matemtica passvel de contextualizao!
Um segundo ponto por ns levantado que a apresentao de
aplicaes signicativas da Matemtica invariavelmente exige do pro-
fessor certo conhecimento de alguma outra rea como, por exemplo,
Fsica, Biologia ou Geograa. Esse professor deve estar ciente que tal
3
principal1
2009/8/19
page 4
Estilo OBMEP
4
exigncia vai requerer dele um maior empenho e dedicao.
Por m destacamos o fato que, embora a Matemtica tenha a
marca da cincia exata por excelncia, nas suas aplicaes frequente-
mente temos que lidar com a questo das aproximaes fazendo uso,
ou no, de calculadoras ou programas de computador. Raramente na
soluo de um problema contextualizado comparecem nmeros como
16 ou ainda cos 60
o
!
Motivado por todas essas consideraes escrevemos o texto que
aqui se apresenta. Escolhemos como tema a geometria da esfera que
encontra na Geograa uma natural contextualizao por meio do es-
tudo do globo terrestre e dos vrios assuntos a ele relacionados. In-
corporamos no texto todos os conceitos geogrcos necessrios, o que
no exime o leitor destas notas de procurar aprofund-los com suas
prprias fontes.
Procuramos explicar, com a maior clareza possvel, as ideias
matemticas envolvidas no funcionamento do sistema de posiciona-
mento global (GPS), um dos mais modernos sistemas de localizao
por satlites, e fazemos ainda uma discusso atualizada do clculo
da distncia entre dois pontos da superfcie terrestre. Esse clculo,
no passado, era justicado com o uso da trigonometria esfrica, tema
este que j no frequenta nossos livros didticos.
Enm, produzimos este texto na esperana que ele fornea aos
professores uma possvel resposta quela pergunta que frequentemente
lhes feita: Para que serve isso que o senhor est ensinando?
Srgio Alves
principal1
2009/8/19
page 5
Estilo OBMEP
Sumrio
Introduo 7
1 A Superfcie Esfrica e seus Elementos 9
1.1 A Interseo entre um Plano e uma Superfcie Esfrica 10
2 Qual a Forma da Terra? 19
2.1 As Coordenadas Geogrcas . . . . . . . . . . . . . . . 25
2.2 Os Movimentos da Terra . . . . . . . . . . . . . . . . . 31
2.3 Os Fusos Horrios . . . . . . . . . . . . . . . . . . . . 38
3 O ngulo de Elevao do Sol e da Energia Solar 41
3.1 O ngulo de Elevao do Sol nos Equincios . . . . . 45
3.2 O ngulo de Elevao do Sol nos Solstcios . . . . . . 47
4 A Superfcie Esfrica em Coordenadas Cartesianas 54
5 A Matemtica do GPS 64
6 A Distncia numa Superfcie Esfrica 71
5
principal1
2009/8/19
page 6
Estilo OBMEP
6
Referncias Bibliogrcas 79
principal1
2009/8/19
page 7
Estilo OBMEP
Introduo
Neste curso pretendemos desenvolver o estudo da esfera e seus
elementos explorando sua associao com o globo terrestre. Concei-
tos geogrcos como paralelos, meridianos, latitudes, longitudes e fu-
sos horrios esto baseados em importantes ideias geomtricas que,
quando trabalhadas neste contexto, conduzem o aluno a uma melhor
compreenso e aprendizagem do tema.
O estudo dos movimentos da Terra nos permite entender, alm
das quatro estaes do ano com seus equincios e solstcios, porque
o Trpico de Capricrnio ou o Crculo Polar rtico so paralelos
notveis. Veremos ainda que as relaes entre longitude e fusos hor-
rios bem como entre latitude e o ngulo de elevao do Sol nos levam
a problemas geomtricos relevantes.
O estudo da posio relativa de duas ou mais esferas e as relaes
entre as coordenadas geogrcas e as coordenadas cartesianas cons-
tituem a fundamentao matemtica necessria para o entendimento
de alguns modernos sistemas de navegao por satlites, em especial
do GPS.
7
principal1
2009/8/19
page 8
Estilo OBMEP
8
A utilizao do globo terrestre, com suas consequentes questes
envolvendo, por exemplo, clculo de distncias e ngulos sobre a es-
fera, ou ainda, a confeco de mapas por meio de diversas projees,
abre caminho para um interessante trabalho interdisciplinar entre a
Matemtica e a Geograa.
principal1
2009/8/19
page 9
Estilo OBMEP
Captulo 1
A Superfcie Esfrica e seus
Elementos
Seja O um ponto e r um nmero real positivo. A superfcie
esfrica de centro O e raio r o conjunto de todos os pontos P
do espao cuja distncia a O igual a r.
Q
T
O
P
r
Os pontos do espao cuja distncia a O menor que r so inte-
riores superfcie esfrica e aqueles cuja distncia a O maior que
r so exteriores a ela.
A reunio da superfcie esfrica de centro O e raio r com seus
pontos interiores chamada a esfera de centro O e raio r.
O segmento que une o centro a um ponto qualquer da super-
9
principal1
2009/8/19
page 10
Estilo OBMEP
10 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS
fcie esfrica denominado um raio da superfcie esfrica enquanto
que o segmento que une dois pontos distintos da superfcie esfrica
chamado uma corda da superfcie esfrica.
Uma corda que contm o centro chamada um dimetro da
superfcie esfrica.
Evidentemente o comprimento de qualquer dimetro o nmero
2r que chamado o dimetro.
Observamos que a palavra raio usada com dois sentidos: pode
ser o nmero r ou um segmento OP. Isto, porm, no causa con-
fuso uma vez que sempre claro qual o signicado utilizado. Um
comentrio anlogo vale para a palavra dimetro.
Neste texto a notao PQ representa o segmento de extremos P
e Q enquanto que PQ indica o seu comprimento.
Na gura anterior r o raio da superfcie esfrica, OP, OQ e OT
so raios, PQ e PT so cordas, QT um dimetro e 2r = QT o
dimetro da superfcie esfrica.
1.1 A Interseo entre um Plano e uma Super-
fcie Esfrica
A relao entre superfcies esfricas e planos no espao similar
com a relao entre circunferncias e retas no plano.
Um plano E tangente a uma superfcie esfrica S se ES contm
exatamente um ponto. Esse ponto chamado ponto de tangncia.
Dizemos que o plano e a superfcie esfrica se tangenciam nesse ponto.
Se E S contm mais do que um ponto, ento o plano secante
superfcie esfrica. Podemos caracterizar o plano tangente conforme
o seguinte resultado.
principal1
2009/8/19
page 11
Estilo OBMEP
SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 11
Teorema 1.1. Um plano perpendicular a um raio na sua extremidade
comum com a superfcie esfrica tangente mesma. Reciprocamente,
todo plano tangente a uma superfcie esfrica perpendicular ao raio
que contm o ponto de tangncia.
Demonstrao. Sendo E um plano perpendicular ao raio OT em T,
vamos mostrar que nenhum outro ponto de E est na superfcie es-
frica.
P
E
O
S
T
Seja P um ponto qualquer de E, P distinto de T. Como E
perpendicular a OT temos que OPT um tringulo retngulo com
hipotenusa OP e catetos OT e PT. Logo OP > OT = r e, portanto,
P no est na superfcie esfrica.
Reciprocamente seja E um plano tangente superfcie esfrica no
ponto T. Suponha, por absurdo, que E no seja perpendicular ao raio
OT. Vamos mostrar que essa hiptese nos leva a uma contradio.
E
O
T
O
R
F
Sendo F o p da perpendicular ao plano E, traada a partir de O,
temos F ,= T, pois E no perpendicular a OT. Seja R o ponto da
principal1
2009/8/19
page 12
Estilo OBMEP
12 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS
reta
FT tal que T F R e FR = FT. Ento OFR
= OFT
(pelo critrio LAL de congruncia de tringulos) de modo que
OR = OT = r e, portanto, R est na superfcie esfrica. Logo E
intersecta a superfcie esfrica em um ponto R distinto de T. Isso
impossvel, pois E um plano tangente.
Vamos agora investigar a gura obtida quando um plano secante
corta uma superfcie esfrica. Se o plano passa pelo centro a resposta
imediata.
Teorema 1.2. A interseco de uma superfcie esfrica com um plano
passando pelo seu centro uma circunferncia de mesmo centro e
mesmo raio.
E
S
O
r
Demonstrao. Dada uma superfcie esfrica S com centro O e raio
r e um plano E que passa por O, a interseco E S o conjunto de
todos os pontos de E cuja distncia a O igual a r. Essa exatamente
a denio de uma circunferncia de centro O e raio r.
O prximo resultado nos d a situao mais geral.
principal1
2009/8/19
page 13
Estilo OBMEP
SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 13
Teorema 1.3. Se um plano contm um ponto do interior de uma
superfcie esfrica, ento a interseco do plano com a superfcie es-
frica uma circunferncia. O centro dessa circunferncia o p da
perpendicular ao plano traada a partir do centro da superfcie es-
frica.
E
O
O
F
Y
S
X
Demonstrao. Seja E um plano que no passa pelo centro O da
superfcie esfrica S e que contm um ponto Y do seu interior. Sendo
F o p da perpendicular a E traada a partir de O, vamos mostrar
que a interseco E S uma circunferncia de centro F.
Sabemos que OY < r, pois Y est no interior de S. No tringulo
retngulo OFY temos que OY hipotenusa, enquanto que OF
cateto. Logo OF < OY < r, ou seja, F tambm est no interior de S.
Seja X um ponto qualquer na interseco E S. Ento OFX
tem um ngulo reto em F e, pelo teorema de Pitgoras,
OF
2
+FX
2
= OX
2
= r
2
e, portanto, FX =
r
2
OF
2
(note que r
2
OF
2
> 0).
Logo X est na circunferncia de centro F e raio
r
2
OF
2
.
Provamos assim que a interseco ES est contida na circunferncia
de centro F e raio
r
2
OF
2
.
principal1
2009/8/19
page 14
Estilo OBMEP
14 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS
Isso ainda no signica que a interseco a circunferncia. Para
completar a demonstrao, precisamos mostrar que todo ponto da
circunferncia pertence interseco.
Seja X um ponto qualquer da circunferncia, em E, com centro F
e raio
r
2
OF
2
. Novamente pelo teorema de Pitgoras,
OX
2
= OF
2
+FX
2
= OF
2
+r
2
OF
2
= r
2
.
Portanto OX = r e X pertence superfcie esfrica S.
A interseco da superfcie esfrica com um plano passando pelo
seu centro chamada uma circunferncia mxima da superfcie
esfrica.
H uma forte razo para esse nome: as circunferncias mximas
so as circunferncias de maior raio contidas na superfcie esfrica.
Veremos adiante que o Equador uma circunferncia mxima, mas
os outros paralelos no globo terrestre no o so. Eles so menores que
o Equador, tornando-se muito pequenos perto dos Polos Norte e Sul.
POLO NORTE
POLO SUL
30
0
30
principal1
2009/8/19
page 15
Estilo OBMEP
SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 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
D
A
C
B
E
O
2) A perpendicular do centro de uma superfcie esfrica a uma corda
divide-a ao meio. Utilize este resultado na resoluo do seguinte
problema. Numa superfcie esfrica de raio 15, a distncia de uma
corda ao centro igual a 9. Qual o comprimento da corda? Apre-
sente ainda uma prova do resultado acima.
3) Dados um plano E e uma superfcie esfrica S de centro O e raio
r, podemos caracterizar a posio relativa entre E e S por meio da
distncia d(O,E) de O ao plano E. Faa isso completando a tabela
abaixo.
d(O,E) Posio relativa
E secante a S
E tangente a S
E disjunto a S
4) Sejam A e B dois pontos de uma superfcie esfrica S que no so
extremos de um dimetro de S. Mostre que existe uma e somente
principal1
2009/8/19
page 16
Estilo OBMEP
16 CAP. 1: A SUPERFCIE ESFRICA E SEUS ELEMENTOS
uma circunferncia mxima de S passando por A e B. (Sugesto:
Sendo O o centro de S, considere o plano E determinado pelos
pontos no-colineares A, B e O.)
5) Explique porque duas circunferncias mximas quaisquer de uma
superfcie esfrica, se cortam nas extremidades de um dimetro da
superfcie esfrica.
6) Na gura abaixo um plano E intersecta a superfcie esfrica S de
centro O. Os pontos A, B, C e M esto em E sendo que A e B
tambm esto em S. Sabe-se que OM E, AM MB, C
ponto mdio de AB, AM = OM e AB = 5.
B
E
S
O
M
A
C
Calcule o raio da superfcie esfrica S, a medida angular m(AOB)
e a medida OC.
7) Duas circunferncias mximas so ditas perpendiculares se es-
tiverem em planos perpendiculares. Mostre que para cada duas
circunferncias mximas existe uma terceira circunferncia m-
xima perpendicular a ambas. Se duas circunferncias mximas
principal1
2009/8/19
page 17
Estilo OBMEP
SEC. 1.1: A INTERSEO ENTRE UM PLANO E UMA SUPERFCIE ESFRICA 17
no globo terrestre passam pelos polos, que circunferncia mxima
perpendicular a ambas?
8) Na geometria esfrica as linhas retas so representadas por cir-
cunferncias mximas. Se puder, encontre cada uma das seguintes
guras em tal geometria.
(a) Um tringulo equiltero.
(b) Um tringulo com dois ngulos retos.
(c) Um tringulo com trs ngulos retos.
(d) Um tringulo cujas medidas de seus ngulos somem 500.
(e) Um retngulo, isto , um quadriltero com quatro ngulos
retos.
9) Sejam S e S
, respectivamente. Sendo r e r
vazia OO
> r +r
ou OO
< r r
S S
um ponto OO
= r +r
ou OO
= r r
S S
uma circunferncia OO
< r +r
ou OO
< r r
.
Faa desenhos ilustrando todas estas possibilidades.
(Sugesto: Observe inicialmente que P S S P S e
PO
2
PO
2
= r
2
r
2
. A seguir, mostre que o conjunto dos
pontos P do espao que satisfazem PO
2
PO
2
= r
2
r
2
3
2
.
10) 0, 1, 2 ou innitos pontos.
principal1
2009/8/19
page 19
Estilo OBMEP
Captulo 2
Qual a Forma da Terra?
A Terra redonda, mas no uma esfera perfeita, uma vez que
achatada nos polos. Na verdade, a Terra aproximadamente um
elipside.
A gura abaixo mostra uma seco da superfcie terrestre atravs
de um plano que contm a reta que liga os Polos Norte e Sul. Esta
seco aproxima-se de uma elipse cujo semieixo maior a a metade
do dimetro do Equador e o semieixo menor b a metade da distncia
entre os polos.
N
S
a
b
19
principal1
2009/8/19
page 20
Estilo OBMEP
20 CAP. 2: QUAL A FORMA DA TERRA?
A superfcie terrestre a superfcie de revoluo gerada por essa
elipse quando esta gira em torno da reta que passa pelos polos.
A razo =
a b
b
chama-se achatamento da Terra.
A tabela seguinte mostra valores dos semieixos a e b e do corres-
pondente achatamento da Terra, obtidos por alguns pesquisadores.
a (metros) b (metros)
Bessel (1841) 6 377 397 6 356 078 0,0033541
Clarke (1880) 6 378 249 6 356 515 0,0034191
Helmert (1906) 6 378 200 6 356 940 0,0033443
Hayford (1924) 6 378 388 6 356 911 0,0033785
Krassovski (1940) 6 378 245 6 356 863 0,0033636
O valor extremamente pequeno de nos permite, para efeitos
didticos, desprezar esse achatamento e considerar a Terra como se
fosse uma esfera.
A superfcie da Terra passa a ser considerada daqui por diante
como um globo: o globo terrestre. O globo terrestre ainda o nome
do instrumento didtico que representa a Terra como uma esfera.
Iniciamos estabelecendo a nomenclatura apropriada. A gura a
seguir ilustra um globo terrestre.
O ponto N representa o Polo Norte e o ponto S o Polo Sul. A
reta determinada por N e S chamada o eixo polar. Ela a reta em
torno da qual a Terra efetua seu movimento de rotao.
O plano que passa pelo centro da superfcie esfrica e perpendi-
cular ao eixo polar chama-se o plano do Equador.
O Equador a interseco do plano do Equador com a superfcie
esfrica. O Equador , portanto, uma circunferncia mxima.
Um plano que passa pelo centro da superfcie esfrica divide-a em
principal1
2009/8/19
page 21
Estilo OBMEP
21
Paralelo
S
Meridiano
Equador
N
duas partes chamadas hemisfrios.
O plano do Equador divide a superfcie terrestre em dois hemis-
frios: o Hemisfrio Norte (que contm o Polo Norte) e o Hemis-
frio Sul (que contm o Polo Sul).
Os paralelos so as seces da superfcie terrestre atravs de
planos paralelos (ou coincidentes) ao plano do Equador. So ento
circunferncias. Os paralelos notveis so:
o Equador
o Trpico de Cncer
o Trpico de Capricrnio
o Crculo Polar rtico
o Crculo Polar Antrtico
Os meridianos so semicircunferncias que ligam os Polos Norte
e Sul por meio de arcos mximos, isto , arcos contidos em circun-
ferncias mximas que passam pelos polos. Convm ressaltar que os
meridianos, ao contrrio dos paralelos, no so circunferncias. Alm
disso, eles esto contidos em planos perpendiculares ao plano do
principal1
2009/8/19
page 22
Estilo OBMEP
22 CAP. 2: QUAL A FORMA DA TERRA?
Equador. O meridiano mais notvel o de Greenwich, nome de uma
localidade prxima a Londres, onde est instalado um observatrio
astronmico.
Observao. Os livros de Geograa utilizam com muita frequncia a
palavra crculo para designar a circunferncia. Em particular, des-
crevem o Equador como um crculo mximo e utilizam nomes como
crculo polar. Isto , na verdade, um abuso de linguagem consagrado
pelo uso sistemtico ao longo do tempo. A nomenclatura utilizada por
prossionais no matemticos, no caso os gegrafos, no precisa co-
incidir necessariamente com a usada pelos matemticos.
Atividades
1) Qual o comprimento do Equador, supondo que o raio da Terra
mea 6 400 km? Considere = 3,14159.
2) Como se mede o raio da Terra? Uma das maneiras escalar o
topo de uma montanha cuja altitude acima do mar seja conhecida
e medir o ngulo entre a vertical e a linha do horizonte. A altura
do monte Shasta na Califrnia 4,3 km. Do seu topo, o horizonte
sobre o Oceano Pacco faz um ngulo de 87
53
com a vertical.
Utilize estes dados para estimar o raio da Terra em quilmetros.
Considere sen 87
53
= 0,99932.
principal1
2009/8/19
page 23
Estilo OBMEP
23
Linha do Horizonte
?
O
3) O clculo do raio da Terra mais clebre da Antiguidade foi
realizado pelo grego Eratstenes (276-196 a.C.). Consultando as
observaes astronmicas acumuladas durante sculos na biblio-
teca de Alexandria, Eratstenes soube que em Siena, 5 000 est-
dios (medida grega de comprimento) ao sul de Alexandria e situada
aproximadamente no mesmo meridiano, o Sol se reetia no fundo
de um poo ao meio-dia de um determinado dia de cada ano. Ao
meio-dia deste tal dia, Eratstenes mediu o ngulo que o raio do
Sol fazia com a vertical de Alexandria, achando aproximadamente
7
12
.
Alexandria
Raios
Solares
712?
Siena
principal1
2009/8/19
page 24
Estilo OBMEP
24 CAP. 2: QUAL A FORMA DA TERRA?
Admitindo que os raios solares cheguem ao nosso planeta pratica-
mente paralelos, mostre como obter para o raio da Terra o valor
aproximado de 250 000/2 estdios. Supondo que a medida de
um estdio utilizada por Eratstenes era de aproximadamente 185
metros, calcule o valor acima em quilmetros.
4) Na ponte de um navio em alto-mar, o capito pediu a um
jovem ocial que estava ao seu lado que determinasse a distn-
cia ao horizonte. O ocial pegou papel e lpis e, em poucos
instantes, deu uma resposta. No papel ele havia escrito a fr-
mula d =
8
5
a
90
N (norte) ou de 0
a 90
S (sul).
A longitude de um ponto P a medida do arco de paralelo que
passa por P situado entre o meridiano que contm P e o meridiano
de Greenwich. A longitude expressa em graus, minutos e segundos
e se mede de 0
a 180
E (leste) ou de 0
a 180
W (oeste).
Na gura a seguir temos que = m(EOP) a latitude de P
enquanto que = m(GMP) a longitude de P. Pontos sobre um
mesmo paralelo possuem latitudes iguais e pontos sobre um mesmo
meridiano possuem longitudes iguais.
principal1
2009/8/19
page 26
Estilo OBMEP
26 CAP. 2: QUAL A FORMA DA TERRA?
Equador
Greenwich
N
S
E
O
G
M
?
P
?
?: longitude de P
?: latitude de P
Atividades
1) Observando um globo terrestre ou um mapa apropriado estabelea
as coordenadas geogrcas de cada uma das cidades abaixo.
Cidade Latitude Longitude
So Paulo
Macei
Belo Horizonte
Nova Orleans
Chicago
Roma
Nova York
Buenos Aires
Londres
Moscou
Cairo
Tquio
Quito
Los Angeles
principal1
2009/8/19
page 27
Estilo OBMEP
SEC. 2.1: AS COORDENADAS GEOGRFICAS 27
2) Qual a relao entre o raio da superfcie terrestre, o raio de um
paralelo e a sua respectiva latitude?
3) Verique que a longitude de um ponto P a medida do arco do
Equador situado entre o meridiano que passa P e o meridiano de
Greenwich.
4) Um dos primeiros fatos que um estudante de astronomia aprende
que a latitude de um ponto da Terra localizado no Hemisfrio Norte
igual medida do ngulo que Polaris (a Estrela do Norte) forma
com a linha do horizonte, quando observada daquele ponto. Geo-
metricamente, esta armao pode ser interpretada da seguinte
maneira. A reta
NS o eixo polar da Terra, a circunferncia C
contm um meridiano, E est no Equador, P o observador, a reta
N (aproximada-
mente a latitude de Nova Orleans), 10
S (aproximadamente a
latitude de Macei) e 20
N e a de Chu 34
(N ou S) e 67
.
principal1
2009/8/19
page 31
Estilo OBMEP
SEC. 2.2: OS MOVIMENTOS DA TERRA 31
2.2 Os Movimentos da Terra
A Terra no est parada. Ela tem dois movimentos principais:
o de rotao, em torno de seu eixo polar, e o de translao, em
torno do Sol. As consequncias destes dois movimentos so muito
importantes em nosso dia-a-dia.
Para dar uma volta completa em torno de seu eixo polar, a Terra
leva 24 horas ou um dia. Durante esta rotao, uma metade da
Terra est voltada para o Sol, do qual recebe luz e calor: nela ento
dia. A outra metade no recebe os raios solares: nela ento noite.
Assim, a sucesso dos dias e das noites uma consequncia da rotao
da Terra.
Sob a hiptese de que os raios solares so paralelos temos que,
em cada instante, a curva sobre o globo terrestre que separa o dia da
noite uma circunferncia mxima.
N
A
S
A
NOITE DIA
Raios
Solares
Todos os dias vemos o Sol aparecer no nascente, tambm
chamado oriente ou leste, subir no cu e se deitar no poente, tam-
bm chamado ocidente ou oeste. Temos a impresso de que o Sol
que caminha no cu. Na realidade, no isso que acontece. A Terra
que gira em torno de seu eixo polar da esquerda para direita, isto
, do oeste para leste, causando a impresso do movimento do Sol.
Chamamos a isto movimento aparente do Sol.
principal1
2009/8/19
page 32
Estilo OBMEP
32 CAP. 2: QUAL A FORMA DA TERRA?
O momento em que o Sol, em sua trajetria aparente, est mais
alto no cu o meio-dia solar. Neste momento a sombra projetada
de uma haste vertical tem o menor comprimento possvel. O meio-dia
solar para uma particular localidade ocorre quando o meridiano que
a contm corta a reta imaginria determinada pelos centros da Terra
e do Sol.
Alm de girar em torno de seu eixo, a Terra gira tambm em
torno do Sol. Nesta translao em torno do Sol, a Terra descreve uma
curva elptica denominada rbita. A trajetria da rbita da Terra
chamada eclptica e o plano que a contm referido como o plano
da eclptica. Para dar uma volta completa em torno do Sol, a Terra
leva 365 dias e 6 horas, isto , pouco mais que um ano. Para corrigir
esta diferena, foi necessrio aumentar um dia no ano, a cada perodo
de quatro anos. Nesses anos, chamados bissextos, o ms de fevereiro
tem 29 dias.
Um fato extremamente importante deve ser observado: em sua
translao em torno do Sol, o eixo da Terra no perpendicular ao
plano da eclptica, mas inclinado, sempre na mesma direo, for-
mando um ngulo de 23
27
,
isto , os raios solares incidem perpendicularmente sobre a
linha do Equador, que recebe ento mais calor. Para o norte ou
para o sul do Equador, o calor vai diminuindo em direo aos polos e
principal1
2009/8/19
page 34
Estilo OBMEP
34 CAP. 2: QUAL A FORMA DA TERRA?
os dois hemisfrios so igualmente iluminados e aquecidos.
No dia 21 de maro comea para ns (no Hemisfrio Sul) o ou-
tono, enquanto que para os habitantes do Hemisfrio Norte a pri-
mavera que tem incio.
O dia 23 de setembro marca o comeo da primavera no Hemisfrio
Sul e o do outono no Hemisfrio Norte.
Raios
Solares
N
S
Equador
21 de maro e 23 de setembro
Vejamos agora o que acontece de setembro a dezembro no Hemis-
frio Sul, de acordo com o movimento que a Terra faz em torno do
Sol.
Durante esta poca, os dias vo cando mais longos e as noites
mais curtas, at que, por volta de 21 de dezembro, temos o dia
mais longo e a noite mais curta: o que chamamos de solstcio de
vero. A Terra inclina o Polo Sul na direo mais prxima do Sol.
Nesse dia, comea no Hemisfrio Sul o vero.
O que se passa no Hemisfrio Norte nessa poca? A a situao
se inverte: os dias vo cando mais curtos e as noites mais longas. A
21 de dezembro, os habitantes daquele hemisfrio tm a noite mais
longa do ano e o dia mais curto: o solstcio de inverno. Para eles,
comea o inverno.
principal1
2009/8/19
page 35
Estilo OBMEP
SEC. 2.2: OS MOVIMENTOS DA TERRA 35
Voc j entendeu por que isso acontece? Observe a gura abaixo.
Qual hemisfrio est mais exposto aos raios solares em 21 de dezem-
bro? Nessa data a reta imaginria determinada pelos centros da Terra
e do Sol corta o globo terrestre num ponto do paralelo de latitude
23
27
33
33
27
; 0, 25
.
2) 92
W.
3) 3 horas e 8 minutos; 3 horas e 56 minutos.
4) (b) h(x) = 12 +
7
3
sen (
2x
365
).
2.3 Os Fusos Horrios
No momento em que for meio-dia em So Paulo, ser tambm
meio-dia em todos os lugares situados ao longo do meridiano que
passa por So Paulo: o que chamamos hora verdadeira. Todas as
localidades situadas sobre um mesmo meridiano tm a mesma hora
verdadeira.
Assim, se meio-dia em Belo Horizonte, isto , se o Sol sobre Belo
Horizonte est em seu ponto mais alto no cu, o mesmo no acontecer
em Braslia. Isso ocorre porque Belo Horizonte est no meridiano de
longitude 44
um do outro
(observe que 360
: 24 = 15
E e 40
N s 12 horas e
15 minutos (hora local verdadeira). Ele voa no rumo Leste a uma
velocidade mdia de 1 000 km/h permanecendo o tempo todo na
mesma latitude. Seu destino B alcanado aps percorrer 3 000
km. Supondo que o raio da Terra mea 6 400 km, qual a hora local
verdadeira em B?
Respostas
1)
2r
2
3
onde r o raio da Terra.
2) Pesquise sobre a linha internacional de data.
3) 17 horas e 35 minutos.
principal1
2009/8/19
page 41
Estilo OBMEP
Captulo 3
O ngulo de Elevao do
Sol e da Energia Solar
Vimos anteriormente que as estaes do ano so consequncia da
inclinao do eixo da Terra em relao perpendicular ao plano da
eclptica. A relao entre esta inclinao e a quantidade relativa de
energia solar recebida por localidades com diferentes latitudes uma
questo do mundo real que ser agora analisada.
A grande maioria da energia solar nunca alcana a superfcie da
Terra. Porm, a intensidade de radiao que a alcana varia de acordo
com o chamado ngulo de elevao do Sol.
?
t
P
C
O
Raios
Solares
?: ngulo de elevao do
Sol em P
41
principal1
2009/8/19
page 42
Estilo OBMEP
42 CAP. 3: O NGULO DE ELEVAO DO SOL E DA ENERGIA SOLAR
Na gura da pgina anterior, a circunferncia C contm o meri-
diano que passa por uma localidade P do globo terrestre e t a reta
tangente a C em P. O menor ngulo formado pelos raios solares e pela
reta t chamado o ngulo de elevao do Sol ao meio-dia solar
em P.
Nesta parte do curso, iremos calcular a intensidade relativa solar
que alcana a superfcie da Terra em diferentes localidades do mundo
e em diferentes pocas do ano. Para nossos propsitos, intensidade
relativa denida como a razo da intensidade de radiao solar inci-
dente na superfcie pela intensidade de radiao se os raios incidissem
perpendicularmente superfcie (ngulo de elevao com medida igual
a 90
).
Voc j reparou que a luz solar parece mais quente quando o Sol
est a pino? Voc capaz de explicar por que ao meio-dia de um dia
claro de vero muito mais quente que a noite ou a manh do mesmo
dia? O que faz o inverno frio e o vero quente? As respostas a todas
estas perguntas esto relacionadas com o ngulo de elevao do Sol.
Veremos a seguir que quanto mais prximo de 90
a medida deste
ngulo estiver, maior a intensidade da radiao solar. Apesar disso,
muitas vezes mais quente s 15h que ao meio-dia, pois, embora a
superfcie da Terra receba mais energia solar ao meio-dia, a energia
acumulada na atmosfera, desde manh at este horrio, frequente-
mente torna estas horas as mais quentes do dia.
A atividade seguinte oferece um bom modelo para quanticar a
relao entre a medida do ngulo de elevao do Sol e a intensidade re-
lativa da radiao solar recebida por uma particular cidade. Escurea
a sala e acenda uma lanterna sobre um pedao de papel branco A.
Toda a rea do papel ser iluminada pela posio perpendicular da
lanterna. Coloque outro pedao de papel idntico na frente de A, mas
incline-o de maneira como mostrada por B. Discuta qual posio do
principal1
2009/8/19
page 43
Estilo OBMEP
43
papel, A ou B,
A
A A
recebe mais energia luminosa. Observe a sombra que B projeta em A,
quando B mais e mais inclinado. Note que a diminuio da sombra
indica que a quantidade de luz sobre B est diminuindo. A quantidade
de energia luminosa recebida pelo papel inclinado a mesma recebida
por C, onde C paralelo a A.
Na gura abaixo, a ilustrao da esquerda mostra a viso
lateral quando os raios solares atingem A verticalmente, ou per-
pendicularmente superfcie. As ilustraes do meio e da direita
mostram a quantidade relativamente menor de energia que a folha
de papel recebe quando o ngulo de elevao do Sol reduzido.
B
A
C
B
C
? ?
Quanto mais o papel inclinado, menos energia luminosa ele recebe.
Nas ilustraes anteriores, A e B so na realidade reas retangu-
principal1
2009/8/19
page 44
Estilo OBMEP
44 CAP. 3: O NGULO DE ELEVAO DO SOL E DA ENERGIA SOLAR
lares, mas como as larguras destas reas so as mesmas, podemos
desconsider-las e levar em conta apenas os comprimentos mostrados
na gura acima.
O comprimento de B a medida da hipotenusa do tringulo retn-
gulo, a medida do ngulo de elevao do Sol e o comprimento de
C a medida do lado oposto a . A razo entre o comprimento de C
e o comprimento de B, que depende do ngulo de elevao e igual a
sen , nos d uma medida para a intensidade relativa da luz solar. Se
o comprimento de B tomado como 1, ento sen = C/1 = C. Por
exemplo, se o ngulo do papel B mede 90
, isto , B perpendicular
direo da luz solar, ento sen90
= 1 e a intensidade relativa da
luz solar 1 ou, em porcentagem, 100%. Como sen80
0.9848,
temos que quando o ngulo de elevao mede 80
, o papel recebe
aproximadamente 98% da radiao solar disponvel.
Neste modelo, o pedao de papel representa uma rea da Terra e o
ngulo do papel representa o ngulo de elevao do Sol. Quando o Sol
se torna visvel pela primeira vez de manh, certa rea recebe a luz
solar sob um ngulo extremamente pequeno e a intensidade relativa
da radiao solar pequena nesta rea. Quando meio-dia a luz solar
inclinada ao mnimo, ou est perto de se tornar vertical. Ao m do
dia, os raios solares incidem na Terra novamente com o menor ngulo
possvel. Isto explica por que a luz solar pela manh ou pela tarde
no to quente quanto ao meio-dia.
Atividade
Seja a medida do ngulo de elevao do Sol ao meio-dia solar
em P e a medida do ngulo de elevao do Sol ao meio-dia solar no
Equador, ambas consideradas num mesmo dia. Quais as expresses
relacionando , e a latitude de P? Existem duas possveis respostas
conforme P seja um ponto do Hemisfrio Norte ou Sul.
principal1
2009/8/19
page 45
Estilo OBMEP
SEC. 3.1: O NGULO DE ELEVAO DO SOL NOS EQUINCIOS 45
3.1 O ngulo de Elevao do Sol nos
Equincios
Vamos calcular a medida desse ngulo ao meio-dia solar nos dias de
equincios de primavera e outono. Como vimos anteriormente, nesses
dias os raios solares incidem perpendicularmente sobre o Equador.
Tomemos, por exemplo, a cidade de Porto Alegre localizada a 30
de
latitude sul.
Na gura abaixo, a reta
PB tangente a Terra no ponto P, que
representa Porto Alegre, O o centro da Terra e C um ponto
da reta
OP com P entre C e O. Como m(BOP) = 30
o
temos
m(APC) = 30
o
(so ngulos correspondentes no contexto de re-
tas paralelas note que
AP e
BO so paralelas aos raios solares).
Logo m(APB) = 60
o
uma vez que BPC reto.
O ngulo de elevao do Sol ao meio-dia solar mede ento 60
du-
rante os equincios de primavera e outono em Porto Alegre e tambm
em todas as localidades que esto situadas a 30
de
latitude sul. 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
30
de latitude norte.
P
7230?
E
B
A
D
1730?
O
Trp. de Cncer
Equador
C
P A
C
B
O
D
E
5330?
Trp. de Cncer
Equador
3630?
Equador
Trp. de Cncer
N
S
2330?
A ilustrao da esquerda na gura acima mostra o ngulo de ele-
vao do Sol em Cleveland (EUA) localizada a 41
de latitude norte.
A reta
PB tangente a Terra no ponto P que representa Cleveland,
O o centro da Terra e C um ponto da reta
OP, com P entre C e
O. Como
AP e
BO so paralelas aos raios solares temos
m(APC) = m(BOP)
= m(EOP) m(EOB)
= 41
23
30
= 17
30
.
principal1
2009/8/19
page 48
Estilo OBMEP
48 CAP. 3: O NGULO DE ELEVAO DO SOL E DA ENERGIA SOLAR
Uma vez que o ngulo BPC reto segue que APB, que o ngulo
de elevao do Sol ao meio-dia solar, tem medida
90
17
30
= 72
30
.
Cleveland e outras cidades localizadas a 41
30
ao
meio-dia solar. Para obter a intensidade relativa da radiao solar
que atinge Cleveland nesta hora encontre sen72
30
. A calculadora
mostrar aproximadamente 0,9537 indicando que Cleveland recebe
cerca de 95% da radiao solar que incidiria se o ngulo fosse de 90
+ 23
30
= 53
30
30
53
30
= 36
30
.
Porto Alegre e outras cidades localizadas a 30
de latitude sul
recebem o menor brilho solar direto do ano durante o dia de solstcio
de junho, quando o ngulo de elevao do Sol mede 36
30
ao meio-dia
solar. Para obter a intensidade relativa da radiao solar que atinge
principal1
2009/8/19
page 49
Estilo OBMEP
SEC. 3.2: O NGULO DE ELEVAO DO SOL NOS SOLSTCIOS 49
Porto Alegre nesta hora encontre sen36
30
. A calculadora mostrar
aproximadamente 0,5948 indicando que Porto Alegre recebe cerca de
59% da radiao solar que incidiria se o ngulo fosse de 90
ao meio-
dia no solstcio de junho, isto , 59% da intensidade do Sol que atinge
o ponto D localizado sobre o Trpico de Cncer e que tem a mesma
longitude de Porto Alegre.
S
N
Equador
Trp. de Capricrnio
2330?
Analogamente podemos calcular a medida do ngulo de elevao
do Sol ao meio-dia solar no dia de solstcio de dezembro. Nesse dia
os raios solares incidem perpendicularmente sobre o Trpico de
Capricrnio, que est aproximadamente a 23
30
de latitude sul.
E
D
B
P
C
2530?
A
O
6430?
Trp. de Capricrnio
Equador
A gura acima mostra o ngulo de elevao do Sol novamente em
Cleveland. A reta
PB tangente a Terra no ponto P que representa
principal1
2009/8/19
page 50
Estilo OBMEP
50 CAP. 3: O NGULO DE ELEVAO DO SOL E DA ENERGIA SOLAR
Cleveland, P est entre C e O com
AP e
BO sendo paralelas aos
raios solares. Como P est no Hemisfrio Norte, a medida do ngulo
BOP igual a
m(EOP) +m(EOB) = 41
+ 23
30
= 64
30
30
64
30
= 25
30
.
Cleveland e outras cidades localizadas a 41
30
ao
meio-dia solar. Para obter a intensidade relativa da radiao solar
que atinge Cleveland nesta hora encontre sen25
30
. A calculadora
mostrar aproximadamente 0,4305 indicando que Cleveland recebe
cerca de 43% da radiao solar que incidiria se o ngulo fosse de 90
23
30
= 6
30
30
30
= 83
30
.
Porto Alegre e outras cidades localizadas a 30
de latitude sul
recebem o maior brilho solar direto do ano durante o dia de solstcio
de dezembro, quando o ngulo de elevao do Sol mede 83
30
ao
meio-dia solar. Para obter a intensidade relativa da radiao solar
que atinge Porto Alegre nesta hora encontre sen83
30
. A calculadora
mostrar aproximadamente 0,9935 indicando que Porto Alegre recebe
cerca de 99% da radiao solar que incidiria se o ngulo fosse de 90
S
So Paulo, Brasil 23
S
Melbourne, Austrlia 38
S
Santa Cruz, Argentina 50
S
Quito, Equador 0
N
Miami, EUA 26
N
Paris, Frana 49
N
Forel, Groelndia 66
N
2) No dia 26 de janeiro de 2004 as seguintes medidas foram tomadas
numa localidade desconhecida P da regio sul do Brasil.
Altura de uma haste vertical = 35 cm
Comprimento da menor sombra projetada = 5,4 cm
Horrio local da menor sombra = 12 horas 25 minutos 56 se-
gundos
Consultando um almanaque sabe-se que nesse dia os raios solares
incidem perpendicularmente sobre o paralelo de latitude 18
45S e
que o meio-dia solar em Greenwich ocorre s 12 horas 12 minutos
36 segundos. Sabe-se ainda que o horrio na localidade P o de
Greenwich diminudo de 3 horas.
(a) Determine o tempo decorrido entre o meio-dia solar em
Greenwich e o meio-dia solar em P.
(b) Calcule a longitude de P.
principal1
2009/8/19
page 53
Estilo OBMEP
SEC. 3.2: O NGULO DE ELEVAO DO SOL NOS SOLSTCIOS 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 geogrco para iden-
ticar a localidade desconhecida P.
principal1
2009/8/19
page 54
Estilo OBMEP
Captulo 4
A Superfcie Esfrica em
Coordenadas Cartesianas
A partir desta seo trabalharemos num sistema ortogonal de
coordenadas cartesianas com origem O. Dado um ponto P = (x, y, z)
do espao, uma dupla aplicao do teorema de Pitgoras mostra que
a distncia de P a O expressa por
d(P, O) =
_
x
2
+y
2
+z
2
.
O
2 2 2
z y x ? ?
2 2
y x ?
P = (x, y, z)
54
principal1
2009/8/19
page 55
Estilo OBMEP
55
Mais geralmente, a distncia entre os pontos P = (x, y, z) e
C = (u, v, w) dada pela frmula
d(P, C) =
_
(x u)
2
+ (y v)
2
+ (z w)
2
.
Sendo r um nmero real positivo, a superfcie esfrica S de centro
C = (u, v, w) e raio r o conjunto dos pontos P = (x, y, z) tais que:
(x u)
2
+ (y v)
2
+ (z w)
2
= r
2
. (4.1)
A equao (4.1) acima denominada equao reduzida de S. As-
sim, por exemplo, (x + 1)
2
+ (y 2)
2
+ z
2
= 4 a equao reduzida
da superfcie esfrica de centro C = (1, 2, 0) e raio r =
4 = 2.
Desenvolvendo os quadrados em (4.1), obtemos:
x
2
+y
2
+z
2
2xu 2yv 2zw +u
2
+v
2
+w
2
r
2
= 0 (4.2)
que uma equao da forma
x
2
+y
2
+z
2
+ax +by +cz +d = 0 (4.3)
onde a, b, c, d so nmeros reais.
A equao (4.2) chamada equao geral de S. Assim, a super-
fcie esfrica de centro C = (1, 2, 0) e raio r = 2 tem como equao
geral x
2
+y
2
+z
2
+ 2x 4y + 1 = 0.
Dada uma equao da forma (4.3) como decidir se ela a equao
geral de alguma superfcie esfrica S? Em caso armativo, quais as
coordenadas do centro e qual o raio de S?
principal1
2009/8/19
page 56
Estilo OBMEP
56 CAP. 4: A SUPERFCIE ESFRICA EM COORDENADAS CARTESIANAS
Considerando, por exemplo, a equao
x
2
+y
2
+z
2
+ 4x 2y 6z + 8 = 0,
a ideia completar os quadrados e colocar (4.3) na forma (4.1).
Assim:
x
2
+ 4x = x
2
+ 2.2x = x
2
+ 2.2x + 2
2
2
2
= (x + 2)
2
4
y
2
2y = y
2
2y + 1
2
1
2
= (y 1)
2
1
z
2
6z = z
2
2.3z = z
2
2.3z + 3
2
3
2
= (z 3)
2
9
Substituindo na equao dada obtemos
(x + 2)
2
4 + (y 1)
2
1 + (z 3)
2
9 + 8 = 0,
ou seja, (x + 2)
2
+ (y 1)
2
+ (z 3)
2
= 6.
Trata-se, portanto, de uma superfcie esfrica de centro
C = (-2,1,3) e raio r =
6.
Repetindo-se o mesmo argumento para a equao
x
2
+y
2
+z
2
2x4y +10 = 0 obtemos (x1)
2
+(y 2)
2
+z
2
= 5
(faa voc).
Como uma soma de quadrados nunca um nmero negativo con-
clumos que nenhum ponto do espao tem coordenadas (x,y,z) satis-
fazendo a equao acima. Trata-se, portanto, do conjunto vazio.
J a equao x
2
+y
2
+z
2
2x4y 6z +14 = 0 pode ser escrita
como (x 1)
2
+ (y 2)
2
+ (z 3)
2
= 0 cuja nica soluo o ponto
de coordenadas (x,y,z) = (1,2,3).
O resultado a seguir desempenhar um papel importante no pr-
ximo pargrafo onde discutiremos a fundamentao matemtica do
funcionamento do GPS.
principal1
2009/8/19
page 57
Estilo OBMEP
57
Teorema 4.1. Se quatro superfcies esfricas se intersectam e seus
centros so no coplanares ento essa interseco consiste de um
nico ponto.
Demonstrao. Sejam S
1
, S
2
, S
3
e S
4
superfcies esfricas de
centros C
1
, C
2
, C
3
e C
4
, respectivamente. Mostraremos que se
S
1
S
2
S
3
S
4
,= e C
1
, C
2
, C
3
, C
4
so no coplanares ento
S
1
S
2
S
3
S
4
= P.
Sendo x
2
+y
2
+z
2
+a
j
x +b
j
y +c
j
z +d
j
= 0 as equaes gerais
de S
j
, onde j = 1, 2, 3, 4, ao subtrairmos essas equaes duas a duas
obtemos equaes lineares em x, y e z uma vez que os termos x
2
, y
2
e
z
2
so eliminados.
Tal equao linear determina o plano que contm a correspondente
interseco. Por exemplo, subtraindo as equaes de S
1
e S
2
obtm-se
uma equao do plano que contm S
1
S
2
.
Considerando-se os planos que contm S
1
S
2
, S
1
S
3
e S
1
S
4
temos que se P = (x, y, z) est em S
1
S
2
S
3
S
4
ento (x, y, z)
a soluo do sistema linear
(a
1
a
2
)x + (b
1
b
2
)y + (c
1
c
2
)z + (d
1
d
2
) = 0
(*) (a
1
a
3
)x + (b
1
b
3
)y + (c
1
c
3
)z + (d
1
d
3
) = 0
(a
1
a
4
)x + (b
1
b
4
)y + (c
1
c
4
)z + (d
1
d
4
) = 0
A prova do teorema estar terminada se mostrarmos que o sistema
(*) tem uma nica soluo, pois a existncia de dois pontos distintos
em S
1
S
2
S
3
S
4
acarretariam duas solues distintas do sistema
linear (*).
Sendo C
j
= (u
j
, v
j
, w
j
) o centro de S
j
, j = 1, 2, 3, 4, compa-
rando as equaes (4.2) e (4.3) acima temos a
j
= 2u
j
, b
j
= 2v
j
,
principal1
2009/8/19
page 58
Estilo OBMEP
58 CAP. 4: A SUPERFCIE ESFRICA EM COORDENADAS CARTESIANAS
c
j
= 2w
j
de modo que
a
1
a
2
b
1
b
2
c
1
c
2
a
1
a
3
b
1
b
3
c
1
c
3
a
1
a
4
b
1
b
4
c
1
c
4
= 8
u
2
u
1
v
2
v
1
w
2
w
1
u
3
u
1
v
3
v
1
w
3
w
1
u
4
u
1
v
4
v
1
w
4
w
1
Como C
1
, C
2
, C
3
, C
4
so no-coplanares segue que o determinante
direita no nulo e, portanto, (*) um sistema linear com determi-
nante no nulo tendo assim uma nica soluo.
Evidentemente o simples fato do sistema linear (*) ter uma nica
soluo, signicando que os centros so no-coplanares, no acar-
reta necessariamente que a interseco das quatro superfcies esfri-
cas consiste de um nico ponto P. Em outras palavras, a hiptese
S
1
S
2
S
3
S
4
,= essencial para a validade do teorema.
A eventual soluo de (*) nos dar o procurado ponto P desde que
pertena simultaneamente s quatro superfcies esfricas S
1
, S
2
, S
3
e
S
4
.
Considere, por exemplo, as superfcies esfricas abaixo.
S
1
: centro (0, 0, 1) e raio
2
S
2
: centro (0, 3, 0) e raio
10
S
3
: centro (2, 0, 0) e raio 1
S
4
: centro (0, 0, 0) e raio 1
Seus centros so no-coplanares e o sistema linear (*), neste caso
dado por
6y 2z = 0
4x 2z 4 = 0
2z = 0,
tem como nica soluo x = 1, y = 0 e z = 0. Uma vericao
principal1
2009/8/19
page 59
Estilo OBMEP
59
simples mostra que o ponto P = (1, 0, 0) pertence simultaneamente
S
1
, S
2
, S
3
e S
4
de modo que S
1
S
2
S
3
S
4
= (1, 0, 0).
Vejamos agora, a relao entre as coordenadas geogrcas e as
coordenadas cartesianas.
Para tanto consideramos um sistema ortogonal de coordenadas
cartesianas com origem O no centro da Terra, o eixo Oz positivo
apontando na direo do Polo Norte N, o plano Oxy sendo o plano do
Equador com o eixo Ox positivo cortando o meridiano de Greenwich
e o eixo Oy positivo cortando o meridiano de longitude 90
E.
Dado um ponto P = (x,y,z) do espao, sejam e os ngulos
assinalados na gura abaixo.
q = m(
j = m(
q
j
(x,0,0) = C
(0,0,z) = B
0
P = (x, y, z)
A = (x, y, 0)
?AOP)
?COA)
Quando P est sobre a superfcie terrestre os ngulos e
acima indicados correspondem exatamente latitude e longitude do
ponto P como anteriormente denidos na seo 2.1. A diferena entre
OP =
_
x
2
+y
2
+z
2
e o raio da Terra chamada de elevao (ou
altitude) de P = (x,y,z).
No tringulo retngulo OPB da gura acima temos
cos(90
o
) =
OB
OP
=
z
_
x
2
+y
2
+z
2
principal1
2009/8/19
page 60
Estilo OBMEP
60 CAP. 4: A SUPERFCIE ESFRICA EM COORDENADAS CARTESIANAS
e, como cos(90
o
) = sen , segue que sen =
z
_
x
2
+y
2
+z
2
.
Esta expresso atribui a um nico valor entre 0 e 90 quando
z > 0 e um nico valor entre -90 e 0 quando z < 0. No primeiro
caso dizemos que a latitude de P
S.
Por outro lado, no tringulo retngulo OAC temos
sen =
AC
OA
=
y
_
x
2
+y
2
e cos =
OC
OA
=
x
_
x
2
+y
2
.
Estas expresses denem um nico valor entre 0 e 180 quando y > 0
e dizemos que a longitude de P
W.
Como exemplo, vamos determinar as coordenadas geogr-
cas do ponto P cujas coordenadas cartesianas so dadas por
P = (3
3 10
6
, 3 10
6
, 6
3 10
6
). Considere como unidade de
medida o metro.
Temos
x
2
+y
2
+z
2
= 27 10
12
+ 9 10
12
+ 108 10
12
= 144 10
12
e
x
2
+y
2
= 27 10
12
+ 9 10
12
= 36 10
12
.
Logo, sen =
6
3 10
6
12 10
6
=
3
2
e, portanto, = 60
o
.
Como sen =
3 10
6
6 10
6
=
1
2
e cos =
3
3 10
6
6 10
6
=
3
2
obtemos = 30
o
.
Assim as coordenadas geogrcas de P so = 60
N e = 30
W.
Supondo o raio da Terra igual a 6, 410
6
metros temos que a elevao
principal1
2009/8/19
page 61
Estilo OBMEP
61
de P mede 12 10
6
6, 4 10
6
= 5, 6 10
6
metros.
O processo acima pode ser invertido: conhecendo-se a latitude ,
a longitude e a elevao de um ponto P, podemos determinar suas
coordenadas cartesianas x, y e z.
Como antes interpretamos as designaes N/S para e E/W para
como positivas/negativas, respectivamente. Por exemplo, um ponto
com latitude 40
N e longitude 70
W ter = 40
e = 70
S e longitude 70
E ter
= 40
e = 70
.
A partir da elevao de P obtemos o valor de
_
x
2
+y
2
+z
2
que
denotaremos por r. Logo sen =
z
r
e, portanto, z = rsen .
Por outro lado, como cos = sen (90 ) =
_
x
2
+y
2
r
segue
que x =
_
x
2
+y
2
cos = r cos cos e y =
_
x
2
+y
2
sen =
r cos sen .
Para referncia futura repetimos no quadro abaixo as relaes en-
tre as coordenadas geogrcas e as coordenadas cartesianas.
x = r cos cos
y = r cos sen
x = rsen
Atividades
1) Determine a equao geral de cada uma das superfcies esfricas
abaixo.
(a) S
1
: centro (5,5,15) e raio 13.
(b) S
2
: centro (4,2,5) e raio 3.
principal1
2009/8/19
page 62
Estilo OBMEP
62 CAP. 4: A SUPERFCIE ESFRICA EM COORDENADAS CARTESIANAS
(c) S
3
: centro (5,1,7) e raio 5.
(d) S
4
: centro (0, -2, -3) e raio 7.
2) Verique se as equaes dadas abaixo so equaes gerais de su-
perfcies esfricas. Em caso armativo, determine o centro e o
raio.
(a) x
2
+y
2
+z
2
4x + 6y + 2z 2 = 0.
(b) x
2
+y
2
+z
2
2x + 2y = 0.
(c) x
2
+y
2
+z
2
10x + 2y 6z + 35 = 0.
(d) x
2
+y
2
+z
2
2x + 4y + 15 = 0.
3) Obtenha uma equao da superfcie esfrica de centro
C = (3,-2,5) que :
(a) tangente ao plano Oxy;
(b) tangente ao plano Oyz;
(c) tangente ao plano Oxz.
4) Considere as quatro superfcies esfricas dadas na atividade 1. De-
termine as equaes dos planos que contmS
1
S
2
, S
1
S
3
e S
1
S
4
.
Resolva o sistema linear obtido e ache o ponto de interseco desses
trs planos. Verique que esse ponto pertence simultaneamente s
quatro superfcies esfricas S
1
, S
2
, S
3
e S
4
.
5) Determine as coordenadas geogrcas e a elevao dos seguintes
pontos do espao (considere as coordenadas cartesianas dadas em
metros e o raio da Terra medindo 6,4 10
6
metros):
(a) P = (3
3 10
6
, 3 10
6
, 6
3 10
6
);
(b) P = (3
3 10
6
, 3 10
6
, 6
3 10
6
);
(c) P = (3 10
6
, 3
3 10
6
, 6 10
6
);
principal1
2009/8/19
page 63
Estilo OBMEP
63
(d) P = (3 10
5
, 3
3 10
5
, 6 10
5
).
Respostas
1) (a) S
1
: x
2
+y
2
+z
2
10x 10y 30z + 106 = 0.
(b) S
2
: x
2
+y
2
+z
2
8x 4y 10z + 36 = 0.
(c) S
3
: x
2
+y
2
+z
2
10x 2y 14z + 50 = 0.
(d) S
4
: x
2
+y
2
+z
2
+ 4y + 6z 36 = 0.
4) P = (2, 1, 3).
principal1
2009/8/19
page 64
Estilo OBMEP
Captulo 5
A Matemtica do GPS
A sigla GPS nada mais do que a abreviatura para Global
Positioning System. Trata-se de uma constelao de vinte e quatro
satlites, orbitando em torno da Terra a uma altura aproximada de
20 200 km acima do nvel do mar, permitindo a receptores determi-
nar a sua posio em qualquer lugar sobre a Terra com uma notvel
preciso.
64
principal1
2009/8/19
page 65
Estilo OBMEP
65
O projeto foi iniciado em 1973 pelo Departamento de Defesa dos
Estados Unidos com o propsito de que aeronaves e navios milita-
res pudessem determinar, em qualquer circunstncia de tempo, sua
posio exata. Ajuda no lanamento de msseis e a localizao de
tropas terrestres em movimento foram outras necessidades que moti-
varam tal projeto.
Os projetistas do GPS tambm o planejaram para uso civil,
porm, com preciso menor do que para as operaes militares.
O sistema NAVSTAR (abreviatura para Navigation Satellite
Timing and Ranging), nome ocial dado pelo Departamento de De-
fesa dos Estados Unidos ao GPS, consiste de um segmento espacial (os
satlites), um segmento de controle (as estaes terrestres de geren-
ciamento) e um segmento do usurio.
Os vinte e quatro satlites que formam o segmento espacial do
GPS trafegam em torno da Terra em seis rbitas estveis e predeter-
minadas com quatro satlites em cada rbita. Os satlites percorrem
uma rbita completa a cada 12 horas e cada satlite tem 28
de vi-
sualizao sobre a Terra (veja atividade 9 da seo 2.1). Isso assegura
com que todo ponto da superfcie terrestre, em qualquer instante,
principal1
2009/8/19
page 66
Estilo OBMEP
66 CAP. 5: A MATEMTICA DO GPS
esteja visualizado por pelo menos quatro satlites. Vrias reas da
Terra so, por alguns momentos, visualizadas por at dez satlites.
Todos os vinte e quatro satlites so controlados pelas estaes
terrestres de gerenciamento. Existe uma estao master, localizada
no Colorado (Estados Unidos), que com o auxlio de quatro estaes
de gerenciamento espalhadas pelo planeta, monitoram o desempenho
total do sistema, corrigindo as posies dos satlites e reprogramando
o sistema com o padro necessrio. Aps o processamento de todos
esses dados, as correes e sinais de controle so transferidas de volta
para os satlites.
Anal, de que maneira o GPS determina a localizao de um ponto
sobre a superfcie terrestre?
Cada um dos satlites do GPS transmite por rdio um padro -
xado que recebido por um receptor na Terra (segmento do usurio)
funcionando como um cronmetro extremamente acurado. O re-
ceptor mede a diferena entre o tempo que o padro recebido
e o tempo que foi emitido. Esta diferena, no mais do que um
principal1
2009/8/19
page 67
Estilo OBMEP
67
dcimo de segundo, permite que o receptor calcule a distncia ao
satlite emissor multiplicando-se a velocidade do sinal (aproximada-
mente 2,9979245810
8
m/s a velocidade da luz) pelo tempo que
o sinal de rdio levou do satlite ao receptor.
Essa informao localiza uma pessoa sobre uma imaginria su-
perfcie esfrica com centro no satlite e raio igual distncia acima
calculada.
Cada satlite programado para emitir o que se chama
efemride, que informa a sua posio exata, naquele instante, em
relao a um sistema ortogonal de coordenadas como o descrito na
seo anterior. Tal posio permanentemente rastreada e conferida
pelas estaes terrestres de gerenciamento. A unidade receptora pro-
cessa esses sinais. Com a posio do satlite e a distncia acima
calculada obtm-se a equao geral da superfcie esfrica imaginria.
Coletando-se sinais emitidos por quatro satlites, o receptor deter-
mina a posio do usurio calculando-a como interseco das quatro
superfcies esfricas obtidas. A localizao dada, no em coordena-
das cartesianas, mas por meio das coordenadas geogrcas (latitude,
longitude) e a elevao.
A preciso do tempo essencial na operao do GPS. Um erro
de um microssegundo (10
6
segundos) no registro do lapso de tempo
desde a transmisso at a sua recepo resulta num erro de 300 metros.
Unidades receptoras do GPS extremamente precisas (e caras!) podem
determinar sua posio a menos de um metro.
Com o m da guerra fria, o sistema GPS passou a oferecer uma
preciso muito maior para o usurio civil, disponibilizando a ele a
mesma preciso que s os militares tinham a algum tempo atrs. Hoje
em dia, com auxlio do piloto automtico e do GPS, uma aeronave
civil capaz de percorrer distncias transatlnticas e pousar sem a
interferncia do piloto com erro de alguns centmetros com o eixo da
principal1
2009/8/19
page 68
Estilo OBMEP
68 CAP. 5: A MATEMTICA DO GPS
pista.
A navegao a funo primria do GPS sendo usado em aero-
naves, navios, veculos e por indivduos que usam o receptor porttil
(de bolso). Atualmente o GPS tem se mostrado til em diversas
situaes das quais destacamos algumas.
1. Roteirista de viagens: determinam alm da sua posio den-
tro de uma cidade, quais as atraes e pontos tursticos mais
prximos, hotis, postos de emergncias, etc.
2. Monitoramento de abalos ssmicos: tais abalos so precedidos
por alteraes no campo gravitacional que distorcem as ondas
de rdio permitindo, atravs do GPS, tentar prever a ocorrncia
de um terremoto com algumas horas de antecedncia.
3. Meteorologia: o GPS gera informaes para a previso da me-
teorologia, estudo do clima e outros campos de pesquisa rela-
cionados.
4. Localizao para resgate: o servio usa o GPS para guiar he-
licpteros de socorro at o lugar do acidente.
5. Aplicaes industriais: reas infectadas por pestes so identi-
cadas por fotograas areas e, com uso do GPS, um trator pode
ser guiado para aplicaes de pesticidas.
6. Uso militar: coordenadas de ataque, orientao e controle para
msseis balsticos, marcao para artilharia, bombardeio de ae-
ronaves, defesa area, rastreamento de submarinos, localizao
de minas e radares inimigos, atos terroristas, etc.
Na atividade a seguir pretendemos discutir, do ponto de vista
matemtico, o mtodo utilizado pelo GPS na determinao da posio
de um ponto sobre a superfcie terrestre. As informaes transmitidas
principal1
2009/8/19
page 69
Estilo OBMEP
69
no sistema GPS envolvem, por uma questo de preciso, dez ou mais
dgitos. Para um aproveitamento mais realista da atividade, suge-
rimos a utilizao de calculadoras ou softwares com capacidade de
resolver sistemas lineares com coecientes dessa ordem. Uma alter-
nativa, abrindo mo eventualmente da preciso, trabalhar com um
nmero menor de dgitos utilizando a notao cientca. Suponha que
o raio da Terra mea 6,378164 10
6
metros e considere a velocidade
da luz sendo de 2,99792458 10
8
m/s.
Atividade
A tabela abaixo indica as efemrides (em metros) de cada satlite.
x y z
Satlite 1 1,877191188 10
6
-1,064608026 10
7
2,428036099 10
7
Satlite 2 1,098145713 10
7
-1,308719098 10
7
2,036005484 10
7
Satlite 3 2,459587359 10
7
-4,336916128 10
6
9,090267461 10
6
Satlite 4 3,855818937 10
6
7,251740720 10
6
2,527733606 10
7
Um receptor GPS registra os seguintes lapsos de tempo (em se-
gundos) entre a transmisso e a recepo do sinal de cada satlite.
Satlite 1 Satlite 2 Satlite 3 Satlite 4
0,08251731391 0,07718558331 0,06890629029 0,07815826940
(a) Calcule a distncia entre o receptor e cada satlite.
(b) Escreva as equaes gerais das imaginrias superfcies esfricas
centradas em cada satlite e raios iguais s distncias calculadas
no item anterior.
principal1
2009/8/19
page 70
Estilo OBMEP
70 CAP. 5: A MATEMTICA DO GPS
(c) Determine as coordenadas cartesianas do ponto P que pertence
simultaneamente s quatro superfcies esfricas obtidas no item
anterior. (Sugesto: Veja atividade 4 do captulo 4)
(d) Determine a latitude, a longitude e a elevao do ponto P.
(e) Consulte um atlas geogrco ou um globo terrestre para iden-
ticar a posio desse usurio do GPS.
principal1
2009/8/19
page 71
Estilo OBMEP
Captulo 6
A Distncia numa Superfcie
Esfrica
A distncia d(A, B) entre dois pontos A e B , essencialmente, o
menor dos comprimentos das trajetrias ligando A a B. No plano,
a trajetria de menor comprimento o segmento de linha reta AB e
seu comprimento AB a distncia entre A e B. Sobre uma superfcie
esfrica, no entanto, no existe um segmento de linha reta uma vez
que ela curvada em todas as direes e tneis atravs da Terra no
so permitidos. Como medir a distncia entre dois pontos A e B neste
caso?
A
B
B
A
71
principal1
2009/8/19
page 72
Estilo OBMEP
72 CAP. 6: A DISTNCIA NUMA SUPERFCIE ESFRICA
Quanto maior o raio de uma circunferncia, mais ela se aproxima
de ser uma reta. Como as circunferncias de maior raio contidas numa
superfcie esfrica S so as circunferncias mximas, razovel esperar
que a distncia (em S) entre dois pontos A e B seja o comprimento
do arco menor
AB da circunferncia mxima que passa por A e B.
Uma prova formal desta armao ser dada adiante.
O clculo desse comprimento pode ser feito a partir do conheci-
mento da medida do ngulo AOB onde O o centro da superfcie
esfrica S. Como o comprimento do arco proporcional medida do
ngulo central correspondente, uma regra de trs simples nos d o
valor procurado.
Sendo r o raio da superfcie esfrica temos
360
o
. . . . . 2r
o
. . . . . d(A,B)
de modo que d(A,B) = (/360).(2).r.
Todos os meridianos esto contidos em circunferncias mximas
enquanto que, entre os paralelos, apenas o Equador uma circunfe-
rncia mxima. Logo quando A e B possuem a mesma longitude, a
diferena entre as latitudes pode ser usada para achar a medida .
Analogamente quando A e B esto sobre o Equador a diferena
entre as longitudes que nos permite calcular . Vejamos como.
As cidades de Curitiba e Goinia esto sobre o mesmo meridiano
(49
o
W) e suas latitudes so 26
o
S e 17
o
S, respectivamente. Esto
assim separadas por 9
o
de latitude e, tomando o raio da Terra como
6 400 km, segue que a distncia entre elas dada por
(9/360).(2).6 400 1 005 km.
principal1
2009/8/19
page 73
Estilo OBMEP
73
As cidades de Quito, no Equador, e Entebe, em Uganda, esto
ambas sobre o Equador. A longitude de Quito 79
o
W enquanto que
a de Entebe 32
o
E. Logo a diferena entre suas longitudes de 111
o
de modo que a distncia entre elas igual a
(111/360).(2).6 400 12 399 km.
Quando duas cidades A e B esto sobre um mesmo paralelo, que
no seja o Equador, o caminho mais curto possvel entre elas, ao
contrrio do que diz nossa intuio, no o comprimento do arco
menor
AB daquele paralelo e sim o comprimento do arco menor
AB
da circunferncia mxima que passa por A e B.
paralelo
circunferncia mxima
A B
?
0
Por exemplo, as cidades de Nova York e Npoles esto pratica-
mente sobre o mesmo paralelo (41
N) e suas longitudes so 74
W e
14
cos(74
), cos 41
sen (74
), sen 41
)
B = 6 400(cos 41
cos 14
, cos 41
sen 14
, sen 41
),
ou seja,
A = 6 400(0,20802, 0,72547, 0,65606)
B = 6 400(0,73229, 0,18257, 0,65606).
A medida procurada ser obtida por meio da relao
<
OA,
OB >= |
OA||
OA e
OB enquanto que |
OA|, |
OB| so
os mdulos desses vetores, neste caso ambos iguais as 6 400.
Como
<
OA,
OB > = 6 400
2
[0,152330,13244+0,43041] = 6 400
2
0,4503,
segue que cos = 0,4503 e, portanto, = 63
.
O comprimento do arco menor
AB da circunferncia mxima que
passa por A e B, que a distncia entre A e B, ento dada por
(63/360).2.6 400 7 037km. Note como esta distncia menor do
que aquela calculada ao longo do paralelo.
O argumento acima pode ser utilizado para calcular a dis-
tncia entre dois pontos quaisquer A e B do globo terrestre.
Dadas suas coordenadas geogrcas, obtemos suas coordenadas carte-
sianas e, usando o produto interno <
OA,
OB >, determinamos
= m(AOB). A distncia procurada d(A, B) ento dada por
d(A, B) = (/360).(2).6 400.
Encerramos a seo apresentando uma prova formal do fato que
d(A, B) o comprimento do arco menor
AB da circunferncia m-
xima que passa por A e B. Isso pode ser feito com umas poucas
simplicaes e a ajuda do clculo diferencial e integral.
principal1
2009/8/19
page 75
Estilo OBMEP
75
Primeiro, podemos supor sem perda de generalidade que a super-
fcie esfrica que estamos trabalhando tem raio igual a 1 unidade (a
que voc quiser) e que seu centro a origem do sistema ortogonal de
coordenadas cartesianas.
Segundo, pela simetria da superfcie esfrica podemos assumir que
o ponto A o Polo Norte. O outro ponto, B, ser dado pelas suas
coordenadas geogrcas que vamos supor medidas em radianos. Di-
gamos que a latitude de B
1
enquanto que sua longitude
1
.
A circunferncia mxima que passa por A e B contm o meridiano
por B de modo que o arco menor
AB tem por comprimento
2
1
(lembre-se que o raio da superfcie esfrica 1).
Devemos agora considerar uma trajetria arbitrria ligando A e
B e mostrar que seu comprimento maior ou igual a
2
1
.
) t ( r
A
q
1
B
j
1
Se nos imaginarmos viajando de A at B, em cada instante t,
estaremos num ponto do globo terrestre com uma latitude (t) e uma
longitude (t). Iniciando nossa viagem no instante t = 0 e a nali-
zando no instante t
1
teremos (0) =
2
, (t
1
) =
1
e (t
1
) =
1
.
Uma trajetria arbitrria ligando A e B ento descrita por um
principal1
2009/8/19
page 76
Estilo OBMEP
76 CAP. 6: A DISTNCIA NUMA SUPERFCIE ESFRICA
vetor posio
r (t) dado por
r (t) = (cos (t) cos (t), cos (t)sen (t), sen (t)), 0 t t
1
.
Derivando-se essa funo vetorial em relao ao tempo t obtemos
o vetor velocidade
r
(t)| no instante t.
Clculos rotineiros nos do que
|
(t)| =
_
(t)
2
+
(t)
2
cos
2
(t)
_
(t)
2
= [
(t)[
(t).
Lembrando que o comprimento da trajetria calculado pela ex-
presso L =
_
t
1
0
|
(t)]dt = [(t
1
) (0)] =
2
1
e temos assim provado o resultado desejado.
Atividades
Em todos os exerccios desta srie suponha que o raio da Terra
mea 6 400 km.
1) As cidades de Macap (Brasil) e Pontianak (Indonsia) esto
ambas situadas sobre o Equador. Consulte um atlas geogrco
para achar a longitude de cada uma dessas localidades e deter-
mine a distncia entre elas.
2) Qual a distncia de Salvador ao Polo Sul? E ao Polo Norte? E
a Fortaleza? (Sugesto: Salvador e Fortaleza esto sobre um
mesmo meridiano.)
3) Chicago e Roma situam-se na mesma latitude (42
N), mas em
longitudes diferentes: a de Chicago aproximadamente 88
W e a
de Roma aproximadamente 12
E.
principal1
2009/8/19
page 77
Estilo OBMEP
77
(a) Suponha que um piloto tenha ido de Chicago a Roma em
voo no rumo leste, permanecendo o tempo todo na mesma
latitude. (Muita gente acha que esse o caminho mais cur-
to possvel.) Que distncia o piloto teve de voar?
(b) Qual a distncia de Chicago a Roma por circunferncia m-
xima?
(c) Quanto tempo se economizaria voando em uma circunfern-
cia mxima num avio a jato capaz de fazer uma velocidade
mdia de 900 km/h?
4) Qual a distncia entre Nova York (40
40N, 74
W) e Buenos
Aires (34
30S, 58
30W)?
Respostas
3) (a) Cerca de 8 300 km.
(b) Cerca de 7 752 km.
(c) Aproximadamente 36 minutos.
4) Cerca de 8 545 km.
principal1
2009/8/19
page 78
Estilo OBMEP
principal1
2009/8/19
page 79
Estilo OBMEP
Referncias Bibliogrcas
[1] AZEVEDO, G.G.; SANTOS, F.M. Panorama do Brasil I. Rio de
Janeiro: Editora Atual, 1990.
[2] FEEMAN, T.G. Portraits of the Earth. [S.L.]: American Ma-
thematical Society, 2002.
[3] HY, Kim. Angled Sunshine, Seasons and Solar Energy. The
Mathematics Teacher, v. 90, n. 7, October 1997.
[4] JENNINGS, G.A. Modern Geometry with Applications.
[S.L.:s.n.], 1997.
[5] MOISE, E. Elementary Geometry from an Advanced Standpoint.
Third Edition. [S.L.]: Addison Wesley Publishing Co., 1990.
[6] NORD, G.D.; JABON, D.; NORD, J. The Mathematics of the
Global Positioning System. The Mathematics Teacher, v. 90,
n. 6, September 1997.
[7] WAIVERIS, C.; CRAINE, T.V. Where are we?. The Mathema-
tics Teacher, v. 89, n. 6, September 1996.
79
principal1
2009/8/19
page 80
Estilo OBMEP
80 REFERNCIAS BIBLIOGRFICAS
Sites Consultados
[1] www.garmin.com
[2] http://astro.if.ufrgs.br/indexhtml
principal1
2009/8/19
page 81
Estilo OBMEP
Os Trs Problemas Clssicos da
Matemtica Grega
Joo Pitombeira de Carvalho
81
principal1
2009/8/19
page 82
Estilo OBMEP
principal1
2009/8/19
page 83
Estilo OBMEP
Prefcio
Este trabalho foi escrito originalmente para um minicurso apresen-
tado na Bienal da Sociedade Brasileira de Matemtica, em Salvador,
em 2004. Posteriormente, foi feita uma reviso completa do texto,
com a correo de erros de impresso, e incorporadas sugestes dos
alunos. esta verso aqui impressa. Mais tarde, foi refeito e publi-
cado como um dos captulos do livro de Joo Bosco Pitombeira de
Carvalho, Trs excurses pela Histria da Matemtica.
1
No minicurso, usamos o aplicativo de geometria dinmica
TABULAE, para que os alunos pudessem fazer, realmente, as cons-
trues geomtricas. A mais elaborada, que exige pacincia, a da
quadratriz. Acreditamos que a utilizao da geometria dinmica d
vida ao estudo dos problemas clssicos, pois, com ela, possvel real-
mente ver que as construes feitas pelos gregos funcionam. Isso
instrutivo principalmente no caso das mquinas de Plato e de
Eratstenes (ver, 7.1 e 7.2, respectivamente). Esta fuso da histria
com as tecnologias torna o estudo dos problemas clssicos bem mais
interessante. Outra ocasio em que a geometria dinmica d vida ao
estudo das construes geomtricas dos gregos no estudo de cons-
trues por neusis ou ajustamento. Com um aplicativo de geometria
dinmica, o leitor pode ver que a construo possvel.
1
Os dois outros captulos tratam, respectivamente, da equivalncia e aplicao
de reas na matemtica grega e da histria da equao do segundo grau.
83
principal1
2009/8/19
page 84
Estilo OBMEP
84
Os tpicos expostos neste texto tm encantado sucessivas geraes
de matemticos prossionais ou amadores. Eles so os problemas da
duplicao do cubo, quadratura do crculo e trisseco do ngulo,
os quais moldaram muito das atividades de pesquisa matemtica dos
gregos, e deram origem, inclusive, ao estudo das cnicas. vastssima
a produo matemtica dedicada a estes trs problemas, provenientes
de erros, por vezes sutis, sobre as exigncias feitas para a soluo
dos problemas. Somente no sculo XIX que foi demonstrado que
eles no podem ser resolvidos somente com rgua (no graduada) e
compasso, o que no impede o aparecimento, at hoje, de provas de
que possvel efetuar as trs construes. Essas tentativas no devem
ser olhadas com desprezo, mas sim como testemunho de interesse pela
Matemtica em vrios setores na sociedade.
Cabe um pedido de desculpas e, ao mesmo tempo, uma expli-
cao: os leitores notaro por certo a predominncia de referncias
bibliogrcas em lnguas estrangeiras. Isso se deve ao pouco nmero
de fontes em portugus sobre o assunto. Embora progressos estejam
sendo feitos no sentido de tornar disponveis, em nossa lngua, bons
textos sobre os tpicos cobertos neste livro, at hoje a maior parte dos
trabalhos sobre o assunto esto escritos em outros idiomas. Em ver-
dade, a motivao para a redao deste material foi tornar disponvel
exposies introdutrias sobre os tpicos aqui tratados.
Neste trabalho, o livro Science Awakening, de Van der Waerden,
simplesmente citado como van der Waerden. A edio padro, facil-
mente disponvel, dos Elementos de Euclides a de Heath (1956).
Para os leitores que no tm acesso a esta edio, recomendamos a
traduo da edio de Simson (1773) para o portugus, perfeitamente
suciente para nossas nalidades.
2
Teoremas, guras, equaes ou
2
Ela se encontra disponvel gratuitamente em www.dominiopublico.gov.br.
principal1
2009/8/19
page 85
Estilo OBMEP
85
igualdades so numeradas sequencialmente. O smbolo 2 indica o m
de uma demonstrao ou construo.
Com exceo das Figuras 7.8, 8.1 e 9.4, todas as ilustraes foram
feitas com o aplicativo de Geometria dinmica TABULAE
R _
, desen-
volvido no Instituto de Matemtica da Universidade Federal do Rio
de Janeiro.
Embora o autor tenha procurado corrigir todos os erros tipogr-
cos ou matemticos do texto, certamente alguns lhe escaparam. Como
disse Monteiro Lobato, os erros tipogrcos so como sacis. Quando
os procuramos, eles se escondem. Uma vez publicado o texto, saltam
alegres chamando a ateno dos leitores. Fico, desde j, muito grato
pelas indicaes dos erros remanescentes (matemticos ou tipogr-
cos), as quais podem ser encaminhadas para jbpfcarvalho@gmail.com.
Joo Bosco Pitombeira de Carvalho
principal1
2009/8/19
page 86
Estilo OBMEP
principal1
2009/8/19
page 87
Estilo OBMEP
Sumrio
Introduo 89
7 A Duplicao do Cubo 97
7.1 A mquina de Plato . . . . . . . . . . . . . . . . . . . 99
7.2 A mquina de Eratstenes . . . . . . . . . . . . . . . . 100
7.3 A soluo de Nicomedes . . . . . . . . . . . . . . . . . 104
7.4 A Construo de rquitas . . . . . . . . . . . . . . . . 110
7.5 A soluo achada por Mencmo . . . . . . . . . . . . . 113
7.6 O mtodo de Diocles . . . . . . . . . . . . . . . . . . . 114
7.7 O mtodo de Hiero . . . . . . . . . . . . . . . . . . . 117
8 A Quadratura do Crculo 119
8.1 A Quadratriz . . . . . . . . . . . . . . . . . . . . . . . 119
9 A Trisseco do ngulo 122
9.1 A Trisseco do ngulo por Arquimedes . . . . . . . . 123
9.2 A Trisseco do ngulo por Nicomedes . . . . . . . . . 124
9.3 A Trisseco do ngulo Usando a Quadratriz . . . . . 126
87
principal1
2009/8/19
page 88
Estilo OBMEP
88
Referncias Bibliogrcas 129
principal1
2009/8/19
page 89
Estilo OBMEP
Introduo
indubitvel que, na histria da Mate-
mtica, alguns problemas tm signicao
especial: agindo como catalisadores eles
inuenciam muito o desenvolvimento da cin-
cia. Tais problemas atraem devido simpli-
cidade e lucidez de seus enunciados, fasci-
nando muitos matemticos. Como resultado,
so elaborados novos mtodos e, at mesmo
novas teorias e novas perguntas, profundas
e abrangentes, so formuladas (Raigorodski,
2004).
Os matemticos gregos estudaram trs problemas de Geome-
tria que desempenharam papel importante no desenvolvimento da
Matemtica. Eles so problemas de construo e resistiram a todas
as tentativas dos gregos para resolv-los utilizando somente a rgua
sem graduao e o compasso, os nicos instrumentos empregados por
Euclides nos Elementos.
89
principal1
2009/8/19
page 90
Estilo OBMEP
90
Os problemas, que caram conhecidos como os trs problemas
clssicos, so:
1 A duplicao do cubo.
2 A quadratura do crculo.
3 A trisseco do ngulo.
Sabemos, desde o sculo XIX, que esses problemas no podem ser
resolvidos somente com a rgua e o compasso. Referncias acessveis
sobre isso so, por exemplo, Courant and Robbins (1996), Hadlock
(1978), Klein (1930), Bunt, Jones and Bedient (1988, p. 89-121).
Uma discusso de por que os gregos tentavam resolver problemas de
construo usando somente a rgua e o compasso, pode ser encon-
trada, por exemplo, em Bkouche et Jolle (1993).
Para os primeiros gemetras gregos, uma linha era o percurso de
um ponto, e a linha reta era um percurso sem asperezas e desvios
(Szab, 2000). No entanto, aos poucos, os matemticos gregos se
distanciaram da realidade palpvel, como se v, por exemplo, em
Plato:
[a Geometria] tem por objeto o conhecimento do que sem-
pre e no do que nasce e perece.
Passaram tambm a dar ao crculo e reta papis destacados:
...Aristteles O que no tem nem comeo nem m
portanto ilimitado.
Parmnides Ele ilimitado.
Aristteles Portanto ele no tem forma, pois no parti-
cipa nem do redondo nem do reto.
principal1
2009/8/19
page 91
Estilo OBMEP
91
Alm da ideia de perfeio ideal atribuda ao crculo e linha
reta uma outra razo para a restrio rgua e ao compasso pode
ter sido a crise devida descoberta da irracionalidade de
2, nmero
que pode, no entanto ser construdo com rgua e compasso. Esses
instrumentos eram a garantia da existncia de tais nmeros.
No entanto, falsa a crena de que os gregos, na resoluo de
problemas de construes geomtricas, trabalhavam somente com a
rgua e o compasso. Exatamente como os matemticos de hoje, para
resolverem um problema eles usavam todas as ferramentas disponveis
ou criavam novas ferramentas apropriadas. De suas tentativas para
achar solues para os problemas clssicos, surgiram vrias curvas e
mtodos que enriqueceram a Matemtica. Encontram-se em Knorr
(1986) e Bos (2001) construes geomtricas, incluindo solues dos
trs problemas clssicos, utilizando vrias curvas e outros instrumen-
tos.
O matemtico Van der Waerden (p. 263) resumiu a situao como
segue:
A ideia por vezes expressa de que os gregos permi-
tiam somente construes com rgua e compasso inad-
missvel. Ela negada pelas numerosas construes que
nos chegaram para a duplicao do cubo e a trisseco do
ngulo. No entanto, verdade que tais construes eram
consideradas mais elementares, e Pappus arma que sem-
pre que uma construo for possvel com rgua e compasso
mtodos mais avanados no deveriam ser usados.
Isso parece seguir a mesma linha que o princpio da navalha de
Ockham, muito posterior. Na linguagem popular, poderamos dizer
principal1
2009/8/19
page 92
Estilo OBMEP
92
que no se deve usar um canho para matar uma mosca.
impossvel superestimar a importncia destes problemas. Como
diz Yates (1971, p. 5).
Na histria da Matemtica h trs problemas que per-
sistiram com vigor impressionante durante mais de dois
mil anos. Eles so a trisseco do ngulo, a duplicao do
cubo e a quadratura do crculo, e devido sua existn-
cia robusta eles so atualmente chamados de problemas
famosos. (...) Estes trs problemas, solidamente inex-
pugnveis malgrado todas as tentativas usando geometria
plana, o mtodo matemtico dos antigos gregos, zeram
com que os matemticos cassem fascinados e construs-
sem novas tcnicas e teoremas para sua soluo. Por meio
deste estmulo surgiu grande parte das estruturas atuais
da lgebra e da geometria.
A procura constante de solues para os trs problemas durante
tanto tempo forneceu descobertas frutferas e que lanaram luz sobre
tpicos bem distantes. Somente em 1837 que foi demonstrado, por
Wantzel, que um nmero real construtvel com rgua e compasso
se, e somente se, ele um nmero algbrico, de grau uma potncia de
dois, sobre os racionais.
Os trs problemas so muito naturais para quem tem curiosidade
matemtica. Scrates, no dilogo Meno de Plato, usando perguntas
apropriadas, faz com que um jovem escravo ache um quadrado cuja
rea duas vezes a rea de um quadrado dado. Isso pode ser feito
facilmente usando rgua e compasso.
Com efeito, o quadrado cujo lado a diagonal do quadrado
dado a soluo do problema. Se AB o lado do quadrado dado
principal1
2009/8/19
page 93
Estilo OBMEP
93
(Figura 6.1), ento
DB =
2 AB =DB
2
= 2 AB
2
.
Figura 6.1: Duplicao do quadrado
De DB
2
= 2 AB
2
, vemos imediatamente que
AB
DB
=
DB
2AB
.
Assim, achar o comprimento de DB equivalente a inserir uma
meia proporcional entre AB e 2AB.
De maneira mais geral, se desejarmos construir um quadrado cuja
rea seja b vezes a rea a do quadrado ABCD, devemos ter
AB
DB
=
DB
bAB
.
Como veremos, a ideia de inserir meias proporcionais entre duas
grandezas dadas est por traz da maioria das tentativas de duplicar
o cubo.
Quadrar uma regio plana consiste em traar, somente com
principal1
2009/8/19
page 94
Estilo OBMEP
94
rgua e compasso, um quadrado cuja rea seja igual rea da regio
dada. O problema de quadrar qualquer regio poligonal est comple-
tamente resolvido nos Elementos de Euclides, e ir ser estudado no
Captulo 7. O problema da quadratura do crculo tambm muito
natural. Uma vez resolvido o problema da quadratura de qualquer
regio poligonal, o prximo passo tentar quadrar regies limitadas
por linhas curvas. Entre estas regies, o crculo uma escolha bvia.
Isso levou investigao das lnulas por Hipcrates de Quios, em
torno de 430 a.C. (Van der Waerden, p. 131-132). Curiosamente, so-
mente h pouco tempo, em 1947, usando tcnicas muito sosticadas,
que o problema de achar todas as lnulas quadrveis foi comple-
tamente resolvido (Scriba, 1987)!
A primeira meno conhecida do problema da quadratura do cr-
culo encontra-se no problema 50 do papiro Rhind, em torno de 1600
a.C.:
Um campo circular tem 9 khet de dimetro. Qual a sua rea?
Resoluo: Tira 1/9 do dimetro do seu dimetro, isto 1 Khet. O
resto 8 Khet. Multiplica 8 por 8; o que faz 64. Por isso, contm 64
setat de terra.
Nota: 1 setat khet ao quadrado
Em sua comdia Os pssaros, Aristfanes introduz o astrnomo
Meton e o ridiculariza por causa de suas tentativas de fazer a
quadratura do crculo:
Farei minhas medies com um esquadro reto [90
o
graus],
e assim voc observa que o crculo se torna quadrangular.
Para Szab (2000), o problema de quadratura que deu origem a to-
dos os outros foi o de fazer a quadratura do retngulo. Este problema
facilmente resolvido com rgua e compasso usando o resultado que,
principal1
2009/8/19
page 95
Estilo OBMEP
95
em um tringulo retngulo, a altura relativa hipotenusa a meia
proporcional entre os segmentos que ela determina sobre a hipotenusa.
Aristteles,
3
por sua vez, pensa que este problema surgiu da
procura da mdia geomtrica (meia proporcional), mas que isso foi
esquecido e s restou o prprio problema:
A denio no deve contentar-se em exprimir em que
consiste a coisa (...), mas ela deve tambm incluir e exi-
bir a causa. Ora, as denies so geralmente concluses.
Por exemplo: O que a quadratura? a igualdade de um
quadrado e de um retngulo. Uma denio como essa
uma concluso. Mas dizer que a quadratura a descoberta
da meia proporcional exprimir a causa do que denido.
Semelhantemente, uma vez que se sabe como bissectar um ngulo
(Elementos, I-9), natural perguntar como dividir um ngulo em n
partes; em particular, em 3 partes.
Embora no tenham conseguido resolver estes problemas com os
instrumentos especicados, os matemticos gregos no se deixaram
intimidar e, com engenho notvel, foram capazes de achar solues
para os trs problemas, usando vrios outros tipos de instrumentos e
construes.
Em verdade, da mesma maneira que a Matemtica moderna cresce
com respostas aos desaos de novos problemas, muito da Matemtica
grega se desenvolveu devido a tentativas de resolver os trs proble-
mas clssicos. Neste sentido, os matemticos gregos eram realmente
nossos colegas, pois tinham a mesma atitude mental dos matemticos
atuais e tentavam conscientemente atacar novos desaos. Quando os
3
Tratado da alma, II,2, 413, 13-20.
principal1
2009/8/19
page 96
Estilo OBMEP
96
conceitos e tcnicas existentes no conseguiam resolver estes proble-
mas, eles inventavam novos conceitos e tcnicas apropriadas para a
tarefa.
principal1
2009/8/19
page 97
Estilo OBMEP
Captulo 7
A Duplicao do Cubo
O que sabemos sobre este problema encontra-se principalmente
em Eutcio, um comentador de Arquimedes.
H duas lendas sobre a origem da duplicao do cubo, com deta-
lhes contraditrios. Uma delas se refere duplicao de um tmulo e
a outra duplicao de um altar (Van der Waerden, p. 160-161).
Segundo a primeira lenda, Minos mandou fazer um tmulo para
Glauco. Ao saber que o tmulo era um cubo cuja aresta media 100
ps, ele disse que a residncia real tinha sido construda demasiada-
mente pequena e que ela deveria ser duas vezes maior e ordenou ime-
diatamente que duplicassem cada aresta do tmulo, sem estragar sua
bela forma.
De acordo com a segunda lenda, quando um orculo anunciou
aos habitantes de Delos que, para se verem livres da peste, deveriam
construir um altar duas vezes maior do que o existente, os arquitetos
caram muito confusos, pois no sabiam como construir um cubo
duas vezes maior do que outro.
Hipcrates de Quios (viveu em torno de 430 a.C.) reduziu este
problema ao de achar duas meias proporcionais x e y entre 1 e 2.
97
principal1
2009/8/19
page 98
Estilo OBMEP
98 CAP. 7: A DUPLICAO DO CUBO
Com efeito, se
1
x
=
x
y
=
y
2
,
vemos que
x
2
= y
e, portanto, multiplicando ambos os membros por x, obtemos
x
3
= xy.
Mas como
xy = 2
temos que
x
3
= 2.
No caso geral, se x e y so duas meias proporcionais entre a e b, temos
a
x
=
x
y
=
y
b
e disso vemos que
x
2
= ay
e que
xy = ab
e da segue-se que
x
3
= axy = a
2
b
e assim
x
3
a
3
=
a
2
b
a
3
=
b
a
.
Apresentaremos agora sete solues do problema da duplicao do
cubo, quase todas baseadas em achar duas meias proporcionais entre
duas grandezas, usando construes que no podem ser efetuadas
somente com rgua e compasso e curvas que no podem ser traadas
principal1
2009/8/19
page 99
Estilo OBMEP
SEC. 7.1: A MQUINA DE PLATO 99
usando somente estes dois instrumentos.
7.1 A Mquina de Plato
O lsofo grego Plato (viveu de 429 a 347 a.C.) tinha grande
interesse pela Matemtica e lhe atribua importncia particular. Gra-
vitaram em torno dele excelentes matemticos, como, por exemplo,
rquitas, Eudoxo, Mencmo, Teeteto, entre outros.
bem conhecido que Plato desprezava construes mecnicas,
materiais (ver Van der Waerden, p. 162-163) em Matemtica. As-
sim, irnico que a soluo discutida a seguir seja conhecida como
mquina de Plato.
Figura 7.1: A mquina de Plato
A mquina de Plato (Figura 7.1) um dispositivo, ACDF, for-
mado por partes rgidas, com AC e FD paralelas e CD perpendicular
a ambas. O segmento BE paralelo a CD e pode deslizar ao longo
de AC e de FD.
Para achar duas meias proporcionais entre ON = a e OM = b,
movimentamos ACDF de maneira que o segmento CD passe por M,
C esteja sobre o eixo horizontal e fazemos BE deslizar at que passe
por N e B esteja sobre o eixo vertical, como mostrado na Figura 7.2.
principal1
2009/8/19
page 100
Estilo OBMEP
100 CAP. 7: A DUPLICAO DO CUBO
Figura 7.2: Meia proporcional entre ON = a e OM = b
Vemos que os tringulos NOB e MOC so semelhantes e, por-
tanto,
ON
OB
=
OC
OM
.
Como os tringulos NOB e OCB tambm so semelhantes, temos
que
ON
OB
=
OB
OC
e assim chegamos a
ON
OB
=
OB
OC
=
OC
OM
=
a
OB
=
OB
OC
=
OC
b
,
o que mostra que OB e OC so de fato meias proporcionais entre a
e b.
7.2 A Mquina de Eratstenes
Considere trs placas retangulares AEZF, NMHJ e SGTL
(Figura 7.3), que podem deslizar sobre uma reta de maneira que a
principal1
2009/8/19
page 101
Estilo OBMEP
SEC. 7.2: A MQUINA DE ERATSTENES 101
placa mdia (NMHJ), pode passar por traz da primeira (AEZF),
e que a ltima (SGTL), deslize por traz da do meio. Suponha que
desejamos achar duas meias proporcionais entre a = AE e b = DT.
Figura 7.3: A mquina de Eratstenes
Traamos o segmento de reta AD e o prolongamos at a inter-
seco, K, com a reta que passa por ET. Fazemos as placas deslizar,
como descrito acima, de maneira que o lado direito ZF da pri-
meira placa (AEZF), intercepte a diagonal NH da segunda placa
(NMHJ), exatamente sobre a reta AD, no ponto B, como mostra
na Figura 7.4.
De maneira semelhante, fazemos deslizar a terceira placa (HGTL)
de tal forma que o lado direito da segunda placa (JH) corte a diagonal
(ST) exatamente sobre AD, no ponto C.
Armamos ento que BZ e HC so meias proporcionais entre AE
e DT, ou seja, que
AE
BZ
=
BZ
GH
=
GH
DT
.
principal1
2009/8/19
page 102
Estilo OBMEP
102 CAP. 7: A DUPLICAO DO CUBO
Figura 7.4: Meias proporcionais entre AE = a e DT = b
Com efeito, como os tringulos AEK e BZK so semelhantes,
temos
AE
BZ
=
KA
KB
=
KE
KZ
. (7.1)
Temos tambm que os tringulos BZK e CHK so semelhantes,
e, portanto
BZ
CH
=
KZ
KH
=
KB
KC
. (7.2)
Da semelhana dos tringulos CHK e DTK segue-se que
CH
DT
=
KH
KT
=
KC
KD
. (7.3)
Da semelhana dos tringulos AZK e BHK decorre
AZ
BH
=
KZ
KH
=
KA
KB
. (7.4)
principal1
2009/8/19
page 103
Estilo OBMEP
SEC. 7.2: A MQUINA DE ERATSTENES 103
Alm disso, como os tringulos BHK e CTK so semelhantes,
vemos que
BH
CT
=
KH
KT
=
KB
KC
. (7.5)
De 7.3 e 7.5 obtemos
CH
DT
=
KH
KT
=
KC
KD
=
BH
CT
=
KB
KC
, (7.6)
pois ambos tm
KH
KT
em comum.
Como 7.2 e 7.6 tm
KB
KC
em comum, segue-se que
BZ
CH
=
KZ
KH
=
BK
KC
=
BH
CT
=
KH
KT
=
CH
DT
=
KC
DK
. (7.7)
Como 7.1 e 7.4 tm
KA
KB
em comum, segue-se que
AE
BZ
=
KA
KB
=
KE
KZ
=
AZ
BH
=
KZ
KH
. (7.8)
De 7.7 mantenhamos somente as razes que nos interessam:
BZ
CH
=
KZ
KH
=
CH
DT
. (7.9)
De 7.8 mantenhamos somente as razes que nos interessam:
AE
BZ
=
KZ
KH
. (7.10)
Como 7.9 e 7.10 tm
KZ
KH
em comum, obtemos, enm, que
principal1
2009/8/19
page 104
Estilo OBMEP
104 CAP. 7: A DUPLICAO DO CUBO
AE
BZ
=
BZ
CH
=
CH
DT
, (7.11)
o que queramos demonstrar. 2
O processo descoberto por Eratstenes pode ser usado para inserir
qualquer nmero de meias proporcionais entre a e b. Para inserir n
meias proporcionais, suciente tomar n + 1 retngulos e proceder
como acima.
7.3 A Soluo de Nicomedes
O mtodo para duplicar o cubo encontrado por Nicomedes, que
viveu em torno de 240 a.C., verdadeiramente muito engenhoso.
Suponha que queremos inserir duas meias proporcionais entre
b = AB e a = BC (Figura 7.5).
Construa o retngulo ABCL. Seja D o ponto mdio de AB e
trace a reta que passa por L e D. Seja G seu ponto de interseco
com a reta que passa por C e B. Seja E o ponto mdio de BC e trace
a perpendicular a BC por E. Chame de F o ponto desta reta para o
qual BF = FC = AD.
Trace a reta s que passa por F e por G e a paralela a S que
passa por C. Por F trace a reta FHK construda de tal maneira
que HK = CF = AD. Trace a reta que passa pelos pontos K e L e
chame de M sua interseco com a reta denida por A e B.
Armamos que AM e CK so meias proporcionais entre a e b, ou
seja, que
BC
MA
=
MA
CK
=
CK
AB
. (7.12)
Para compreender isso, devemos usar a Proposio II.6, dos
principal1
2009/8/19
page 105
Estilo OBMEP
SEC. 7.3: A SOLUO DE NICOMEDES 105
Figura 7.5: Meias proporcionais entre a = BC e b = AB
Elementos de Euclides, cujo enunciado o seguinte:
Elementos, II-6: Se uma linha reta dividida em duas partes
iguais e se uma outra linha reta lhe adicionada, prolongando-a, o
retngulo determinado pela linha reta e pela reta adicionada igual,
se lhe for adicionado o quadrado sobre a metade da reta, ao quadrado
sobre a reta formada pela metade e pela reta adicionada.
Ou seja, na gura, a soma das reas do retngulo de base AD e
altura DB e do quadrado LEGH (que igual ao quadrado de lado
CB) igual rea do quadrado de lado CD (Ver Figura 7.6).
Voltemos justicao da construo de Nicomedes, aplicando
II-6 ao segmento BC cortado ao meio por E e prolongado at K:
BK KC +CE
2
= EK
2
. (7.13)
principal1
2009/8/19
page 106
Estilo OBMEP
106 CAP. 7: A DUPLICAO DO CUBO
Figura 7.6: Elementos II.6
Adicionando EF
2
a ambos os lados desta igualdade e aplicando o
teorema de Pitgoras aos tringulos EFK e CEF, temos
BK KC +CF
2
= FK
2
. (7.14)
Alm disso, devido semelhana dos tringulos AML e MBK
temos que
AB
MA
=
LK
ML
=
CK
BC
. (7.15)
Observe que BC =
1
2
GC, devido congruncia dos tringulos
GBD e DAL.
Como AB = 2AD, temos
2 AD
MA
=
2 CK
GC
(7.16)
e assim,
AD
MA
=
CK
GC
. (7.17)
principal1
2009/8/19
page 107
Estilo OBMEP
SEC. 7.3: A SOLUO DE NICOMEDES 107
Como os tringulos GFK e CHK so semelhantes, temos
CK
GC
=
HK
FH
(7.18)
e da segue-se que
AD
MA
=
CK
GC
=
HK
FH
. (7.19)
Temos ento que
AD
MA+AD
=
HK
FH +HK
, (7.20)
e assim
AD
MD
=
HK
FK
. (7.21)
Como HK = AD por construo, segue-se de 7.21 que MD = FK
e assim, de 7.14, temos
BK KC +CF
2
= FK
2
. (7.22)
Usaremos mais uma vez Euclides II-6, agora aplicada ao segmento
BA, cujo ponto mdio D, e prolongado at M:
BM MA+AD
2
= MD
2
. (7.23)
Como MD = FK, vemos que
BM MA+AD
2
= FK
2
. (7.24)
Comparando 7.22 e 7.24 vemos que
principal1
2009/8/19
page 108
Estilo OBMEP
108 CAP. 7: A DUPLICAO DO CUBO
BM MA = BK KC (7.25)
de maneira que
BK
BM
=
MA
CK
. (7.26)
Da semelhana dos tringulos MBK, MAL e LCK segue-se que
BK
BM
=
AL
MA
=
CK
LC
. (7.27)
Finalmente, usando 7.26 e 7.27, temos que:
CK
LC
=
MA
CK
=
AL
MA
. (7.28)
Como LC = AB, AL = BC, temos, enm, que
BC
MA
=
MA
CK
=
CK
AB
, (7.29)
o que queramos demonstrar. 2
Esta demonstrao encontra-se em Heath (1981). Daremos a se-
guir uma demonstrao analtica para a construo de Nicomedes
(veja Bos, 2001).
Na Figura 7.5, faa x = FH e y = CK. Ento, nos tringulos
retngulos EFK e EFC temos que
EF
2
+EK
2
= FK
2
, (7.30)
EF
2
+EC
2
= FC
2
. (7.31)
principal1
2009/8/19
page 109
Estilo OBMEP
SEC. 7.3: A SOLUO DE NICOMEDES 109
De 7.30 e de 7.31 vemos imediatamente que
FK
2
EK
2
= FC
2
EC
2
, (7.32)
e assim
_
1
2
b +x
_
2
_
1
2
a +y
_
2
=
_
1
2
b
_
2
_
1
2
a
_
2
. (7.33)
Disso, segue-se imediatamente que
ay +y
2
= bx +x
2
. (7.34)
Logo
a +y
b +x
=
x
y
. (7.35)
Os tringulos CHK e GFK so semelhantes e podemos portanto
escrever
HK
CK
=
FH
GC
, (7.36)
ou seja
1
2
b
y
=
x
2a
=
b
y
=
x
a
=
a
x
=
y
b
. (7.37)
Mas ento
a +y
y
=
x +b
b
=
a +y
x +b
=
y
b
. (7.38)
De 7.34 e 7.36 vemos que
principal1
2009/8/19
page 110
Estilo OBMEP
110 CAP. 7: A DUPLICAO DO CUBO
x
y
=
y
b
=
x
y
=
y
b
=
a
x
(7.39)
e assim
a
x
=
x
y
=
y
b
. (7.40)
Como, pela semelhana dos tringulos AML e LCK, temos que
a
AM
=
y
b
, (7.41)
vemos imediatamente que
AM = x, (7.42)
o que conclui a demonstrao.
Na construo apresentada por Nicomedes (Figura 7.5), foi
necessrio construir a reta FHK tal que HK = CF = AD. Ou
seja, tivemos que ajustar o segmento de comprimento AD sobre o
segmento FK, a partir de K. Este tipo de construo, que no pode
ser efetuado com rgua e compasso, chamado de construo por
neusis ou por ajustamento. Ela utilizada em vrias solues dos
trs problemas clssicos, em particular por Arquimedes.
7.4 A Construo de rquitas
Vamos agora considerar uma das solues mais engenhosas do
problema de duplicar um cubo, devida a rquitas (viveu em torno
de 390 a.C.). Reproduzimos aqui a soluo como apresentada em
Teixeira (1995, p. 289-290). Embora o raciocnio de rquitas seja
puramente geomtrico (veja Van der Waerden, p. 151 ou Heath, 1981,
principal1
2009/8/19
page 111
Estilo OBMEP
SEC. 7.4: A CONSTRUO DE RQUITAS 111
vol. 1, p. 246-249), usaremos seu equivalente analtico, mais familiar
para ns, habituados com a linguagem algbrica.
Sejam a e b os dois segmentos dados, com b < a, para os quais
desejamos construir duas meias proporcionais. Sejam OC
A uma cir-
cunferncia cujo dimetro OA
.
A interseco destas duas superfcies dene uma curva, conhecida
como curva de rquitas, dada pelas equaes
x
2
+y
2
= ax,
(x
2
+y
2
+z
2
)
2
= a
2
(x
2
+y
2
).
principal1
2009/8/19
page 112
Estilo OBMEP
112 CAP. 7: A DUPLICAO DO CUBO
Seja =
b
a
e considere o cone cujo eixo a reta OA
e cuja
geratriz forma com o eixo o ngulo . A equao deste cone
(x
2
+y
2
+z
2
) =
a
2
b
2
x
2
. (7.43)
Seja D a projeo de C sobre Ox. Ento a curva de rquitas
corta o cone no ponto B cuja projeo sobre o plano de OCA
o
ponto C da circunferncia tal que
OC
OB
=
b
a
.
Armamos que OC e OB so duas meias proporcionais entre a e
b. Com efeito,
OC
2
= a OD,
OB
2
= a OC,
b OB = a OD.
Disso, decorre que
OC
2
= b OD,
OB
2
= a OC,
e temos enm que
a
OB
=
OB
OC
=
OC
b
.
2
Teixeira (1995, p. 290) comenta que,
esta soluo muito engenhosa e tem grande interesse
histrico, porque o mais antigo exemplo de soluo
de um problema de geometria plana usando geometria
principal1
2009/8/19
page 113
Estilo OBMEP
SEC. 7.5: A SOLUO ACHADA POR MENCMO 113
espacial, e a curva usada a mais antiga curva reversa
conhecida.
Comentando a verso original, geomtrica, desta soluo, Van der
Waerden (p. 151) arma que rquitas deve ter tido uma inspirao
divina para achar esta construo.
7.5 A Soluo Achada por Mencmo
Mencmo viveu em torno de 350 a.C. Em seu Comentrio sobre
o primeiro livro de Euclides, Proclus, no Sumrio de Eudemo, arma
que Mencmo foi um aluno de Eudoxo e um membro dos lsofos e
matemticos em torno de Plato. Ele era irmo de Dinstrato o qual,
segundo Proclus, aperfeioou ainda mais a geometria.
Figura 7.8: Duplicao do cubo por Mencmo
principal1
2009/8/19
page 114
Estilo OBMEP
114 CAP. 7: A DUPLICAO DO CUBO
Se x e y so duas meias proporcionais entre a e b, temos que
a
x
=
x
y
=
y
b
.
Isso inteiramente equivalente s equaes simultneas,
y
2
= bx, xy = ab.
Assim, para resolver o problema, suciente achar a interseco das
parbolas e hiprboles denidas por estas equaes, respectivamente
(veja a Figura 7.8). As coordenadas deste ponto so as meias propor-
cionais que estamos procurando.
bvio que 7.5 tambm equivalente a
y
2
= bx, x
2
= ay. (7.44)
Desta maneira, o problema pode tambm ser resolvido usando
duas parbolas cujos vrtices coincidem e cujos eixos so ortogonais.
Estas duas solues so descritas por Eutcio em seu comentrio do
Tratado sobre a esfera e o cilindro, de Arquimedes.
Nem todas as solues deste problema consistiam em inserir duas
meias proporcionais entre duas grandezas dadas. Isso pode ser veri-
cado pela soluo devida a Diocles. claro que Mencmo no for-
mulou sua soluo usando a representao analtica das parbolas ou
hiprboles, mas seu raciocnio equivalente a isso.
7.6 O Mtodo de Diocles
A soluo de Diocles se baseia na cisside, uma curva denida
como segue.
Seja uma circunferncia que passa pela origem O do sistema de
principal1
2009/8/19
page 115
Estilo OBMEP
SEC. 7.6: O MTODO DE DIOCLES 115
coordenadas, tem seu centro sobre o eixo dos x e dimetro igual a
1. Sejam T = (1, 0) e r a reta vertical que passa por T. Seja P um
ponto qualquer sobre a circunferncia. A reta que passa por O e por
P intercepta r no ponto W. Tome o ponto M sobre OW tal que
OP = MW. A cisside o lugar geomtrico do ponto M quando P
percorre a circunferncia (veja a Figura 7.9, que no mostra toda a
cisside, mas somente a parte que nos interessa para a resoluo do
problema da duplicao do cubo).
Figura 7.9: Duplicao do cubo usando a cisside
A equao polar de uma circunferncia que passa pela origem, tem
raio R, e centro sobre o eixo dos x
2R
= cos .
principal1
2009/8/19
page 116
Estilo OBMEP
116 CAP. 7: A DUPLICAO DO CUBO
Como em nosso caso R =
1
2
, a equao 7.6 se reduz a = cos .
Por outro lado, OW =
1
cos
.
Como OM = OW OP, a equao polar da cisside
=
1
cos
cos =
sen
2
cos
.
Para achar a equao cartesiana da cisside temos que:
x = cos = sen
2
=
tg
2
1 + tg
2
=
y
2
x
2
x
2
+y
2
x
2
=
y
2
x
2
+y
2
,
ou seja,
x(x
2
+y
2
) y
2
= 0.
Seja U(0, 2) e considere o ponto de interseco, Z = (a, b), da reta
TU com a cisside. A equao cartesiana da reta TU y = 2(1 x),
de maneira que b = 2(1 a), e assim, como Z pertence cisside,
a(a
2
+b
2
) b
2
= 0 = a
3
+ab
2
b
2
= 0 =
a
3
= b
2
(1 a) =
b
3
2
= 2a
3
= b
3
.
imediato ento que
b
a
=
3
2
= k,
de maneira que
k =
2a
.
Assim,
y
= sen = =
y
sen
=
2a
sen
.
Temos ento que
AZ = lim
0
= lim
0
2a
.
Quando 0,
lim
0
sen
= 1,
e assim vemos que
AZ = =
2a
.
Aps obter um segmento de comprimento
2a
imediato construir
para fazer a quadratura do crculo. Com efeito, fcil dividir, usando
somente rgua e compasso,
2a
.
Um tratamento mais completo do problema da quadratura do cr-
culo pode ser encontrado em Heath (1981, vol. I, p. 220-235). Uma
boa exposio encontra-se em Teixeira (1995, p. 362-384). A histria
detalhada do nmero pode ser lida em Beckmann (1977).
principal1
2009/8/19
page 122
Estilo OBMEP
Captulo 9
A Trisseco do ngulo
Voltamo-nos agora para o terceiro dos problemas clssicos, ou seja,
a trisseco de um ngulo qualquer. Este problema pode ser resolvido
de vrias maneiras. Acredita-se que Hpias de Elis, que viveu no sculo
V a.C. foi um dos primeiros a tentar resolver este problema, utilizando
curvas e construes que no podem ser efetuadas somente com rgua
e compasso.
Faremos, em primeiro lugar, uma digresso sobre as construes
por ajustamento ou por neusis.
Em uma construo por neusis deve-se ajustar um segmento dado
entre duas curvas dadas, com a exigncia de que o segmento passe
por um ponto dado. Nas palavras de Heath (1953, p. c):
Assim, uma linha reta tem que colocada entre duas
linhas ou curvas de maneira que passe por um ponto dado
e o segmento determinado sobre ela pelas interseces com
as linhas ou curvas seja igual a um comprimento dado.
Mostremos um exemplo de uma construo por neusis.
122
principal1
2009/8/19
page 123
Estilo OBMEP
SEC. 9.1: A TRISSECO DO NGULO POR ARQUIMEDES 123
9.1 A Trisseco do ngulo por Arquimedes
A construo que mostraremos a seguir, que utiliza neusis, um
exemplo das vrias solues do problema da trisseco do ngulo
propostas por Arquimedes.
Figura 9.1: Trisseco do ngulo por Arquimedes
Suponha que desejamos trissectar o ngulo BOA. Tome uma reta
r que passa por B e, tendo o cuidado para que ela sempre passe por
B, movimente-a para que o segmento MN seja igual ao raio OM do
crculo. Isso exatamente o que se denomina uma construo por
neusis: Ajustamos um segmento (o raio OM) entre o crculo e a linha
reta que passa por C e por A.
Observe que os tringulos NMO e MOB so issceles, de
maneira que x = M
NO = M
ON. De maneira semelhante,
B
MO = O
BM.
No tringulo NOM, o teorema do ngulo externo permite escrever
que B
MO = M
BO = 2 M
NO. Aplicando o teorema do ngulo
principal1
2009/8/19
page 124
Estilo OBMEP
124 CAP. 9: A TRISSECO DO NGULO
externo ao tringulo BNO, vemos que
B
OA = B
NO +M
BO = 3 B
NO,
e vemos assim que com esta construo possvel dividir o ngulo
B
OB/3.
Figura 9.2: Trisseco do ngulo por Nicomedes
Com efeito, seja D o ponto mdio de PC. Ento o tringulo
APC est inscrito em um crculo de centro D e raio PD, e assim
PD = AD = DC = OA. Sejam = A
OD = A
DO e
= D
AC = A
i=0
a
i
0 (mod 10).
(i) Achar o dgito de vericao que deve se adicionar ao nmero
723443501297.
(ii) Provar que toda vez que apenas um nmero alterado na
digitao, este sistema capaz de detectar o erro.
(iii) Mostrar que este sistema no capaz de detectar qualquer
erro de transposio.
3) Ns armamos no texto que se apenas um erro de digitao for
cometido, alterando um dos dgitos a
i
para um outro valor b
i
,
ento o sistema UPC sempre ser capaz de detectar o erro. D
uma demonstrao cuidadosa deste fato.
principal1
2009/8/19
page 160
Estilo OBMEP
160 CAP. 10: CDIGOS DE BARRAS
4) (i) Mostrar que uma transposio adjacente; isto , um erro do
tipo
. . . a
i
a
i+1
. . . . . . a
i+1
a
i
. . .
detectada pelo sistema EAN-13 se, e somente se,
[a
i
a
i+1
[ , = 5. (Sugesto: note que [w
i
w
i+1
[ = 2).
(ii) Mostre que um erro de transposio no adjacente do tipo
. . . a
i
a
i+1
a
i+2
. . . . . . a
i+2
a
i+1
a
i
. . .
no pode ser detectado pelo sistema EAN-13.
(iii) Mostrar que um erro de transposio em que dois dgitos no
adjacentes a
i
e a
j
so trocados no pode ser detectado pelo
sistema se a diferena i j par.
(iv) Mostrar que, num erro como o descrito no item anterior, se a
diferena i j mpar, ento o erro pode ser detectado pelo
sistema EAN-13 se, e somente se, [a
i
a
j
[ ,= 5.
10.3 Outros Cdigos Numricos
Como observamos na seo anterior, existem diversos tipos de er-
ros que podem ser cometidos ao digitar um vetor de identicao.
Os erros num nico dgito e as transposies so, de longe, os mais
frequentes. Autores como D.F. Beckley [1] e J. Verhoe [16] in-
vestigaram sistematicamente os erros cometidos por operadores hu-
manos. No quadro abaixo damos as frequncias relativas obtidas por
Verhoe, que citamos abreviando quadro publicado por H.H. Schulz
[15] e tambm por G.B. Belyavskaya, V.I. Izbash e V.A. Shcherbacov
[2].
principal1
2009/8/19
page 161
Estilo OBMEP
SEC. 10.3: OUTROS CDIGOS NUMRICOS 161
Tipo de erro Frequncia relativa %
erro nico . . . a . . . . . . b . . . 79
transposio adjacente . . . ab . . . . . . ba. . . 10.2
transposio alterna . . . abc. . . . . . cba. . . 0.8
erro gmeo . . . aa. . . . . . bb. . . 0.6
erro gmeo alternado . . . aba. . . . . . cbc . . . 0.3
outros 9.1
Tabela 10.1: Tipos de erros e suas frequncias segundo Verhoe
Para descrever vrios dos mtodos existentes, vamos introduzir
um pouco de linguagem geral. Denotaremos por / o conjunto de
valores que podem assumir os dgitos utilizados na codicao. Por
exemplo, no caso do cdigo UPC da seo anterior, esse conjunto
/ = x Z [ 0 x m1.
O vetor com os dados
= (a
1
, . . . a
n1
) ser chamado de vetor
de informao e o vetor, j acrescido do dgito de vericao ser
chamado de nmero ou vetor de indenticao.
Denio 10.1. Sejam = (w
1
, . . . w
n
), com w
i
/, 1 i n
um vetor de pesos e c / um inteiro xado. Dados dois inteiros
positivos m e n e um conjunto de nmeros a
1
, . . . a
n1
tais que a
i
/,
1 i n 1, dene-se o nmero de vericao a
n
como o nico
elemento de / que verica a equao:
n
i=1
a
i
w
i
c (mod m).
Um sistema de codicao assim denido ser denotado por
( = (/, m, n, c, ).
Note que frequentemente / = 0, 1, . . . , m 1. Neste caso,
tomando classes mdulo m, temos que a
n
o nico elemento de /
principal1
2009/8/19
page 162
Estilo OBMEP
162 CAP. 10: CDIGOS DE BARRAS
que verica:
a
n
= w
1
n
_
c
n1
i=1
a
i
w
i
_
.
Exemplo 10.3.1.
Um sistema usado em alguns bancos (mas no todos) o seguinte:
o nmero de conta de um cliente composto de 9 dgitos, sendo que
o ltimo o dgito de vericao. Na nossa notao, o sistema pode
ser descrito como ( = (/, 10, 2, 0, ) onde / o conjunto dos dgitos
de 0 a 9 e = (7, 3, 9, 7, 3, 9, 7, 3, 9). Por exemplo, o nmero de uma
conta num certo banco 95-005541-9. Podemos vericar que
(9, 5, 0, 0, 5, 5, 4, 1, 9) (7, 3, 9, 7, 3, 9, 7, 3, 9) =
= 63 + 15 + 15 + 45 + 28 + 3 + 81
= 250 10 (mod 10).
Nosso prximo Teorema descreve a capacidade que tem um sis-
tema denido desta forma, para detectar os diversos tipos de erros
mais frequentes.
Teorema 10.2. (Capacidade de deteco) Sejam m um inteiro posi-
tivo e = (w
1
, . . . w
n
) um vetor de pesos. Suponhamos que um vetor
de identicao = (a
1
. . . , a
n
) (onde assumimos que 0 a
i
< m,
para todo ndice i, 1 i n) satisfaz a condio
= a
1
w
1
+ +a
n
w
n
c (mod m).
Ento:
1. Todo erro consistente numa nica alterao na posio i-sima
ser detectado se e somente se mdc(w
i
, m) = 1.
principal1
2009/8/19
page 163
Estilo OBMEP
SEC. 10.3: OUTROS CDIGOS NUMRICOS 163
2. Todo erro de transposio da forma
. . . a
i
. . . a
j
. . . . . . a
j
. . . a
i
. . .
ser detectado se e somente se mdc(w
i
w
j
, m) = 1.
Demonstrao. Suponhamos inicialmente que o dgito a
i
, na posio
i, foi trocado por um outro valor b
i
e vamos denotar por o vetor
resultante deste erro. claro que o erro no ser detectado se, e
somente se,
0 (mod m).
Mas = (a
i
b
i
)w
i
, de modo que o erro no ser
detectado se, e somente se, m [ (a
i
b
i
)w
i
0 (mod m) ou, se
denotamos por x a classe de um inteiro x em Z
m
, se, e somente se,
(a
i
b
i
)w
i
= 0 em Z
m
.
Se mdc(w
i
, m) = 1 tem-se que w
i
inversvel em Z
m
, donde a
condio acima implica que a
i
= b
i
, logo a
i
b
i
(mod m) e, como
ambos os nmeros so menores que m, isto s aconteceria se a
i
= b
i
.
Logo, o erro ser detectado.
Por outro lado, se mdc(w
i
, m) = d ,= 1, dado a
i
tem-se que
dentre os nmeros b
i
= a
i
+ m/d e b
i
= a
i
m/d, um deles
verica a condio 0 b
i
< m e o erro que substitui a
i
por esse
nmero no pode ser detectado. Isto completa a demonstrao de (i).
Suponhamos agora que foi cometido um erro do tipo
= . . . a
i
. . . a
j
. . .
= . . . a
j
. . . a
i
. . . .
principal1
2009/8/19
page 164
Estilo OBMEP
164 CAP. 10: CDIGOS DE BARRAS
Note que, neste caso podemos calcular a diferena
= (a
i
w
i
+a
j
w
j
) (a
j
w
i
a
i
w
j
) = (a
i
a
j
)(w
i
w
j
).
Assim, este erro no ser detectado se, e somente se,
(a
i
a
j
)(w
i
w
j
) 0 (mod m).
Daqui em diante, o argumento inteiramente anlogo ao anterior.
A luz deste teorema, resulta claro que a melhor forma de ter
certeza que o sistema de codicao ser capaz de detectar todos
os erros nicos e todos os erros de transposio (contigua ou no)
tomar, para o valor do mdulo m, um nmero primo. De fato, existem
vrios sistemas em uso que procedem desta forma.
Exemplo 10.3.2.
Um sistema universalmente adotado para a classicao de livros
o ISBN (International Standard Book Number). Ele trabalha
mdulo 11, mas para facilitar a notao, utiliza tambm como con-
junto de valores / os dgitos de 0 a 9 e os vetores de identicao
tem 10 componentes. Ele pode ser descrito, na nossa notao, por
(/, 11, 10, 0, ) com = (10, 9, 8, 7, 6, 5, 4, 3, 2, 1).
Por exemplo, o livro do autor [14] mencionado anteriormente tem
o nmero ISBN 1-4020-0238-6. O dgito nal, de vericao 6 porque
(1, 4, 0, 2, 0, 0, 2, 3, 8, 6) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) =
= 10 + 36 + 14 + 8 + 9 + 16 + 6
= 99 0 (mod 11).
principal1
2009/8/19
page 165
Estilo OBMEP
SEC. 10.3: OUTROS CDIGOS NUMRICOS 165
Este mtodo, porm, tem um pequeno inconveniente, que se com-
preender melhor analizando mais um exemplo. Um conhecido livro
de lgebra [13] tem como vetor de informao de seu cdigo ISBN o
nmero 0-387-96035. Vamos tentar determinar o dgito de vericao.
Ele ser um nmero a / tal que
(0, 3, 8, 7, 9, 6, 0, 3, 5, a) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) 0 (mod 11).
Efetuando as operaes necessrias, obtemos que
243 +a 0 (mod 11)
ou
a 243 (mod 11).
Como 243 1 (mod 11) e 1 10 (mod 11) temos que a = 10.
Porm, no conjunto dos dgitos de 0 a 9, no temos nenhum que
represente o nmero 10. Devemos introduzir ento mais um sm-
bolo para representar este nmero. A conveno usual utilizar o
smbolo X e assim, o cdigo ISBN que aparece neste livro ISBN
0-387-96035-X.
Finalmente observamos que, se tomamos o nmero m de modo
que seja primo e o conjunto / formado por inteiros menores do que
m como em todos os exemplos acima como cada componente w
i
do vetor de pesos prima com m, resulta que multiplicar por w
i
, em
mdulo m, equivale a denir uma permutao do conjunto / (isto ,
uma bijeo de / em si mesmo). Isto sugere um mtodo mais geral
de denir o vetor de pesos.
Dado um vetor de informao
= (a
1
, . . . , a
n1
) podemos es-
colher n permutaes
1
, . . .
n
do conjunto /, denir um vetor de
pesos por = (
1
, . . . ,
n
), xar um nmero c / e escolher o dgito
principal1
2009/8/19
page 166
Estilo OBMEP
166 CAP. 10: CDIGOS DE BARRAS
de vericao a
n
de modo que verique a equao:
() =
1
(a
1
) +
n
(a
n
) c (mod m).
Neste caso, o dgito de vericao ca denido por:
a
n
=
1
n
_
c
n1
i=1
i
(a
i
)
_
.
Este tipo de codicao tambm usada na prtica, como mostrado
a seguir.
Exemplo 10.3.3.
Um cdigo usado pela IBM utiliza como conjunto / os dgitos de
0 a 9; o valores m = 10, um valor qualquer c / e a permutao
=
_
0 1 2 3 4 5 6 7 8 9
0 2 4 6 8 1 3 5 7 9
_
.
No caso de um vetor de identicao com um nmero mpar de
componentes n, se utiliza o vetor de pesos
= (I, , I, , . . . , , I).
Assim, a equao de vericao resulta:
a
n
+(a
n1
) +a
n2
+(a
n3
) c (mod 10)
e o dgito de vericao dado pela frmula:
a
n
c ((a
n1
) a
n2
(a
n3
) ) (mod 10).
principal1
2009/8/19
page 167
Estilo OBMEP
SEC. 10.3: OUTROS CDIGOS NUMRICOS 167
No caso em que o nmero de componentes do vetor de identicao
par utiliza-se o vetor de pesos
= (, I, , I, . . . , , I),
e resulta uma equao de vericao anloga, com uma frmula simi-
lar para o clculo do dgito de vericao.
Este o sistema utilizado para determinar os nmeros nos cartes
de crdito. Por exemplo, um determinado carto tem o nmero 5745
5195 0431 5412. Vamos a aplicar a ele o sistema de vericao IBM:
5 7 4 5 5 1 9 5 0 4 3 1 5 4 1 2
I I I I I I I I
1 7 8 7 1 1 9 1 0 4 6 1 1 9 2 2
Agora, calculamos:
1+7+8+7+1+1+9+1+0+4+6+1+1+9+2+2 = 60 0 (mod 10)
Note que esta codicao permite detectar todo erro nico de digi-
tao e toda transposio adjacente exceto no caso em que a
i
e a
j
assumem os valores 0 e 9 ou 9 e 0 respectivamente (veja a atividade
3). Observe, porm, que este sistema no detecta transposies do
tipo
. . . a
i
. . . a
j
. . . . . . a
j
. . . a
i
. . .
quando a diferena i j par e tambm no permite detectar erros
gmeos.
O cdigo IBM generalizado utiliza a mesma permutao, com o
vetor de pesos:
= (
n1
,
n2
, . . . , ,
0
)
principal1
2009/8/19
page 168
Estilo OBMEP
168 CAP. 10: CDIGOS DE BARRAS
onde
0
= I. A equao ento:
n
i=1
i1
(a
n+1i
) c (mod 10)
e
a
n
c
n
i=2
i1
(a
n+1i
) (mod 10).
Este sistema detecta todo erro nico de digitao, toda trans-
posio, adjacente ou no, (exceto no caso j apontado, quando os
dgitos envolvidos so 0 e 9) e todo erro gmeo.
Vimos acima que o cdigo ISBN detecta todo erro nico de digi-
tao e todo erro de transposio. natural se perguntar, ento, se
existe um cdigo com essa capacidade de deteco, trabalhando na
base 10. Infelizmente, a resposta negativa, como mostra o seguinte
teorema.
Teorema 10.3. (Gumm [10]) Se um sistema numrico de deteco
de erros, com um mdulo par, detecta todo erro nico de digitao,
ento, para todo par de ndices i, j existe um erro de transposio
entre as posies i e j que no detectada pelo sistema.
Demonstrao. Como vamos trabalhar com os nmeros de 0 a 2m1
e tomar congruncias em mdulo 2m, vamos considerar nossos dgi-
tos como elementos de Z
2m
, para simplicar nossos argumentos. Su-
ponhamos que o sistema transforma o vetor (a
1
, . . . , a
n
) num outro
vetor, que denotaremos por (
1
(a
1
), . . . ,
n
(a
n
)). Claramente, se o
sistema capaz de detectar todo erro nico de digitao, ento a
aplicao na posio i-sima x
i
(x) deve ser uma permutao de
Z
2m
.
Para que o sistema detecte todo erro de transposio entre as
posies i e j necessrio que
i
(a) +
j
(b) ,=
j
(a) +
i
(b), todo par
principal1
2009/8/19
page 169
Estilo OBMEP
SEC. 10.3: OUTROS CDIGOS NUMRICOS 169
de elementos diferentes a, b Z
2m
. Isto equivalente a dizer que a
aplicao =
i
j
uma permutao Z
2m
.
Mas m [0, 2m1] e temos que
0+1+2+ +2m1 =
(2m1) 2m
2
= 2mmm m (mod 2m),
ou seja,
0 + 1 + + 2m1 = m em Z
2m
.
Logo:
m =
xZ
2m
x =
xZ
2m
(x)
=
xZ
2m
(
i
(x)
j
(x)) =
xZ
2m
i
(x)
xZ
2m
j
(x)
= mm = 0, em Z
2m
.
uma contradio.
Atividades
1) Calcular o dgito de vericao para um livro cujo nmero ISBN
tem, como vetor de informao o nmero 85-314-0458.
2) Use o sistema do exemplo 10.3.1 para determinar o dgito de veri-
cao do nmero 13-010765.
3) Demonstre que o cdigo IBM e o cdigo IBM generalizado
tem a capacidade de deteco de erros mencionada no texto.
(Sugesto: Para discutir erros de transposio adjacente, note
que (x) = 2x, se x [0, 4] e que d(x) = 2x 9 se x [5, 9]. Con-
sidere separadamente trs casos: (i) a, b [0, 4], (ii) a, b [5, 9] e
principal1
2009/8/19
page 170
Estilo OBMEP
170 CAP. 10: CDIGOS DE BARRAS
(iii) a [0, 4], b [5, 9] ou vice-versa. Mostre que nos casos (i) e
(ii) o erro sempre detectado e que, no caso (iii) o erro s no
detectado se a = 0 e b = 9 ou a = 9 e b = 0.
4) Mostre que no cdigo UPC podem ocorrer 90 erros de transposio
adjacente e que o cdigo capaz de detectar todos eles, exceto
quando os pares de nmeros adjacentes so 05, 16, 27, 38, 49 ou
aqueles que se obtm invertindo estes.
principal1
2009/8/19
page 171
Estilo OBMEP
Captulo 11
Cdigos Sobre Grupos
11.1 O Grupo Dihedral
Na seo anterior apresentamos diversos mtodos de detectar erros
usando um dgito de vericao. Dentre estes, s o sistema ISBN para
livros era capaz de detectar todo erro nico de digitao e todo erro
de transposio. Ele tinha, porm, o inconveniente de precisar da
introduo de um dgito extra, para representar o nmero 10, que
denotamos por X.
Em 1969 Verhoe, na sua tese de doutoramento [16], desenvolveu
um mtodo simples, baseado no em clculos com nmeros inteiros,
mas com os elementos de um certo grupo, que tambm detecta erros
nicos de digitao e todos os erros de transposo adjacentes, sem
necessidade de smbolos extras. A exposio elementar deste mtodo
que damos a seguir aparece em [6] e num texto bsico de lgebra, do
mesmo autor [5, Captulo V].
Consideremos o grupo dihedral D
5
, que pode ser denido como
o grupo das isometrias do plano que deixam xo um pentgono regular
dado. Este grupo contm dez elementos. Cinco deles so rotaes: a
171
principal1
2009/8/19
page 172
Estilo OBMEP
172 CAP. 11: CDIGOS SOBRE GRUPOS
identidade R
0
, a rotao R
1
de ngulo 2/5 em sentido anti-horrio,
e as rotaes R
2
, R
3
e R
4
de ngulos 2(2/5), 3(2/5) e 4(2/5)
respectivamente. Contm ainda cinco reexes, em relao aos seus
eixos de simetria, que passam por cada um dos vrtices e o ponto
mdio do lado oposto: S
6
, S
7
, S
8
, S
9
e S
10
.
Figura 11.1: Simetrias do pentgono
Vamos usar simplesmente os subndices 0, 1, 2, 3, 4 para designar as
rotaes correspondentes e os subndices 5, 6, 7, 8, 9 para as respectivas
reexes.
Assim, por exemplo, a composio das rotaes R
3
e R
4
seria a
rotao de ngulo 3(2/5) + 4(2/5) = 7(2/5) = 2(2/5); isto , a
rotao R
2
. Em vez de escrever ento que R
3
R
4
= R
2
escreveremos
simplesmente que 3 4 = 2.
Da mesma forma, como a composio S
6
S
5
= R
1
(lembre que,
como se trata de composio de funes, aplicamos primeiro S
1
e
depois S
2
) escrevemos 6 5 = 1. Por outro lado, fcil vericar que
S
5
S
6
= R
0
donde escrevemos 6 5 = 0.
principal1
2009/8/19
page 173
Estilo OBMEP
SEC. 11.1: O GRUPO DIHEDRAL 173
Procedendo desta forma, obtemos a seguinte tabela de multipli-
cao para D
5
.
0 1 2 3 4 5 6 7 8 9
0 0 1 2 3 4 5 6 7 8 9
1 1 2 3 4 0 6 7 8 9 5
2 2 3 4 0 1 7 8 9 5 6
3 3 4 0 1 2 8 9 5 6 7
4 4 0 1 2 3 9 5 6 7 8
5 5 9 8 7 6 0 4 3 2 1
6 6 5 9 8 7 1 0 4 3 2
7 7 6 5 9 8 2 1 0 4 3
8 8 7 6 5 9 3 2 1 0 4
9 9 8 7 6 5 4 3 2 1 0
Tabela 11.1: A tabela de multiplicao do grupo D
5
Consideremos a permutao:
=
_
0 1 2 3 4 5 6 7 8 9
1 5 7 6 2 8 3 0 9 4
_
.
A ideia de Verhoe consiste em transformar um vetor de informao
(a
1
, . . . , a
n1
) num vetor de codicao, adicionando um dgito de
vericao a
n
de forma tal que
(a
1
)
2
(a
2
)
n1
(a
n1
) a
n
= 0 em D
5
.
Note que uma permutao de D
5
. Ela foi escolhida para desen-
volver este sistema porque pode-se vericar diretamente que
a (b) ,= b (a) para todo a, b D
5
. (11.1)
Logo abaixo veremos a importncia deste fato.
principal1
2009/8/19
page 174
Estilo OBMEP
174 CAP. 11: CDIGOS SOBRE GRUPOS
Como
i
tambm uma permutao de D
5
, para todo inteiro
positivo i, resulta claro que este sistema de codicao detecta todo
erro nico de digitao.
Note que um erro de transposio adjacente
. . . a
i
a
i+1
. . . . . . a
i+1
a
i
. . . ser detectado se, e somente se,
i
(a
i
)
i+1
(a
i+1
) ,=
i
(a
i+1
s
i+1
(a
i
). Mas, vimos na equao 11.1
que a (b) ,= b (a) para todo a, b D
5
o que implica, aplicando a
permutao
i
a ambos os membros desta equao, que
i
(a)
i+1
(b) ,=
i
(b)
i+1
(a) para todo a, b D
5
como queramos demonstrar.
Uma variante do mtodo de Verhoe
1
foi usada pelo rgo
emissor de dinheiro da Alemanha, o Deutsche Bundesbank. As
notas de dinheiro so numeradas num cdigo alfanumrico; isto
, se utilizam tanto de letras quanto de nmeros. Na Figura 11.2
reproduzimos uma nota de 10 marcos (que j est fora de circulao
desde o advento da moeda unicada da Europa, o Euro).
Figura 11.2:
1
Citado por Gallian [7].
principal1
2009/8/19
page 175
Estilo OBMEP
SEC. 11.1: O GRUPO DIHEDRAL 175
O cdigo utilizado pelo banco segue uma variante do mtodo an-
terior. Eles numeram as notas usando os dgitos de 0 a 9 e tambm
dez letras: A, D, G, K, L, N, U, V e Z. Tambm se utiliza da tabela
da operao do grupo D
5
, mas ao invs de usar uma permutao e
suas potncias, utiliza dez permutaes diferentes. Para determin-
las damos, na tabela abaixo, em cada la i os valores da funo
i
.
Em outras palavras, na posio i, j est o valor de
i
(j).
0 1 2 3 4 5 6 7 8 9
1
1 5 7 6 2 8 3 0 9 4
2
5 8 0 3 7 9 6 1 4 2
3
8 9 1 6 0 4 3 5 2 7
4
9 4 5 3 1 2 6 8 7 0
5
4 2 8 6 5 7 3 9 0 1
6
2 7 9 3 8 0 6 4 1 5
7
7 0 4 6 9 1 3 2 5 8
8
0 1 2 3 4 5 6 7 8 9
9
1 5 7 6 2 8 3 0 9 4
10
5 8 0 3 7 9 6 1 4 2
Isto signica, por exemplo, que a permutao
5
:
5
=
_
0 1 2 3 4 5 6 7 8 9
4 2 8 6 5 7 3 9 0 1
_
.
O nmero de srie da nota da Figura 11.2 DU7124458G6. Vamos
vericar que esta uma numerao vlida. Para poder usar o mtodo
de Verhoe devemos trabalhar apenas com os dgitos de 0 a 9; por
causa disso, a cada letra das usadas pelo Deutch Bundesbank deve-se
lhe assignar um valor numrico. Isto feito de acordo com a seguinte
tabela.
A D G K L N S U Y Z
0 1 2 3 4 5 6 7 8 9
principal1
2009/8/19
page 176
Estilo OBMEP
176 CAP. 11: CDIGOS SOBRE GRUPOS
Usando esta tabela, o nmero da nota em questo se transforma
em 17712445826. Aplicamos ento ordenadamente as permutaes
dadas:
1 7 7 1 2 4 4 5 8 2 6
1
2
3
4
5
6
7
8
9
10
5 1 5 4 8 8 9 5 9 0 6
Agora precisamos multiplicar estes nmeros, com ajuda da
tabela 11.1. Temos:
5 1 = 9, 9 5 = 4, 4 4 = 3,
3 8 = 6, 6 8 = 3, 3 9 = 7,
7 5 = 2, 2 9 = 6, 6 0 = 6,
e nalmente
6 6 = 0.
Este mtodo, porm, tem um inconveniente. Nos clculos, ele no
distingue entre uma letra e o nmero que lhe assignado. Assim por
exemplo, se a letra K for trocada pelo nmero 3, o sistema ser incapaz
de detectar o erro. O mesmo acontece se ocorre uma transposio de
3 e K, ou vice-versa. Para evitar este problema, poder-se-ia usar
o grupo D
18
, que tem 36 elementos (e portanto os vinte smbolos
usado no cdigo alfanumrico das notas corresponderiam a elementos
diferentes em D
5
), com uma permutao adequada. Sugestes nesse
sentido apareceram, por exemplo, em trabalhos de Winters, em 1990
[17] e de Gallian e Mullin, em 1995 [8].
Note que a equao 11.1 foi essencial para podermos mostrar que o
mtodo de Verhoe permite detectar erros de transposio adjacentes.
Isto justica a seguinte denio.
principal1
2009/8/19
page 177
Estilo OBMEP
SEC. 11.1: O GRUPO DIHEDRAL 177
Denio 11.1. Uma permutao de um grupo G diz-se uma apli-
cao antissimtrica se verica a seguinte condio:
x(y) ,= y(x), para todo par de elementos x, y G.
O grupo D
5
desempenha um papel importante na elaborao de
cdigos detectores de erros porque pode-se mostrar que ele o nico
grupo de ordem 10 que possui uma aplicao antissimtrica.
Como as transposies adjacentes se encontram entre os erros mais
comuns e como cdigos que detectam estes erros podem-se elaborar a
partir de grupos com aplicaes antissimtricas, houve vrios traba-
lhos que dedicaram especial ateno a este tipo de grupos.
No caso dos grupos abelianos, h um tipo de permutao que
tambm importante.
Denio 11.2. Uma permutao de um grupo G diz-se uma apli-
cao completa se a funo x x(x), para todo x G, uma
permutao de G.
Pode-se demonstrar que se G um grupo abeliano, ento G possui
uma aplicao antissimtrica se, e somente se, G possui uma aplicao
completa.
Um grupo abeliano de ordem 2m, com m mpar no possui apli-
caes completas [3]. Como consequncia imediata, temos que Um
grupo abeliano de ordem 2m, com m mpar no possui aplicaes an-
tissimtricas.
Outros resultados relativos a este tipo de aplicaes so os
seguintes:
Um grupo cclico admite uma aplicao antissimtrica se, e so-
mente se, de ordem mpar [15].
principal1
2009/8/19
page 178
Estilo OBMEP
178 CAP. 11: CDIGOS SOBRE GRUPOS
Todo grupo solvel no abeliano admite uma aplicao antis-
simtrica [11].
Todo grupo simples, exceto Z
2
, admite uma aplicao antis-
simtrica [8].
Foi anunciado por Heiss que todo grupo nito no abeliano tam-
bm admite uma aplicao antissimtrica [12].
Para os grupos dihedrais, diversas classes de aplicaes antis-
simtricas foram achadas em [4] e [9]. Como vimos, isto implica que
estes grupos podem ser usados para construir cdigos que detectam
erros nicos de digitao ou transposies adjacentes. Porm, eles
no podem detectar outros erros frequentes, como mostra o seguinte
teorema, devido a Damm [3, Teorema 5].
Teorema 11.3. Seja m > 2 um inteiro mpar. No existe um sis-
tema de dgito de controle sobre D
m
que seja capaz de detectar todas
as transposies alternadas, todas os erros gmeos ou todos os erros
gmeos alternados.
Atividades
1) Determine todos os subgrupos cclicos de D
5
.
2) Ache o centro Z(D
5
) de D
5
e determine o quociente D
5
/Z(D
5
).
3) Determine a decomposio em produto de ciclos disjuntos e a pari-
dade da permutao do mtodo de Verhoe.
4) Determine o valor de x para que o nmero 3572498x seja um
nmero vlido no mtodo de Verhoe.
principal1
2009/8/19
page 179
Estilo OBMEP
SEC. 11.1: O GRUPO DIHEDRAL 179
5) Mostre que tomando a permutao = (1 4)(2 3)(5 8 6 9 7) no
mtodo de Verhoe, tambm possvel detectar todo erro nico
de digitao e toda transposio adjacente.
6) Determine o valor do dgito x para que o nmero AD377345654Kx
seja um nmero vlido para uma nota emitida pelo Deustche Bank.
7) Idem, para o nmero NZ357x29477L2.
8) (Gallian [5]) Seja = (1 2 4 8 7 5)(3 6). A cada nmero da
forma a
1
a
2
. . . a
n
(com n mpar) atribumos o dgito de controle
((a
1
) +a
2
+(a
3
) +a
4
+ +(a
n
)) (mod 10). Calcule o valor
do dgito de controle para o nmero 3125600196431. Prove que
este mtodo detecta todo erro nico de digitao. Determine
quais transposies adjacentes no podem ser detectadas por este
mtodo.
principal1
2009/8/19
page 180
Estilo OBMEP
principal1
2009/8/19
page 181
Estilo OBMEP
Referncias Bibliogrcas
[1] BECKLEY, D.F. An optimum system with modulo 11. The
Computer Bulletim, n. 11, p. 213-215, 1967.
[2] BELYAVSKAYA, G.B.; IZBASH V.I.; MULLEN, G.L. Check
character systems over quasegroups and loops. Quasigroups and
related systems, n. 10, p. 1-28, 2003.
[3] DAMN, M. Check digit over groups and anti-symmetric
mappings. Archiv der Math., n. 75, p. 413-421, 2000.
[4] ECKER, A.; POCH, G. Check character systems. Computing,
n. 37, p. 277-301, 1986.
[5] GALLIAN, J.A. Contemporary Abstract Algebra, D.C. Heath and
Co., Lexington, 1990.
[6] GALLIAN, J.A. The Mathematics of Identication Numbers,
The College Math. J., v. 22, n. 3, p. 194-202, 1991.
[7] GALLIAN, J.A. Error detecting methods, ACM Computing
Surveys, v. 28, n. 3, p. 504-517, 1996.
[8] GALLIAN, J.A.; MULLIN, M. Groups with antisymmetric
mappings, Archiv der Math., n. 65, p. 273-280, 1995.
[9] GUMM, H.P. A new class of check-digit methods for arbitrary
number systems, IEEE Trans, Inf. Th., n. 31, p. 102-105, 1985.
181
principal1
2009/8/19
page 182
Estilo OBMEP
182 REFERNCIAS BIBLIOGRFICAS
[10] GUMM, H.P. Encoding of numbers to detect typing errors, In-
ter. J. Applied Eng. Ed., n. 2, p. 61-65, 1986.
[11] HEISS, S. Anti-symmetric mappings for nite solvable groups,
Archiv der Math., n. 69, p. 445-454, 1997.
[12] HEISS, S. Anti-symmetric mappings for nite groups, preprint,
1999.
[13] LIDL, R.; PILZ, G. Applied Abstract Algebra. Undergraduate
Texts in Math. New York: , Springer Verlag, 1984.
[14] POLCINO MILIES, C.; SEHGAL, S.K. An introduction to
Group Rings, Kluwer Acad. Publ., Dordrecht, 2002.
[15] SCHULZ, R.H. On check digit systems using anti-symmetric
mappings. In Numbers, Information and Complexity, p. 295-310,
Dordrecht: Kluwer Acad. Publ., 2000.
[16] VERHOEFF, J. Error detecting decimal codes. Math. Centre
Tracts. Amsterdam: Mathematische Centrum, 1969.
[17] WINTERS, S. Error detecting codes using dihedral groups.
UMAP J., n. 11, p. 299-308, 1990.
H tambm muitas pginas na internet com informaes sobre o
assunto. Veja, por exemplo:
http://en.wikipedia.org./wiki/ENIAC
http://en.wikipedia.org/wiki/Harvard_Mark-I
principal1
2009/8/19
page 183
Estilo OBMEP
REFERNCIAS BIBLIOGRFICAS 183
http://en.wikipedia.org/wiki/Ada_Lovelace
http://www-etsi2.ugr.es/alumnos/mili/Harvard20I.htm
http://www.bellsouthpwp.net/l/a/laurergj/upc_work.html
http://www.barcodeisland.com/ean13.phtml
http://www.adams1.com/pub/russadam/barcode1.html