Você está na página 1de 150

Prefcio

Talvez no exista outra rea da matemtica


que ocupe uma posio to central como a
trigonometria.
J. F. Herbert (1890)


Este no um livro-texto de trigonometria existem muitos deles nem
tampouco um texto mais abrangente sobre a histria da trigonometria, coisa que no se
encontra muito no mercado. uma tentativa de apresentar tpicos selecionados de
trigonometria sob um ponto de vista histrico e mostrar sua relevncia para outras
cincias. Isto intensificou meu caso de amor com o assunto, mas tambm minha
frustrao com o modo como era ensinado em nossas escolas.
Primeiramente, o caso de amor. No primeiro ano do Ensino Mdio tivemos a sorte
de ter um excelente professor, jovem e vigoroso, que nos ensinava matemtica e fsica.
Ele era um professor muito rgido, mas tambm era muito solicitado. Ele no toleraria um
atraso seu a uma de suas aulas, ou a falta a uma prova e era melhor voc no faz-lo,
pois veria o reflexo disso em seu boletim. Pior seria se voc no fizesse seu dever de casa
ou fosse mal em uma prova. Tnhamos medo dele, tremamos quando ramos
repreendidos, e ficvamos apavorados se ele falasse com nossos pais. Mas tambm o
respeitvamos e ele se tornou um modelo de vida para muitos de ns. Sobretudo, ele nos
mostrou a relevncia da matemtica para o mundo real especialmente na fsica. E isso
significou aprender um bocado de trigonometria.
O professor e eu mantivemos uma ativa troca de correspondncias por muitos
anos, e chegamos a nos encontrar vrias vezes. Ele era muito firme em suas opinies, e
no importaria o que voc dissesse sobre qualquer assunto matemtico ou no ele
poderia iniciar um debate, normalmente fazendo a opinio dele prevalecer. Anos aps eu
terminar a universidade, ele me fez entender que ele ainda era meu professor. Nascido na
China, de uma famlia que havia fugido da Europa antes da Segunda Guerra Mundial, ele
emigrou para Israel e iniciou seus estudos na Universidade Hebraica de Jerusalm, apenas
para servir o Exrcito durante a guerra de independncia de Israel. Mais tarde ele passou a
lecionar na Universidade de Tel Aviv e, apesar de no ter um Ph.D., recebeu distino
honrosa um dos dois nicos membros da faculdade a ter essa honra. Em 1989, enquanto
ministrava sua aula semanal de histria da matemtica, teve um mal sbito e morreu
instantaneamente. Seu nome era Nathan Elioseph. Lembro dele com muito carinho.


iv PREFCIO
E agora a frustrao. No final da dcada de 1950, na esteira do sucesso sovitico
no espao (a nave Sputnik I foi lanada em 4 de outubro de 1957; eu me lembro da data
era o meu vigsimo aniversrio) houve uma convocao para remodelar todo nosso
sistema educacional, especialmente na rea de cincias. Novas idias e novos programas
proliferaram repentinamente, todos no intuito de preencher a perceptvel lacuna
tecnolgica que havia entre ns e os soviticos (alguns ousaram questionar se essa lacuna
realmente existia, mas suas vozes foram sufocadas durante o frenesi generalizado).
Aqueles foram os anos dourados da educao cientfica americana. Se voc tinha alguma
nova idia sobre como ensinar algum assunto e normalmente voc no precisava provar
muita coisa voc j teria praticamente garantido algum incentivo para trabalhar naquilo.
Nasceu ento a Matemtica Nova uma tentativa de fazer os alunos entenderem o que
estavam fazendo, em vez da decoreba e memorizao excessiva, como estava sendo
feito h geraes. Uma quantidade enorme de tempo e dinheiro foi despendida no
desenvolvimento de novos meios para se ensinar matemtica, com nfase em conceitos
abstratos como teoria de conjuntos, funes (definidas como conjuntos de pares
ordenados), e lgica formal. Seminrios, oficinas, novos currculos e novos textos foram
organizados s pressas, com centenas de educadores disseminando as novas idias para
milhares de professores e pais desorientados. Outros viajaram para o exterior para
difundir a nova doutrina em pases em desenvolvimento, cuja populao mal sabia ler e
escrever.
Hoje, aps quatro dcadas, muitos educadores concordam que a Matemtica Nova
trouxe mais prejuzos que benefcios. Nossos estudantes podem ter aprendido a
linguagem e os smbolos da teoria dos conjuntos, mas tropeam frente aos mais simples
clculos com ou sem calculadora. Conseqentemente, muitos estudantes do Ensino
Mdio carecem de conhecimentos bsicos em lgebra e, sem nenhuma surpresa, cerca de
50% deles so reprovados nos cursos de clculo nos primeiros semestres do ensino
superior. Colgios e universidades esto gastando muitos recursos em programas de
acelerao (mais fceis de engolir quando so denominados com eufemismos como
programa de desenvolvimento ou laboratrio de matemtica), cujas taxas de sucesso
so, no mximo, moderadas.
Dois dos acidentes da Matemtica Nova ocorreram com a geometria e a
trigonometria. Assunto de importncia crucial para cincia e engenharia, a trigonometria
foi vtima do chamado para mudanas. Definies formais e um sem-nmero de palavras
com sentido formal tudo em nome do rigor matemtico substituram um real
entendimento do assunto. Em vez de ngulo, fala-se hoje em medida de ngulo; em vez
de definir seno e cosseno em um contexto geomtrico como as razes entre os lados de
um tringulo ou as projees do crculo unitrio sobre os eixos x e y fala-se hoje sobre a
funo circular com domnio no conjunto dos nmeros reais e imagem em [-1,1].
Notaes e linguagem sobre conjuntos perderam toda a discusso sobre o assunto, que de
relativamente simples, tornou-se obscuro e de formalismos sem sentido.

PREFCIO v
Traduo livre: rossiunb@gmail.com
Ainda pior, devido ao fato de os estudantes terem falhas em seus conhecimentos
bsicos de lgebra, o nvel e a profundidade dos livros-texto de trigonometria vm caindo
consideravelmente. Exerccios e exemplos so normalmente dos mais simples, no
exigindo mais que a simples memorizao de umas poucas frmulas bsicas. Assim como
os famosos word problems
1
de lgebra, muitos desses exerccios so enfadonhos e sem
inspirao, deixando os alunos com aquela sensao de ta, e da? Raramente dada aos
alunos a oportunidade de encarar um problema realmente desafiador, daqueles deixam os
alunos realizados. Por exemplo,
1. Prove que, para qualquer nmero x,
...
8
cos
4
cos
2
cos =
x x x
x
x sen

Esta frmula foi descoberta por Euler. Substituindo x = /2, utilizando o fato de que
cos /4 = 2 / 2 e aplicando repetidamente a frmula do cosseno do arco-metade,
chegamos bela frmula
...
2
2 2 2
2
2 2
2
2 2

+ +

+
=


Descoberta em 1593 por Franois Vite de um modo puramente geomtrico.

2. Prove que em qualquer tringulo,

2
cos
2
cos
2
cos 4

= + + sen sen sen ,
sen sen sen sen sen sen 4 2 2 2 = + + ,

2
3
cos
2
3
cos
2
3
cos 4 3 3 3

= + + sen sen sen ,
tan tan tan tan tan tan = + + .
(A ltima frmula leva a algumas conseqncias inesperadas, que sero discutidas no
captulo 12). Estas frmulas so notveis por sua simetria; alguns chamam estas frmulas
de belas uma palavra bem gentil para designar algo que injustamente ganhou a
reputao de ser chato e tcnico. No Apndice 3, eu juntei mais algumas belas frmulas,
reconhecendo, claro, que belo um conceito bastante subjetivo.
Alguns alunos, disse Edna Kramer em The Nature and Growth of Modern
Mathematics (A natureza e o crescimento da matemtica moderna), consideram a
trigonometria uma geometria glorificada com a imposio de uma tortura
computacional. Este livro uma tentativa de mudar essa viso. Adotei uma abordagem
vi PREFCIO
histrica, em parte porque acredito existe um longo caminho a percorrer para reavivar nos
estudantes o gosto pela matemtica e cincias em geral. Entretanto, evitei uma
apresentao estritamente cronolgica dos tpicos, tendo-os selecionado pelo seu aspecto
esttico ou por sua relevncia para outras cincias. Naturalmente essas escolhas revelam
minhas prprias preferncias; vrios outros tpicos poderiam ter sido selecionados.
Os primeiros nove captulos requerem apenas conhecimentos bsicos de lgebra e
trigonometria; os captulos restantes exigem algum conhecimento de clculo (no mais
que Clculo 2). Muito desse material deve ser acessvel aos estudantes secundaristas e
universitrios. Tendo esse pblico-alvo em mente, limitei os tpicos trigonometria
plana, evitando inteiramente a trigonometria esfrica (embora historicamente esta ltima
tenha sido objeto de estudos primeiro). Algum material histrico adicional biografias,
principalmente foi includo em oito adendos que podem ser lidos de forma
independente dos captulos principais. Se apenas uns poucos leitores se inspirarem neste
trabalho, eu me considerarei recompensado.
Meus sinceros agradecimentos ao meu filho Eyal por preparar as ilustraes; a
William Dunham, do Colgio Muhlenberg em Allentown, Pennsylvania, e Paul J. Nahin,
da Universidade de New Hampshire, pela leitura completa dos manuscritos; aos
funcionrios da Editora Universidade de Princeton, pelo preparo meticuloso do livro para
impresso; Biblioteca Pblica de Skokie, cujos funcionrios me ajudaram enormemente
a encontrar fontes bibliogrficas raras e fora de catlogo; e por ltimo, mas no menos
importante, a minha querida esposa Dlia, por me encorajar constantemente a terminar o
trabalho. Sem sua ajuda, este livro jamais teria visto a luz do dia.

Skokie, Illinois
20 de fevereiro de 1997

Nota: neste livro so feitas referncias freqentes ao Dictionary of Scientific Biography (Dicionrio
Cientfico de Biografias. 16 vols.; Charles Coulston Gillispie, ed.; New York: Charles Scribners Sons,
1970-80). Para evitar repeties, ser usada a abreviatura DSB para referenciar a obra supracitada.
1
Word problems so aqueles problemas em que h um enunciado que mostra uma situao em que h
um problema a resolver. Remetem aos nossos problemas que envolvem contextualizao. (N.T.)
PRLOGO
Ahmes, o Escriba 1650 a.C.

Soldados! Do alto destas pirmides, quarenta
sculos vos contemplam!
Napoleo Bonaparte no Egito, 21 de julho de 1798


Em 1858, um advogado e antiqurio escocs, A. Henry Rhind (1833-1863), em
uma de suas viagens ao vale do Nilo, adquiriu um documento que havia sido encontrado
alguns anos antes, nas runas de uma pequena construo em Tebas (prxima da atual
cidade de Luxor) no Alto Egito
1
. O documento, conhecido desde ento como papiro
Rhind, mostrou-se uma coletnea de 84 problemas matemticos tratando de aritmtica,
lgebra bsica e geometria
2
. Aps a morte prematura de Rhind aos trinta anos, o papiro
passou a ser propriedade do Museu Britnico, onde est em exposio permanente.
Quando encontrado, o papiro media 5,5 metros de comprimento por 32 centmetros de
largura, mas quando o Museu Britnico o adquiriu, alguns fragmentos haviam se perdido.
Em um extraordinrio golpe de sorte, os fragmentos foram encontrados em posse da
Sociedade de Histria de Nova Iorque, e desde ento o texto completo est disponvel
novamente.
O Egito Antigo, com seus lendrios tesouros e relquias, sempre cativou o
imaginrio dos viajantes europeus. A campanha militar de Napoleo no Egito em 1799,
apesar de sua derrota, abriu o pas para um exrcito de estudiosos, colecionadores e
aventureiros. Napoleo nutria profundo interesse por cultura e cincia e incluiu entre seus
colaboradores, um bom nmero de estudiosos em vrias reas, entre eles o matemtico
Joseph Fourier (sobre quem falaremos mais tarde). Esses estudiosos vasculharam o pas
procura de tesouros antigos, levando consigo de volta Europa tudo o que puderam
carregar nas mos. O achado mais famoso foi um grande bloco de basalto desenterrado
perto da cidade de Rashid conhecida na Europa como Roseta na extremidade
ocidental do delta do Nilo.
A pedra de Roseta, que assim como o papiro Rhind, encontra-se no Museu
Britnico, traz um decreto baixado por um conselho de sacerdotes egpcios, durante o
reinado de Ptolomeu V (195 a.C.), e est escrito em trs idiomas: grego, demtico e
hieroglfico (escrita pictrica, em figuras). O fsico ingls Thomas Young (1773-1829),
um homem com interesses diversificados, mais conhecido por sua teoria ondulatria da
luz, foi o primeiro a decifrar as inscries na pedra. Comparando a recorrncia de grupos
similares de sinais nos trs idiomas, ele foi capaz de compilar um dicionrio primitivo de
palavras egpcias. Seu trabalho foi completado em 1822 pelo famoso egiptlogo francs
Jean Franois Champollion (1790-1832), que identificou o nome de Clepatra nas
2 PRLOGO
inscries. O trabalho mpar de Champollion capacitou estudiosos para decifrar
numerosos textos egpcios, escritos em papiro, madeira e pedra, inclusive papiros
matemticos. O maior e mais completo dos textos matemticos egpcios o papiro Rhind.
August Eisenlohr, um estudioso alemo, foi o primeiro a traduzir o papiro Rhind
para uma linguagem moderna (Leipzig, 1877); uma verso em ingls, de Thomas Eric
Peet, surgiu em 1923 em Londres
3
. Mas a mais completa edio deste trabalho foi
completada em 1929 por Arnold Buffum Chase (1845-1932), um americano de negcios,
cuja viagem ao Egito em 1910 acabou por transform-lo em egiptlogo. por meio dessa
edio que o papiro Rhind tornou-se acessvel ao pblico em geral.
4

O papiro foi escrito da direita para a esquerda em escrita hiertica (cursiva), em
contraste com a escrita hieroglfica ou pictrica, mais antiga. O texto est em duas cores
preto e vermelho e acompanhado por ilustraes de figuras geomtricas. Ele foi
escrito por um escriba chamado Ah-mose, chamado normalmente pelos escritores
modernos de Ahmes. Mas no um trabalho original de Ahmes. Ele o copiou de
manuscritos mais antigos, o que sabemos pela prpria introduo do trabalho:
Este livro foi copiado no ano 33, no quarto ms da estao das cheias, sob Sua
Majestade o Rei do Alto e Baixo Egito, A-user-Re, semelhana de outro feito nos
tempos do Rei do Alto e Baixo Egito, Ne-maet-Re. O escriba Ah-mose quem copia
esse texto.
5

O primeiro rei mencionado, A-user-Re, foi identificado como sendo um membro
da dinastia Hyksos que viveu por volta de 1650 a.C.; o segundo rei, Ne-maet-Re, era
Amenem-het III, que reinou entre 1849 e 1801 a.C. durante o perodo que conhecido
como Reino Mdio. Podemos ento determinar as datas do original e de sua cpia com
notvel preciso: ele foi escrito aproximadamente h quatro mil anos e um dos mais
antigos, e tambm dos mais extensos, trabalhos matemticos conhecidos hoje
6
.
O texto inicia com uma viso abrangente daquilo que o autor pretende oferecer:
uma regra para se chegar ao conhecimento de todas as coisas obscuras, de todos os
segredos que as coisas contm.
7
Embora essa promessa no tenha sido realmente
cumprida, o texto do papiro nos d uma viso de valor incalculvel sobre a matemtica
egpcia antiga. Seus 84 problemas tratam de aritmtica, enunciados de lgebra (encontrar
um valor desconhecido), medies (clculo de reas e volumes), e at mesmo progresses
aritmticas e geomtricas. Para aqueles acostumados estrutura formal da matemtica
grega definies, axiomas, teoremas e provas o contedo do papiro Rhind pode ser
desapontador: no existem regras gerais que se aplicam a uma classe de problemas nem
os resultados derivam de forma lgica de fatos previamente estabelecidos. Na verdade,
so problemas com exemplos especficos, com o uso de alguns nmeros em particular. A
maioria deles de grandes enunciados (estrias) que tratam apenas de assuntos materiais,
do cotidiano, como encontrar a rea de um campo ou o volume de um celeiro, ou como
dividir um determinado nmero de pes entre vrios homens. Aparentemente a inteno
era fazer uma coletnea de exerccios para usar em uma escola de escribas, pois existia
AHMES, O ESCRIBA 3
rossiunb@gmail.com
uma classe de escribas reais, para a qual eram designadas todas as tarefas literrias
leitura, escrita e aritmtica. O papiro contm tambm um problema de recreao
matemtica sem nenhuma aplicao prtica aparente, obviamente com o intuito de prover
entretenimento para o leitor (veja pgina 9).
O trabalho comea com duas tabelas: uma tbua de diviso de 2 por todos os
inteiros mpares de 3 a 101, e uma tbua de diviso dos inteiros de 1 a 9 por 10. As
respostas so dadas em fraes unitrias fraes cujo numerador 1. Por alguma razo,
esse era o nico modo conhecido pelos egpcios para lidar com fraes; a nica exceo
era 2/3, que era reconhecida como uma frao por si s. Muito esforo e ingenuidade
foram gastos no esforo de decompor fraes em somas de fraes unitrias. Por
exemplo, o resultado da diviso de 6 por 10 dado como 1/2 + 1/10, e a diviso de 7 por
10 era dada como 2/3 + 1/30.
8
Os egpcios, claro, no utilizavam nossa notao moderna
para fraes; eles indicavam o recproco de um inteiro colocando um ponto (ou um
hierglifo oval) sobre o smbolo do inteiro. No existia smbolo para adio; as fraes
unitrias eram simplesmente colocadas uma ao lado da outra, estando implcita a soma.
9

O trabalho prossegue com problemas de aritmtica envolvendo subtrao
(chamada de acabamento) e multiplicao, e problemas onde solicitado encontrar uma
certa quantidade desconhecida; estes eram conhecidos como problemas de a-r, porque
eles normalmente comeavam com a letra h (pronunciada a-r ou rau), que
provavelmente significava a quantidade (a ser encontrada). Por exemplo, o problema 30
pergunta: Se o escriba diz, qual a quantidade que faz 2/3 + 1/10 ficar 10, diga a ele. A
resposta dada como 13 + 1/23, seguida de uma prova, e que de fato a resposta correta.
Em linguagem atual, o problema 30 pede a soluo da equao (2/3 + 1/10)x = 10.
Equaes lineares como essa so resolvidas pela chamada regra da falsa posio:
escolha um valor conveniente para x, digamos 30, e substitua na equao; o lado esquerdo
passa a valer 23, em vez do valor pedido, 10. Como 23 precisa ser multiplicado por 10/23
para chegar a 10, a resposta correta ser o valor escolhido multiplicado por 10/23, ou seja,
x = 330/23 = 13 + 1/23. Assim, cerca de 3500 anos antes da criao da moderna lgebra
simblica, os egpcios j possuam um mtodo que os permitia, de fato, resolver equaes
lineares.
Os problemas 41 a 50 so geomtricos por natureza. O problema 41 simplesmente
diz: Encontre o volume de um celeiro de dimetro 9 e altura 10. Segue a soluo: Tire
1/9 de 9, ou seja, 1; o resto 8. Multiplique 8 por 8; isso d 64; multiplique 64 por 10;
isso d 640 cvados cbicos. (O autor multiplicou ento o resultado por 15/2 para
converter para hekat, a unidade padro para medir volumes de gros; um hekat
corresponde a 4789 litros).
10
Ou seja, para encontrar a rea da base circular, o escriba a
substituiu por um quadrado de lado igual a 8/9 do dimetro. Denotando o dimetro de d,
isto equivale frmula A = [(8/9)d]
2
= (64/81)d
2
. Se compararmos com a frmula
A = d
2
/4, concluiremos que os egpcio utilizavam o valor = 256/81 = 3,16049, um erro
de apenas 0,6% em relao ao valor real. Uma faanha extraordinria!
11

4 PRLOGO

De particular interesse para ns so os problemas 56 a 60. Tratam dos mais
famosos monumentos egpcios. As pirmides, e todos usam a palavra sekht (veja fig. 1).
12

O que esta palavra significa, veremos mais tarde.
O problema 56 diz: Se uma pirmide tem 250 cvados de altura e o lado de sua
base mede 360 cvados, quanto vale o sekht ? Segue a soluo de Ahmes:
Pegue a metade de 360; isto d 180. Multiplique 250 at chegar a 180; isto d
1/2 1/5 1/50 de um cvado. Multiplique 7 por 1/2 1/5 1/50:
1 7
1/2 3 1/2
1/5 1 1/3 1/15
1/50 1/10 1/25
O sekht igual a 5
25
1
palmos [isto , (3 + 1/2) + (1 + 1/3 + 1/15) + (1/10 + 1/25)=5
25
1
]
13



Fig. 1. Problema 56 do papiro Rhind

Vamos analisar a soluo. Claramente 1/2 de 360, ou 180, metade do lado da
base quadrada da pirmide (fig. 2). Multiplique 250 at chegar a 180 significa encontrar
o nmero x que, multiplicado por 250, seja igual a 180. Isso nos d x = 180/250 = 18/25.
Mas os matemticos egpcios exigiam que todas as suas respostas fossem dadas em
fraes unitrias; e a soma das fraes unitrias 1/2, 1/5 e 1/50 , de fato, igual a 18/25.
Este nmero, ento, a razo entre a metade do lado da base e a altura da pirmide, ou o
gradiente (taxa) de inclinao da face lateral. Com efeito, o valor que Ahmes encontrou, o
sekht, a cotangente do ngulo entre a base da pirmide e sua face lateral.
14


AHMES, O ESCRIBA 5
rossiunb@gmail.com






Fig. 2. Pirmide de base quadrada

Duas questes surgem imediatamente: primeiro, por que ele no usou o inverso
dessa razo, ou a taxa de inclinao, como ns fazemos hoje? A resposta que quando
construindo uma estrutura vertical, comum medir o desvio horizontal de uma linha
vertical, para cada unidade que cresce em sua altura, isto , o gradiente de inclinao.
Esta prtica comum em arquitetura, em que se mede a inclinao de um muro ou
parede, que se supe ser vertical.
Segundo, por que Ahmes multiplicou o resultado por 7? Por alguma razo, os
construtores das pirmides mediram as distncias horizontais em palmos ou mos e
distncias verticais em cvados. Um cvado equivale a 7 palmos. Ento o sekht
encontrado, 5
25
1
, d o gradiente em palmos por cvados. claro que, hoje em dia,
pensamos nessas taxas como nmeros puros.
Por que seria a taxa de inclinao to importante a ponto de merecer um nome
especial e ter dedicados quatro problemas a ela nos papiros? A razo que era crucial
para os construtores das pirmides manter uma inclinao constante das faces laterais em
relao ao plano horizontal. Isso parece fcil no papel, mas uma vez que a construo
tenha comeado, deve-se checar constantemente o progresso da construo, a fim de
assegurar que a inclinao prevista est sendo mantida. Isto , o sekht tem que ser o
mesmo em cada uma das faces.
O problema 57 o inverso: so dados o sekht de uma pirmide e o lado de sua
base, e pede-se para encontrar sua altura. Os problemas 58 e 59 so parecidos com o
problema 56 e leva a um sekht de 5
4
1
palmos (por cvado), mas a resposta dada como 5
palmos e um dedo (porque existem 4 dedos em um palmo). Finalmente, o problema 60
pede para encontrar o sekht de uma coluna com 30 cvados de altura e base com 15
cvados. No sabemos se a coluna seria na verdade uma pirmide ou um cilindro (e nesse
caso 15 seria o dimetro de sua base); em ambos os casos, a resposta 1/4.
O sekht encontrado no problema 56, de 18/25 (em unidade adimensional),
corresponde ao ngulo de 54 15 entre a base e a face lateral. O sekht encontrado nos
6 PRLOGO
problemas 58 e 589, quando convertido para unidade adimensional, (5
4
1
) : 7 ou 3/3,
correspondendo ao ngulo de 53 8. interessante comparar esses valores aos ngulos
atuais de algumas das pirmides de Giz:
15

Quops 51 52
Qufren 52 20
Miquerinos 50 47

As figuras so bastante factveis. Quanto coluna no problema 60, seu ngulo
muito maior do que espervamos para uma pirmide: = cot
-1
(1/4) = 75 58.
Pode parecer absurdo, claro, atribuir aos egpcios a inveno da trigonometria.
No h em seus registros um conceito de ngulo, de forma que eles no tinham como
formular relaes quantitativas entre ngulos e lados de tringulos. E alm disso (citando
Chase) no comeo do sculo XVIII a.C., e provavelmente mil anos antes disso, quando
as grandes pirmides foram construdas, os matemticos egpcios tinham alguma noo
de semelhana em tringulo retngulo, cujos lados eram uma unidade de medida, um
padro. Seremos mais justos ento se creditarmos aos egpcios um conhecimento rude de
trigonometria prtica talvez proto-trigonometria seja uma melhor definio cerca de
dois mil anos antes de os gregos transformarem esse assunto em uma poderosa ferramenta
de matemtica aplicada.


NOTAS E FONTES

1
O Egito Antigo era dividido em dois reinos, o Alto Egito e o Baixo Egito. Embora as denominaes
Alto e Baixo sejam contra-intuitivas, com o Alto Egito no sul e o Baixo Egito no norte, essa
terminologia deriva do curso do rio Nilo, das terras altas da frica Oriental para o Mar Mediterrneo.
(N.T.)
2
O papiro tambm contm trs fragmentos de texto no relacionados matemtica, e que alguns autores
numeraram como problemas 85, 86 e 87. Esto descritos em Arnold Chase, The Rhind Mathematical
Papyrus: Free Translation and Commentary with Selected Photographs, Transcriptions, Transliterations
and Literal translations O Papiro Matemtico Rhind: Traduo Livre e Comentrios com Fotografias,
Transcries, Transliteraes e Tradues Literais. (Reston, VA: National Council of Teachers of
Mathematics, 1979), pp. 61-62.
3
The Rhind Mathematical Papyrus, British Museum 10057 and 10058: Introduction, Transcription,
Translation and Commentary O Papiro Matemtico Rhind, peas n 10057 e 10058 do Museu Britnico:
Introduo, Transcrio, Traduo e Comentrios. (London, 1923).
AHMES, O ESCRIBA 7
rossiunb@gmail.com

4
Chase, Rhind Mathematical Papyrus Papiro Matemtico Rhind. Esta obra extensa uma reimpresso,
com pequenas mudanas, daquela publicada pelo Mathematical Association of America em dois volumes,
em 1927 e 1929. Contm comentrios detalhados e bibliografia extensa, assim como inmeras ilustraes
coloridas. Para um esboo da biografia de Chase, veja o artigo Arnold Buffum Chase no American
Mathematical Monthly, vol. 40 (maro de 1933), pp. 139-142. Outras boas fontes sobre a matemtica
egpcia so Richard J. Gillings, Mathematics in the Time of the Pharaohs Matemtica no Tempo dos
Faras (1972; rpt. New York: Dover, 1982); George Gheverghese Joseph, The Crest of the Peacock: Non-
European Roots of Mathematics A Crista do Pavo Razes da Matemtica Fora da Europa
(Harmondsworth, U.K.: Penguin Books, 1991), chap. 3; Otto Neugebauer, The Exact Sciences in Antiquity
As Cincias Exatas na Antigidade (1957; rpt. New York: Dover, 1969), chap. 4; and Baertel L. van
der Waerden, Science Awakening O Despertar da Cincia, trans. Arnold Dresden (New York: John
Wiley, 1963), chap. 1.
5
Chase, Rhind Mathematical Papyrus, p.27. O ttulo de nobreza Re pronunciado rei.
6
Outro documento importante, aproximadamente do mesmo perodo, o papiro Golonishev ou papiro de
Moscou, um pergaminho que tem comprimento prximo ao papiro Rhind, mas apenas um quarto da largura.
Contm 25 problemas, mas de qualidade inferior aos do papiro Rhind. Veja Gillings, Mathematics, PP.246-
247; Joseph, Crest of the Peacock, PP. 84-89; van der Waerden, Science Awakening, pp. 33-35; e Carl B.
Boyer, A History of Mathematics Histria da Matemtica (1968; rev. ed. New York: John Wiley, 1989),
pp. 22-24. Referncias a outros documentos matemticos egpcios podem ser encontradas em Chase, Rhind
Mathematical Papyrus, p.67; Gillings, Mathematics, chaps. 9, 14 e 22; Joseph, Cresto f the Peacock, PP.
59-61, 66-67 e 78-79; e Neugebauer, Exact Sciences, pp. 91-92.
7
Citado em Garbi, Gilberto Geraldo, A Rainha das Cincias: um passeio histrico pelo maravilhoso mundo
da Matemtica. So Paulo: Editora Livraria da Fsica, 2006. Difere ligeiramente do texto original deste
autor. (N.T.)
8
Note que a decomposio no nica. 7/10 tambm pode ser escrito como 1/5 + 1/2.
9
Para uma discusso mais detalhada do uso de fraes unitrias pelos egpcios, veja Boyer, History of
Mathematics, pp. 15-17; Chase, Rhind Mathematical Papyrus, pp. 9-17; Gillings, Mathematics, pp. 20-23; e
van der Waerden, Science Awakening, pp. 19-26.
10
Chase, Rhind Mathematical Papyrus, p. 46. Para uma discusso sobre as medies egpcias, veja tambm
ibid., pp. 18-20; Gillings, Mathematics, pp. 206-213.
11
O valor egpcio pode ser escrito convenientemente como (4/3)
4
. Gillings (Mathematics, pp. 139-153)
mostra uma teoria convincente sobre como Ahmes teria chegado frmula A = [(8/9)d]
2
e atribui a Ahmes
o crdito de ser o primeiro a tentar efetivamente a quadratura do crculo na histria.
12
Pronuncia-se seiket.
13
Chase, Rhind Mathematical Papyrus, p. 51.
14
Veja, no entanto, ibid., pp.21-22 para uma interpretao alternativa.
15
Gillings, Mathematics, p.187.



Matemtica Recreativa no Egito Antigo

O problema 79 do papiro Rhind diz (fig. 3):
1

Inventrio casas 7
1 2801 gatos
a
49
2 5602 ratos 343
4 11204 trigo 2.301
b

hekat
c
16.807
Total 19607 Total 19.607

Qual o significado por trs desses versos obscuros? Evidentemente temos diante
de ns uma progresso geomtrica cujo termo inicial 7 e a razo tambm 7, e o escriba
nos mostra como encontrar sua soma. Mas como um bom professor que quer quebrar a
monotonia de uma aula rotineira de matemtica, Ahmes embeleza o exerccio com uma
pequena estria, que poderia ser lida assim: Havia uma aldeia com sete casas; cada casa
tinha sete gatos; cada gato comia sete ratos; cada rato comia sete espigas de trigo; cada
espiga de trigo produzia sete hekat de gros de trigo. Quanto somava isto tudo?
A coluna da direita mostra claramente os termos da progresso 1, 7
2
, 7
3
, 7
4
, 7
5

seguida pela sua soma, 19.607 (se o valor incorreto de 2.301 foi um erro do prprio
Ahmes ou se ele j constava no documento original nunca saberemos). Mas agora Ahmes
d sua segunda cartada: na coluna da esquerda ele nos mostra como obter uma a resposta
de um modo rpido, engenhoso; e seguindo o caminho indicado, podemos observar no
papiro o mtodo egpcio de se efetuar multiplicaes. Os egpcios sabiam que qualquer
inteiro pode ser representado por uma soma dos termos da progresso geomtrica
1, 2, 4, 8, ..., e a representao nica (esta precisamente a representao de um inteiro
em termos da base 2, com os coeficientes ou nmeros binrios, sendo 0 e 1). Para
multiplicar, digamos, 13 por 17, eles precisavam escrever apenas um dos nmeros, 13 por
exemplo, como uma soma de potncias de 2, 13 = 1 + 4 + 8, e multiplicar cada potncia
pelo outro nmero e somar os resultados:


a
A palavra egpcia para gato myw; quando as vogais ausentes so inseridas, a palavra se torna
meeya uw.
b
bvio que Ahmes cometeu um erro aqui. O valor correto 2.401.
c
Hekat era uma medida para clculo de volume de gros
10 MATEMTICA RECREATIVA

Fig. 3. Problema 79 do papiro Rhind

13 x 17 = 1 x 17 + 4 x 17 + 8 x 17 = 17 + 68 + 136 = 221. Isso pode ser feito
convenientemente em forma de tabela:
17 x 1 = 17 *
x 2 = 34
x 4 = 68 *
x 8 = 136 *

Os asteriscos indicam as potncias a serem somadas. Desta forma, os egpcios
eram capazes de efetuar qualquer multiplicao por meio de repetidas dobras e adies.
Em todos os documentos matemticos egpcios conhecidos, esta prtica sempre seguida;
isso era to bsico para o escriba egpcio quanto as tabuadas para os alunos de hoje.
Ento, de onde vem o nmero 2.801, o primeiro nmero na coluna da esquerda do
problema 79 ? Aqui Ahmes usa a propriedade das progresses geomtricas coma qual os
egpcios tinham certa familiaridade: a soma dos n primeiros termos de uma progresso
MATEMTICA RECREATIVA 11
rossiunb@gmail.com
geomtrica que tem o mesmo valor numrico para o primeiro termo e para a razo igual
razo multiplicada por um mais os primeiros (n - 1) termos; em notao moderna,
a + a
2
+ a
3
+ ... + a
n
= a(1 + a + a
2
+ ... + a
n-1
). Este tipo de frmula recursiva permitiu
aos escriba egpcio reduzir a soma de uma progresso geomtrica em uma outra com
menos (e menores) termos. Para encontrar a soma 7 + 49 + 343 + 2.401 + 16.807, Ahmes
pensou nela como 7 x (1 + 7 + 49 + 343 + 2.401); uma vez que a soma dos termos dentro
dos parnteses igual a 2.801, tudo o que ele tinha a fazer era multiplicar esse nmero
por 7, pensando em 7 como 1 + 2 + 4. Isto o que a coluna da esquerda nos apresenta.
Repare que esta coluna apresenta apenas trs passos, comparando com os cinco passos da
soluo bvia apresentada na coluna da direita; obviamente o escriba incluiu este
exerccio como um exemplo de pensamento criativo.
Algum poderia perguntar: por que Ahmes escolheu 7 como razo? Em seu
excelente livro, Mathematics in the Times of the Pharaohs (Matemtica no Tempo dos
Faras), Richard J. Gillings responde assim a essa questo: O nmero 7 muito comum
nas multiplicaes egpcias porque, nas duplicaes regulares, os trs primeiros
multiplicadores sero sempre 1, 2, 4, cuja soma igual a 7.
2
Esta explicao, entretanto,
no parece ser to convincente, pois poderia ser igualmente atribuda ao nmero
3 (= 1 + 2), ao nmero 15 (= 1 + 2 + 4 + 8), e de fato para qualquer nmero inteiro da
forma 2
n
- 1. Uma explicao mais plausvel poderia ser a de que um nmero grande
poderia tornar o clculo muito longo, enquanto um nmero pequeno poderia no ilustrar
adequadamente o rpido crescimento da progresso: se Ahmes tivesse usado 3, a
resposta (363) no seria sensacional o suficiente para impressionar o leitor.
O surpreendente crescimento de uma progresso geomtrica tem fascinado os
matemticos atravs dos tempos; at mesmo encontrado no folclore de algumas
culturas. Reza uma antiga lenda que o rei da Prsia ficou to impressionado com o jogo
de xadrez, que resolveu recompensar seu inventor. Quando convocado ao palcio real, o
inventor, um pobre campons de uma rea remota do reino, simplesmente pediu um gro
de trigo para a primeira casa do tabuleiro de xadrez, dois gros para a segunda casa,
quatro para a terceira, e assim por diante at a sexagsima quarta casa. Surpreso com a
modstia do pedido, o rei ordenou a seus servos que trouxessem alguns sacos de trigo, e
eles pacientemente comearam a colocar os gros de trigo no tabuleiro. Logo ficou claro,
entretanto, que nem mesmo todo o estoque de trigo do reino seria suficiente para
satisfazer o pedido, pois a soma da progresso geomtrica 1 + 2 + 2
2
+ ... + 2
63
o
incrvel nmero 18.446.744.073.709.551.615 suficiente para formar uma linha de gros
com a distncia de dois anos-luz!
O problema 79 de Ahmes tem grande semelhana com uma antiga rima infantil:



12 MATEMTICA RECREATIVA
As I was going to St. Ives,
I met a man with seven wives;
Every wife had seven sacks,
Every sack had seven cats,
Every cat had seven kits.
Kits, cats, sacks, and wives,
How many were going to St. Ives?
A caminho de Santo Ivo,
Encontrei um homem com sete esposas;
Cada esposa tinha sete sacos,
Cada saco tinha sete gatos,
Cada gato tinha sete gatinhos,
Gatinhos, gatos, sacos e esposas,
Quantos iam a caminho de Santo Ivo?

No famoso trabalho Liber Abaci (1202) de Leonardo de Pisa (Fibonacci), h um
problema que, exceto pela estria contada, idntico ao da rima. Isto levou alguns
estudiosos a sugerir que o problema 79 tem se perpetuado atravs dos sculos desde os
tempos dos antigos egpcios.
3
Ao que Gillings rebate: Todas as evidncias [para esta
concluso] esto aqui diante de ns, o que permite a qualquer um concluir o que quiser.
realmente tentador ser capaz de dizer a uma criana, Aqui est uma rima que tem cerca
de dez mil anos de idade! Mas ser verdade? Provavelmente nunca saberemos.
4

Progresses geomtricas podem parecer distantes da trigonometria, mas no
captulo 9 mostraremos que as duas tm verdadeiramente uma relao bastante ntima.
Isto nos ir permitir investigar geometricamente essas progresses e talvez justificar o
adjetivo geomtricas que foi, aparentemente sem motivo, associado a elas.

NOTAS E FONTES

1
Arnold Buffum Chase, The Rhind Mathematical Papyrus: Free Translation and Commentary with
Selected Photographs, Transcriptions, Transliterations and Literal translations O Papiro Matemtico
Rhind: Traduo Livre e Comentrios com Fotografias, Transcries, Transliteraes e Tradues Literais.
(Reston, VA: National Council of Teachers of Mathematics, 1979), p. 136. Utilizei a traduo literal de
Chase (em vez de uma traduo livre) a fim de preservar o charme contido na declarao original. Isto
obviamente inclui o erro de Ahmes na quarta linha da coluna da direita. Para a traduo livre de Chase, veja
a pgina 59 de seu livro.
2
Richard J. Gillings, Mathematics in the Time of the Pharaohs Matemtica no Tempo dos Faras.
(1972; rpt. New York:Dover, 1982), p. 168.
3
L. Rodet, citado em Chase, Rhind Mathematical Papyrus, p. 59.
4
Gillings, Mathematics, p.170.
1
ngulos

Um ngulo plano a inclinao recproca de duas
linhas que se tocam numa superfcie plana e que no
fazem parte da mesma linha reta.
- Euclides, Elementos, Definio 8.



Existem entidades geomtricas de dois tipos: aquelas de natureza estritamente
qualitativa, como o ponto, a linha e o plano, e aquelas que podem possuir um valor
numrico, ter uma medida. A este ltimo grupo pertencem o segmento de reta, cuja
medida o comprimento; a regio de um plano, qual se associa a rea; e a rotao,
medida pelo seu ngulo.
Existe certa ambigidade no conceito de ngulo, que descreve tanto a idia
qualitativa de separao entre duas linhas que se intersectam, quanto o valor numrico
dessa separao a medida do ngulo. (Observe que no h relao com o conceito
anlogo de separao entre dois pontos, em que as palavras segmento de reta e
comprimento fazem a devida distino.) Felizmente no precisamos nos preocupar com
essa ambigidade, pois trigonometria cabem apenas os aspectos quantitativos de
segmentos de reta e ngulos.
1

Acredita-se que a unidade mais comum para medir ngulos, o grau, tenha sua
origem com os babilnios. Geralmente aceito que sua diviso do crculo em 360 graus
tenha alguma relao com a durao de um ano, 365 dias. Outra razo pode ser o fato de
que um crculo se divide naturalmente em seis partes iguais, cada uma subentendendo
uma corda igual ao raio (fig.4). No entanto, no existe nenhuma evidncia conclusiva que
sustente essas hipteses, e a exata origem dos 360 graus dever permanecer
desconhecida.
2
De qualquer forma, o sistema se ajusta bem ao sistema de numerao
sexagesimal (base 60) dos babilnios, que mais tarde foi adotado pelos gregos e usado
por Ptolomeu em sua tbua de cordas (veja captulo 2).
Como um sistema de numerao, o sistema sexagesimal hoje obsoleto, mas a
diviso do crculo em 360 partes sobreviveu no apenas na medio de ngulos, mas
tambm na diviso de uma hora em 60 minutos e um minuto em 60 segundos.

14 CAPTULO UM





Fig. 4. Hexgono regular inscrito em um crculo

Essa prtica est to enraizada em nosso cotidiano, que nem mesmo o predomnio
do sistema mtrico decimal conseguiu dissip-la, e a frase de Florian Cajori em A History
of Mathematics (Uma Histria da Matemtica, 1893) continua atual: No existe hoje
uma ameaa de se adotar uma diviso decimal de ngulos, nem mesmo na Frana [onde o
sistema mtrico decimal se originou].
3
Apesar disso, muitas calculadoras portteis
possuem a opo grad, em que um ngulo reto dividido em 100 grados, e as partes
fracionrias de um grado so contadas de forma decimal.
A palavra grau originou-se com os gregos. De acordo com o estudioso de histria
da matemtica, David Eugene Smith, eles usaram a palavra (moira), que os rabes
traduziram como daraja (aparentado com o hebraico darggah, um degrau de uma escada
ou escala); isto foi vertido para o latim como de gradus, de onde veio a palavra grau. Os
gregos chamavam a sexagsima parte do grau de primeira parte, a sexagsima parte
desta de segunda parte e assim por diante. Em latim, o primeiro foi chamado de pars
minuta prima (primeira parte pequena) e o segundo de pars minuta secunda (segunda
parte pequena), de onde vieram os nomes minuto e segundo.
4

Mais recentemente, o radiano
5
(abreviado rad) foi adotado universalmente como a
unidade natural para medida de ngulos. Um radiano o ngulo definido no centro de um
crculo por um arco de circunferncia com o mesmo comprimento que o raio do crculo
(fig. 5). Como um crculo engloba 2 ( 6,28) radianos ao redor da circunferncia, e cada
radiano corresponde a um ngulo central de 1 radiano, temos que 360 = 2 radianos;
portanto 1 rad = 360/2 57,29. A afirmao mais comum de que o radiano mais
conveniente que o grau porque um nmero maior, o que simplesmente no verdade.
6

A nica razo para o uso do radiano que ele simplifica muitas frmulas. Por exemplo,
um arco circular com ngulo igual a (sendo em radianos), subentende um arco de
comprimento dado por s = r. Mas se estiver em graus, a frmula correspondente ser
s = r/180. De forma similar, a rea de um setor circular com ngulo ser A = r
2
/2
para em radianos e A = r
2
/360 para em graus.
7
O uso de radianos livra essas
frmulas de um indesejvel fator /180.
NGULOS 15
rossiunb@gmail.com





Fig. 5. ngulo de 1 radiano

Ainda mais importante, o fato de que um ngulo pequeno e seu seno tm seu valor
numrico aproximadamente igual quanto menor o ngulo, melhor a aproximao
permanece verdadeiro apenas se o ngulo for medido em radianos. Por exemplo, usando
uma calculadora, vemos que o seno de um grau (sen 1) 0,0174524; mas se 1
convertido para radianos, teremos 1 = 2/360 0,0174533, e o ngulo e seu seno so
iguais at a casa dos milsimos. Para um ngulo de 0,5 (novamente expresso em
radianos), a concordncia vai at os milionsimos, e assim por diante. este fato,
expresso como 1 / ) ( lim
0
=

sen que faz com que a medio de ngulos em radianos


seja to importante.
A palavra radiano de concepo moderna; foi cunhada em 1871 por James
Thomson, irmo do famoso fsico Lorde Kelvin (William Thomson); apareceu pela
primeira vez em um exame preparado por ele no Queens College em Belfast, em 1873.
8

Outras sugestes mais antigas forma rad e radial.
Ningum sabe de onde surgiu a conveno de se medir os ngulos no sentido anti-
horrio. Isso pode ter se originado de nosso familiar sistema de coordenadas: uma curva
de 90 em sentido anti-horrio nos leva do semi-eixo x positivo para o semi-eixo y
positivo, mas essa mesma curva no sentido horrio nos leva do semi-eixo x positivo para
o semi-eixo y negativo. Essa escolha, claro, totalmente arbitrria: se o eixo x fosse
orientado para a esquerda, ou o eixo y para baixo, a escolha natural poderia ter sido o
inverso. Mesmo a palavra horrio, designando o sentido de rotao, ambgua: h
alguns anos vi um anncio de um relgio anti-horrio, que funcionava de trs para
frente, mas mostrava as horas perfeitamente (fig. 6). Intrigado, eu comprei um, que est
na minha cozinha, onde nunca falha em deixar meus convidados desconcertados, com a
certeza de alguma pea est sendo lhes pregada!


16 CAPTULO UM





Fig. 6. Relgio anti-horrio


NOTAS E FONTES

1
No entanto, a definio de ngulo como conceito sempre foi problemtica; veja Euclides, Elementos,
disponvel em http://www.dominiopublico.gov.br
2
Sobre o assunto, veja David Eugene Smith, History of Mathematics Histria da Matemtica, (1925;
rpt. New York: Dover, 1953), vol. 2, pp. 229-232, e Florian Cajori, A History of Mathematics Histria da
Matemtica, (1893, 2nd ed, New York: McMillian, 1919,) pp. 5-6. Alguns estudiosos creditam a diviso
em 360 graus aos egpcios; veja, como exemplo, Elisabeth Achels, On Time and Calendar Sobre Tempo
e Calendrios (New York: Hermitage House, 1955), p. 40.
3
Cajori, A History of Mathematics, p.484.
4
Smith, History of Mathematics, vol. 2, p.232.
5
Em ingls o radiano chamado de radian, ou ainda de circular measure, que optei por no traduzir.
(N.T.)
6
Por exemplo, em Morris Kline, Mathematics: A Cultural Approach Matemtica: Uma Abordagem
Cultural (Reading, Mass: Addison-Wesley, 1962), p. 500, encontramos a seguinte afirmao: A vantagem
do uso de radianos no lugar de graus simplesmente por questo de convenincia. Como um ngulo de 90
tem a mesma medida que um ngulo de 1,57 radianos, muito melhor trabalhar com apenas 1,57 do que
com 90 unidades. Realmente uma surpresa esta afirmao vir de um matemtico to eminente quanto
Kline.
7
Essas frmulas podem ser provadas facilmente considerando-se propores: a circunferncia de um
crculo est para 2 radianos assim como o comprimento do arco s est para ; assim , 2r/2 = s/, e
chegamos a s = r. Argumento similar leva frmula A = r
2
/2.
8
Cajori, History of Mathematics, p.484.
2
Cordas

O conhecimento vem da sombra,
e a sombra vem do gnmon.
4

- Do Chou-pei Suan-king (circa 1105 a.C.), citado em
David E. Smith, History of Mathematics, vol. 2, p.603



Quando considerados separadamente, segmentos de reta e ngulos comportam-se
de maneira simples: dois segmentos de reta, colocados exatamente um aps o outro numa
mesma reta, formaro um novo segmento que tem o comprimento igual soma dos
comprimentos dos dois segmentos originais; e dois ngulos combinados, lado a lado com
um segmento de reta comum, formam um novo ngulo que tm a mesma medida que a
soma dos ngulos originais. As complicaes surgem quando queremos relacionar os dois
conceitos: os degraus igualmente espaados de uma escada, quando vistos de um ponto
fixo, no formam ngulos iguais aos olhos do observador (fig. 7) e, reciprocamente,
ngulos iguais, quando projetados em uma linha reta, no delimitam segmentos iguais
(fig. 8). A trigonometria plana elementar grosso modo, a trigonometria do sculo 16
preocupa-se com as relaes quantitativas entre ngulos e segmentos de reta,
particularmente em um tringulo; de fato, a palavra trigonometria deriva das palavras
gregas trigonom = tringulo, e metron = medida.
1

Como j vimos, os egpcios usaram um tipo de trigonometria primitiva j no
segundo milnio a.C. na construo de suas pirmides. Na Mesopotmia, astrnomos
babilnios fizeram registros meticulosos da posio e elevao das estrelas, do
movimento dos planetas, de eclipses do sol e da lua, tudo exigindo alguma familiaridade
com a medio de distncias angulares na esfera celeste.
2
O gnmon, um dispositivo
simples para informar as horas por meio do comprimento da sombra projetada por uma
haste vertical, era conhecido pelos antigos gregos antigos, que, de acordo com o
historiador Herdoto (circa 450 a.C.), o importaram dos babilnios. O gnmon
basicamente um dispositivo analgico para se calcular a funo cotangente:


4
Gnmon a haste vertical que projeta a sombra em um relgio de sol.
18 CAPTULO DOIS





Fig. 7. Incrementos verticais iguais
subentendem ngulos diferentes.

Se h a altura da haste e s o comprimento de sua sombra quando o sol est a uma altura
de graus acima do horizonte (veja fig. 9), ento s = h cot , de forma que s
proporcional a cot . Evidentemente os antigos no estavam interessados na funo
cotangente em si, mas usar o dispositivo como um contador de horas; de fato, medindo a
variao diria do comprimento da sombra ao meio-dia, o gnmon poderia tambm ser
usado para determinar o dia do ano.
A Tales de Mileto (circa 640-546 a.C.), o primeiro de uma longa linhagem de
matemticos e filsofos gregos, atribuda a medio da altura de uma pirmide por
comparao da sombra desta com a sombra de um gnmon. Como citado por Plutarco em
seu O Banquete dos Sete Sbios, um dos convivas disse a Tales:
Ainda que ele [o rei do Egito] j lhe tenha profundo respeito, ele lhe tem admirao em
particular pelo invento com o qual, com pouco esforo e sem o auxlio de nenhum
instrumento matemtico, voc encontrou com tanta preciso a altura das pirmides.
Erguendo sua estaca e fixando-a na extremidade da sombra projetada pela pirmide,
dois tringulos so formados pelos raios tangentes do sol, e com isso voc mostrou que a
razo entre [o comprimento de] uma sombra e de outra igual razo entre [a altura
de] da pirmide e da estaca.
3

CORDAS 19
rossiunb@gmail.com





Fig. 8. ngulos iguais subentendem
incrementos verticais desiguais

Novamente a trigonometria no est diretamente envolvida, apenas a semelhana
entre dois tringulos retngulos. Ainda, esse tipo de clculo de sombras era
suficientemente conhecido pelos antigos e poderia se dizer que foi o precursor das
propriedades trigonomtricas. Depois, alguns mtodos simples foram aplicados com
sucesso para medir as dimenses da terra, e algum tempo depois, a distncia at as
estrelas (veja captulo 5).
A trigonometria na acepo moderna da palavra comeou com Hiparco de Nicia
(circa 190-120 a.C.), considerado o maior astrnomo da Antigidade. Comum a muitos
dos estudiosos gregos, a obra de Hiparco conhecida principalmente atravs de
referncias de outros escritores, neste caso o comentrio de Teon de Alexandria (circa
390 d.C.) sobre o Almagesto de Ptolomeu. Ele nasceu na cidade de Nicia (hoje Iznik, no
nordeste da Turquia), mas passou a maior parte de sua vida na ilha de Rodes, no Mar
Egeu, onde construiu um observatrio. Utilizando instrumentos de sua prpria inveno,
ele determinou a posio de cerca de 1.000 estrelas, em funo de suas latitude e
longitude celestiais, registrando isso em um mapa o primeiro mapa estelar detalhado.
(Ele pode ter sido levado a iniciar esse projeto depois da observao de uma nova a
exploso de uma estrela que se torna visvel onde nenhuma outra era visvel antes).
20 CAPTULO DOIS





Fig. 9. Gnmon.

Para classificar as estrelas de acordo com a intensidade de seu brilho, Hiparco
criou uma escala em que as estrelas mais brilhantes tinham magnitude 1, e as mais dbeis
magnitude 6; essa escala, apesar de revisada e aumentado em abrangncia, usada ainda
hoje. A Hiparco tambm creditada a descoberta da precesso dos equincios um lento
movimento circular dos plos celestes a cada 26.700 anos; hoje se sabe que esse
movimento aparente causado por um movimento para trs do prprio eixo da Terra (foi
Newton quem explicou corretamente este fenmeno, baseado em sua teoria da
gravitao). Ele ainda aprimorou e simplificou o velho sistema de epiciclos, inventado
por Aristteles para explicar o movimento observado dos planetas ao redor da Terra (veja
captulo 7); isto foi uma regresso em relao a seu predecessor Aristarco, que j havia
antevisto um universo que o Sol, e no a Terra, estava no centro.
Para ser capaz de fazer seis clculos, Hiparco precisava de um tabela de razes
trigonomtricas, mas no tinha como fugir: como no existia tal tabela, teve que construir
uma ele prprio. Ele considerava todos os tringulos planos ou esfricos como
inscritos em um crculo, de modo que cada lada passava a ser uma corda do crculo. Para
calcular as vrias partes do tringulo, preciso colocar o comprimento de da corda como
uma funo do ngulo central, e este se tornou o principal desafio da trigonometria pelos
sculos seguintes. Como astrnomo, Hiparco estava interessado principalmente em
tringulos esfricos, mas ele deveria conhecer muitas das frmulas da trigonometria
plana, entre elas as identidades (em notao moderna) sen
2
+ cos
2
= 1,
sen
2
/2 = (1 - cos )/2, e sen ( ) = sen cos cos sen . Estas frmulas, claro,
foram derivadas com significado puramente geomtrico e expressas como teoremas sobre
ngulos e cordas em um crculo (a primeira frmula, por exemplo, o equivalente
trigonomtrico do teorema de Pitgoras); voltaremos a algumas dessas frmulas no
captulo 6. Hiparco escreveu doze livros sobre o clculo de cordas no crculo, mas todos
foram perdidos.
O primeiro grande trabalho de trigonometria a nos chegar intacto foi o Almagesto,
de Claudius Ptolemaeus, mais conhecido como Ptolomeu (circa 85 165 d.C.).
4
Ptolomeu
viveu em Alexandria, o centro intelectual do mundo helenstico, mas no se conhecem
maiores detalhes de sua vida (ele no tem qualquer parentesco com a dinastia dos
Ptolomeu, que governou o Egito aps a morte de Alexandre, o Grande, em 323 d.C.).
CORDAS 21
rossiunb@gmail.com
Em contraste com a maioria dos matemticos gregos, que consideravam suas disciplinas
como uma cincia pura e abstrata, Ptolomeu foi um pioneiro na matemtica aplicada.
Escreveu sobre astronomia, geografia, msica e possivelmente sobre ptica. Ele compilou
um catlogo estelar baseado no trabalho de Hiparco, em que lista e nomeia quarenta e oito
constelaes; esses nomes so utilizados ainda hoje. Em seu trabalho Geografia,
Ptolomeu usou sistematicamente a tcnica de projeo de mapas (um sistema de
mapeamento da esfera terrestre em uma folha plana), que Hiparco j havia apresentado;
seu mapa do mundo conhecido, com as linhas de latitude e longitude, era o mapa padro
utilizado at a Idade Mdia (fig. 10). Entretanto, Ptolomeu subestimou gravemente o
tamanho da Terra, rejeitando a estimativa correta de Eratstenes de que era muito maior
(veja captulo 5). Esse mapa acabou se tornando uma bno, para um empolgado
Colombo tentar uma viagem martima para o oeste, da Europa para a sia, uma
empreitada que culminou com a descoberta do Novo Mundo.

Fig. 10. Mapa-mndi de Ptolomeu.
O grande trabalho de Ptolomeu o Almagesto, um sumrio da astronomia
matemtica como era conhecida em seu tempo, baseada na suposio de que a Terra
estava esttica no centro do universo e os corpos celestes se moviam ao seu redor
descrevendo rbitas (sistema geocntrico). O Almagesto composto de treze partes
(livros), que recordam os treze livros dos Elementos de Euclides. As semelhanas vo
alm, pois as duas obras contm um pouco das descobertas de seus autores; em particular,
as duas so compndios de todo o conhecimento em suas respectivas reas e so baseadas
nos feitos de seus predecessores (no caso de Ptolomeu, principalmente Hiparco). Ambas
as obras exerceram influncia sobre geraes de pensadores; mas ao contrrio dos
Elementos, que ainda hoje so o corao da geometria clssica, o Almagesto perdeu muito
de sua influncia uma vez que o sistema heliocntrico de Coprnico foi aceito. Como
conseqncia, hoje menos conhecido que os Elementos uma infelicidade, pois o
Almagesto um modelo de exposio que serviria muito bem de modelo para escritores
modernos.
22 CAPTULO DOIS
A palavra Almagesto teve uma evoluo interessante: o ttulo original de
Ptolomeu, traduzido, era sntese matemtica, em que as geraes posteriores
acrescentaram o superlativo megiste (o maior, o incrvel). Quando os rabes traduziram
a obra para seu prprio idioma, eles pegaram a palavra megiste mas acrescentaram o
artigo al (O/A), e rapidamente se tornou conhecido como Almagesto.
5
Em 1175 a
verso rabe foi traduzida para o latim, e desde ento se tornou a pedra fundamental do
panorama geocntrico mundial; a obra iria dominar o pensamento cientfico e filosfico
da Europa at o sculo 16 e iria se tornar a Constituio da Igreja Romana.



De especial interesse para ns a tbua de cordas de Ptolomeu, que objeto de
estudo nos captulos 10 e 11 do primeiro livro do Almagesto. Sua tabela mostra o
comprimento de uma corda em um crculo como funo do ngulo central que lhe
subentendido (fig. 11) para ngulos de 0 a 180, em intervalos de meio grau.





Fig. 11. d = corda = 2r sen /2.

Com um pouco de ateno percebe-se que se trata essencialmente de uma tabela
de senos: chamando o raio de r, o ngulo central de , e o comprimento da corda de d,
teremos:

2
2

sen r d = (1)

Ptolomeu dividiu o dimetro do crculo em 120 unidades, o que deixou r = 60 (a razo
para essa escolha ser esclarecida mais frente). A equao (1) ento se torna
d = 120 sen /2. Ento, fora a constante de proporcionalidade 120, temos uma tabela de
valores de sen /2 e conseqentemente (dobrando o ngulo) de sen .
CORDAS 23
rossiunb@gmail.com

Fig. 12. Uma seo da tbua de cordas de Ptolomeu.

Para calcular sua tabela (tbua), Ptolomeu usou o sistema sexagesimal dos
babilnios, o nico sistema adequado em seu tempo para trabalhar com fraes (o sistema
decimal ainda estava a mil anos no futuro). Mas ele o usou em conjunto com o sistema
grego, em que a cada letra do alfabeto atribudo um valor numrico: = 1, = 2, e
assim por diante. Isso torna a leitura da tbua um tanto enfadonha, mas com um pouco de
prtica uma pessoa pode se tornar bastante hbil nessa tarefa (fig. 12). Por exemplo, para
um ngulo de 7 (expresso pela letra grega ), a tbua de Ptolomeu fornece uma corda
com comprimento de 7;19,33 (escrito como , as letras , , , e representando 10,
9, 30 e 3, respectivamente), que a notao moderna para o nmero sexagesimal
7 + 19/60 + 33/3.600 (o ponto-e-vrgula usado para separar a parte inteira do nmero de
sua parte fracionria, e a vrgula usada para separar as partes sexagesimais). Quando
escrito em nosso sistema decimal, o nmero aproximadamente igual a 7,32853; o
comprimento real da corda, arredondado na quinta casa decimal, 7,32852. Um feito
extraordinrio!
A tbua de Ptolomeu fornece o comprimento de uma corda com preciso de duas
casas sexagesimais, ou 1/3.600, o que suficiente para a maioria das aplicaes mesmo
em nossos dias. Alm disso, a tbua possui uma coluna de sexagsimos que permite
fazer a interpolao entre duas entradas sucessivas: isto fornece a mdia incremental no
comprimento da corda de uma entrada para outra, ou seja, o incremento dividido por 30
(o intervalo entre dois ngulos sucessivos, medido em minutos de arco).
6
Na construo
24 CAPTULO DOIS
de sua tbua, Ptolomeu usou as frmulas mencionadas anteriormente e relacionadas a
Hiparco, todas elas provadas no Almagesto.
7

Agora Ptolomeu mostra como a tbua pode ser usada para resolver qualquer
tringulo plano, em que pelo menos um lado conhecido. Conforme Hiparco, ele
considerou um tringulo inscrito em uma circunferncia. Mostraremos aqui o caso mais
simples, o do tringulo retngulo.
8







Fig. 13. Tringulo retngulo inscrito em uma
circunferncia.


Seja o tringulo retngulo ABC (fig. 13), reto em C. Sabemos que, pela geometria
elementar, a hipotenusa c = AB o dimetro da circunferncia que passa por A, B e C.
Denotando por O o centro da circunferncia (isto , o ponto mdio de AB), um conhecido
teorema diz que 2 2 = = BAC BOC . Suponha que a e c so dados. Primeiro
calculamos 2 e usamos a tbua para encontrar a corda correspondente; uma vez que a
tbua assume que c = 120, temos que multiplicar o comprimento pela razo c/120. Isto
nos d o lado a = BC. O lado remanescente, b = AC pode agora ser encontrado usando o
teorema de Pitgoras, e o ngulo ABC = pela equao =
o
90 . Paralelamente, se
dois lados so conhecidos, digamos a e c, calculamos a razo a/c, multiplicamos por 120,
e ento usamos a tbua de modo inverso para encontrar 2 e ento encontrar .
O procedimento pode ser resumido na frmula
2
120
corda
c
a = (2)

em que corda 2 o comprimento da corda cujo ngulo central 2 . Isto nos leva a
uma interessante observao: no sistema sexagesimal (base 60), multiplicar ou dividir por
120 equivalente a multiplicar ou dividir por 20 no sistema decimal: simplesmente
CORDAS 25
rossiunb@gmail.com
multiplicamos ou dividimos por 2 e deslocamos a vrgula uma casa para direita ou para a
esquerda, respectivamente. A equao (2) exige que ns dupliquemos o ngulo,
procuremos a corda correspondente, e faamos a diviso por 2. Fazer isso repetidas vezes
torna-se um trabalho enfadonho, de forma que seria uma questo de tempo at que
algum reduzisse esse trabalho tabulando metade da corda como uma funo do dobro do
ngulo, em outras palavras nossa moderna funo seno.
9
Este trabalho coube aos hindus.


NOTAS E FONTES

1
Como prova de que as relaes entre ngulos e segmentos de reta esto longe de ser simples, considere o
seguinte teorema: Se duas bissetrizes em um tringulo tm o mesmo comprimento, o tringulo
issceles. Parecendo enganosamente simples, esta prova pode iludir at mesmo matemticos experientes..
Veja H.S.M. Coxeter, Introduction to Geometry Introduo a Geometria (New York: John Wiley,
1969), pp. 9 e 420.
2
Para um bom resumo da astronomia babilnia, veja Otto Neugebauer, The Exact Sciences in Antiquity
As Cincias Exatas na Antigidade (1957; 2nd ed., New York: Dover, 1969), captulo 5.
3
Como citado em David Eugene Smith, History of Mathematics Histria da Matemtica (1925; rpt.
New York: Dover, 1958), vol. II, pp. 602-603.
4
Asger Aaboe, em Episodes from the Early History of Mathematics Episdios da Histria Antiga da
Matemtica (1964, New York: Random House, 1964) coloca seu nome como Klaudios Ptolemaios, mais
prxima da pronncia grega. Usei a grafia latina Ptolemaeus, mais comum.
5
Smith (History of Mathematics, vol. 1, p. 131) comenta que, como o prefixo al significa o ou a
(artigos), falar o Almagesto como falar o o-maior. Todavia, esse deslize to comum que resolvi
deix-lo aqui.
6
Esta coluna parecida com a coluna de partes proporcionais encontrada em tbuas de logaritmos.
7
Para uma completa discusso sobre como Ptolomeu construiu sua tbua, veja Aaboe, Episodes, pp.
112-126.
8
Os outros casos podem ser obtidos dividindo-se o tringulo em tringulos retngulos; veja ibid, pp.
107-11.
9
Torna-se claro no tringulo retngulo ABC (fig. 13), em que a = c sen . Comparando com a equao
(2), temos sen = (corda 2 )/120.

Plimpton 322: A Mais Antiga Tbua Trigonomtrica?

Enquanto os egpcios escreviam seus registros em papiros e madeira e os chineses
em cascas de madeira e bambu todos materiais perecveis os babilnios utilizaram
tabletes de argila, um meio virtualmente indestrutvel. O resultado que possumos um
nmero muito maior de textos babilnios que de qualquer outra civilizao, e nosso
conhecimento de sua histria suas campanhas militares, transaes comerciais e
realizaes cientficas muito mais rico.
Estima-se que 500.000 tabletes tenham chegado aos museus ao redor do mundo, e
entre eles h cerca de 300 que tratam de assuntos matemticos. Esses so de dois tipos:
textos-tabela e textos-problema, os ltimos tratando de uma variedade de problemas
algbricos e geomtricos. Os textos-tabela incluem tbuas de multiplicao e tbuas de
recprocos, juros compostos, e vrias seqncias numricas; eles provam que os
babilnios possuam considervel grau de conhecimento computacional (de clculo).
Um dos tabletes mais intrigantes a chegar at ns conhecido como Plimpton 322,
que tem esse nome por ser a pea de nmero 322 da Coleo G. A. Plimpton da
Universidade de Columbia, em Nova Iorque (fig. 14). Ele data do antigo perodo
babilnio da dinastia de Hamurabi, por volta de 1800-1600 a.C. Uma anlise cuidadosa
do texto revela que ele aborda os ternos pitagricos inteiros a, b, c tais que c
2
= a
2
+ b
2
;
exemplos desses ternos so (3, 4, 5), (5, 12, 13) e (16, 63, 65). Por causa do teorema de
Pitgoras ou mais precisamente, de seu inverso tais ternos podem ser usados para
formar tringulos retngulos de lados inteiros.


Fig. 14. Plimpton 322.
28 PLIMPTON 322
Infelizmente, o lado esquerdo do tablete foi danificado e parcialmente perdido,
mas vestgios de uma cola moderna foram encontrados na borda, provando que essa parte
quebrou aps o tablete ser descoberto, e um dia possvel que ainda seja encontrado em
algum mercado de antigidades. Graas a um meticuloso trabalho de pesquisa, o pedao
perdido foi parcialmente reconstrudo, e ns podemos ler agora a tbua com relativa
facilidade. Devemos lembrar, entretanto, que os babilnios usavam o sistema sexagesimal
(base 60) de numerao, e que no possuam um smbolo para o zero; conseqentemente,
os nmeros podem ser interpretados de diferentes maneiras, e o valor correto para
dgitos individuais tm que ser deduzidos do contexto.
O texto foi escrito em caracteres cuneiformes (forma de cunha), que foram
gravados em um tablete mido de argila por meio de estilos (estiletes). O tablete era ento
cozido em um forno ou seco ao sol at endurecer, para se tornar um registro permanente.
A tabela 1 reproduz o texto em notao moderna, na qual os dgitos sexagesimais
(expressos em notao decimal ordinria) so separados por vrgulas.

TABELA 1

NOTA: os nmeros entre colchetes foram reconstrudos.

So quatro colunas, sendo aquela mais direita fornece simplesmente a seqncia
numrica das colunas de 1 a 15. A segunda e a terceira colunas (contando da direita para a
esquerda) so intituladas resolvendo o nmero da diagonal e resolvendo o nmero do
comprimento, respectivamente; isto , elas fornecem o comprimento da diagonal e o
lado menor de um retngulo, ou ainda, os comprimentos da hipotenusa e de um dos lados
PLIMPTON 322 29
Traduo livre: rossiunb@gmail.com
de um tringulo retngulo. Vamos nomear essas colunas com as letras c e b,
respectivamente. Como exemplo, a primeira linha tem as entradas b = 1,59 e c = 2,49, o
que representa os nmeros 1 x 60 + 59 = 119 e 2 x 60 + 49 = 169. Um clculo rpido
ento nos dar o outro lado do tringulo como sendo a = (169
2
- 119
2
) = 120; assim, o
terno (119, 120, 169) um terno pitagrico. Novamente, na terceira linha lemos
b = 1,16,41 = 1 x 60
2
+ 16 x 60 + 41 = 4601 e c = 1,50,49 = 1 x 60
2
+ 50 x 60 + 49 =
6649; Logo, a = (6649
2
- 4601
2
) = 4800, obtendo o terno (4601, 4800, 6649).
A tbua contm alguns erros bvios. Na linha 9 encontramos b = 9,1 = 9 x 60
+ 1 = 541 e c = 12,49 = 12 x 60 + 49 = 769, que no formam um terno pitagrico (o
terceiro nmero a no seria um inteiro). Mas se substituirmos 9,1 por 8,1 = 481,
conseguiremos o terno (481, 600, 769). Isto parece ser apenas um erro de digitao: o
escriba deve ter se distrado momentaneamente e feito nove marcas na argila ainda mole,
em vez de oito; e uma vez secado ao sol, seu descuido passou a ser parte da histria
registrada. Mais uma vez, na linha 13 temos b = 7,12,1 = 7 x 60
2
+ 12 x 60 + 1 = 25.921 e
c = 4,49 = 4 x 60 + 49 = 289, que no formam um terno pitagrico; mas podemos
observar que 25.921 o quadrado de 161, e os nmeros 161 e 289 formam de fato o terno
(161, 240, 289). Parece que o escriba se esqueceu completamente de extrair a raiz
quadrada de 25921. E na linha 15 encontramos c = 53, enquanto o correto seria o dobro
desse nmero, ou 106 = 1,46, produzindo o terno (56, 90, 106).
1
Esses erros nos deixam
com a sensao de que a natureza humana no mudou nos ltimos 4.000 anos: nosso
escriba annimo no foi mais culpado pela negligncia cometida do que um estudante
implorando a seu (sua) professor(a) para ignorar um errinho bobo na prova.
2

A coluna mais esquerda a mais intrigante de todas. Seu cabealho menciona
novamente a palavra diagonal, mas o significado exato do restante do texto no est
completamente claro. Entretanto, aps examinar as entradas, um fato impressionante vem
tona: esta coluna fornece o quadrado da razo (c/a), isto , o valor de cossec
2
, onde
o ngulo oposto ao lado a. Vamos fazer a verificao para a linha 1. Temos b = 1,59 =
119 e c = 2,49 = 169. Ento (c/a)
2
= (169/120)
2
= 1,983, arredondado para trs casas
decimais. A entrada correspondente na coluna 4 1,59,0,15 = 1 + 59 x (1/60) + 0 x
(1/60
2
) + 15 x (1/60
3
) = 1,983. (Devemos observar mais uma vez que os babilnios no
usavam um smbolo para uma casa vazia nosso zero e ento um nmero poderia ser
interpretado de diferentes maneiras; a interpretao correta deveria ser deduzida do
contexto. No exemplo dado, assumimos que o primeiro 1 correspondia parte inteira e
no aos sexagsimos). O leitor poder checar outras entradas nessa coluna e confirmar
que elas so iguais a (c/a)
2
.
Muitas questes surgem: a ordem das entradas na tbua aleatria ou segue algum
padro oculto? Como os babilnios encontraram esses nmeros em particular que formam
ternos pitagricos? E por que eles estavam interessados nesses nmeros
especificamente, na razo (c/a)
2
em primeiro lugar? A primeira questo relativamente
fcil de responder: se comparados os valores de (c/a)
2
linha por linha, descobrir-se- que
eles decrescem de 1,983 at 1,387, ao que parece bastante razovel que a ordem das
30 PLIMPTON 322
entradas seja determinada por essa seqncia. Alm disso, se computarmos a raiz
quadrada de cada entrada na coluna 4 isto , a razo c/a = cossec e ento
encontrarmos o correspondente ngulo , descobriremos que cresce constantemente de
45 a 58. Ento parece que o autor de nosso texto no estava interessado somente em
encontrar ternos pitagricos, mas tambm em determinar a razo c/a nos tringulos
retngulos correspondentes. A hiptese poder um dia ser confirmada se o fragmento
perdido do tablete surgir, e contiver as colunas perdidas de a e c/a.
Para saber como os ternos pitagricos foram encontrados, existe uma nica
explicao plausvel: os babilnios deviam conhecer o algoritmo para gerar esses ternos.
Sejam u e v dois inteiros positivos tais que u > v; ento os trs nmeros
a = 2uv b = u
2
v
2
c = u
2
+ v
2
(1)

formam um terno pitagrico. (se alm disso, exigirmos que u e v tenham paridade mpar
um par e outro mpar e que no tenham nenhum fator em comum, ento (a, b, c) um
terno pitagrico primitivo. fcil confirmar que os nmeros a, b e c dados pela equao
(1) satisfazem a equao c
2
= a
2
+ b
2
; o inverso desta afirmativa de que todos ternos
pitagricos podem ser encontrados desta maneira provado em um curso comum de
Teoria dos Nmeros. Plimpton 322 ento nos mostra que os babilnios no eram apenas
familiarizados com o teorema de Pitgoras mil anos antes de Pitgoras, mas tambm
sabiam rudimentos de Teoria dos Nmeros e tinham os recursos para colocar a teoria na
prtica.
3


NOTAS E FONTES
(O material usado nesta seo baseado em Otto Neugebauer, The Exact Sciences in
Antiquity As Cincias Exatas na Antigidade (1957; rpt. New York: Dover, 1969),
chap. 2; veja tambm Howard Eves, An Introduction to the History of Mathematics
Introduo a Histria da Matemtica (Fort Worth: Sauders College Publishing, 1992),
pp. 44-47.).

1
Este, contudo, no um terno pitagrico primitivo, pois pode ser reduzido ao terno (28, 45, 53), mais
simples; os dois ternos representam tringulos semelhantes.
2
Um quarto erro ocorre na linha 2, onde o nmero 3,12,1 deveria ser 1,20,25 produzindo o terno (3367,
3456, 4825). Este erro permanece inexplicado.
3
Para saber como os babilnios utilizavam esses recursos, veja Neugebauer, Exact Sciences, pp. 39-42.

3
Seis Funes Adultas

muito difcil descrever com certeza o incio da
trigonometria... Geralmente se diz que primeiramente
havia uma nfase na astronomia, depois na
trigonometria esfrica, e finalmente na trigonometria
plana.
- Barnabas Hugues, Prlogo ao trabalho Sobre
Tringulos, de Regiomontanus.



Um antigo tratado hindu de astronomia, a Surya Siddhanta (circa 400 d.C.),
fornece uma tbua com meias-cordas baseada na tbua de Ptolomeu (fig. 15). Mas o
primeiro trabalho a se referir explicitamente ao seno como funo de um ngulo a
Aryabhatya de Aryabhata (circa 510 d.C.), considerado o primeiro tratado hindu de
matemtica pura.
1
Neste trabalho, Aryabhata (tambm conhecido como Aryabhata, o
sbio; nascido em 475 ou 476, falecido por volta de 550)
2
usava a palavra ardha-jya para
a meia corda, que s vezes se tornava jya-ardha (corda-metade); em pouco tempo ele
abreviou para jya ou jiva.
Aqui comea uma interessante evoluo etimolgica que leva nossa palavra
moderna seno. Quando os rabes traduziram a Aryabhatiya para seu prprio idioma,
eles mantiveram a palavra jiva no original, sem traduo de seu significado. Em rabe
assim como em hebraico as palavras geralmente so compostas apenas de consoantes, e
a pronncia das vogais ocultas fica conhecida pelo uso comum. Ento jiva poderia
tambm ser pronunciada como jiba ou jaib, e jaib em rabe significa seio, dobra ou baa.
Quando a verso rabe foi traduzida para o latim, jaib foi traduzida como sinus, que
significa seio, dobra ou curva (em mapas lunares, regies que lembram uma baa ainda
so descrita como sinus). Encontramos a palavra sinus nos escritos de Gerardo de
Cremona (circa 1114-1187), que traduziu muitos dos antigos trabalhos gregos, incluindo
o Almagesto, do rabe para o latim. Outros escritores continuaram, e logo a palavra sinus
ou seno na verso em portugus tornou-se comum nos textos matemticos atravs da
Europa. A abreviao sin foi usada pela primeira vez por Edmund Gunter (1581-1626),
um ministro ingls que se tornou professor de astronomia no Gresham College em
Londres. Em 1624 ele inventou um dispositivo mecnico, a escala Gunther, para
clculos com logaritmos um precursor da conhecida rgua de clculo e a notao sin
(bem como tan) apareceu pela primeira vez em um desenho descrevendo seu trabalho.
3

32 CAPTULO TRS

Fig. 15. Uma pgina da Surya Siddhanta.

Notaes matemticas freqentemente tomam rumos inesperados. Na mesma
poca em que Leibniz se ops ao uso por William Ougthred do smbolo para indicar
multiplicao (por causa de sua semelhana com a letra x), Carl Friedrich Gauss (1777-
1855) se ops notao sen
2
para o quadrado de sen

:
sen
2
odioso para mim, ainda que Laplace tenha feito uso disso; deveria haver o receio
de que sen
2
possa se tornar ambguo, o que no deveria ocorrer nunca... escrevamos
ento (sen

)
2
, mas no sen
2
, que por analogia poderia significar sen (sen

).
4

No obstante a objeo de Gauss, a notao sen
2
sobreviveu, mas sua preocupao com
a confuso com sen (sen

) no era sem razo: hoje as aplicaes repetidas de uma funo
para diferentes valores iniciais so objeto de pesquisa ativa, e expresses como
sen (sen ... (sen ) ... )) aparecem rotineiramente na literatura matemtica.
As outras cinco funes trigonomtricas tm uma histria mais recente. A funo
cosseno, qual hoje dedicamos a mesma importncia que funo seno, surgiu
primeiramente da necessidade de se calcular o seno de ngulos complementares.
SEIS FUNES ADULTAS 33
Traduo livre: rossiunb@gmail.com

Aryabhata os chamou de kotijya e os usou de modo muito parecido como se usavam as
tbuas trigonomtricas modernas (at as calculadoras portteis tornarem-nas obsoletas),
colocando na mesma coluna os senos dos ngulos de 0 a 45 e os cossenos dos ngulos
complementares. O nome cosseno originou-se de Edward Gunter: ele escreveu co.sinus,
que depois foi modificado para cossinus por John Newton (1622-1678), um professor e
autor de livros de matemtica (nenhum parentesco com Isaac Newton) em 1658. A
notao abreviada cos foi usada pela primeira vez em 1674 por Sir Jonas Moore
(1617-1679), um matemtico ingls.
As funes secante e cossecante surgiram algum tempo mais tarde. Foram
mencionadas pela primeira vez, sem nomes especiais, nos trabalhos do estudioso rabe
Abul-Wefa (940-998), que foi tambm um dos primeiros a construir uma tbua de
tangentes; mas foram de pouco uso at que as tbuas de navegao foram construdas no
sculo 15. A primeira tbua de secantes impressa apareceu no trabalho Canon Doctrinae
Triangulorum (Leipzig, 1551) de Georg Joachim Rhticus (1514-1576), que estudou com
Coprnico e se tornou seu primeiro discpulo; neste trabalho todas as seis funes
trigonomtricas aparecem pela primeira vez. A notao sec foi sugerida em 1626 pelo
matemtico francs Albert Girard (1595-1632), que passou a maior parte de sua vida na
Holanda. (Girard foi o primeiro a compreender o significado de razes negativas em
problemas geomtricos; ele tambm supunha que um polinmio tinha tantas razes quanto
seu grau, e foi um dos primeiros defensores do uso dos parnteses em lgebra.) Para
sec A ele escreveu
sec
A , com notao similar para tan A, mas para sen A e cos A ele
escreveu A e a, respectivamente.
As razes da tangente e cotangente, como vimos, se originaram do gnmon e da
sombra calculada. Mas o tratamento dessas razes como funes de um ngulo comeou
com os rabes. A primeira tbua de tangentes e cotangentes foi construda por volta de
860 por Ahmed ibn Abdallah al-Mervazi, comumente o conhecido como Habash al-Hasib
(o calculista), que escreveu sobre astronomia e instrumentos astronmicos.
5
O
astrnomo al-Battani (conhecido na Europa como Albategnius; nascido em Battan,
Mesopotmia, circa 858, falecido em 929) criou uma regra para encontrar a elevao do
sol acima do horizonte em termos do comprimento s da sombra projetada por um gnmon
vertical de altura h. sua frmula (circa 920),

sen
sen h
s
) 90 (
=


equivalente frmula s = cot . Observe que nessa expresso ele utilizou somente a
expresso seno, as outras funes no eram conhecidas por um nome. (Foi por meio do
trabalho de al-Battani que a funo de meia-corda dos hindus nosso seno moderno e
tornou conhecida na Europa.) Baseado nessa regra, ele construiu uma tbua de sombras
essencialmente uma tbua de cotangentes para cada grau de 1 a 90.
34 CAPTULO TRS
O nome moderno tangente no havia feito sua estria at 1583, quando Thomas
Fincke (1561-1646), um matemtico holands, o utilizou em seu Geometria Rotundi; at
ento os escritores europeus usavam os termos tirados da projeo da sombra:
umbra recta (sombra reta) para a sombra horizontal projetada por um gnmon vertical,
e umbra versa (sombra reversa) para a sombra horizontal projetada por um gnmon
preso a uma parede. A palavra cotangens (sic) foi primeiro usada por Edmund Gunter
em 1620. Vrias abreviaes foram sugeridas para essas funes, entre as quais t e t co
por William Oughtred (1657) e T e t por John Wallis (1693). Mas o primeiro a usar
consistentemente tais abreviaturas foi Richard Norwood (1590-1665), um matemtico e
pesquisador ingls; em um trabalho de trigonometria publicado em Londres em 1631 ele
escreveu: Nesses exemplos s ser usado para seno: t para tangente: sc para complemento
do seno [isto , o cosseno]: tc para complemento da tangente: sec para secante.
Observamos que mesmo hoje no existe conformidade em relao a notaes, e textos
europeus freqentemente usam tg para tangente e ctg para cotangente.
A palavra tangente vem do latim tangere, tocar; sua associao com a funo
tangente pode ter sua origem na seguinte observao: em uma circunferncia com centro
em O e raio r (fig. 16), seja AB a corda subentendida pelo ngulo central 2, e OQ a
bissetriz deste ngulo. Trace uma linha paralela a AB e que seja tangente circunferncia
em Q, e prolongue OA e OB at intersectar esta linha em C e D, respectivamente. Temos
sen r AB 2 = , tan 2r CD = ,
mostrando que a funo tangente relacionada linha tangente assim como a funo seno
relacionada com a corda. De fato, essa construo forma a base das seis funes
trigonomtricas no crculo unitrio.






Fig. 16. AB = 2r sen , CD = 2r tan


SEIS FUNES ADULTAS 35
Traduo livre: rossiunb@gmail.com



Por meio das tradues rabes dos clssicos gregos e hindus, o conhecimento de
lgebra e trigonometria se difundiu gradualmente pela Europa. No sculo 8, a Europa foi
apresentada aos numerais hindus nosso sistema decimal moderno atravs dos escritos
de Mohammed ibn Musa a-Khowarizni (circa. 780-840). O ttulo de seu grande trabalho
ilm al-jabr wal muqabalah (a cincia da reduo e do cancelamento) foi transliterado
em nossa palavra moderna lgebra e seu nome acabou se desenvolvendo nas palavras
algarismo e algoritmo. O sistema indo-arbico no foi aceito de imediato pelo
pblico, que preferiu aderir aos antigos numerais romanos. Os estudiosos, entretanto,
falavam das vantagens do novo sistema e o defendiam com entusiasmo, e as disputas
entre os abacistas, que calculavam com o bom e velho baco, e os algoristas, que
faziam o mesmo simbolicamente com papel e caneta, tornou-se um lugar-comum na
Europa Medieval.
Foi principalmente por causa da exposio de Leonardo Fibonacci dos numerais
indo-arbicos em seu trabalho Liber Abaci (1202) que o sistema decimal finalmente
encontrou seu lugar na Europa. As primeiras tbuas trigonomtricas usando o novo
sistema foram calculadas por volta de 1460 por Georg Von Peuerbach (1423-1461). Mas
foi seu discpulo Johann Mller (1436-1476), conhecido como Regiomontanus (porque
ele nasceu na cidade de Knigsberg, que em alemo significa a montanha do rei) quem
escreveu o primeiro tratado geral de trigonometria atualizado. Em seu De triangulis
omnimodis libri quinque (sobre tringulos de todo tipo em cinco livros, circa 1464)
6
ele
desenvolveu o assunto comeando com conceitos bsicos de geometria e chegando
definio da funo seno; ele ento mostrou como resolver qualquer tringulo plano ou
esfrico usando tanto o seno de um ngulo quanto o seno de seu complemento (o
cosseno). A lei dos senos expressa aqui de forma verbal, e a regra para encontrar a
rea de um tringulo, A = (ab sen )/2. Curiosamente a funo tangente est ausente,
possivelmente porque o foco principal do trabalho a trigonometria esfrica, em que a
funo seno dominante.
De triangulis foi o mais influente trabalho de trigonometria de seu tempo; uma
cpia dele chegou a Coprnico, que o estudou a fundo (veja pg. 40). Todavia, mais um
sculo se passaria at que a palavra trigonometria aparecesse no ttulo de um livro. Esta
honra coube a Bartholomus Pitiscus (1561-1613), um clrigo alemo cujo interesse
principal era a matemtica. Seu livro, Trigonometriae sive de dimensione triangulorum
libri quinque (Sobre trigonometria, ou, sobre as propriedades dos tringulos, em cinco
livros), apareceu em Frankfurt em 1595. Isto nos leva ao incio do sculo 17, quando a
trigonometria comeou a tomar as caractersticas analticas que permaneceriam desde
ento.


36 CAPTULO TRS
NOTAS E FONTES

1
The Aryabhatiya of Aryabhata: An Ancient Indian Work on Mathematics and Astronomy, traduzido para o
ingls por Walter Eugene Clark (Chicago: University of Chicago Press, 1930). Neste trabalho (p. 28) o
valor de dado como 3,1416; ele est expresso de forma verbal como uma srie de instrues
matemticas, uma caracterstica comum da matemtica hindu. Veja tambm David Eugene Smith, History
of Mathematics Histria da Matemtica, (1925; rpt. New York: Dover, 1953), vol. 1, pp. 153-156, e
George Gheverghese Joseph, The Crest of the Peacock: Non-European Roots of Mathematics A Crista
do Pavo Razes da Matemtica Fora da Europa (Harmondsworth, U.K.: Penguin Books, 1991), pp. 265-
266.
2
Em 1975 a ndia batizou seu primeiro satlite com seu nome.
3
Para uma histria detalhada da notao trigonomtrica, veja Florian Cajori, A History of Mathematical
Notations Histria das Notaes Matemticas, (1929; rpt. Chicago: Open Court, 1952) vol. 2, pp. 142-
179; veja tambm Smith, History of Mathematics, vol. 2, pp. 618-619 e 621-623. Uma lista dos smbolos
trigonomtricos, com seus autores e datas, pode ser encontrada em Vera Sanford, A Short History of
Mathematics Breve Histria da Matemtica (1930; rpt. Cambridge, Mass. Houghton Mifflin, 1958),
p. 298.
4
Correspondncia entre Gauss e Schumacher, como citado em Robert Edouard Moritz, On Mathematics
and Mathematicians (Memorabilia Mathematica) Sobre Matemtica e Matemticos, (1914; rpt. New
York: Dover, 1942), p. 318
5
Smith, History of Mathematics, vol. 2, pp. 620; Cajori, entretanto, credita a al-Battani a construo da
primeira tbua de cotangentes (A History of Mathematics Histria da Matemtica, (1893, 2nd ed., New
York: McMillian, 1919, p. 105).
6
Traduo para o ingls com introduo e notas de Barnabas Hughes (Madison: University of Wisconsin
Press, 1967).

Johann Mller, codinome Regiomontanus

No uma coincidncia que a trigonometria at o sculo 16 tenha sido
desenvolvida principalmente pelos astrnomos. Aristarco e Hiparco, que fundaram a
trigonometria como um ramo distinto da matemtica, eram astrnomos, como era
Ptolomeu, o autor do Almagesto. Durante a Idade Mdia, astrnomos rabes e hindus,
notavelmente Abul-Wefa, al-Battani, Aryabhata e Ulugh Beg de Samarcanda (1393-
1449), absorveram a herana matemtica grega e a expandiram enormemente,
especialmente a trigonometria esfrica. E quando essa herana combinada passou pela
Europa, foi novamente um astrnomo quem estava na vanguarda: Johann Muller (veja
fig. 17).
Muller nasceu em Unfinden, prximo cidade de Knigsberg, na baixa Francnia,
em 1436 (esta no a Knigsberg mais famosa hoje Kaliningrado na Prssia
Oriental). Diferentes verses de seu nome sobreviveram: Johannes Germanus (porque ele
era alemo germnico), Johannes Francus (porque a Francnia era conhecida tambm
como Frana Oriental), e Johann von Kunsperk, em homenagem cidade de Knigsberg.
Mantendo a prtica dos estudiosos de seu tempo ele adotou um nome latino, Regio
Monte, uma traduo literal da palavra alem Knigsberg (a montanha do rei), e em
pouco tempo ficou conhecido como Regiomontanus. Mesmo esse nome, entretanto, existe
em vrias verses: o cientista francs Pierre Gassendi (1592-1655), que escreveu a
primeira biografia definitiva de Regiomontanus, refere-se a ele como Joannes de Monte
Regio, que tem uma sonoridade bem francesa.
1

Regiomontanus passou seus primeiros anos estudando em casa. Com doze anos,
seus pais o mandaram para Leipzig para iniciar sua educao formal, e aps a formatura
se mudou para Viena, recebendo o grau de bacharel desta Universidade aos quinze anos.
L conheceu o matemtico e astrnomo Georg von Peurbach (1423-1461), com quem
estabeleceu estreita amizade. Peuerbach estudou com o cardeal Nicolas de Cusa (1401-
1464), mas rejeitava a idia corrente de que a Terra deveria girar ao redor do sol. Ele era
um admirador de Ptolomeu e planejava publicar uma verso correta do Almagesto,
baseado nas tradues latinas existentes. Ele tambm tomou para si a responsabilidade de
preparar uma nova e mais precisa tbua de senos, usando os recm-adotados numerais
indo-arbicos. O jovem Regiomontanus logo se viu sob a influncia de Peuerbach, e a
ligao entre eles praticamente passou a ser de pai para filho. Mas ento Peuerbach
morreu repentinamente, antes de completar 38 anos. Sua morte prematura deixou seus
trabalhos incompletos e seu discpulo em estado de choque.
Em seu leito de morte Peuerbach confiou a seu aluno a tarefa de completar a
traduo do Almagesto. Isto se tornou uma promessa sagrada para o rfo estudante,
escreveu Gassendi em sua biografia de Regiomontanus.
2


38 JOHANN MLLER





Fig. 17. Uma representao de Regiomontanus

Regiomontanus dedicou-se completamente tarefa, aprendendo grego, para que pudesse
ler Ptolomeu no original. No decurso de seu trabalho, ele se interessou por antigos
manuscritos gregos e latinos, e os adquiria onde quer que fosse; entre seus trofus estava
um manuscrito incompleto de Diofanto, descoberto por ele em 1464. Ele mantinha
amizade com muitos estudiosos, entre eles um cretense, George de Trebizond (Georgius
Trapezuntios, 1396-1486), uma autoridade em Ptolomeu que traduziu o Almagesto e os
comentrios de Teon para o latim. A amizade, todavia, azedou quando Regiomontanus
criticou Trebizond por srios erros em sua interpretao dos comentrios, chamando-o de
o mais imprudente e distorcido tagarela.
3
Essas palavras, por sua vez, teriam
conseqncias terrveis.
Suas vrias viagens o levaram Grcia e Itlia, onde ele visitou Pdua, Veneza e
Roma. Foi em Veneza, em 1464, que ele terminou o trabalho pelo qual mais comumente
lembrado, Sobre Tringulo de Todo Tipo (veja adiante). Alm de todas essas atividades,
Regiomontanus era tambm um astrlogo praticante, no vendo nenhuma contradio
entre esta atividade e seu trabalho cientfico (o grande astrnomo Johann Kepler faria o
mesmo dois sculos mais tarde). Por volta de 1467 ele foi convidado pelo rei Matias
Hunyadi Corvino da Hungria para trabalhar como bibliotecrio na recm fundada
biblioteca real de Budapeste; o rei, que acabava de retornar vitorioso de uma guerra com
os turcos e trazia consigo alguns livros raros como esplio de guerra, encontrou em
Regiomontanus o homem ideal para se encarregar desses tesouros. Logo aps a chegada
de Regiomontanus, o rei caiu doente, e seus conselheiros previam sua iminente morte.
Regiomontanus, entretanto, usou suas habilidades astrolgicas para diagnosticar a
doena como uma mera fraqueza do corao causada por um recente eclipse! Surpreso e
agradecido, o rei recuperou-se e concedeu muitas recompensas a Regiomontanus.

JOHANN MLLER 39
Traduo livre: rossiunb@gmail.com

Regiomontanus retornou sua terra natal em 1471 e se estabeleceu em
Nuremberg, perto do local de seu nascimento. Esta cidade, conhecida por sua longa
tradio em ensino e comrcio, havia acabado de abrir uma grfica, e Regiomontanus viu
as oportunidades que isso ofereceria para a divulgao de trabalhos escritos sobre cincia
(havia poucos anos que Johann Gutemberg tinha inventado a imprensa de tipos mveis).
Ele fundou sua prpria grfica e estava pronto para embarcar em um ambicioso projeto de
impresso de manuscritos cientficos, mas esses planos foram cortados por sua morte
repentina. Ele havia fundado tambm um observatrio astronmico, equipado com os
melhores instrumentos que os afamados artesos de Nuremberg puderam produzir; isso
inclua esferas armilares
4
e dispositivos para medir distncias angulares entre objetos
celestiais.
Regiomontanus foi o primeiro a publicar livros de matemtica e astronomia para
uso comercial. Em 1474 ele imprimiu suas Efemrides, tbuas listando a posio do sol,
da lua e de planetas, para cada dia entre 1475 e 1506. Este trabalho trouxe-lhe grande
aclamao; Cristvo Colombo tinha uma cpia dele em sua quarta viagem ao Novo
Mundo, e a usou para prever o famoso eclipse lunar de 29 de fevereiro de 1504. Os
nativos recusaram-se por um tempo a fornecer gua e comida aos homens de Colombo, e
ele os advertiu que Deus poderia puni-los e retirar a luz da lua. Sua advertncia foi
inicialmente ridicularizada, mas quando na hora apontada o eclipse comeou, os nativos
aterrorizados imediatamente se arrependeram e se submeteram.
Em 1475 o Papa Sisto IV convocou Regiomontanus a Roma para ajudar na
reviso do velho calendrio juliano, que estava muito fora de sintonia com as estaes do
ano. Relutantemente, ele deixou suas muitas responsabilidades e viajou para a Cidade
Eterna. E l, em 6 de julho de 1476, ele morreu subitamente, um ms aps eu
quadragsimo aniversrio. A causa de sua morte no conhecida: alguns atribuem a uma
peste, outras passagem de um cometa. Existem, entretanto, rumores persistentes de que
Regiomontanus tenha sido envenenado pelos filhos de Trebizond, que nunca esqueceram
suas crticas acentuadas traduo de seu pai dos comentrios de Teon no trabalho de
Ptolomeu.
5
Quando a notcia de sua morte tornou-se conhecida, Nuremberg entrou em
luto oficial.
6




O trabalho mais influente de Regiomontanus seu De triangulis omnimodis
(Sobre tringulos de todo tipo), um trabalho dividido em cinco partes (livros),
modelado como os Elementos de Euclides (fig. 18). Nesse trabalho ele organizou de
forma sistemtica a herana do conhecimento de trigonometria dos estudiosos rabes e
hindus. O Livro I comea com a definio de conceitos bsicos: quantidade, razo,
igualdade, crculo, arco e corda.
40 JOHANN MLLER





Fig. 18. Capa de Sobre Tringulos de Todo Tipo
(Nuremberg, 1533).

A funo seno introduzida de acordo com a definio hindu: Quando o arco e sua
corda so bipartidos, chamamos a meia corda de seno direto do meio-arco. Logo depois
vem uma lista de axiomas, seguido por cinqenta e seis teoremas que tratam de soluo
geomtricas para tringulos planos. Muito deste material trata mais de geometria do que
de trigonometria, mas o teorema 20 apresenta o uso da funo seno para resolver um
tringulo retngulo.
Trigonometria propriamente dita comea no Livro II, com o enunciado da lei dos
senos; assim como todas as outras regras, ela definida de forma literal, sem uso de
smbolos, mas a formulao to clara como a de qualquer livro-texto que encontramos
hoje. A lei dos senos usada para resolver os casos ALA (um lado e dois ngulos) e LAL
(dois lados e um ngulo) de um tringulo oblquo. Aqui aparece pela primeira vez, mas de
forma implcita, a frmula da rea de um tringulo em termos de dois lados e do ngulo
que eles formam: Se a rea de um tringulo for dada, juntamente com o produto escalar
de dois lados, ento ou o ngulo oposto base se tornar conhecido, ou [aquele ngulo]
juntamente [com seu] ngulo [exterior] ser igual a dois ngulos retos.
7
Em formulao
moderna isso quer dizer que da frmula A = (bc sen )/2 pode-se encontrar tanto quanto
(180 - ) se a rea A e o produto de dois lados b e c forem dados. Estranhamente,
Regiomontanus nunca usou a funo tangente, embora lhe fosse familiar a tbua de
tangentes de Peuerbach de 1467 e, claro, o uso desta pelos rabes, em conjunto com a
projeo de sombras.
8


JOHANN MLLER 41
Traduo livre: rossiunb@gmail.com

Os trs livros restantes tratam de geometria esfrica e trigonometria, ambas
ferramentas necessrias astronomia. Como expresso em sua introduo, o principal
objetivo de Regiomontanus em Sobre Tringulos foi prover uma introduo matemtica
astronomia. Com palavras que parecem ter sido retiradas de um texto moderno, ele alerta
seus leitores para que estudem cuidadosamente o livro, pois o entendimento do assunto
tratado um pr-requisito para o conhecimento dos cus:
Voc, que pretende estudar assuntos grandiosos e maravilhosos, que tem curiosidade
sobre o movimento das estrelas, necessita ler estes teoremas sobre tringulos... Pois
ningum pode ignorar a cincia dos tringulos e alcanar um conhecimento satisfatrio
das estrelas... O aluno iniciante no deve se assustar, nem se desesperar... E se algum
teorema vier a apresentar alguma dificuldade, poder sempre consultar os exemplos
numricos como auxlio.
9

Regiomontanus terminou de escrever Sobre Tringulos em 1464, mas o trabalho
no foi publicado at 1533, mais de meio sculo aps sua morte. Por meio de Georg
Joachim Rhticus (1514-1576), o principal astrnomo matemtico na Alemanha durante
a primeira metade do sculo 16, o trabalho chegou at Nicolau Coprnico (1473-1543).
Rhticus visitou Coprnico em 1539 e se tornou seu primeiro discpulo; apesar de
Rhticus ser cerca de quarenta anos mais jovem que Coprnico, os dois estudaram juntos,
com o primeiro ensinando matemtica ao segundo. (Foi devido insistncia de Rhticus
que Coprnico finalmente concordou em publicar seu grande trabalho, De revolutionibus,
no qual ele expem seu sistema heliocntrico.) Ele presenteou Coprnico com uma cpia
autografada de Sobre Tringulos, que o grande mestre estudou com afinco; esta cpia
sobreviveu e traz nas margens numerosas anotaes manuscritas de Coprnico.
10
Mais
tarde, Tycho Brahe (1546-1601), o grande observador astronmico holands, usou o
trabalho como base para calcular a posio da famosa nova em Cassiopia, cuja apario
em 1572 ele teve a felicidade de testemunhar. O trabalho de Regiomontanus se tornou
ento o alicerce matemtico que ajudou os astrnomos a modelar nossa nova viso do
Universo.



Em 1471, Regiomontanus props o seguinte problema em uma carta a Christian
Roder, um professor da Universidade de Erfurt: Em que ponto no cho uma estaca
perpendicular suspensa parece maior [isto , subentende o maior ngulo visual
possvel]? Este considerado o primeiro problema de extremos na histria da
matemtica desde a Antigidade.
11



42 JOHANN MLLER



Fig. 19. Problema de mximos de
Regiomontanus: a que distncia x o segmento
AB subentende o maior ngulo ?

Na figura 19 seja a estaca representada pelo segmento de reta vertical AB. Seja
OA = a, OB = b e OP = x, em que P o ponto no solo no qual o ngulo BPA =
mximo. Seja OPA = , OPB = . Temos




cot cot
1 cot cot
) cot( cot

+
= =


a x b x
b x a x
/ /
1 ) / )( / (

+
=


x b a
ab
b a
x
) (
+

=


Poderamos estar inclinados a diferenciar esta expresso, a fim de encontrar o
valor de x que a minimiza (uma vez que cot diminui para 0 < < 90, o mximo valor
de significa o mnimo valor de cot ). Mas Regiomontanus viveu duzentos anos antes da
inveno do Clculo, ento vamos nos restringir aos mtodos elementares. Vamos usar
um teorema de lgebra que diz: a mdia aritmtica de dois nmeros positivos u e v nunca
ser menor que sua mdia geomtrica, e as duas mdias sero iguais se, e somente se, os
dois nmeros forem iguais. Simbolicamente, uv v u + 2 / ) ( , com a igualdade
acontecendo somente se u = v.
12
Colocando u = x/(a-b), v = ab/(a-b)x, temos

uv v u 2 cot + =


b a
ab
x b a
ab
b a
x

=
2
) (
2


em que a igualdade ocorre se, e somente se, x/(a-b) = ab/(a-b)x, isto , quando ab x = .
O ponto pedido est localizado a uma distncia igual mdia geomtrica entre as alturas
do ponto inicial e do ponto final da estaca, medidas verticalmente a partir do solo.

JOHANN MLLER 43
Traduo livre: rossiunb@gmail.com




Fig. 20. Soluo geomtrica do problema de
Regiomontanus.

Este resultado fornece uma interessante interpretao geomtrica. Usando rgua e
compasso, construa a circunferncia passando por A e B e tangente horizontal (fig. 20).
Um conhecido teorema diz que OA.OB = (OP)
2
, isto , ab = x
2
e conseqentemente
ab x = . Paralelamente, podemos facilmente nos convencer de que a circunferncia que
passa por A, B e o ponto P procurado, deve ser tangente horizontal; para isso, intersecte
a horizontal em dois pontos R e S (fig. 21), e o ngulo subentendido em qualquer ponto P
entre R e S dever ser maior que o ngulo em R ou S (com P sendo agora um ponto
interior do crculo), de forma que suposto que o ngulo em P seja mximo. Assim, o
problema de Assim, o problema de Regiomontanus pode ser solucionado por uma simples
construo geomtrica.
13




Fig. 21. Prova da soluo geomtrica.

Podemos apenas especular o que estimulou Regiomontanus a propor esse
problema. Ele pode ter se originado de um problema de arquitetura ou perspectiva:
encontrar a posio mais favorvel para observar uma janela de uma construo alta.
Perspectiva a tcnica de desenhar objetos de acordo com sua aparncia para os olhos
era ento uma novidade, introduzida pelos renascentistas italianos Filippo Brunelleschi
(1377-1446) e Leone Battista Alberti (1404-1472). (O afamado artista Albrecht Drer, o
44 JOHANN MLLER
maior autor em perspectiva, nasceu em Nuremberg no ano em que Regiomontanus se
estabeleceu por l.) Esta rapidamente se tornou a doutrina central das artes, e a
justaposio de duas disciplinas aparentemente alheias uma outra arte e geometria
estava em sintonia com o ideal renascentista de universalismo. bem possvel que
Regiomontanus tenha proposto seu problema em resposta consulta de um artista ou
arquiteto.


NOTAS E FONTES


1
Veja Regiomontanus on Triangles Sobre Tringulos, de Regiomontanus, traduzido para o ingls por
Barnabas Hughes com introduo e notas (Madison: University of Wisconsin Press, 1967), pp. 11-17, de
onde sua curta biografia foi adaptada. Veja tambm David Eugene Smith, History of Mathematics
Histria da Matemtica, (1925; rpt. New York: Dover, 1953), vol. 1, pp. 259-260. A nica biografia
moderna de Regiomontanus est em alemo, Leben und Wirken des Johannes Muller von Knigsberg
genant Regiomontanus Vida e Obra de Johann Muller de Knigsberg, conhecido como Regiomontanus
(Munich: C. H. Beck, 1939).
2
Como citado em Hugues, Regiomontanus on Triangles, p. 13.
3
Ibid., p.14.
4
Antigo instrumento de astronomia que representa o conjunto da esfera celeste e o movimento dos astros.
O globo central representa a terra e os vrios anis concntricos (armilas) os corpos celestes. H uma seta
que aponta para o plo. (N.T.)
5
A histria de sua morte por envenenamento contada por Gassendi, na biografia de Regiomontanus, de
1654, e evoca ecos do alegado envenenamento cometido por Antonio Salieri a seu arqui-rival, Mozart.
6
O humanista francs Pierre de la Rame (1515-1572) atribuiu a Regiomontanus a inveno de um
mecanismo voador que poderia deixar a mo de uma pessoa, voar baixo por um recinto, e retornar mo da
pessoa, e uma guia que era capaz de deixar a cidade, encontrar um viajante que se aproximava, e
acompanha-lo de volta cidade. (Hugues, Regiomontanus on Triangles, p. 17). Essas estrias so, sem
dvida, um exagero, mas elas refletem a alta estima que cabia a Regiomontanus pelos seus conterrneos.
Nas palavras de Rame, Tarento tem seu Arquitas, Siracusa seu Arquimedes, Bizncio seu Proclos,
Alexandria seu Ctesibius, e Nuremberg Regiomontanus... Os matemticos de Tarento e Siracusa, de
Bizncio e Alexandria se foram. Mas entre os mestres de Nuremberg, o prazer dos estudiosos, o
matemtico regiomontanus.
7
Ibid., p.133.
8
Ibid., pp.4-7.
9
Ibid., pp. 27-29.
10
Ibid., p.9.
JOHANN MLLER 45
Traduo livre: rossiunb@gmail.com


11
Heinrich Drrie, 100 Great Problems os Elementary Mathematics: Their History and Solution 100
Maiores Problemas de Matemtica Elementar: Suas Histrias e Solues, traduzido para o ingls por
David Antin (1958; rpt. New York: Dover, 1965), pp. 369-370. Mudei ligeiramente o enunciado para tornar
a leitura mais fcil.
12
Este teorema vem do fato de que o quadrado de um nmero real nunca ser negativo; ento
v uv u v u + = 2 ) ( 0
2
. Movendo o termo uv 2 para o lado esquerdo e dividindo por 2, obtemos
o resultado desejado. A igualdade ocorre se, e somente se, 0 = v u , isto , u = v.
13
No fui capaz de descobrir se Regiomontanus realmente forneceu uma soluo para seu problema. De
acordo com Florian Cajori, A History of Mathematical Notations Histria das Notaes Matemticas,
(1929; rpt. La Salle Ill: Open Court, 1951, vol. 1, p. 95), as correspondncias entre Regiomontanus e
cientistas amigos, durante o perodo 1463-1471, esto preservadas na Biblioteca Pblica de Nuremberg.


4
A Trigonometria se Torna Analtica

A anlise de sees angulares envolve segredos
aritmticos e geomtricos que at o presente momento
no foram desvendados por ningum.
- Franois Vite


Com o grande matemtico francs Franois Vite (tambm conhecido pelo seu
nome em latim, Franciscus Vieta, 1540-1603), a trigonometria comeou a assumir sua
caracterstica analtica moderna. Dois desenvolvimentos tornaram esse processo possvel:
o advento da lgebra simblica para a qual Vite foi quem mais contribuiu e a
inveno da Geometria Analtica por Fermat e Descartes na primeira metade do
sculo 17. A gradual substituio da incmoda lgebra verbal da matemtica medieval
por expresses simblicas concisas uma lgebra literal facilitou muito a escrita e a
leitura de textos matemticos. Ainda mais importante, capacitou os matemticos a aplicar
mtodos algbricos a problemas que, at ento, tinham sido abordados de modo
puramente geomtrico.
Com Vite, a trigonometria experimentou a segunda mudana mais importante: a
admisso de processos infinitos. Em 1593 ele descobriu o famoso produto infinito

...
2
2 2 2
2
2 2
2
2 2

+ +

+
=



(Vite usou a abreviao etc no lugar das reticncias). Foi a primeira vez que um processo
infinito foi escrito explicitamente como uma frmula matemtica, o que marcou o incio
da Anlise moderna.
1
(Mostraremos a prova do produto de Vite no captulo 11.)
Na Inglaterra, trs indivduos fizeram contribuies substanciais para a
trigonometria na primeira metade do sculo 17. A inveno dos logaritmos por John
Napier (1550-1617) auxiliou enormemente os clculos numricos, particularmente em
trigonometria.
2
William Oughtred (1574-1660) foi o primeiro a tentar um uso sistemtico
de smbolos trigonomtricos: em seu trabalho Trigonometria, ou A Maneira de Calcular
os Lados e ngulos de Tringulos, pelas Leis Matemticas, demonstrado (Londres,
1657), ele usou as abreviaes s, t, se, s co, t co e se co para seno, tangente, secante,
cosseno (complemento do seno), cotangente e cossecante, respectivamente.
3

48 CAPTULO QUATRO
(Contrastando com seu longo ttulo, o trabalho em si contm, alm das tbuas, apenas
trinta e seis pginas de texto.) E o trabalho de John Wallis (1616-1703) sobre sries
infinitas foi um precursor imediato das descobertas de Newton na mesma rea. Wallis,
mais que qualquer outro em seu tempo, percebeu que mtodos sintticos em matemtica
poderiam abrir caminho para mtodos analticos: ele foi o primeiro a tratar as sees
cnicas como equaes quadrticas, no lugar de objetos geomtricos, como os gregos
haviam feito. (Wallis foi tambm o primeiro matemtico de renome a escrever sobre
histria da matemtica, e ainda introduziu o smbolo para o infinito.) Sua frmula mais
famosa o produto infinito

...
7
6
5
6
5
4
3
4
3
2
1
2
2
=



que juntamente com o produto de Vite figura entre as mais belas frmulas na
matemtica. Wallis chegou a esse resultado com uma corajosa intuio e complexos
processos de interpolao que poderiam levar a pacincia de um leitor moderno ao
limite;
4
no captulo 12 chegaremos a seu produto por um caminho mais curto e elegante.



Existe ainda outra razo para o surgimento da Geometria Analtica na primeira metade do
sculo 17: o contnuo surgimento de leis matemticas para descrever o mundo fsico ao
nosso redor. Enquanto os inventores da trigonometria clssica estavam interessados
principalmente em aplic-la aos cus (e, por conseguinte, com predominncia inicial da
trigonometria esfrica sobre a plana), a nova era tinha seus ps plantados firmemente no
mundo mecnico da vida diria. A descoberta de Galileu de que todo movimento pode ser
dividido em duas componentes perpendiculares e que essas componentes poderiam ser
tratadas de forma independente uma da outra imediatamente fez da trigonometria algo
indispensvel para o estudo do movimento. A cincia da artilharia e no sculo 17 ela
era considerada uma cincia estava preocupada principalmente em encontrar o alcance
de um projtil disparado por um canho. Essa distncia, na ausncia de resistncia do ar,
dada pela frmula R = (v
0
2
sen 2)/g, onde v
0
a velocidade do projtil ao sair do canho,
o ngulo do disparo em relao horizontal, e g a acelerao da gravidade (cerca de
9,81 m/s
2
). Essa frmula mostra que para uma velocidade qualquer, o alcance depende
somente de : ele encontra seu valor mximo quando = 45 e diminui simetricamente
acima e abaixo de 45. Esses fatos, claro, eram sabidos de forma emprica h muito
tempo, mas suas bases tericas eram novas nos tempos de Galileu.
Outro ramo da matemtica estudado vigorosamente nos sculos 17 e 18 foi o das
oscilaes. As grandes viagens martimas da poca demandavam tcnicas de navegao
A TRIGONOMETRIA SE TORNA ANALTICA 49
Eli Maor Traduo livre: rossiunb@gmail.com

cada vez mais apuradas, o que por sua vez dependia da disponibilidade de relgios com
preciso cada vez maior. Isto levou cientistas a estudar a oscilao de pndulos e molas
de vrios tipos. Alguns dos maiores nomes da poca estavam envolvidos nesses estudos,
entre os quais Chistiaan Huygens (1629-1695) e Robert Hooke (1635-1703). Huygens
descobriu o pndulo cicloidal, cujo perodo de oscilao independe da amplitude,
enquanto o trabalho de Hooke sobre molas elsticas formou a base para os modernos
relgios de corda. Em outro nvel, as crescentes habilidade e sofisticao na construo
de instrumentos musicais da madeira e de metais para rgos e instrumentos de teclas
motivaram cientistas a estudar a vibrao de corpos que emitem sons, tais como cordas,
membranas, sinos e tubos de ar. Tudo isso enfatizou a funo da trigonometria de
descrever fenmenos peridicos e resultou numa transferncia da nfase em trigonometria
computacional (a compilao de tbuas) para as relaes entre funes trigonomtricas
a essncia da trigonometria analtica.



Em seu trabalho Harmonia mensurarum (Harmonia da medio), publicado
postumamente em 1722, o matemtico ingls Roger Cotes (1682-1716) mostra uma
frmula equivalente a (em notao moderna)
) log(cos sen i i + =
em que i = -1 e log significa o logaritmo natural (logaritmo na base e = 2,718). Esta
frmula, claro, equivalente famosa frmula de Euler e
i
= cos + i sen ,
publicada em 1748 em seu grande trabalho, Introductio in analysin infinitorum. Tambm
em 1722 Abraham De Moivre (1667-1754) produziu ainda que de forma implcita a
frmula

n sen i n sen i
n
+ = + cos ) (cos ,
que a base para se encontrar a ensima raiz de um nmero, real ou complexo. Ela
carrega, de qualquer forma, a autoridade de Euler e seu Introductio para incorporar
completamente os nmeros complexos trigonometria: com ele, a trigonometria se
tornou verdadeiramente analtica. (Voltaremos funo dos nmeros complexos na
trigonometria no captulo 14.)
Esses desenvolvimentos afastaram de vez a trigonometria de sua conexo original
com o tringulo. O primeiro a definir funes trigonomtricas como nmeros puros, em
vez de razes em um tringulo, foi Abraham Gotthelf Kstner (1719-1800) da Alemanha;
em 1759 ele escreveu: Se x denota o ngulo expresso em graus, ento as expresses
sen x, cos x, tang x, etc. so nmeros, com correspondncia em todos os ngulos.
5
Hoje,
claro, damos um passo alm e definimos a prpria varivel independente como um
nmero real, em vez de um ngulo.
50 CAPTULO QUATRO


Praticamente desde seu incio, o Clculo Diferencial e Integral foi aplicado a
inmeros problemas de Mecnica, primeiro Mecnica discreta (o movimento de uma
partcula ou sistema de partculas), e depois Mecnica contnua. Entre os problemas
considerados nessa ltima, na segunda metade do sculo 18, o principal era o das cordas
ou vibrantes. Este problema tem excitado os matemticos desde tempos remotos por
causa de sua associao com a msica. Pitgoras, no sexto sculo a.C., j havia
descoberto algumas leis que governam as vibraes de uma corda; isto o levou a construir
uma escala musical baseada em princpios matemticos. Todavia, uma investigao
completa do problema exigia mtodos que no estavam disponveis nem mesmo a
Newton e Leibniz, chamados equaes diferenciais parciais (equaes em que uma
funo desconhecida e suas derivadas dependem de duas ou mais variveis
independentes). Para a corda vibrante a equao pertinente
2
u/x
2
= (1/c
2
)(
2
u/t
2
), em
que u = u(x,t) o deslocamento do equilbrio de um ponto distncia x de uma das
extremidades no tempo t, e c uma constante que depende dos parmetros fsicos da
corda (sua tenso e densidade linear).
O esforo para resolver essa famosa equao, conhecida como equao da onda
unidimensional, envolveu as melhores mentes matemticas daquele tempo, entre as quais
a famlia Bernoulli, Euler, DAlembert e Lagrange. Euler e DAlembert expressaram suas
solues em termos de funes arbitrrias representando duas ondas, uma se movendo
pela corda para a direita e outra para a esquerda, com velocidade igual constante c.
Daniel Bernoulli, por outro lado, encontrou uma soluo envolvendo uma srie infinita de
funes trigonomtricas. Como essas duas solues para o mesmo problema pareceram
to diferentes, a pergunta que surgiu se elas podiam ser conciliadas, e se no, qual delas
era mais geral. Esta questo foi respondida pelo matemtico francs Jean Baptiste Joseph
Fourier (1768-1830). Em seu trabalho mais importante, Thori analytique de la chaleur
(Teoria analtica do calor, 1822), Fourier mostrou que quase toda a funo, quando feita
peridica em um dado intervalo, pode ser representada por uma srie trigonomtrica da
forma

... 3 cos 2 cos cos ) (
3 2 1 0
+ + + + = x a x a x a a x f

... 3 2
3 2 1
+ + + + x sen b x sen b x sen b ,
em que os coeficientes a
i
e b
i
podem ser encontrados por f(x) calculando-se certas
integrais. Esta srie de Fourier em alguns aspectos mais geral que a familiar expanso
de Taylor para uma funo em sries de potncia. Por exemplo, enquanto as sries de
Taylor podem ser aplicadas apenas a funes contnuas e que possuem derivadas
contnuas, as sries de Fourier podem existir mesmo se f(x) for descontnua.
Retornaremos a essas sries no captulo 15.

A TRIGONOMETRIA SE TORNA ANALTICA 51
Eli Maor Traduo livre: rossiunb@gmail.com

O teorema de Fourier marca um dos grandes feitos da Anlise no sculo 19. Ele
mostra que as funes seno e cosseno so essenciais para o estudo de todos os fenmenos
peridicos, simples ou complexos; elas so de fato os blocos que constroem todos esses
fenmenos, da mesma forma que os nmeros primos so os blocos que constroem todos
os inteiros. O teorema de Fourier foi mais tarde generalizado para funes no-peridicas
(nesse caso a srie infinita se torna uma integral), e tambm para sries envolvendo
funes no-trigonomtricas. Esses desenvolvimentos provaram ser de importncia
crucial para diversos ramos da cincia, da ptica e Acstica Teoria da Informao e
Mecnica Quntica.



NOTAS E FONTES


1
Achados recentes indicam que os hindus poderiam conhecer vrios processos infinitos envolvendo ,
antes de Vite; veja George Gheverghese Joseph, The Crest of the Peacock: Non-European Roots of
Mathematics (Harmondsworth, U.K.: Penguin Books, 1991), pp., 286-294.
2
Veja meu livro, e: The Story of a Number (Princeton, N.J.: Princeton University Press, 1994) [edio
brasileira e: a Estria de um Nmero, editora Record, 2003], caps. 1 e 2.
3
No entanto, veja na pgina 33 o pioneirismo do uso desses smbolos. Veja ainda Florian Cajori, William
Oughtred: A Great Seventeenth-Century Teacher of Mathematics (Chicago: Open Court, 1916), pp; 35-39.
Cajori observa que as tbuas no livro de Oughtred usa uma diviso centesimal do grau (ou seja, em cem
partes), uma prtica que foi renovada em nosso tempo com o advento das calculadoras portteis.
4
Veja A Source Book in Mathematics, 1200-1800 ed. D. J. Struik (Cambridge, Mass: Harvard University
Press, 1969), pp. 244-253.
5
David Eugene Smith, History of Mathematics (1925; rpt. New York: Dover, 1953), vol. 2, p. 613.
Kstner foi o primeiro matemtico a escrever um trabalho inteiramente voltado para a histria da
matemtica (em 4 volumes; Gttingen, 1796-1800).


Franois Vite


uma infelicidade que os nomes de muitos daqueles que ajudaram a desenvolver
a matemtica at atingir a forma que tem hoje, tenham desaparecido completamente dos
currculos atuais. Entre esses podemos mencionar Regiomontanus, Napier e Vite, que
fizeram, todos, contribuies substanciais lgebra e trigonometria.
Franois Vite nasceu em Fontenay Le Comte, uma pequena cidade no oeste da
Frana, em 1540 (no se sabe o dia exato). Ele estudou primeiro Direito e depois se
envolveu na poltica, tornando-se membro do Parlamento da Bretanha (regio
administrativa no noroeste da Frana). Como era prtica entre os homens instrudos de
seu tempo, ele latinizou seu nome para Franciscus Vieta; mas diferentemente dos outros
como Regiomontanus a verso latina no foi adotada universalmente. Usaremos aqui o
francs Vite.
Durante sua vida, Vite praticou a matemtica apenas em seu tempo livre, mais
como uma recreao intelectual que uma profisso. Ele no estava sozinho nesse
costume: Pierre Fermat, Blaise Pascal e Ren Descartes fizeram todos grandes
contribuies matemtica em seu tempo ocioso, enquanto oficialmente ocupavam uma
variedade de posies polticas, diplomticas e, no caso de Descartes, militares. Vite
iniciou sua carreira cientfica como tutor de Catherine de Parthenay, filha de uma
proeminente figura militar, para quem escreveu diversos livros. Como sua reputao
cresceu, ele foi convocado a servir o monarca Henrique IV em sua guerra contra a
Espanha. Vite mostrou-se um expert em decifrar cdigos do inimigo: uma mensagem
secreta ao monarca espanhol Filipe II, por seu posto avanado, foi interceptada pela
Frana e entregue a Vite, que conseguiu decifr-la. Os espanhis, espantados por ver seu
cdigo quebrado, acusaram a Frana de usar feitiaria, contrria s prticas da f
crist.
1

O trabalho mais importante de Vite seu In artem analyticam isagoge
(Introduo Arte Analtica; Tours, 1591), considerado o primeiro trabalho sobre lgebra
simblica. Nesse trabalho, apresentado um sistema de notaes que muito prximo
daquele que usamos hoje: ele denotou quantidades conhecidas por consoantes e
desconhecidas por vogais. (O costume atual de usar a, b, c, etc. para constantes e x, y, z
para incgnitas foi introduzido por Descartes em 1637.) Ele definiu uma equao como
uma comparao entre uma magnitude desconhecida com outra, determinada e
forneceu as regras bsicas para a resoluo de equaes mover um termo de um lado
para outro da equao, dividir a equao por um fator comum, e da por diante. Ele
chamou seu mtodo de ars analytice e sua nova lgebra de logistica speciosa
(literalmente, a arte de calcular com espcies, isto , quantidades gerais), para distingui-la
da velha logistica numerosa. Essa transio da lgebra verbal para a simblica
considerado um dos mais importantes desenvolvimentos na histria da matemtica.
54 FRANOIS VITE
Vite aplicou as regras da lgebra a qualquer quantidade, aritmtica ou
geomtrica, e com isso enterrou a antiga distino entre nmeros puros e entidades
geomtricas. Em outros aspectos, entretanto, ele foi especialmente conservador. Por
exemplo, ele sempre insistiu em tornar uma equao dimensionalmente homognea: em
lugar da equao moderna mx = b
2
ele escreveria M em A aequatur B quadratus, com o
significado de que uma dada quantidade M (representada por uma consoante)
multiplicada por uma quantidade desconhecida A (uma vogal) igual ao quadrado de um
nmero dado B. Isso mostra que ele ainda era adepto da viso dos gregos antigos de que
operaes entre nmeros eram geomtricas por natureza; uma vez que o produto de dois
nmeros representa a rea de um retngulo que tem esses dois nmeros como lados,
pode-se igualmente equacionar a rea de um quadrado cujo lado dado. (Atualmente,
claro, tratamos quantidades algbricas como nmeros puros, adimensionais.) Tambm
interessante notar que Vite usava os smbolos modernos + e para adio e subtrao,
mas para igualdade ele usava a descrio verbal aequatur. Para A
2
ele escreveu
A quadratus e para A
3
, A cubus (ainda que mais tarde ele tenha abreviado para Aq e Ac).
Torna-se claro que Vite no poderia se libertar totalmente das amarras da lgebra verbal.
Seu trabalho refletiu a poca em que viveu um perodo de transio do velho mundo
para o novo.



De particular interesse para ns so as contribuies de Vite para a trigonometria.
Seu primeiro trabalho sobre esse assunto surgiu em 1571 sob o ttulo Canon mathematics
seu ad triangula cum appendicibus. Aqui ele mostra o primeiro tratamento sistemtico no
mundo ocidental dos mtodos para resoluo de tringulos planos e esfricos, usando
todas as seis funes trigonomtricas. Ele desenvolveu as trs frmulas de transformao
de soma de arcos para produtos (ou seja, sen + sen = 2 sen ( + )/2 cos ( - )/2,
com frmulas similares para sen + cos e cos + cos ), das quais John Napier pode
ter tirado a idia de logaritmos, uma vez que as frmulas permitem (quando usadas suas
inversas) reduzir o produto de dois nmeros soma de dois outros nmeros. E ele foi
tambm o primeiro a declarar a lei das tangentes em sua forma moderna:
(a+b)/(a-b) = [tan (+)/2]/[tan (-)/2], em que a e b so dois lados de um tringulo e
e so os ngulos opostos (veja pgina XXX).
Vite foi o primeiro matemtico a aplicar sistematicamente mtodos algbricos
trigonometria. Por exemplo, fazendo x = 2 cos e y
n
= cos n, ele obteve a frmula de
recorrncia
y
n
= xy
n-1
y
n-2
,


FRANOIS VITE 55
Eli Maor Traduo livre: rossiunb@gmail.com

que, quando traduzida de volta para a trigonometria, se torna
cos n = 2 cos cos (n-1) cos (n-2) .

Agora possvel expressar cos (n-1) e cos (n-2) em termos de cossenos de mltiplos
cada vez menores de ; continuando o processo, chegar-se- a uma frmula expressando
cos n em termos de cos e sen . Vite era capaz de fazer isso para todos inteiros n at
10. Ele era to orgulhoso desse feito que exclamou: A anlise de sees angulares
envolve segredos aritmticos e geomtricos que at o presente momento no foram
desvendados por ningum.
2
Para avaliar sua faanha, devemos dizer que as frmulas
gerais expressando cos n e sen n em termos de cos e sen foram descobertas por
Jacob Bernoulli em 1702, mais de cem anos aps o trabalho de Vite.
3

A habilidade de Vite em aplicar transformaes algbricas trigonometria lhe foi
muito til em um encontro famoso entre Henrique IV e o embaixador holands na Frana.
Adraen van Roomen (1561-1615), professor de matemtica e medicina em Louvain
(Blgica), publicou em 1593 um trabalho intitulado Ideae mathematicae, que continha
uma anlise dos mais proeminentes matemticos vivos de seu tempo.
4
Nem um nico
matemtico francs sequer foi mencionado, estimulando o embaixador holands a
desdenhar dos feitos cientficos franceses. Para provar isso, ele presenteou Henrique IV
com um problema que aparecia em seu Ideae com um prmio oferecido para aquele que
o resolvesse e gabou-se de que certamente nenhum matemtico francs conseguiria
chegar soluo. O problema era resolver a equao do 45 grau

... 300 . 12 945 45
39 41 43 45
+ + x x x x

c x x x = + + 45 795 . 3 634 . 95
3 5
,
em que c uma constante.
Henrique chamou Vite, que imediatamente encontrou uma soluo, e no dia
seguinte encontrou mais vinte e duas. O que aconteceu descrito por Florian Cajori em
seu A History of Mathematics:
Vite, que j havia feito investigaes similares, percebeu imediatamente que aquele
terrvel problema era simplesmente a equao pela qual c = 2 sen era expressada
em termos de x = 2 sen ( /45); como 45 = 3 3 5, seria necessrio apenas dividir um
ngulo em cinco partes iguais, e depois dividi-lo duas vezes em trs partes uma diviso
que poderia ser efetivada por equaes correspondentes do quinto e do terceiro graus.
5

Para seguir a linha de raciocnio de Vite, vamos primeiro observar um problema
mais simples. Suponha que tenhamos que resolver a equao

0 1 3
3
= + x x .

56 FRANOIS VITE
Reescrevemos a equao como 1 = 3x x
3
e fazemos a substituio x = 2y:

3
4 3
2
1
y y = .
Se tivermos olhos bem aguados, poderemos reconhecer a similaridade entre esta equao
e a identidade


3
4 3 3 sen sen sen = .
De fato, podemos fazer com que as duas equaes coincidam se escrevermos 1/2 = sen 3
e y = sen ; nesta nova forma, o problema passa ser o de encontrar sen , dado que
sen 3 = 1/2, e ento 3 = 30 + 360k, em que k = 0, 1, 2, , e = 10 + 120k.
Assim, y = sen (10 + 120k), e finalmente x = 2y = 2 sen (10 + 120k). Entretanto, como
a funo seno tem um perodo de 360, suficiente considerar apenas os valores k = 0, 1,
2. Nossas trs solues so

... 347 , 0 10 2
0
= = sen x ,

... 532 , 1 130 2
1
= = sen x ,
e

... 879 , 1 250 2
2
= = sen x .
Com uma calculadora podemos checar facilmente que so realmente as trs solues.
Dessa forma uma identidade trigonomtrica nos ajudou a resolver uma equao
puramente algbrica.
Agora, uma coisa resolver uma equao cbica usando trigonometria, outra bem
diferente resolver outra de grau 45. Como ento Vite encontrou suas solues ? Em um
trabalho intitulado Responsum (1595) ele descreveu seu mtodo, que iremos sumarizar
aqui em notao moderna: seja
c = 2sen 45, y = 2sen 15, z = 2sen 5, x = 2sen .
Nossa tarefa encontrar x = 2sen , dado c = 2sen 45. Faremos isso em trs estgios.
Novamente comearemos com a identidade sen 3 = 3sen 4sen
3
. Substituindo
= 15 e multiplicando por 2, temos
c = 3y y
3
(1)
Agora, substitumos = 5 e temos
y = 3z z
3
(2)


FRANOIS VITE 57
Eli Maor Traduo livre: rossiunb@gmail.com

E agora usamos a identidade

5
16
1
3
16
5
8
5
5
sen sen sen sen + = .
6


Multiplicando por 32, substituindo por e expressando 2sen 3 em termos de
x = 2 sen , temos
x
5
= 10x 5(3x x
3
) + z,
Que aps simplificaes se torna
z = 5x 5x
3
+ x
5
. (3)
Se agora fizermos a substituio inversa, ou seja, a equao (3) na equao (2) e depois a
(2) na equao (1) e expandirmos, teremos exatamente a equao de Van Roomen!
Vite ento dividiu o problema original em outros trs mais simples. Mas por que
ele encontrou apenas vinte e trs solues, quando sabemos que a equao original deve
ter quarenta e cinco solues (todas reais, como sugerido pela interpretao geomtrica
do problema: dividir um ngulo qualquer em quarenta e cinco partes iguais)? A razo
que, no tempo de Vite, ainda era comum a prtica de se tratar com o comprimento da
corda de um ngulo, em vez de seu seno, como as bsicas funes trigonomtricas (veja
captulo 2); e como no existem comprimentos negativos, ele teve que rejeitar todas as
solues negativas como solues sem sentido. O conjunto completo de solues dado
por
x
k
= 2 sen ( + 360k/45), k = 0, 1, 2, ..., 44;
(assumindo que 45 180, pois de outra forma sen 45 por si s j seria negativo) e
desses, apenas os vinte e trs primeiros so positivos, correspondendo aos ngulos do
primeiro e segundo quadrantes.



Entre as diversas outras contribuies de Vite, podemos mencionar sua
descoberta da relao entre as razes de uma equao quadrtica ax
2
+ bx + c = 0 e seus
coeficientes (x
1
+ x
2
= - b/a e x
1
x
2
= c/a), ainda que sua rejeio s razes negativas o
tenha impedido de declarar a descoberta como uma regra geral; o desenvolvimento de um
mtodo numrico para aproximao de solues de equaes algbricas; e sua descoberta
do famoso produto infinito para que leva seu nome (veja pgina 47). Muitos de seus
trabalhos foram originalmente impressos apenas para uma circulao restrita; eles foram
reunidos, editados, e publicados em 1646, mais de quarenta anos aps a morte de Vite,
pelo matemtico holands Frans van Schootem (1615-1660).
7

58 FRANOIS VITE
Durante seus ltimos anos, Vite estava envolvido em uma spera discusso com
o matemtico alemo Christopher Clavius (1537-1612), sobre a reforma do calendrio
que havia sido ordenada pelo papa Gregrio XIII, em 1582. Os duros ataques de Vite a
Clavius, que era o conselheiro do papa nessa matria, fizeram-lhe vrios inimigos e
resultou na rejeio de sua nova lgebra por parte de seus adversrios. Vale a pena
tambm dizer que Vite se ops sistematicamente ao sistema de Coprnico, tentando
aprimorar o velho sistema geocntrico de Ptolomeu. Vemos aqui o conflito interior de um
homem que foi um inovador de primeira grandeza, e um conservador profundamente
enraizado no passado. Vite morreu em Paris em 13 de dezembro de 1603 aos 63 anos.
Com ele, a lgebra e a trigonometria comearam a tomar a forma que conhecemos hoje.
8


NOTAS E FONTES

1
W.W. Rouse Ball, A Short Account of The History of Mathematics (1908; rpt. New York: Dover, 1960),
p. 230.
2
Florian Cajori, A History of Mathematics (1893, 2nd ed., New York: McMillian, 1919,) p. 138 [edio
brasileira Uma Histria da Matemtica, Editora Cincia Moderna, 2007].
3
Essas frmulas eram

... cos
! 2
) 1 (
cos cos
2 2
+

=

sen
n n
n
n n

e

... cos
! 3
) 2 )( 1 (
cos
! 1
3 3 1
+

=

sen
n n n
sen
n
n sen
n n

4
Nesse trabalho o valor de fornecido com dezessete casas decimais, algo notvel para a poca.
5
Cajori, History of Mathematics, p.138.
6
Esta identidade pode ser obtida da frmula sen 5 = 5sen 20 sen
3
+ 16sen
5
substituindo sen
3
por
(3sen sen 3)/4 e resolvenso para sen
5
.
7
A famlia van Schooten produziu trs geraes de matemticos, sendo que todos nasceram e viveram em
Leyden: Frans snior (1581-1646), Frans junior, mencionado acima, e seu meio-irmo Petrus (1634-1679).
Dos trs, o mais proeminente foi Frans junior, que editou a edio latina de La Gomtrie, de Descartes; ele
ainda escreveu sobre perspectiva e defendeu o uso de coordenadas tridimensionais no espao. Ele foi
professor do grande cientista holands Christiaan Huygens.
8
No existe biografia de Vite em ingls. Fragmentos de sua vida e de seu trabalho podem ser encontrados
em Ball, Short Account, pp. 229-234; Cajori, History of Mathematics, pp. 137-139; Joseph Ehenfried
Hofmann, The History of Mathematics (New York: Philodophical Library, 1957), pp. 92-101; e no DSB.

5
Medindo o Cu e a Terra

A cincia da trigonometria foi de certo modo uma
precursora do telescpio. Ela trouxe objetos distantes
no interior do compasso e tornou possvel ao homem,
pela primeira vez, penetrar de maneira quantitativa
nos confins do espao.
- Stanley L. Jaki, The Relevances of Physics (1966).



Desde seus primeiros dias, a geometria tem sido aplicada a problemas prticos de
medio encontrar a altura de uma pirmide, ou a rea de um campo, ou o tamanho da
Terra. De fato, a prpria palavra geometria vem do grego geo (terra) e metron (medir).
Mas a ambio dos primeiros cientistas gregos ia mais longe: utilizando a geometria
simples, e mais tarde a trigonometria, eles tentaram estimar o tamanho do universo.
Aristarco de Samos (circa 310-230 a.C.) considerado o primeiro grande
astrnomo da histria. Enquanto muitos de seus antecessores baseavam suas idias do
cosmos em princpios estticos e mitolgicos, Aristarco baseou suas concluses
inteiramente nas observaes que lhe eram disponveis. Por exemplo, ele apontou que o
movimento dos planetas poderia ser mais bem estimado se considerarmos que o sol, e no
a Terra, est no centro do universo isso cerca de dois mil anos antes de Coprnico
propor seu sistema heliocntrico.
1
A maioria dos escritos de Aristarco se perdeu, mas um
trabalho, Sobre as Dimenses e as Distncias do Sol e da Lua, um tratado de astronomia
matemtica, sobreviveu. Nesse trabalho, ele desenvolveu um mtodo geomtrico para
determinar a razo entre as distncias do sol e da lua para a Terra.
Seu mtodo, conhecido como dicotomia da lua (do grego dichotomos, dividir
em duas partes), baseado no fato de que no exato momento em que metade do disco
lunar aparece iluminada pelo sol, o que acontece duas vezes durante o ciclo lunar, as
linhas imaginrias que partem da Terra para a lua, e da lua para o sol, formam um ngulo
reto (fig. 22). Segue que, se conhecemos o ngulo LTS, podemos, em princpio, encontrar
as razes entre os lados do tringulo TLS, e em particular a razo TS/TL. Aristarco diz que
o ngulo LTS menor que um quadrante por um trigsimo de quadrante, ou seja,
LTS = 90 3 = 87. Pela trigonometria moderna, segue que TS/TL = sec 87 = 19, 1.

60 CAPTULO 5



Fig. 22. Mtodo de Aristarco.

Aristarco, claro, no tinha tbuas trigonomtricas sua disposio, e ento ele tinha que
contar com um teorema que, em notao moderna, diz: Se e so dois ngulos agudos e
> , ento (sen )/(sen ) < / < (tan )/(tan ).
2
Da ele concluiu que TS/TL maior
que 18:1 mas menor que 20:1.
Essa estimativa da razo TS/TL muito menor que o valor correto, por volta de
390. O motivo para essa distoro que o mtodo de Aristarco, que parece legtimo em
princpio, lamentavelmente no era prtico de se implementar. Em primeiro lugar,
extremamente difcil determinar exatamente o momento da dicotomia, mesmo com
telescpios modernos; e segundo, particularmente difcil medir o ngulo LTS deve-se
olhar diretamente para o sol, que pode j ter se posto no momento da dicotomia. Alm
disso, como LTS muito prximo de 90, um pequeno erro em sua determinao pode
levar a um grande erro na razo TS/TL. Por exemplo, se LTS fosse 88 em vez de 87,
TS/TL seria 28, 7, enquanto para 86 seria 14, 3. De qualquer forma, o mtodo de
Aristarco marca a primeira tentativa de se estimar as dimenses de nosso sistema
planetrio baseada na medio real de quantidades observveis.
Aristarco tambm estimou a razo entre as dimenses do sol e da lua. Durante um
eclipse total do sol, a lua cobre completamente o disco solar mas por pouco tempo no
mais que sete minutos, e normalmente muito menos que isso.
3
Isso quer dizer que os
tamanhos aparentes do sol e da lua, vistos da Terra, so aproximadamente iguais (perto
de meio grau de arco medido na esfera celeste). Ento a razo entre os dimetros reais
desses corpos deve ser aproximadamente a mesma que entre suas distncias para a Terra.
Aristarco concluiu ento que o dimetro do sol tem valor entre 18 e 19 vezes o dimetro
da lua. A razo correta est por volta de 400.
Agora, uma coisa estimar a razo entre as distncias de dois objetos distantes, e
outra bem diferente estimar suas distncias e dimenses reais. Aqui o fenmeno da
paralaxe tem funo crucial. uma experincia comum quando um objeto aparente
mudar sua posio visto contra um pano de fundo distante quando o observador muda
sua prpria posio, ou quando visto simultaneamente por dois observadores em lugares
diferentes. Se a distncia entre os dois observadores conhecida (o comprimento da linha
de referncia) ento, medindo-se o deslocamento angular aparente da posio do objeto (o
ngulo de paralaxe), pode-se encontrar a distncia para o objeto, usando trigonometria
simples. O mtodo da paralaxe a base para a topografia, mas quando aplicado s
MEDINDO O CU E A TERRA 61
Eli Maor Traduo livre: rossiunb@gmail.com

enormes distncias entre corpos celestiais, sua preciso fica limitada: quanto mais distante
o objeto, menor o ngulo de paralaxe e maior a incerteza na estimativa de sua distncia.
Porque a lua est relativamente perto de ns, seu aparente deslocamento de
posio, visto por dois observadores posicionados em locais diferentes da Terra, apesar de
parecer pequeno para os padres terrestres, considervel em escala astronmica. Para ter
algum efeito prtico, os dois observadores devem estar to distantes um do outro quanto
possvel preferencialmente em pontos opostos na Terra. Entretanto, durante a rara
ocorrncia de um eclipse total do sol, mesmo uma pequena mudana na posio do
observador pode ser a diferena entre a escurido total e um eclipse parcial. Isso foi
mostrado de forma dramtica durante o eclipse de 24 de janeiro de 1925, que passou
exatamente sobre Nova York e foi assistido com cu claro por milhes de pessoas. Para
determinar o limite exato da sombra da lua, observadores foram posicionados em cada
esquina entre a 72 e a 135 Avenidas em Manhattan, e instrudos a reportar se eles viram
a coroa solar visvel apenas durante a totalidade, quando o disco solar completamente
coberto pela lua ou apenas uma estreita lua crescente, indicando que o eclipse foi
parcial. O resultado foi claro: o limite da sombra da lua passou entre a 95 e 97
avenidas, definindo uma preciso de algumas centenas de metros para uma sombra
projetada de uma distncia maior que 100.000 km.
4

O primeiro a usar a paralaxe lunar para estimar a distncia para a lua foi Hiparco e
Nicia, de quem j falamos no captulo 2. Hiparco estudou cuidadosamente os antigos
registros babilnicos de eclipses desde os sculo 8 a.C., e com isso adquiriu um
conhecimento completo sobre o movimento do sol e da lua. Por uma feliz coincidncia,
um eclipse solar ocorreu no muito longe de sua terra natal apenas alguns anos antes de
seu nascimento; este eclipse, recentemente identificado como sendo o de 14 de maro de
189 a.C., foi total perto de Helesponto (o estreito de Dardanelos, na atual Turquia),
enquanto em Alexandria apenas 4/5 do disco solar foram cobertos pela lua. Como o sol e
a lua subentendem um ngulo de aproximadamente meio grau de arco da esfera celeste, o
deslocamento aparente da posio da lua deveria ser de 1/5 disso, ou por volta de
6 minutos de arco. Combinando essas informaes com a latitude e a longitude das duas
localidades e a elevao do sol e da lua no momento do eclipse, Hiparco foi capaz de
calcular a menor e a maior distncia para a lua como sendo 71 e 83 vezes o raio da Terra,
respectivamente. Ainda que essas estimativas sejam maiores que os valores corretos
56 e 64, elas esto na ordem de grandeza correta, e podem ser consideradas um feito
notvel para sua poca.
5




Hiparco estimou a distncia para a lua em termos de raios terrestres. Para
expressar essa distncia em unidades mais comuns, deve-se conhecer o tamanho da Terra.
A idia de que a Terra esfrica atribuda a Pitgoras; se ele teve essa idia a partir da
62 CAPTULO 5
observao de uma evidncia (por exemplo, do fato de que durante um eclipse lunar
parcial, a Terra sempre projeta uma sombra circular na lua) ou, como era mais comum, a
partir de princpios estticos e filosficos (pois a esfera a mais perfeita de todas as
formas), no se sabe. Mas uma vez que se estabeleceu a idia de que a Terra esfrica,
esforos foram despendidos a fim de determinar seu tamanho. O crdito pela execuo
dessa faanha vai para o brilhante matemtico e gegrafo do sculo segundo a.C.,
Eratstenes de Cirene (circa 275-194 a.C.).
Eratstenes era amigo de Arquimedes, o grande cientista da Antigidade, a quem
endereou vrios de seus trabalhos. Como muitos dos estudiosos de antigamente,
Eratstenes trabalhava em diversas disciplinas. Ele preparou um mapa celeste que inclua
675 estrelas, e determinou o ngulo de inclinao do equador da eclptica (o plano da
rbita da terra ao redor do sol) cerca de 23,5. Ele sugeriu adicionar ao calendrio um
dia extra a cada quatro anos para manter a sintonia com as estaes, uma idia na qual o
calendrio juliano mais tarde se baseou. Na matemtica, ele inventou o famoso crivo
para encontrar nmeros primos, e props uma soluo mecnica para o problema da
duplicao: encontrar o lado de um cubo cujo volume seja igual ao dobro do volume de
um cubo dado. Eratstenes tambm escreveu poesia e crtica literria, e foi o primeiro a
preparar uma cronologia cientfica dos principais fatos histricos desde a guerra de Tria.
Seus amigos o apelidaram Beta, possivelmente porque eles o ranquearam em segundo,
aps Arquimedes; mas essa desconsiderao no impediu Ptolomeu III, rei do Egito, de
convoc-lo para dirigir a grande biblioteca de Alexandria, o maior repositrio de obras
cultas da Antigidade. Na velhice ele ficou cego, e pressentindo que seus anos produtivos
haviam acabado, ele morreu uma morte de filsofo, de inanio voluntria.
No ano de 240 a.C., Eratstenes realizou a faanha pela qual mais comumente
lembrado: o clculo do tamanho da Terra. Era sabido que ao meio-dia do solstcio de
vero (o dia mais longo do ano)
a
, os raios solares iluminavam diretamente o fundo de um
poo profundo na cidade de Siena (hoje Assu) no Alto Egito; ou seja, naquele dia o sol
estava exatamente a pino ao meio-dia. Mas em Alexandria, mais ou menos ao norte de
Siena, naquele momento o sol estava a um qinquagsimo de um crculo (ou seja, 7,2)
do znite
b
, medido pela sombra de uma estaca vertical (fig. 23). Eratstenes assumiu que
o sol est to distante da Terra que seus raios nos chegam praticamente paralelos; ento a
diferena entre a elevao do sol em dois locais diferentes pode ser devido esfericidade
da Terra. Como a distncia entre Alexandria e Siena era de 5.000 estdios (medida pelo
tempo que um mensageiro do rei levava para ir de uma cidade outra), a circunferncia
da Terra deveria ser de 50 vezes essa distncia, ou 250.000 estdios.


a
No Hemisfrio Norte, 21 de junho (N.T.)
b
Ponto superior da esfera celeste, segundo a perspectiva de um observador na superfcie da Terra (isto , o
exato ponto acima de sua cabea). O ponto diametralmente oposto chama-se nadir. (N.T.)
MEDINDO O CU E A TERRA 63
Eli Maor Traduo livre: rossiunb@gmail.com




Fig. 23. Medio da circunferncia
da Terra, por Eratstenes.

Infelizmente, o tamanho exato de um estdio, a unidade de distncia geogrfica na
era grega, no conhecido; estimativas variam de 185 a 225 metros, a medida menor
referindo-se ao estdio romano, usado mais tarde. A circunferncia da Terra encontrada
Poe Eratstenes est ento entre 46.000 e 56.000 quilmetros, enquanto os valores
corretos so de 40.003 km para a circunferncia polar (nos meridianos) e 40.075 km para
a equatorial.
6
Eratstenes chegou incrivelmente perto e, fazendo isso, ele usou a cincia
da geometria em seu sentido literal: medir a terra.



A histrica viagem de Ferno de Magalhes, de circunavegao do globo
(1519-1522), deu a primeira prova de que a Terra aproximadamente esfrica. Mas desde
ento cientistas logo comearam a suspeitar que a Terra pudesse ser, na verdade,
achatada; a questo era: a Terra seria achatada nos plos (um esferide oblato) ou no
equador (um esferide prolato)? No era apenas um assunto acadmico: com a era das
exploraes em pleno curso, tornava-se crucial aos navegantes a capacidade de
determinar sua posio no mar sua latitude e longitude com suficiente preciso. E isso
dependia de se saber o comprimento de um grau de latitude medido ao longo de um
meridiano (um grau meridional). Fosse a Terra uma esfera perfeita, um grau teria o
mesmo comprimento em todos os lugares, sem levar em considerao a latitude. Mas se a
Terra fosse oblata, o comprimento de um grau iria crescer ligeiramente em direo aos
plos, e se fosse prolata, o comprimento ento diminuiria. Determinar a forma exata da
Terra e de forma mais geral, de qualquer superfcie curva desenvolveu-se na cincia
da Geodsia. Alguns dos maiores matemticos dos sculos 18 e 19 atacaram esse
problema, entre eles Newton, Euler e Gauss.
64 CAPTULO 5
O primeiro passo na anlise geodsica selecionar uma linha-base de
comprimento conhecido, e ento medir os ngulos entre esta linha e as linhas que partem
das extremidades da linha-base para um ponto distante. Para regies relativamente
pequenas uma cidade, por exemplo pode-se ignorar a curvatura da Terra e considerar
a regio plana. Calcula-se ento a distncia de cada extremidade para o ponto distante,
usando a Lei dos Senos (o caso LAA). Essas distncias podem agora ser usadas como
novas linhas-base e o processo repetido, at que toda a regio seja coberta por uma rede
de tringulos. Este processo conhecido como triangulao; ele fornece um esqueleto no
qual os detalhes topogrficos na superfcie montes, rios, lagos, cidades e estradas so
depois sobrepostos para formar um mapa completo.
7

O mtodo da triangulao foi sugerido pela primeira vez em 1533 pelo
matemtico holands Gemma Frisius (1508-1555).
8
Foi utilizado em grande escala por
outro holands, Willebrord van Roijen Snell (1581-1626),
9
que em 1615 analisou uma
distncia de cerca de 130 km na Holanda, usando uma rede de 33 tringulos. Mas foi na
Frana que ocorreu o primeiro esforo sistematizado governamental de triangulao em
1668, conduzido por Abb Jean Picard (1620-1682), um dos fundadores do Observatrio
de Paris. Como linha-base ele escolheu um trecho de 11 km ao longo da rodovia que liga
Paris a Fontainbleau; a partir desta linha a triangulao poderia virtualmente cobrir toda a
Frana. Para melhorar a preciso de suas medies, Picard utilizou um novo tipo de
quadrante (um instrumento para medir ngulos verticais) em conjunto com um telescpio
com finas listras de referncia substituindo os dois furos para visada. Combinando suas
medies de superfcie com a determinao astronmica das latitudes das extremidades
de sua linha-base, Picard chegou ao valor de 110,5 km para o grau de latitude em Paris.
Ele ento estendeu suas medies para o litoral francs, o que resultou em uma
descoberta inesperada: a costa oeste do pas teve de ser deslocada 1 ao leste da linha do
meridiano que passa por Paris, o que fez o monarca Luis XIV exclamar: Sua jornada
custou-me uma grande poro de meu reino!
10

Aps a morte de Picard em 1682, o trabalho continuou por mais um sculo, pelas
mos de quatro geraes de uma notvel famlia de astrnomos, os Cassini. Giovanni
Domonico Cassini (1625-1712) nasceu na Itlia e lecionou na Universidade de Bolonha,
mas em 1668, como resultado dos insistentes esforos de Picard, ele deixou seu posto e se
tornou chefe do recm fundado Observatrio de Paris. Alterando seu nome para Jean
Dominique, ele fez contribuies significantes para a astronomia: a determinao dos
perodos de rotao de Marte e Jpiter, o primeiro estudo da luz zodiacal (um brilho
difuso que aparece perto do sol nascente ou poente), a descoberta de quatro satlites de
Saturno e uma lacuna escura nos anis de saturno (conhecida como Diviso Cassini), e a
medio da paralaxe de Marte em 1672, com a qual ele foi capaz de calcular usando as
leis de Kepler para o movimento planetrio a distncia da Terra para o sol em 140
milhes de quilmetros, a primeira determinao dessa distncia a chegar perto dos
corretos 150 milhes de quilmetros. Incrivelmente, ele foi tambm um dos ltimos
astrnomos profissionais a se opor ao sistema heliocntrico de Coprnico, e ele
MEDINDO O CU E A TERRA 65
Eli Maor Traduo livre: rossiunb@gmail.com

permanecia convencido de que a Terra era um esferide prolato, apesar da quantidade de
evidncias em contrrio.
11

Na poro final de sua vida Cassini se dedicou cada vez mais geodsia e
cartografia, utilizando sua experincia com astronomia. Em 1679 ele concebeu um novo
mapa-mndi, o planisphre terrestre, usando uma projeo na qual todas as direes e
distncias a partir do Plo Norte eram mostradas corretamente; ela conhecida como
projeo azimutal eqidistante (veja captulo 10). O gigantesco mapa de Cassini, com
pouco mais de 7 metros de dimetro, foi desenhado no terceiro andar do Observatrio de
Paris; ele se tornou um modelo para os futuros cartgrafos e foi reproduzido e publicado
em 1696.
Mas Cassini no descansou sobre seus louros. Com 70 anos ele retomou a
triangulao da Frana com vigor renovado, auxiliado por seu filho Jacques (1677-1756).
Seu objetivo: estender a triangulao at os Pireneus e, quem sabe, cobrir toda a Europa
com uma rede de tringulos. Como objetivo secundrio, eles esperavam descobrir se a
Terra era oblata ou prolata.
O velho Cassini morreu em 1712 com 87 anos. Seu filho percebeu que o problema
somente seria resolvido pela comparao do comprimento de um grau em latitudes bem
distantes uma da outra, e ele sugeriu que fossem enviadas expedies para a regio
equatorial e para o rtico, a fim de resolver a questo de uma vez por todas. No era
apenas um interesse terico sobre a forma da Terra que estava sendo discutido, mas todo
o prestgio da Frana estava em jogo. Newton havia antecipado que a Terra seria achatada
nos plos, baseando seus argumentos na interao entre a fora gravitacional da Terra
sobre si mesma e a fora centrfuga ocasionada pela rotao em seu prprio eixo. Na
Frana, todavia, as idias de Newton sobre gravitao especialmente sua noo de
ao distncia foram rejeitadas em favor da teoria dos vrtices de Descartes, que
sustentava que a atrao gravitacional era ocasionada por gigantescos vrtices que
giravam como redemoinhos em volta de um fluido que permearia todo o espao. A
forma da Terra se tornou cause clbre, o assunto cientfico mais debatido naqueles dias,
com o orgulho nacional francs e britnico em disputa.
12

As evidncias, ainda que indiretas, tendiam a apoiar Newton. Primeiro, o planeta
Jpiter visto at de um pequeno telescpio mostra um achatamento considervel nos
plos; e aqui na Terra, medies da acelerao da gravidade obtidas do perodo de um
pndulo oscilante, mostram um valor ligeiramente menor no equador em relao aos
plos, indicando que o equador est mais distante do centro da Terra que os plos.
Seguindo a sugesto de Jacques Cassini e com as bnos do novo monarca, Luis
XV, a Academia Real de Cincias o equivalente francs da Real Sociedade na
Inglaterra autorizou em duas expedies em 1734, uma para a Lapnia, na fronteira
entre a Sucia e a Finlndia, e outra para o Peru, prximo linha do equador. Sua misso:
realizar uma completa triangulao de suas respectivas regies e determinar o
comprimento de um grau em cada local.
66 CAPTULO 5
A primeira expedio foi chefiada por Pierre Louis Moreau de Maupertuis (1698-
1759), que iniciou sua carreira no exrcito francs e mais tarde se tornou matemtico e
fsico (ele foi o primeiro a formular o Princpio da Mnima Ao, que depois ele usou
para provar a existncia de Deus). Como admirador de Newton e o nico a apoi-lo no
continente, ele estava ansioso para se juntar empreitada que, ele esperava, poderia
provar que seu mestre estava certo. Indo com ele estava outro matemtico francs, Alexis
Claude Clairaut (1713-1765), um jovem prodgio que havia estudado Clculo com 10
anos e publicou seu primeiro trabalho aos 18 (a equao diferencial xy y = f(y), em
que f uma funo dada de derivada f, foi nomeada em sua homenagem). A expedio
para o Peru foi chefiada por um gegrafo, Charles Marie de La Condamine (1701-1774),
e tambm incluiu um matemtico, Pierre Bouger (1698-1758). A participao de tantos
matemticos do primeiro escalo, em expedies de campo a pases remotos, estava em
consonncia com a longa tradio francesa de produzir eminentes cientistas que tambm
serviram seu pas no servio militar e civil. Encontraremos mais alguns deles no
captulo 15.
As duas expedies encontraram inmeras dificuldades. A equipe da Lapnia
enfrentou tempestades de neve e teve que forar seu caminho sobre pntanos congelados,
que descongelaram quando a primavera chegou. No vero, seu maior inimigo eram os
mosquitos. Para a equipe do Peru foi ainda pior: no bastasse o desconforto causado pela
altitude nos Andes, enfrentaram ainda doenas e uma srie de acidentes que resultaram na
morte de vrios membros. Para piorar, surgiu uma desavena entre os lderes da
expedio, que retornaram separadamente para casa. Apesar disso, as duas expedies
cumpriram suas tarefas: elas determinaram o comprimento de um grau em 111,11 km na
Lapnia e 109,95 km no Peru (fig.24). Combinados com o valor de Picard de 110,5 km
em Paris, seus resultados provaram, sem sombra de dvida, que a Terra um esferide
oblato. Newton estava certo de novo.
E agora os Cassini voltam cena. Enquanto as duas expedies faziam seu
trabalho no exterior, Jacques Cassini e seu filho Csar Franois (1714-1784) completaram
a triangulao da Frana, usando uma rede de dezoito linhas-base e quatrocentos
tringulos. Faltava agora transformar essa rede em um mapa real, e esta tarefa foi
completada por Jean Dominique Cassini IV (1748-1845), bisneto do fundador da dinastia.
Seu mapa de 11 x 11 metros, foi publicado em 182 folhas numa escala de 1:86.400 e
mostrava no apenas traos topogrficos, mas tambm a localizao de castelos, moinhos
de vento, vinhedos e esta era a poca da Revoluo Francesa guilhotinas. O quarto
Cassini recebeu muitas honras por seu feito e foi ento preso e julgado por um tribunal
revolucionrio, quase no salvando sua vida. Sua reputao foi finalmente resgatada por
Napoleo Bonaparte, e ele morreu em 1845, aos 97 anos.



MEDINDO O CU E A TERRA 67
Eli Maor Traduo livre: rossiunb@gmail.com



Fig. 24. Medindo um grau de longitude. O mapa mostra parte da rede de triangulao feita pela
expedio Maupertuis Lapnia. De uma gravura de 1798 (da coleo do autor).



68 CAPTULO 5
O exemplo geodsico francs estava agora sendo seguido pelo restante da Europa,
e em meados do sculo 19, a maior parte do continente estava perfeitamente triangulada e
mapeada. A tarefa ento cruzou o oceano e foi para a ndia, a jia da coroa do Imprio
Britnico, onde um grande projeto de triangulao, conhecido como a Grande Anlise
Trigonomtrica, foi posto em prtica de 1800 a 1913. Patrocinado pela Companhia das
ndias Orientais, a grande empresa comercial que administrava o pas de seus escritrios
em Londres, o trabalho comeou prximo a Madras, na costa sudoeste da baa de Bengala
e finalmente chegou ao Himalaia no extremo norte.
O capito William Lambton, que chefiou os trabalhos de 1802 at sua morte,
estava determinado a atingir seu objetivo com preciso indita. Seu enorme teodolito,
pesando meia tonelada, foi construdo em Londres de acordo com suas instrues e
despachado para a ndia, sendo interceptado na rota por uma fragata francesa. Numa
ocasio, esse monstruoso instrumento foi suspenso at o topo do Grande Templo de
Tanjore, para que desse aos analistas uma viso mais clara do terreno. Num momento um
cabo se rompeu e o instrumento foi ao cho e quebrou-se. Incansvel, Lambton isolou-se
em seu acampamento e nas seis semanas seguintes consertou ele mesmo o equipamento.
Em 1806 Lambton comeou a executar o trabalho com um objetivo ainda maior
que o da triangulao da ndia: determinar a forma da Terra. Para isso, ele percorreu uma
linha ao longo do meridiano 78 do cabo Comorin, no extremo sul do subcontinente, at a
regio da Caxemira ao norte, uma distncia de cerca de 2.900 km. Seus homens
encontraram diversos perigos: o calor intenso na ndia Central, a densa vegetao na qual
os tigres se camuflavam, a ameaa sempre presente da malria, e os nativos irritados,
convencidos de que os estrangeiros estavam atrs de suas mulheres.
Aps a morte de Lambton, o levantamento continuou com seu assistente George
(mais tarde Sir George) Everest (1790-1866), que se tornaria o pesquisador-geral da
ndia. Everest mantinha e at ultrapassava o alto padro de seu predecessor. Para
compensar a falta de referncias naturais nas vastas plancies da ndia Central, ele
construiu uma srie de torres que poderiam ser vistas ao longe, muitas delas de p ainda
hoje. Para evitar o calor e a neblina no interior do pas, ele ordenou a seus topgrafos que
trabalhassem noite, contando com fogueiras acesa no topo de suas torres como
sinalizao. Durante o dia ele usou um heligrafo um espelho especialmente projetado
cuja luz do sol refletida poderia ser vista a uma distncia de 80 km. O cuidado meticuloso
de Everest com os detalhes teve uma recompensa: quando a expedio atingiu o sop do
Himalaia, sua posio real diferia daquela calculada na triangulao em apenas 18 cm
num total de mais de 800 km !
Durante sua jornada, Everest fez uma descoberta que debatida ainda hoje: ele
concluiu que a grande massa das montanhas do Himalaia desviava a direo do fio de
prumo. Essa anomalia gravitacional foi a primeira indicao do que hoje se chama
mascon (do ingls mass concentration concentrao de massa sendo que o termo foi
aplicado primeiramente lua), cuja exata natureza e distribuio est hoje sendo mapeada
por satlites.
MEDINDO O CU E A TERRA 69
Eli Maor Traduo livre: rossiunb@gmail.com


Fig. 25. Instrumentos de topografia do sculo 19.

Aps a sada de Everest em 1843, o projeto continuou sob a direo de seu
assistente, Capito Andrew Waugh. E agora o poder da trigonometria para medir objetos
distantes encontrava seu ponto alto literalmente. Reza a lenda que, num dia de 1852, o
calculista-chefe da expedio, Radhath Sikdar, tambm um matemtico, irrompeu no
escritrio de Waugh exclamando: Senhor, eu descobri a montanha mais alta do mundo.
O anncio oficial foi protelado at 1856, para que se checasse e re-checasse a altitude do
topo do Pico XV, como o Monte Everest havia sido temporariamente nomeado (ele
tambm conhecido pelo seu nome tibetano Chomolungma, deusa me do mundo).
Calculando a mdia de vrias leituras feitas a uma distncia de cerca de 160 km, foi
encontrada a altitude exata de 29.000 ps (8.839 m); mas temendo que um nmero exato
pudesse parecer forjado, os topgrafos acrescentaram arbitrariamente dois ps, e at 1954
a altitude oficial do pico mais alto do mundo permaneceu como sendo de 29.002 ps
(8.840 m) acima do nvel do mar. Hoje o valor oficial de 29.028 ps (8.848 m).
13




70 CAPTULO 5
Enquanto os franceses estavam ocupados triangulando a Europa e os britnicos
mapeando seu imprio, Friedrich Wilhelm Bessel (1784-1846) estava na Alemanha
preparando uma triangulao dos cus. Iniciando sua carreira como contador, ele foi
autodidata em matemtica e astronomia, e oas vinte anos recalculou a rbita do cometa
Halley, levando em conta a perturbao gravitacional exercida pelos planetas jpiter e
Saturno sobre o cometa. Os feitos de Bessel chamaram a ateno do principal astrnomo
alemo da poca, Heinrich Olbers, que lhe assegurou uma cadeira no Observatrio de
Lilienthal. Sua reputao como hbil observador astronmico, assim como um terico de
primeira grandeza, levaram sua indicao em 1809 para o cargo de diretor do
Observatrio Real da Prssia em Knigsberg (hoje Kaliningrado, na Rssia)
c
, posio que
ele ocupou at sua morte.
14

Por volta de 1800 o tamanho do sistema solar conhecido estava praticamente
estabelecido (ainda que os planetas Netuno e Pluto no tivessem sido descobertos)
d
, mas
as dimenses do universo ulterior eram uma histria bem diferente: ningum tinha a
menor idia de quo longe estavam as estrelas fixas. O mtodo da paralaxe, to til na
determinao da distncia dos objetos do sistema solar, era falho quando aplicado s
estrelas fixas: nenhuma estrela mostrava qualquer deslocamento mensurvel de sua
posio, mesmo usando a maior linha-base disponvel o dimetro da rbita da Terra em
volta do sol. De fato, a ausncia de paralaxe era tomada pelos gregos como a mais forte
evidncia para compor o seu quadro de um Universo em que uma Terra esttica
permanecia fixa em seu centro. Coprnico interpretou o fato de forma diferente: para ele,
a ausncia de qualquer paralaxe perceptvel indicava que as estrelas estavam to distantes
de ns, que qualquer deslocamento em sua posio, durante o movimento da Terra ao
redor do sol, seria muito pequeno para ser detectado por nossos olhos.
Quando o telescpio foi inventado em 1609, teoricamente tornou-se possvel
observar a paralaxe de algumas estrelas mais prximas, mas todas as tentativas haviam
falhado. Uma razo para isso que os astrnomos estavam observando apenas para as
estrelas mais brilhantes no cu, assumindo que seu brilho indicaria que elas tambm eram
as mais prximas. Isto seria verdade se todas as estrelas tivessem o mesmo brilho
intrnseco a mesma emisso de luz como as luzes da iluminao pblica de uma
avenida. Mas por volta de 1800, os astrnomos sabiam que as estrelas diferiam
grandemente em seu brilho intrnseco, e conseqentemente seu brilho aparente no
poderia ser usado como parmetro na estimativa de sua distncia relativa. A procura se
virou ento para as estrelas com grande movimento prprio o movimento real de uma
estrela em relao ao cu distante (em oposio ao movimento aparente, que ocorre
meramente em relao ao movimento prprio do observador). Foi corretamente assumido
que um grande movimento prprio indicaria que a estrela est relativamente prxima.

c
Lembre-se de que no a mesma Knigsberg de Regiomontanus (N.T.).
d
Netuno f oi desc oberto em 1846. Pluto f oi descoberto em 1930 e rebai xado para planeta-ano em 2007.
(N.T.)
MEDINDO O CU E A TERRA 71
Eli Maor Traduo livre: rossiunb@gmail.com




Fig. 26. Paralaxe estelar.

Logo uma candidata foi encontrada a estrela 61 na constelao Cisne. Essa
estrela de quinta grandeza mal vista a olho nu, mas era sabido que tinha um movimento
prprio considervel 5,2 segundos de arco por ano, ou cerca de um dimetro da lua a
cada 350 anos. Bessel direcionava agora todos os seus esforos para essa estrela. Aps 18
meses de observao intensa, ele anunciou em 1838 que Cisne-61 tinha uma paralaxe de
0,314 segundos de arco (para comparao, o dimetro aparente da lua tem cerca de meio
grau de arco, ou 1.800 segundos de arco).
Na figura 26, seja S representando o sol, T
1
e T
2
a Terra em posies opostas em
sua rbita ao redor do sol, e E a estrela em questo. Por convenes astronmicas, a
paralaxe anual definida como sendo a metade do deslocamento angular da posio da
estrela, em relao ao movimento da Terra ao redor do sol, ou seja, o ngulo ES T
1
=
no tringulo retngulo T
1
SE. Chamando a distncia para a estrela de d e o raio da rbita
da Terra de r, temos que sen = r/d, ou

sen
r
d = .

Substituindo os valores r = 150.000.000 km = 1,5 x 10
8
km e = 0,314 = (0,314/3600),
chegamos ao valor d = 9,85 x 10
13
km. Como as distncias estelares so normalmente
expressas em anos-luz, temos que dividir o valor pela velocidade da luz, 3 x 10
5
km/s,
vezes o nmero de segundos em um ano, 3.600 x 24 x 365. Isto nos fornece
d = 10,1 anos-luz.

72 CAPTULO 5
As dimenses do Universo alm do nosso sistema solar tornaram-se conhecidas. A
paralaxe da Cisne-61 j foi refinada para 0,294, resultando em uma distncia de 11,1
anos-luz. Logo outras paralaxes estelares foram medidas com sucesso, inclusive a de Alfa
Centauro que, a 4,3 anos-luz, nosso vizinho celestial mais prximo alm do sol.
15
O
mtodo foi aplicado para estrelas a at cerca de cem anos-luz de distncia, mas para
distncias maiores a preciso diminui rapidamente. Felizmente, outros mtodos, baseados
nas caractersticas fsicas das estrelas, tem sido desenvolvidos com o intuito de se
estabelecer uma escala de distncias estelares confivel.
Em 1844 Bessel fez uma segunda descoberta pica: ele apontou seu telescpio
para Sirius, a estrela mais brilhante no cu, e descobriu que seu movimento prprio exibia
um padro levemente ondulatrio. Ele atribuiu corretamente a influncia gravitacional a
uma companhia invisvel que girava ao redor de Sirius. Essa companhia, Sirius B, foi
descoberta em 1862 pelo fabricante de telescpios Alvar Graham Clark (1832-1897).
Perturbaes gravitacionais ocuparam a mente de Bessel durante um bom perodo
de sua vida. Este assunto representa um dos mais difceis problemas na Mecnica Celeste,
e para tratar dele, Bessel introduziu certa classe de funes conhecida como funes de
Bessel. Elas so solues da equao diferencial x
2
y + xy + (x
2
n
2
)y = 0, em que
n 0 uma constante (no necessariamente um inteiro). A natureza da soluo depende
grandemente de n: para n = 1/2, 3/2, 5/2, ..., elas podem ser escritas em termos das
funes x, sen x e cos x; de outra forma, elas s podem ser expressadas como sries
infinitas e so ento consideradas funes no-elementares. A equao de Bessel
apresenta vrias aplicaes: por exemplo, as vibraes de uma membrana circular como
a de um tambor so governadas pela equao de Bessel com n = 0.
16

J prximo do fim de sua vida, Bessel voltou-se novamente para o problema das
perturbaes gravitacionais. Um dos mais intrigantes mistrios astronmicos da poca
eram as anomalias no movimento do planeta Urano: todas as tentativas de explicar essas
anomalias como sendo causada por planetas conhecidos em particular Jpiter e Saturno
haviam falhado. Bessel corretamente atribuiu existncia de um desconhecido planeta
transuraniano, mas ele morreu alguns meses antes que esse planeta, Netuno, fosse
descoberto.
Bessel foi um dos ltimos grandes cientistas a se sentirem igualmente vontade
na teoria e na prtica (em seu caso, tcnicas de observao). Matemticos iro se lembrar
dele pelas funes de Bessel, mas seu maior feito foi nos ter dado a primeira evidncia
concreta de quo vasto o espao interestelar realmente . Com ele, a ateno dos
astrnomos comeou a se deslocar do sistema solar para alm de suas fronteiras.




MEDINDO O CU E A TERRA 73
Eli Maor Traduo livre: rossiunb@gmail.com


NOTAS E FONTES

1
Veja Sir Thomas L. Heath, Aristarchus of Samos: The Ancient Copernicus (1932; rpt. New York: Dover,
1981), e Greek Astronomy (1932; rpt. New York: Dover, 1991).
2
Isto vem do fato que para 0 < x < 90, o grfico para (sen x)/x decrescente, enquanto o de (tan x)/x
crescente; ou seja, (sen )/ < (sen )/ e (tan )/ > (tan )/ .
3
Em 1995 me juntei a um grupo de astrnomos em uma expedio para a ndia para observar o eclipse total
de 24 de outubro. Do momento em que olhamos diretamente a linha central da sombra da lua, a totalidade
durou meros 41 segundos.
4
Citado por Bryan Brewer, Eclipse (Seattle: Earth View, 1978), p.31.
5
Veja Albert van Helden, Measuring the Universe: Cosmic Dimensions from Aristarchus to Halley
(Chicago: University of Chicago Press, 1985), p.11. Veja tambm o artigo de Toomer sobre Hiparco no
DSB.
6
Muito se debateu sobre o tamanho de um estdio. Algumas fontes dizem ser igual a 1/15 de milha, ou
161 metros, o que levaria a circunferncia da Terra a 40.200 km. Parece, entretanto, que esse comprimento
do estdio foi acertado para que o valor da circunferncia fique mais prximo do valor moderno. Citando
B. L. van der Waerden em Science Awakening (New York: John Wiley, 1963), p. 230: Como no sabemos
realmente o comprimento exato de um estdio, podemos dizer mais corretamente que a ordem de grandeza
[da circunferncia da Terra] est aproximadamente correta. Veja tambm David Eugene Smith, History of
Mathematics (1925; rpt. New York: Dover, 1958), vol. 2, p. 641.
7
A narrativa que segue baseada nas seguintes fontes: Lloyd A. Brown, The Story of Maps (1949; rpt. New
York: Dover, 1979); John Noble Wilford, The Mapmakers (New York: Alfred A. Knopf, 1981); e Simon
Berthon e Andrew Robinson, The Shape of the World (Chicago: Rand McNally, 1991).
8
Seu verdadeiro nome era Gemma Regnier, mas ele ficou conhecido como Gemma Frisius por causa do
local de seu nascimento, Friesland. Em 1541 ele se tornou professor de medicina na Universidade de
Louvaine. Seu livro de aritmtica (Anturpia, 1540) foi muito popular e chegou a no menos que sessenta
edies. Ele tambm escreveu sobre geografia e astronomia e sugeriu o mtodo para determinar a longitude
pela diferena da hora local entre dois lugares. Seu filho Cornelius Gemma Frisius (1535-1577) continuou o
trabalho de seu pai e trabalhou como professor de medicina na mesma Universidade.
9
Ele foi professor de matemtica em Leyden onde sucedeu seu pai. Ele trabalhou astronomia, fsica e
trigonometria esfrica e mais conhecido pela sua lei de refrao em ptica.
10
Somente em 1913 a Frana reconheceria o meridiano de Greenwich como sendo o principal (zero), em
troca do reconhecimento pela Inglaterra do sistema mtrico.
11
A sonda espacial Cassini, lanada pela NASA em outubro de 1987 para uma viagem de sete anos at
Saturno, foi batizada em sua homenagem.
12
Citado de Berthon e Robinson, Shape of the World, p. 101.
13
Surpreendentemente, em sua autobiografia, Nothing Venture, Nothing Win (New York: Coward, NcCann
& Geoghegan, 1975), Sir Edmund Hillary, que juntamente com o sherpa Tenzing Norgay, foi o primeiro a
escalar o Monte Everest em 1953, ainda contava a altitude da montanha como 29.002 ps mais de vinte
74 CAPTULO 5

anos aps ela ter sido oficialmente modificada. Em 1994, uma equipe topogrfica chinesa, auxiliada por um
satlite GPS, marcaram a altitude como 29.023 ps (8.846 m).
14
Veja o artigo de Walter Fricke sobre Bessel no DSB.
15
Atualmente, Alfa Centauro um sistema estelar trplice, cuja componente de brilho mais dbil, Prxima
Centauro (descoberta em 1915), est atualmente a 4,2 anos-luz de distncia. Cisne-61 hoje a 90 estrela
em ordem crescente de distncia do sol. Veja o artigo Our Nearest Celestial Neighbors, de Joshua Roth e
Roger W. Sinnot, Sky & Telescope, outubro de 1996, pp. 32-34.
16
Para n = 0 e 1 as funes de Bessel denotadas por J
0
(x) e J
1
(x) exibem certas similaridades com cos x
e sen x, respectivamente; por exemplo, J
0
(0) = 1 e J
1
(0) = 0, e ambas as funes possuem um grfico
oscilante. Entretanto, suas amplitudes diminuem quando x cresce, e suas razes no esto igualmente
espaadas ao longo do eixo x, o que explica porque o som de um tambor diferente do de um violino (veja
captulo 15). Para detalhes, veja qualquer livro sobre equaes diferenciais ordinrias.

Abraham De Moivre


Abraham De Moivre nasceu em Vitry, na provncia de Champagne, Frana, em 26
de maio de 1667, em uma famlia protestante. Cedo demonstrou interesse em matemtica
e a estudou secretamente nas vrias escolas religiosas por que passou. Em 1685
Lus XIV revogou o dito de Nantes um decreto de 1598 que garantia liberdade
religiosa aos protestantes franceses e seguiu-se um perodo de represso. De Moivre
ficou preso por dois anos antes de ir embora para Londres, onde permaneceria o restante
de sua vida. Ele estudou matemtica por conta prpria, tornando-se muito proficiente. Por
pura sorte, ele se encontrava na casa do conde de Devonshire, onde trabalhou como tutor,
no momento em que Isaac Newton apareceu com uma cpia do Principia, seu grande
trabalho na Teoria da Gravitao. De Moivre pegou o livro, estudou-o por conta prpria,
e concluiu que seria mais trabalhoso estud-lo do que esperava ( um texto difcil mesmo
para leitores modernos). Mas estudando assiduamente ele costuma arrancar pginas do
volumoso livro para poder estudar entre as sesses de tutoria ele no apenas leu todo o
livro, mas acabou se tornando um expert nele, tanto que Newton, em seus ltimos anos,
transferia para De Moivre questes originalmente direcionadas a ele prprio: Procure o
Sr. De Moivre; ele conhece essas coisas melhor que eu.
Em 1692 ele conheceu Edmond Halley (o que deu nome ao famoso cometa), que
ficou to impressionado com sua habilidade matemtica, que levou Real Sociedade o
primeiro trabalho de De Moivre, sobre o mtodo das fluxes de Newton (isto , Clculo
Diferencial). Por meio de Halley, De Moivre tornou-se membro do crculo de amizades
de Newton, que tambm inclua John Wallis e Roger Cotes. Em 1697 foi eleito para a
Real Sociedade, e em 1712 foi apontado como membro da comisso que iria resolver a
amarga disputa entre Newton e Leibniz sobre a propriedade da inveno do Clculo. Ele
foi tambm eleito para as academias de Paris e Berlim.
Apesar desses sucessos, De Moivre no foi capaz de assegurar uma cadeira em
uma Universidade sua origem francesa foi uma das razes e mesmo as tentativas de
Leibniz em sua defesa no tiveram sucesso. Levou uma vida miservel como tutor de
matemtica, e pelo resto de sua vida lamentaria ter que perder seu tempo atendendo seua
alunos de casa em casa. Passava seu tempo livre em cafs e tavernas em St. Martins
Lane, Londres, onde respondia todo tipo de questes matemticas enviadas por clientes
ricos, especialmente sobre suas chances de ganhar em jogos de azar.
Quando envelheceu acabou se ornando letrgico, e necessitava de longas horas de
sono. De acordo com uma fonte, ele declarou que a partir de certo dia, ele iria precisar de
vinte minutos a mais de sono a cada dia. No 72 dia 27 de novembro de 1754 quando
o tempo adicional de sono havia acumulado vinte e quatro horas ele morreu; a causa
oficial foi registrada como sonolncia. Ele tinha 87 anos, juntando-se a uma longa
linhagem de distintos matemticos ingleses que viveram bem alm dos 80: William
76 ABRAHAM DE MOIVRE
Oughtred, que morreu em 1660 aos 86, John Wallis (m. 1703 aos 87), Isaac Newton
(m. 1727 aos 85), Edmond Halley (m. 1742 aos 86), e em nossa poca, Alfred North
Whitehead (m. 1947 aos 86) e Bertrand Russel, que morreu em 1970 aos 98. O poeta
Alexander Pope prestou-lhe um tributo em An Essay on Man:

Who made the spider parallels design,
Sure as Demoivre, whitout a rule or line ?



A obra Matemtica de De Moivre cobriu principalmente duas reas: a teoria das
probabilidades, e lgebra e trigonometria (consideradas um campo unificado). Em
probabilidade ele estendeu o trabalho de seus predecessores, em particular Christiaan
Huygens e vrios membros da famlia Bernoulli. A generalizao de um problema
proposto inicialmente por Huygens conhecida como Problema de De Moivre: sejam n
dados, cada um com f faces, encontre a probabilidade de que num lanamento a soma das
faces seja um nmero dado.
1
Suas vrias investigaes nesse campo aparecem em seu
livro A Doutrina das Probabilidades (The Doctrine in Chances: or, a Method of
Calculating the Probability of Events in Play London, 1718); contm inmeros
problemas sobre lanamento de dados, retirada de bolas de diferentes cores de uma urna,
e questes relacionadas a seguros de vida e penso por morte. Tambm est declarada
(embora ele no tenha sido o primeiro a descobrir) a regra para encontrar a probabilidade
de eventos compostos. Um segundo trabalho, A Treatise of Annuities upon Lives
(London, 1725 e 1743), trata da anlise de estatsticas de mortalidade (que Halley havia
iniciado anos antes), a diviso de penso entre vrios herdeiros, e outras questes de
interesse de instituies financeiras e companhias de seguro.
Na teoria de probabilidades freqentemente encontramos a expresso n! (l-se n
fatorial), definida como 1 2 3 ... n. O valor de n! cresce rapidamente com o
crescimento de n; por exemplo, 10!=3.628.800 enquanto 20!=2.432.902.008.176.640.000.
Para encontrar n!, preciso encontrar primeiro (n 1)!, que por sua vez exige que se
conhea (n 2)!, e por a continua, fazendo com que o clculo direto de n! para um
grande valor de n consuma muitssimo tempo. Seria desejvel ento que se tivesse uma
frmula de aproximao que poderia estimar n! para n muito grande por um clculo
simples. Em um papel escrito em 1733 e revelado a apenas alguns amigos, De Moivre
desenvolveu a frmula

n
n
e cn n

+

2
1
! ,


ABRAHAM DE MOIVRE 77
Eli Maor Traduo livre: rossiunb@gmail.com

Em que c uma constante e e a base dos logaritmos naturais.
2
Entretanto, ele no foi
capaz de determinar o valor numrico dessa constante; esta tarefa coube a James Stirling
Scot (1692-1770), que encontrou 2 = c . A frmula de Sirling, como conhecida hoje,
tambm tem muita participao de De Moivre; usualmente escrita na forma

n n
e n n n

2 ! .


Por exemplo, para n = 20, a frmula fornece 2,422786847 10
18
, comparado com o valor
correto (arredondado) 2,432902008 10
18
.
O terceiro grande trabalho de De Moivre, Miscellanea Analytica (London, 1730),
trata, alm de probabilidade, de lgebra e trigonometria analtica. Um grande problema
daquela poca era o de fatorar um polinmio como x
2n
+ px
n
+ 1 em fatores quadrticos.
Este problema surgiu em conexo com o trabalho de Cote sobre decomposio de
expresses racionais em fraes parciais (conhecidas ento como sries recorrentes).
De Moivre completou o trabalho de Cote, deixado incompleto pela morte repentina deste
(veja pgina XXX). Entre seus vrios resultados, encontramos a seguinte frmula,
conhecida tambm como propriedade de Cote para o crculo:
x
2n
+ 1 = [x
2
2x cos /2n + 1] [x
2
2x cos 3/2n + 1]
... [x
2
2x cos (2n - 1)/2n + 1].

Para obter essa fatorao, precisamos apenas encontrar (utilizando o teorema de
De Moivre) as 2n diferentes razes da equao x
2n
+ 1 = 0, ou seja, os 2n valores
complexos de
n 2
1 , e ento multiplicar os fatores lineares correspondentes em pares
conjugados. O fato de que expresses trigonomtricas aparecem na fatorao de
expresses puramente algbricas como x
2n
+ 1 impressiona qualquer estudante que
encontra uma dessas frmulas pela primeira vez; nos tempos de De Moivre, impressionou
at mesmo os matemticos profissionais.



O famoso teorema de De Moivre,

n sen i n sen i
n
+ = + cos ) (cos ,


foi sugerido por ele em 1722, mas nunca foi declarado explicitamente em seu trabalho;
que ele o conhecia, entretanto, est claro devido frmula correlata

78 ABRAHAM DE MOIVRE

n n
n sen i n n sen i n
/ 1 / 1
) (cos
2
1
) (cos
2
1
cos + + = ,


que ele j havia encontrado em 1707 (De Moivre a derivou dos valores positivos de n;
Euler a demonstrou em 1749 para qualquer n real).
3
Ele a usava freqentemente na
Miscellanea Analytica e em inmeros artigos que publicou no Philosophical
Transactions, o jornal oficial da Real Sociedade. Por exemplo, em um artigo publicado
em 1739 ele mostrou como extrair as razes de qualquer binmio da forma b a + ou
b a + (ele chamava o ltimo de binmio impossvel). Como um exemplo
especfico, ele mostra como encontrar as trs razes cbicas de 2700 81 + (em notao
moderna, i ) 3 30 ( 81+ ). A discusso mais verbal que simblica, mas precisamente o
mtodo que encontramos hoje em qualquer livro-texto de trigonometria: escreva
i ) 3 30 ( 81+ na forma polar como ) (cos sen i r + , em que
2 2
) 3 30 ( 81 + = r =
21 21 9261 = e 68 , 32 27 / ) 3 10 ( tan 81 / ) 3 30 ( tan
1 1
= = =

. Ento calcule a
expresso ] 3 / ) 360 ( 3 / ) 360 [cos(
3
k sen i k r + + + para k = 0, 1 e 2. Temos
21 21 ) 21 ( ) 21 ( 21 (
2 / 1 3 / 1 2 / 3
3
= = = e /3 = 10,89, e ento as razes so
21 cis (10,89 + 120k), em que cis significa cos + i sen. Usando uma tabela ou uma
calculadora para calcular senos e cossenos, chegamos s trs razes pedidas:
2 / ) ) 3 ( 9 ( i + , i ) 3 2 ( 3+ , e 2 / ) ) 3 5 ( 3 ( i . De Moivre comenta:
Existem muitos autores, e entre eles o eminente Wallis, que haviam pensado que as
equaes cbicas referentes ao crculo, poderiam ser solucionadas pela extrao da raiz
cbica de uma quantidade imaginria, como 2700 81 + , sem observar uma tbua de
senos, mas isso pura fico, e uma fuga da questo. Dessa forma, o resultado sempre
ir retornar mesma questo que foi originalmente proposta. E a coisa no pode ser
feita de modo direto, sem o auxlio de uma tbua de senos, especialmente se as razes
forem irracionais, como tem sido observado por muitos outros.
4

De Moivre certamente deve ter ficado surpreso porque as trs razes resultaram em
nmeros complexos irracionais simples, mesmo no sendo nenhum ngulo especial
como 15, 30 ou 45. Ele dizia que era fico (isto , impossvel) encontrar a raiz
cbica de um nmero complexo sem uma tbua de senos; e para evitar qualquer
mal-entendido, ele repete a declarao novamente no final: E a coisa no pode ser feita
de modo direto, sem o auxlio de uma tbua de senos, especialmente se as razes forem
irracionais. Naturalmente, ele estava certo para o caso geral: para encontrar as trs razes
cbicas de um nmero complexo z = x + iy, temos que express-lo em sua forma polar,
z = r cis , em que
2 2
y x r + = e = tan
-1
y/x; em seguida, calculamos
3
r e /3, ento
usando uma tbua de senos encontramos cos /3 e sen /3, e finalmente
k cis r 120 ) 3 / (
3
+ , para k = 0, 1 e 2. Ironicamente, entretanto, o exato exemplo que
De Moivre usou para ilustrar o procedimento pode ser resolvido sem o auxlio de uma
tbua ! Vejamos como.
ABRAHAM DE MOIVRE 79
Eli Maor Traduo livre: rossiunb@gmail.com

Desejamos encontrar as trs razes cbicas de z = x + iy = i ) 3 30 ( 81+ = r cis ,
em que r = 21 21 e = 27 / ) 3 10 ( . Desta ltima equao (ou pelo clculo direto de x/r)
encontramos cos = 49 / ) 21 9 ( 21 21 / 81 = . Usaremos agora a identidade
cos = 4 cos
3
/3 3 cos /3 para encontrar o valor de cos /3; fazendo x = cos /3,
temos

x x 3 4 49 / ) 21 9 (
3
= ,
(1)
ou

0 21 9 147 196
3
= x x .
(2)
A substituio ) 21 9 /( x y = reduz esta equao a

0 1 147 396 . 333
3
= y y .
(3)
Esta nova equao no possui radicais, mas seu primeiro coeficiente parece demasiado
grande. Isto s acontece, entretanto, porque 157 divisvel por 21 3 333.396 divisvel
por 21
3
. Escrevendo z = 21y, a equao se torna

0 1 7 36
3
= z z ,
(4)
uma equao bem mais simples, cujas trs razes so 1/2, -1/3 e -1/6 todos nmeros
racionais ! Substituindo de volta, temos y = z/21 = 1/42, -1/63 e -1/126, e finalmente
x = cos /3 = y ) 21 9 ( = 14 / ) 21 3 ( , 7 / ) 21 ( , e 14 / ) 21 ( . Para cada um desses
valores encontramos o valor de sen /3 pela identidade 3 / cos 1 3 /
2
= sen ;
teremos 14 / ) 7 ( 3 / = sen , 7 / ) 7 2 ( , e 14 / ) 7 5 ( (o ltimo negativo porque o
ponto correspondente est no 3 quadrante do plano complexo). Ainda temos
21 ) 21 21 (
3 / 1 3
= = r . As trs razes procuradas ento sero

( ) [ ] ( ) i i 3 9
2
1
14 / 7 14 / 21 3 21 + = + ,


( ) [ ] i i 3 3 7 / 7 2 7 / 21 21 + = + ,

e

( ) [ ] ( ) i i 3 5 3
2
1
14 / 7 5 14 / 21 21 = ;

elas so mostradas na figura 27.
claro que o modo natural de se manipular o problema seria o de se resolver a
equao (1) diretamente, usando a frmula que leva o nome do italiano Girolamo
Cardano (1501-1576), mas que na verdade foi desenvolvida de forma independente por
dois outros italianos, Scipione del Ferro (circa 1465-1526) e Nicolo Tartaglia (circa 1506-
1557).
5

80 ABRAHAM DE MOIVRE



Fig. 27. As trs razes de 81 + -2700.

A frmula de Cardano anloga familiar frmula quadrtica para a resoluo de
equaes do segundo grau
a
, mas consideravelmente mais complicada. Ela baseada no
fato de que qualquer equao cbica em sua forma normal y
3
+ ay
2
+ by + c = 0 (em que
o coeficiente do primeiro termo = 1) pode ser reduzida forma x
3
+ px + q = 0 (sem
termo quadrtico), pela substituio y = x a/3, de forma que teremos p = b a
2
/3 e
q = 2a
3
/27 ab/3 + c. Como a equao (1) tambm no tem termo quadrtico,
precisamos apenas dividi-la pelo coeficiente de seu primeiro termo, chegando a
x
3
+ px + q = 0, em que p = 3/4 e q = (921)/196. A frmula de Cardano agora requer
o clculo das quantidades P =
3
3 2
27 / 4 / 2 / p q q + + e Q =
3
3 2
27 / 4 / 2 / p q q + .
Substituindo os valores de p e q nessas expresses teremos, aps considerveis
simplificaes, P,Q = ( )
3
7 70 21 63
14
1
i . Precisamos ento encontrar a raiz cbica
dos nmeros complexos ( )i 7 70 21 63 , e para tanto iremos express-la na forma
polar R cis . Temos R = [ ] ( )
2 2
7 70 21 63 + = 343 e = tan
-1
( ) ( ) 21 63 / 7 70 =
tan
-1
( ) 27 / 3 10 exatamente o mesmo ngulo que havamos encontrado no primeiro
clculo! Foi isto que De Moivre quis dizer com sua enigmtica declarao, Dessa forma,
o resultado sempre ir retornar mesma questo que foi originalmente proposta.
Poderia um matemtico do calibre de De Moivre negligenciar o fato de que seu
prprio exemplo poderia ser resolvido sem usar uma tbua de senos ? Aparentemente sim.
Mesmo Einstein uma vez ignorou a possibilidade de que o denominador em uma de suas
equaes poderia ser zero. Isto foi em 1917, quando ele aplicou sua teoria da relatividade
geral a questes cosmolgicas. Um jovem astrnomo russo, Aleksander Friedmann,
observou que este equvoco aparentemente sem grande importncia, implicava em, nada
menos, na concluso de que o universo estava se expandindo !
6


a
No Brasil a frmula para resoluo da equao do 2 grau conhecida como frmula de Bhaskara. Na
verdade, Bhaskara a copiou de outro matemtico hindu, chamado Sridhara. Na literatura estrangeira no
existe referncia a Bhaskara, como no original deste livro (N.T.).
ABRAHAM DE MOIVRE 81
Eli Maor Traduo livre: rossiunb@gmail.com

NOTAS E FONTES

1
Florian Cajori, A History of Mathematics (1893, 2nd ed, New York: McMillian, 1919) p. 230 [edio
brasileira Uma Histria da Matemtica, Editora Cincia Moderna, 2007].
2
Este papel tambm traz a primeira declarao da frmula para a distribuio normal. Veja David Eugene
Smith, A Source Book in Mathematics (1929; rpt. New York: Dover, 1959), pp. 566-568.
3
Desta relao e de sua correlata,
n n
n sen i n n sen i n sen i
/ 1 / 1
) (cos
2
1
) (cos
2
1
+ =
,


temos, aps adies,
n
n sen i n sen i
/ 1
) (cos cos + = + , e da o teorema de De Moivre segue
imediatamente. Para a prova de Euler de que a frmula vlida para qualquer n real, veja Smith, pp. 452-
454.
4
Ibid., pp. 447-450. Duas das razes que aparecem aqui, i ) 3 5 ( 2 / 3 + e 2 / ) 3 ( 3 i + , esto claramente
erradas, provavelmente por um erro de impresso.
5
A histria da equao cbica longa e repleta de controvrsias e intrigas. Veja David Eugene Smith,
History of Mathematics (1925; rpt. New York: Dover, 1953), vol. 2, pp. 454-466; Victor J. Katz, A History
of Mathematics: An Introduction (New York: HarperCollins, 1993), pp. 328-337; e David M. Burton,
History of Mathematics: An Introduction (Dubuque, Iowa: Wm. C. Brown, 1995), pp. 288-299.
6
Roanld W. Clark, Einstein: The Life and Times (1971; rpt. New York: Avon Books, 1972), p.70.


6
Dois Teoremas da Geometria

a glria da geometria o fato de que, a partir de
poucos princpios, sermos capazes de realizar tanto.
- Sir Isaac Newton, prefcio ao Principia.


A proposio 20 do livro III dos Elementos de Euclides diz:
Em todo crculo o ngulo que feito no centro o dobro do ngulo que est na
circunferncia, tendo cada um destes ngulos por base a mesma poro da
circunferncia.
1

Em linguagem mais comum, a proposio diz que um ngulo inscrito em uma
circunferncia (isto , um ngulo cujos vrtices estejam sobre a circunferncia) igual
metade do ngulo central que subentende a mesma corda (fig. 28). Dois corolrios deste
teorema seguem imediatamente: (1) Dada uma circunferncia, todos os ngulos inscritos
que subentendem a mesma corda so iguais (veja a proposio 21 de Euclides; veja
fig. 29); e (2) Todos os ngulos inscritos que subentendem o dimetro so ngulos retos
(fig. 30). Diz-se que esse ltimo resultado foi demonstrado por Tales (embora os
babilnios j soubessem disso mil anos antes dele) e pode ser um dos primeiros teoremas
a ter uma demonstrao.
Este simples teorema, com seus dois corolrios, um tesouro escondido da
informao trigonomtrica, e teremos vrias ocasies para us-lo no decorrer deste livro.
Vamos us-lo aqui para provar a lei dos senos. A figura 31 mostra um tringulo ABC
inscrito em uma circunferncia com centro O e raio r. Ns temos 2 2 = = ACB AOB .
Trace a bissetriz de AOB perpendicular a AB. Ento sen = (c/2)/r, e c/sen = 2r =
constante. Uma vez que a razo c/sen constante (isto , tem o mesmo valor,
independentemente de c e ), teremos

r
sen
c
sen
b
sen
a
2 = = =

.
(1)

Esta prova no apenas um modelo de simplicidade, ela tambm fornece a lei dos senos
em sua forma completa; a prova mais comum, baseada na diviso de um tringulo em
dois tringulos retngulos, ignora completamente a expresso 2r.
84 CAPTULO 6



Fig. 28. Proposio 20 do livro II dos
Elementos de Euclides.




Fig. 28. Proposio 21 do livro II dos
Elementos de Euclides.




Fig. 30. Todos os ngulos inscritos
que subentendem o dimetro so
ngulos retos.


DOIS TEOREMAS DA GEOMETRIA 85
Eli Maor Traduo livre: rossiunb@gmail.com




Fig. 31. A lei dos senos: o caso
acutngulo.

Na figura 31 o ngulo agudo, o que significa que o centro da circunferncia
est dentro do tringulo. Se for obtuso (fig. 32), o centro estar fora do tringulo, de
forma que o arco AB maior que a metade da circunferncia. Ento o ngulo interno do
tringulo AOB em O = 360 2. Trace novamente a bissetriz perpendicular de O at
AB: temos que sen /2 = (c/2)/r. Mas sen /2 = sen (180 ) = sen , e ento novamente
chegamos a c/sen = 2r, como anteriormente.



Fig. 32. A lei dos senos: o caso
obtusngulo.

Ns podemos retirar ainda mais informaes desse teorema. A figura 33 mostra o
crculo unitrio e um ponto P sobre ele. Seja 2 o ngulo entre OP e semi-eixo x positivo.
Ento = ORP , em que R o ponto com coordenadas (1,0). Aplicando a lei dos senos
ao tringulo ORP, teremos RP/sen (180 2) = OP/sen . Mas sen (180 2) = sen 2 e
OP = 1, e RP/sen 2 = 1/sen , de onde teremos
sen 2 = RP sen . (2)


86 CAPTULO 6



Fig. 33. Prova geomtrica da
frmula para o dobro de um
ngulo.

Agora trace a bissetriz perpendicular OS de O a RP; no tringulo retngulo ORS
temos cos = RS/RO = (RP/2)/RO = RP/2, ento RP = 2 cos . Substituindo na equao
(2), temos
sen 2 = 2 sen cos , (3)
que a frmula do seno do dobro de um arco. Novamente, traando a perpendicular PQ
de P at o eixo x, teremos
cos 2 = OQ = RQ RO = RP cos 1
= (2 cos ) cos 1 = 2 cos
2
1, (4)
que a frmula do cosseno do dobro de um arco. Finalmente, tendo demonstrado as
frmulas para o dobro de um arco, podemos chegar s frmulas do arco-metade
simplesmente substituindo 2 por .
Retornemos por um momento para a nossa prova da lei dos senos. Como trs
pontos no colineares determinam uma nica circunferncia, toso tringulo pode ser
inscrito em exatamente uma circunferncia. Ento, podemos tratar os ngulos do
tringulo como ngulos inscritos e os lados como cordas da circunferncia. Assim a lei
dos senos realmente um teorema sobre circunferncias. Se atribuirmos o valor 1 ao
dimetro da circunferncia circunscrita e a chamarmos crculo unitrio, ento a lei dos
senos pode ser expressa simplesmente como
a = sen , b = sen , c = sen ,
ou seja, cada lado de um tringulo inscrito em um crculo unitrio igual ao seno do
ngulo oposto (fig. 34). Podemos, de fato, definir o seno de um ngulo como o
comprimento da corda que ele subentende em um crculo unitrio, e esta definio pode
ser to boa quanto a definio tradicional do seno como a razo entre dois lados de um
tringulo retngulo. (E de fato pode ter a vantagem de que o ngulo pode variar de 0 a
180 - o dobro da amplitude no tringulo retngulo.)
DOIS TEOREMAS DA GEOMETRIA 87
Eli Maor Traduo livre: rossiunb@gmail.com




Fig. 34. Lei dos senos no crculo
unitrio.

Como vimos no captulo 2, esta foi a interpretao que Ptolomeu usou em sua tbua de
cordas.



No Almagesto de Ptolomeu encontramos a seguinte proposio, conhecida como
teorema de Ptolomeu:
2

O retngulo contido nas diagonais de um quadriltero qualquer inscrito em uma
circunferncia igual soma dos retngulos contidos nos pares de lados opostos.
3

Qual o significado dessa sentena obscura? Para comear, os gregos
interpretavam um nmero como o comprimento de um segmento de reta, e o produto de
dois nmeros como a rea de um retngulo cujos lados tenham os nmeros dados como
comprimento. Ento, O retngulo contido nas diagonais significa a rea de um
retngulo cujos lados so diagonais de um quadriltero inscrito, com interpretao similar
para os retngulos contidos nos pares de lados opostos. Encurtando, um retngulo
contido em significa produto. O teorema de Ptolomeu pode ento ser formulado desse
modo: Num quadriltero inscrito em uma circunferncia, o produto das diagonais igual
soma dos produtos dos lados opostos. Em referncia figura 35, isto significa que:
AC BD = AB CD + BC DA (5)

Como esse teorema no to conhecido como outros da geometria elementar,
vamos mostrar a demonstrao de Ptolomeu: Usando um dos lados, digamos AB, como o
lado inicial, construmos o ngulo ABE igual ao ngulo DBC. Agora os ngulos CAB e
CDB tambm so iguais, com corda BC em comum.

88 CAPTULO 6



Fig. 35. Teorema de Ptolomeu.
Ento os tringulos ABE e DBC so congruentes, tendo dois pares de ngulos iguais.
Assim AE/AB = DC/DB, e temos
AE BD = AB DC. (6)
Se agora adicionarmos o ngulo EBD aos dois lados da equao DBC ABE = ,
teremos EBC ABD = . Mas os ngulos BDA e BCE tambm so iguais, tendo a corda
AB em comum. Ento, os tringulos ABD e EBC so congruentes, e AD/DB = EC/CB e
ento
EC DB = AD CB. (7)
Finalmente, somando as equaes (6) e (7), teremos (AE + AC)DB = AB DC + AD CB;
substituindo AE + EC por AC, teremos o resultado desejado (note que os lados no so
segmentos orientados, ou seja, BD = DB, etc.).
Se fizermos com que o quadriltero ABCD seja um retngulo (fig. 36), ento todos
os quatro vrtices formam ngulos retos e, conseqentemente, AB = CD, BC=DA, e
AC = BD. A equao (5) ento diz que
(AC)
2
= (AB)
2
+ (BC)
2
(8)
que o teorema de Pitgoras! Esta demonstrao do mais celebrado teorema da
matemtica aparece como a de nmero 66 das 256 provas no clssico livro de Elisha
Scott Loomis, The Pythagorean Proposition.
4




Fig. 36. O teorema de Pitgoras.
DOIS TEOREMAS DA GEOMETRIA 89
Eli Maor Traduo livre: rossiunb@gmail.com

Qual a importncia trigonomtrica do teorema de Ptolomeu? Para o caso
especial em que ABCD um retngulo, AC o dimetro de nosso crculo unitrio,
ento AC = 1. Alm disso, denotando o ngulo BAC como , temos AB = cos , BC =
sen . A equao (8) ento se torna
1 = cos
2
+ sen
2
,
que o equivalente trigonomtrico do teorema de Pitgoras. E ainda no acabou. Seja
ABCD um quadriltero qualquer no qual uma diagonal, digamos AC, coincida com o
dimetro (fig. 37).



Fig. 37. Prova geomtrica de sen ( +) =
sen cos + cos sen .
Ento ABC e ADC so ngulos retos. Seja = BAC , = CAD . Temos ento
BC = sen , AB = cos , CD = sen , AD = cos , e BD = sen ( + ), e ento pelo teorema
de Ptolomeu,
1 sen ( + ) = sen cos + cos sen ,
que a frmula do sena da soma! (A frmula do seno da diferena, sen ( ) = sen
cos cos sen , pode ser obtida considerando um quadriltero qualquer em que um
lado coincide com o dimetro; veja fig. 38.)




Fig. 37. Prova geomtrica de sen ( ) =
sen cos cos sen .

90 CAPTULO 6
Assim, possvel que a mais importante frmula da trigonometria j fosse
conhecida por Ptolomeu, que a teria utilizado com sucesso para calcular sua tbua de
cordas; e tambm bem possvel que ela tenha sido descoberta por Hiparco, dois sculo e
meio antes. O velho provrbio ainda verdade: No h nada de novo sob o sol.


NOTAS E FONTES

1
Euclid, The Elements, traduzido para o ingls com introduo e comentrios por Sir Thomas Heath
(Annapolis: St. Johns College Press, 1947), vol.2, pp.46-49 [edio em portugus na internet: Elementos de
Euclides, Portal Domnio Pblico: www.dominiopublico.gov.br].
2
Tobias Dantzig, em seu livro The Bequest of the Greeks (New York: Charles Scribners Sons, 1955), p.
173, sugere que o teorema pode ter sido descoberto por Apolnio, que viveu trs sculos antes de Ptolomeu.
3
Euclid, The Elements, vol.2, pp. 225-228.
4
Loomis, The Pythagorean Proposition (1940; rpt. Washington, D.C.: The National Council of Teachers of
Mathematics, 1968), p. 66. Nenhuma das 256 demonstraes baseada em trigonometria: No existem
provas trigonomtricas [do teorema de Pitgoras], porque todas as frmulas da trigonometria so elas
prprias baseadas na verdade do teorema de Pitgoras... A trigonometria porque o teorema de Pitgoras
(p. 244). Entre as provas, existe uma (nmero 231) proposta por James A. Garfield em 1876, cinco anos
antes de ele se tornar presidente dos estados Unidos.

7
Epiciclides e Hipociclides

A teoria dos epiciclos [do movimento dos planetas],
na clara definio dada por Ptolomeu, sobressai como
o mais desenvolvido produto da astronomia antiga.
- Anton Pannekoek, A History of Astronomy.



Na dcada de 1970, surgiu um intrigante brinquedo educacional que rapidamente
se tornou uma febre: o espirgrafo. Ele consiste em um conjunto de pequenas rodas de
plstico, de tamanhos variados, com dentes em suas bordas interna e externa (fig. 39).
Havia pequenos buracos em cada roda, a diferentes distncias do centro. Posiciona-se um
dos anis em uma folha de papel, coloca-se uma das rodas em contato, de forma a
encaixar os dentes, e coloca-se a ponta de uma caneta em um dos pequenos buracos. Ao
mover a roda ao redor do anel, uma curva traada no papel uma hipociclide se a roda
se mover na parte interna do anel, ou uma epiciclide se ela se mover na parte externa do
anel (os nomes vm dos prefixos gregos hipo = sob, e epi = sobre). O formato exato da
curva depende dos raios do anel e da roda (cada um expresso em termos do nmero de
dentes em sua borda); mais precisamente, da razo entre os raios.
Vamos encontrar as equaes paramtricas da hipociclide, a curva descrita por
um ponto em um crculo de raio r que rola sem deslizar na parte interna de um crculo
fixo de raio R (fig. 40). Seja O e C os centros dos crculos fixo e mvel, respectivamente,
e P um ponto do crculo mvel. Quando o crculo mvel gira um ngulo no sentido
horrio, C descreve um arco de ngulo no sentido anti-horrio em relao a O.
Assumindo que o movimento comea quando P est em contato com o crculo fixo no
ponto Q, escolhemos o sistema de coordenadas com origem em O e eixo x passando
por Q. As coordenadas de P em relao a C so (r cos , r sen ) (o sinal de menos na
segunda coordenada ocorre porque medido no sentido horrio), enquanto as
coordenadas de C em relao a O so ((R r) cos , (R r) sen ). Ento as coordenadas
de P em relao a O so:

x = (R r) cos + r cos , y = (R r) sen r sen (1)

92 CAPTULO 7



Fig. 39. Espirgrafo.





Fig. 40. Gerando uma hipociclide.

EPICICLIDES E HIPOCICLIDES 93
Eli Maor Traduo livre: rossiunb@gmail.com

Mas os ngulos e no so independentes: com a continuidade do movimento,
os arcos do crculo fixo e do crculo mvel que esto em contato (arcos QQ e QP na
fig. 40) devem ser de igual medida. Esses arcos medem R e r( + ), respectivamente, e
ento temos R = r( + ). Usando esta relao para expressar em termos de , teremos
= [(R r)/r], e as equaes (1) se tornam
x = (R r) cos + r cos [(R r)/r] ,
y = (R r) sen r sen [(R r)/r].
(2)
As equaes (2) so as equaes paramtricas da hipociclide, o ngulo sendo o
parmetro (se o crculo mvel girasse com velocidade angular constante, seria
proporcional ao tempo decorrido desde o incio do movimento). A forma da curva
depende da razo R/r. Se essa razo for uma frao reduzida m/n (sem divisor comum), a
curva ter m extremidades, e estar completamente traada aps mover n vezes o crculo
mvel ao redor da extremidade interna. Se R/r for irracional, a curva nunca se fechar,
embora executar vrias vezes o movimento faa com que a curva quase se feche.
Para alguns valores de R/r a curva resultante poder nos surpreender. Por
exemplo, quando R/r = 2, as equaes (2) se tornam
x = r cos + r cos = 2r cos ,
y = r sen r sen = 0.
(3)

O fato de que sempre tenhamos y = 0 significa que P se move ao longo do eixo x apenas,
traando o dimetro interno do anel para trs e para a frente. Ento podemos usar duas
circunferncias de razo 2:1 para traar uma linha reta. No sculo 19, o problema de se
converter movimento circular para retilneo e vice-versa era crucial para a construo de
mquinas a vapor: o movimento de vai-e-vem do pisto tinha que ser convertido para a
rotao das rodas. A hipociclide 2:1 foi uma das numerosas solues propostas.
Ainda mais interessante o caso R/r = 4, para o qual as equaes (2) se tornam
x = 3r cos + r cos 3 ,
y = 3r sen r sen 3.
(4)
Para obter a equao retangular da curva a equao com as coordenadas x e y de P
precisamos eliminar o parmetro entre as duas equaes. Normalmente isto iria requerer
tediosas manipulaes algbricas, e a equao resultante se ela puder ser obtida, de
qualquer maneira pode ser muito complicada. Mas neste caso um par de identidades
trigonomtricas vm nos ajudar as identidades cos
3
= (3 cos + cos 3)/4 e
sen
3
= 3 sen sen )/4.
1
As equaes (4) ento se tornam
x = 4r cos
3
, y = 4r sen
3
. (4)
94 CAPTULO 7
Extraindo a raiz cbica de cada equao, elevando ao quadrado e somando, finalmente
encontramos
x
2/3
+ y
2/3
= (4r)
2/3
= R
2/3
. (5)
A hipociclide descrita pela equao (5) chamada de astride; tem o formato de
uma estrela (da o nome) com quatro pontas localizadas em = 0. 90, 180 e 270. A
astride possui algumas propriedades notveis. Por exemplo, todas as suas tangentes
compreendem um mesmo comprimento entre os eixos, sendo R este comprimento. E
inversamente, se um segmento de reta de comprimento fixo igual a R e extremidades
sobre os eixos x e y puder assumir todas as posies possveis, o envelope (contorno)
formado por todos esses segmentos de reta a tangente a cada um deles ser uma
astride (fig. 41).



Fig. 41. Astride formada por suas
tangentes.

Assim, a regio ocupada por uma escada apoiada em uma parede, podendo ocupar todas
as posies possveis, tem o formato de uma astride. Surpreendentemente, a astride
tambm o envelope da famlia de elipses x
2
/a
2
+ y
2
/(R a
2
) = 1, sendo R a soma dos
semi-eixos maior e menor da elipse (fig. 42).
2




Fig. 42. Astride formada por elipses
tangentes.
EPICICLIDES E HIPOCICLIDES 95
Eli Maor Traduo livre: rossiunb@gmail.com

A equao cartesiana da astride (equao 5) faz com que seja particularmente
fcil calcular algumas propriedades mtricas dessa curva. Por exemplo, usando a frmula
do Clculo para encontrar o comprimento de um arco, possvel mostrar que a
circunferncia da astride igual a 6R (e para nossa surpresa, apesar do envolvimento de
crculos para gerar a astride, sua circunferncia no depende da constante ). A rea
delimitada pela astride 3R
2
/8, ou trs oitavos da rea do crculo fixo.
3




Em 1725 Daniel Bernoulli (1700-1782), membro da venervel famlia Bernoulli
de matemticos descobriu uma bela propriedade da hipociclide conhecida como teorema
da dupla gerao: um crculo de raio r rolando no interior de um crculo fixo de raio R
gera a mesma hipociclide que aquela gerada por um crculo de raio (R r) rolando no
interior do mesmo crculo fixo. Se chamarmos a primeira hipociclide de [R, r] e a
segunda de [R, R r], o teorema diz que [R, r] = [R, R r]. Observe que os dois crculos
mveis so complementares em relao ao crculo fixo: a soma de seus dimetros
equivale ao dimetro do crculo fixo (fig. 43).




Fig. 43. Teorema da dupla gerao de
Bernoulli.


96 CAPTULO 7
A fim de provar esse teorema, vamos aproveitar uma simetria peculiar nas equaes (1).
Substituindo r = R r nessas equaes, teremos
x = r cos + (R r) cos , y = r sen (R r) sen .
Mas os parmetros e esto relacionados pela equao (R r) = r. Utilizando essa
equao para expressar em termos de , teremos = r/(R r) = [(R r)/r] . As
equaes (1) ento se tornam
x = r cos [(R r)/r] + (R r) cos ,
y = r sen [(R r)/r] (R r) sen ,
(6)
As equaes (6), exceto pelo fato de que r substitui r, so muito similares s
equaes (2). De fato, podemos fazer com que sejam idnticas, apenas alterando a ordem
dos termos em cada equao:
x = (R r) cos + r cos [(R r)/r] ,
y = (R r) sen + r sen [(R r)/r] ,

A primeira dessas equaes exatamente idntica primeira das equaes (2), com r
substituindo r e e trocados.
4
Mas a segunda equao ainda traz uma incmoda troca
de sinais: queramos o primeiro termo positivo e o segundo negativo. Aqui novamente um
par de identidades trigonomtricas vm nos ajudar, as identidades cos ( ) = cos e
sen ( ) = sen . Vamos ento mudar nosso parmetro mais uma vez, substituindo
por = ; isto no afeta os termos da primeira equao, mas troca os sinais dos termos
da segunda equao:
x = (R r) cos + r cos [(R r)/r] ,
y = (R r) sen r sen [(R r)/r] ,
(7)
que so idnticas s equaes (2). Isto completa a prova.
5

Como conseqncia deste teorema temos, por exemplo, [4r, r] = [4r, 3r] ou,
equivalente, [R, R/4] = [R, 3R/4] mostrando que a astride descrita pela equao (5)
tambm pode ser gerada por um crculo de raio 3R/4 rolando na parte interna de um
crculo fixo de raio R.



As equaes paramtricas da epiciclide a curva gerada por um ponto em um
crculo de raio r rolando na parte externa de um crculo fixo de raio R so anlogas s
da hipociclide (equaes (2)):
EPICICLIDES E HIPOCICLIDES 97
Eli Maor Traduo livre: rossiunb@gmail.com

x = (R + r) cos r cos [(R + r)/r] ,
y = (R + r) sen r sen [(R + r)/r].
(8)
A presena de (R + r) no lugar de (R r) auto-explicativa, mas observe o sinal negativo
no segundo termo da equao em x; ele devido rotao do crculo mvel e do
movimento de seu centro, que esto agora na mesma direo.
Assim como a hipociclide, a forma da epiciclide depende da razo R/r. Para
R/r = 1 as equaes (8) se tornam x = r (2 cos cos 2), y = r (2 sen sen 2), e a
curva resultante, com a forma de um corao, chamada de cardiide (fig. 44). Ela tem
uma nica extremidade, localizada no ponto de contato entre P e o crculo fixo. Sua
circunferncia mede 16R e sua rea 6R
2
.
6

Mais um caso deve ser considerado: um crculo de raio r rolando na parte externa
de um crculo de raio R tocando-o internamente (fig. 45).
7
Este caso similar ao da
hipociclide, exceto pelos rolamentos dos crculos fixo e mvel que esto invertidos. As
equaes paramtricas neste caso so
x = r cos (r R) cos , y = r sen (r R) sen .
(note que agora r > R) em que e so relacionados pela equao (r R) = r.
Expressando em termos de e fazendo a substituio r = r R, essas equaes se
tornam
x = (R + r) cos r cos [(R + r)/r] ,
y = (R + r) sen r sen [(R + r)/r] .
(9)

As equaes (9) so idnticas s equaes (8), exceto que r substitudo por r e por .



Fig. 44. Cardiide.
98 CAPTULO 7



Fig. 45. Um crculo maior rolando na
parte externa de um crculo menor,
tocando-o internamente.

A curva subseqente ento idntica epiciclide gerada por um crculo de raio r = r - R
rolando na parte externa de um crculo de raio R tocando-o externamente. E,
reciprocamente, a ltima epiciclide idntica curva gerada por um crculo de raio
r = R + r rolando na parte externa de um crculo fixo de raio R tocando-o internamente.
Este o teorema da dupla gerao das epiciclides. Se introduzirmos os smbolos { } e ( )
para designar as epiciclides externas e internas, respectivamente, o teorema diz que
{R, r} = (R, R + r) (retiramos o apstrofo sobre o r). Ento para a cardiide temor
{R, R} = (R, 2R).



O estudo das epiciclides remonta aos gregos, que os utilizaram para explicar um
intrincado quebra-cabea celestial: o casual movimento retrgrado dos planetas, quando
vistos da Terra. Na maior parte do tempo, o movimento dos planetas no Zodaco ocorre
de oeste para leste; mas ocasionalmente os planetas parecem suspender seu movimento,
inverter o sentido do movimento para leste-oeste, parar novamente, e finalmente retomar
seu curso normal. Para a mente esttica dos gregos, a nica curva imaginvel pela qual os
corpos celestes poderiam se mover era a circunferncia o smbolo da perfeio. Mas um
crculo no admite um movimento retrgrado, e os gregos assumiram ento que os
planetas se moviam na verdade segundo um pequeno crculo, o epiciclo, cujo centro, por
sua vez, se move ao longo de um crculo principal, o deferente (fig. 46). Quando nem
mesmo este modelo podia descrever adequadamente o movimento aparente dos planetas,
eles adicionavam mais e mais epiciclos, at que o sistema ficou to abarrotado de
epiciclos que se tornava invivel.
EPICICLIDES E HIPOCICLIDES 99
Eli Maor Traduo livre: rossiunb@gmail.com


Fig. 46. Epiciclos planetrios. De uma gravura de 1798 (coleo do autor).


100 CAPTULO 7
Ainda assim, o sistema realmente descrevia os fatos observveis com boa aproximao, e
foi a primeira tentativa realmente matemtica de explicar o movimento dos corpos
celestes.
Foi somente quando Coprnico publicou sua teoria heliocntrica, em 1543, que a
necessidade dos epiciclos desapareceu: com a Terra orbitando o sol, o movimento
retrgrado foi imediatamente explicado como sendo conseqncia do movimento relativo
do planeta, visto de uma Terra mvel. E ento quando o astrnomo dinamarqus Olaus
Roemer (1644-1710), famoso por ter sido o primeiro a determinar a velocidade da luz,
resolveu estudar as curvas cicloidais em 1674, no havia nenhum interesse em corpos
celestes, mas um problema bem mundano o funcionamento de engrenagens mecnicas.
Com os modernos computadores e calculadoras grficas, possvel traar mesmo
as mais complexas curvas em segundos. Mas h apenas uma ou duas geraes, essa tarefa
s era possvel com o uso de dispositivos mecnicos; de fato, inmeros instrumentos
engenhosos foram inventados para desenhar famlias especficas de curvas (figs.
47 e 48).
8


Fig. 47. Elipsgrafo. Do catlogo de Keuffel & Esse, 1928.

Freqentemente esses dispositivos envolviam mecanismos altamente complexos, mas
existia certo fascnio em ver as engrenagens se movendo e traando a curva esperada;
voc podia, literalmente, ver a mquina trabalhando. Com o mundo mecnico cedendo
passagem era da eletrnica, a eficincia triunfa sobre os custos da intimidade cientfica.
9




EPICICLIDES E HIPOCICLIDES 101
Eli Maor Traduo livre: rossiunb@gmail.com




Fig. 48. Elipsgrafo. Do catlogo de instrumentos matemticos de F. W. Devoe, circa 1900.



102 CAPTULO 7

NOTAS E FONTES

1
Essas identidades so obtidas pela soluo das frmulas de ngulo-triplo cos 3 = 4 cos
3
3 cos e
sen 3 = 3 sen 4 sen
3
para cos
3
e sen
3
, respectivamente.
2
Para provar isso, considere um ponto fixo P(x, y) em um segmento de reta de comprimento R, cujas
extremidades esto livres para se mover ao longo dos eixos x e y (fig. 49). Se P divide o segmento de reta
em duas partes de comprimentos a e b, temos cos = x/a, sen = y/b. Elevando ao quadrado e somando,
teremos x
2
/a
2
+ y
2
/b
2
= 1, a equao de uma elipse com semi-eixo maior a e semi-eixo menor R a. Ento,
quando se permite que o segmento de reta assuma todas as posies possveis, o ponto P ir traar a elipse
(este o princpio do dispositivo que traa elipses, mostrado na fig. 47). Para diferentes posies de P ao
longo do segmento de reta (isto , quando a razo a/b assume diferentes valores, enquanto o valor de a + b
mantido constante) diferentes elipses sero traadas, cujo envelope comum ser a astride x
2/3
+ y
2/3
= R
2/3
.
3
Para outras propriedades da astride, veja Robert C. Yates, Curves and Their Properties (1952; rpt.
Reston, Virginia: National Council of Teachers of Mathematics, 1974), pp. 1-3.
4
Observe que estamos livres para substituir um parmetro pelo outro, cuidando para que o novo parmetro
faa com que x e y cubram a mesma gama de valores que o parmetro antigo. Neste caso, especificamente,
isto assegurado pela periodicidade das funes seno e cosseno.
5
O teorema da gerao dupla pode tambm ser provado geometricamente; veja Yates, Curves, pp. 81-82.
6
A familiar forma polar da equao da cardiide, = r (1 cos ), quando a extremidade da cardiide se
encontra na origem (aqui denota o ngulo polar entre o semi-eixo x positivo e o segmento OP; este no
deve ser confundido com o ngulo que aparece nas equaes (8)). Para propriedades adicionais da
cardiide, veja Yates, Curves, pp. 4-7.
7
Eu estou em dbito com Robert Langer da Universidade de Wisconsin Eau Claire por ter chamado
minha ateno para este caso.
8
Veja H. Martyn Cundy e A. P. Rollett, Mathematical Models (London: Oxford University Press, 1961),
captulos 2 e 5.
9
O visitante do Museu da Cincia e Indstria em Chicago ir encontrar um interessante conjunto de
engrenagens mecnicas, modestamente posicionado junto a uma das escadas e quase ofuscado pelas
atraes maiores que enchem as monstruosas salas do museu. Movendo uma pequena manivela com a mo,
possvel ativar as engrenagens e observar o movimento subseqente uma silenciosa recordao de uma
era passada.


Maria Agnesi e Sua Bruxa

Ainda hoje, as mulheres constituem apenas cerca de dez por cento do nmero total
de matemticos nos Estados Unidos;
1
este nmero ainda menor ao redor do mundo. Nas
geraes passadas, o preconceito social tornava praticamente impossvel a uma mulher
seguir carreira cientfica, e o nmero total de mulheres matemticas at o sculo XX pode
ser contado nos dedos das mos. Trs nomes vm tona: Sofia Kovalevskaya
[Sonya Kovalevsky] (1850-1891) da Rssia, Emmy Noether (1882-1935), nascida na
Alemanha, tendo emigrado para os Estados Unidos, e Maria Agnesi da Itlia.
2

Maria Gaetana Agnesi (pronuncia-se Anhsi) nasceu em Milo em 1718, onde
passou a maior parte de sua vida.
3
Se pai, Pietro, prspero professor de matemtica na
Universidade de Bolonha, encorajou-a a estudar cincias. Para promover a educao de
Maria Gaetana, ele montou em sua casa uma espcie de salo cultural, para onde iriam
convidados de toda a Europa, muitos deles especialistas em vrios campos. Diante desses
convidados, a jovem Maria demonstrava seus talentos intelectuais, oferecendo-lhes uma
variedade de assuntos que seriam defendidos num debate. Os assuntos incluam lgica,
filosofia, mecnica, qumica, botnica, zoologia e mineralogia. Nos intervalos, sua irm
Maria Teresa, que era compositora e harpista, entretinha os convidados com sua msica.
A cena lembra Leopold Mozart expondo os talentos musicais do jovem Amadeus nos
sales dos endinheirados de Salzburgo, com a irm de Mozart, Nannerl, tocando ao
fundo. Maria Gaetana era tambm versada em lnguas: aos cinco anos ela j era fluente
em francs, e aos nove ela traduziu e publicou em latim um longo manifesto defendendo a
educao superior para mulheres. Ela ainda aprendeu grego, alemo, espanhol e hebraico,
sendo capaz de defender suas teses na lngua nativa de seus convidados. Mais tarde ela
juntou 190 de suas teses e as publicou em um livro, Proportiones Philosophicae (1738);
infelizmente, nenhum de seus pensamentos matemticos foi includo nesse trabalho.
Por volta do quatorze anos, ela j resolvia problema complicados em geometria
analtica e fsica. Aos dezessete, ela comeou a desenvolver seus comentrios acerca do
trabalho de Guillaume de LHospital, Trait analytique des sections coniques;
infelizmente, seus comentrios jamais foram publicados. J nessa poca ela estava farta
da exposio pblica de seus talentos; ela se retirou da vida pblica para dedicar-se
inteiramente matemtica. Ela passou os dez anos seguintes escrevendo sua maior obra,
Instituzioni analytiche ad uso della gioventu italiana (Instituies analticas para uso da
juventude italiana). Esse trabalho foi publicado em 1748 em dois volumes muito grandes,
com o primeiro tratando de lgebra e o segundo de anlise (ou seja, processos infinitos).
Seu objetivo era mostrar uma completa e integrada apresentao desses assuntos como
eram ento conhecidos (devemos lembrar que em meados do sculo dezoito o Clculo
ainda estava em um estgio de desenvolvimento, e novos procedimentos e teoremas eram
constantemente adicionados). Agnesi escreveu seu livro em italiano, ao invs de latim, a
linguagem escolar da poca, a fim de que se tornasse acessvel a tantos jovens italianos
quanto possvel.
104 MARIA AGNESI E SUA BRUXA
A Instituzioni trouxe imediato reconhecimento a Agnesi e foi traduzido em vrios
idiomas. John Colson (f. 1760), professor lucasiano
a
da Universidade de Cambridge, que
em 1736 publicou a primeira exposio completa do Mtodo das Fluxes e Sries
Infinitas de Newton (seu clculo diferencial), traduziu o livro de Agnesi para o ingls.
Esse trabalho ele fez j em idade avanada, aprendendo italiano especificamente para essa
tarefa, de modo que a juventude britnica recebesse os benefcios da obra tanto quanto a
juventude italiana. Sua traduo foi publicada em Londres em 1801.
Em reconhecimento a seus feitos, o papa Bento XIV, em 1750, indicou Agnesi
como professora da Universidade de Bolonha. Mas ela nunca ensinou realmente l, sendo
a indicao meramente honorria. Aps a morte de seu pai em 1752, ela gradualmente foi
deixando as atividades cientficas, dedicando seus anos remanescentes aos trabalhos
religiosos e sociais. Ela tambm cuidou dos vinte e um filhos de seu pai (de trs
casamentos) e direcionou sua educao, ao mesmo tempo em que cuidava dos pobres de
sua comunidade. Ela morreu em 1799 em Milo, aos 81 anos.



irnico que o nome de Agnesi seja hoje lembrado principalmente por uma curva
que ela investigou, mas no foi a primeira a estudar: a bruxa de Agnesi (ou feiticeira de
Agnesi). Seja um crculo de raio a e centro em (0, a) (fig. 50).

Fig.50.ABruxadeAgnesi.

a
A ctedra de professor lucasiano da Universidade de Cambridge foi criada por Henry Lucas em 1663. J
foi ocupada, entre outros, por Isaac Newton, Charles Babbage, George Stokes, Paul Dirac e, atualmente
(2008) ocupada pelo fsico Stephen Hawking. (N.T.)
MARIA AGNESI E SUA BRUXA 105
EliMaorTraduolivre:rossiunb@gmail.com

Uma reta que passa por (0, 0) corta o crculo no ponto A e se estende at cortar a
reta horizontal y = 2a no ponto B. Trace uma linha horizontal por A e uma vertical por B,
de modo que essas retas se encontrem em P. A bruxa o lugar geomtrico dos pontos P
quando a reta OA assume todas as posies possveis.
mais fcil encontrar a equao da bruxa em termos do ngulo entre OA e o
eixo y. Sejam as coordenadas de P iguais a (x, y). Na figura 50 vemos que 90 = OAC ,
sendo OC o dimetro do crculo; no tringulo retngulo OAC temos ento
OA = OC cos = 2a cos . Sejam R e S os ps das perpendiculares por A e B sobre o eixo
x, respectivamente; ento no tringulo retngulo OBS temos OS = x = BS tan = 2a tan ,
e no tringulo retngulo OAR temos AR = y = OA cos = 2a cos
2
. As equaes
paramtricas da bruxa ento sero
x = 2a tan , y = 2a cos
2
. (1)
Para encontrar a equao em coordenadas retangulares, precisamos eliminar das
equaes (1). Usando a identidade 1 + tan
2
= 1/cos
2
para expressar y em termos de x,
teremos

2 2
3
4
8
a x
a
y
+
= (2)
Diversas concluses seguem da equao (2). Primeiro, quando x , y 0,
mostrando que o eixo x a assntota horizontal da bruxa. Segundo, com auxlio do
clculo, pode-se demonstrar que a rea entre a bruxa e sua assntota 4a
2
, ou quatro
vezes a rea do crculo gerador.
4
Tambm pode ser mostrado tanto diretamente da
equao (2) como das equaes paramtricas (1) que a bruxa tem dois pontos de
inflexo (pontos onde a curva muda sua concavidade), localizados em = /6. Esse
clculo direto, mas um tanto longo e iremos omiti-lo.
5

Conforme j foi mencionado, a bruxa no se originou com Agnesi; ela j era
conhecida por Pierre Fermat (1601-1665), e Luigi Guido Grandi (1671-1742), professor
de matemtica na Universidade de Pisa, que deu curva o nome versiera (do latim
vertere, verter, girar). Aconteceu, entretanto, que uma palavra italiana quase homfona,
avversiera, significa mulher do demnio, ou demnia. De acordo com D. J. Struik,
Algum esperto na Inglaterra traduziu a palavra como bruxa (witch), e o trocadilho bobo
ficou amavelmente preservado na maioria dos livros em ingls.
6
Ento a versiera de
Grandi tornou-se a bruxa de Agnesi. De qualquer maneira, permanece um mistrio por
que essa curva em particular, que raramente aparece em alguma aplicao, tenha
interessado aos matemticos por tanto tempo.
7
O estranho nome da curva pode ter alguma
relao com o fato, ou talvez tenha sido o modo encontrado por Agnesi para tornar a
curva conhecida.


106 MARIA AGNESI E SUA BRUXA
NOTAS E FONTES

1
Este nmero baseado no Anurio AMS-IMS-MAA, notcias do American Mathematical Society, 1993.
2
Uma boa fonte sobre mulheres cientistas Marylin Bailey Ogilvie, Women in Science Antiquity through
the Nineteenth Century: A Biographical Dictionary with Anotated Bibliography (Cambridge, Mass.: MIT
Press, 1988). Veja tambm Lynn M. Osen, Women in Mathematics (1974; rpt. Cambridge, Mass: MIT
Press, 1988), e Women of Mathematics: A Bibliographical Sourcebook, ed. Louise S.Grinstein e Paul J.
Campbell (New York: Greenwood Press, 1987).
3
Os detalhes biogrficos neste captulo foram adaptados do DSB, vol.1, pp. 75-77. Veja tambm Ogilvie,
Women in Science, pp. 26-28.
4
Isso segue da frmula

2
0
1 2
0
4 | ) 2 / ( tan 8 2 a a x a dx y = =

,
em que tan
-1
a funo inversa da tangente (ou arcotangente); usamos o fato de que a bruxa simtrica em
relao ao eixo y.
5
Propriedades adicionais da bruxa podem ser encontradas em Robert C, Yates, Curves and their Properties
(Reston, Va.: National Council of Teachers of Mathematics, 1974), pp. 237-238.
6
A Source Book in Mathematics: 1200-1800 (Cambridge, Mass.: Harvard University Press, 1969), pp.
178-180. De acordo com esta fonte, o primeiro a usar a palavra bruxa com esse sentido pode ter sido B.
Williamson em seu Integral Calculus (1875). Yates (em Curves, p. 237) tem uma verso diferente para a
evoluo do nome bruxa: Parece que Agnesi confundiu a palavra italiana antiga versorio (o nome dado
curva por Grandi), que significa livre para se mover em qualquer direo, com versiera, que significa
duende, mulher do demnio, bicho-papo, etc.
7
A curva tem aplicao na teoria das probabilidades como a distribuio de Cauchy f (x) = 1 / (1 + x
2
),
cuja equao, exceo das constantes, idntica da bruxa.

8
Variaes Sobre um Tema, por Gauss

A soluo de um problema de astronomia [proposto
pela Academia Francesa de Cincias em 1735], no
qual diversos matemticos eminentes tm dispendido o
tempo de meses... foi resolvido pelo ilustre Gauss em
uma hora.
- Florian Cajori, citado em R. E. Moritz, On
Mathematics and Mathematicians, p. 155.


Esta uma histria sobre o grande matemtico alemo Carl Friedrich Gauss
(1777-1855), que ainda um garoto, teve delegada pelo seu professor a tarefa de somar os
nmeros de 1 a 100, e que quase imediatamente forneceu a resposta correta, 5.050. Para o
surpreso professor Gauss explicou que simplesmente notou que escrevendo os nmeros
duas vezes, de 1 at 100 e depois de 100 at 1, e somando os nmeros verticalmente, cada
par era igual a 101. Como h uma centena desses pares, temos 100101 = 10.100, e
como cada par foi somado duas vezes, a resposta a metade dessa soma, qual seja 5.050.
Como muitas das histrias sobre pessoas famosas, esta pode ou no ter acontecido
de verdade; todavia, o que realmente importa a lio que podemos tirar dela a
importncia de procurar padres. O padro nesse caso o de escada, em que o que se
soma em uma ponta, subtrai-se na outra ponta:
S = 1 + 2 + 3 + + n
S = n + (n 1) + (n 2) + + 1
2S = (n + 1) + (n + 1) + (n + 1) + + (n + 1) = n(n 1)
n termos
S = n(n +1)/2 (1)

Eu me lembrei da estria sobre Gauss enquanto um dia folheava um manual de
seqncias e sries, onde encontrei a seguinte frmula de somatrio:
1


2 / sen
2 / ) 1 ( sen 2 / sen
sen 3 sen 2 sen sen



+
= + + + +
n n
n
(2)

108 CAPTULO OITO
No tendo nenhuma pista de como provar essa frmula, comecei a procurar um
padro. O que me intrigava era a similaridade bem formal entre as equaes (1) e (2);
realmente, multiplicando os dois lados da equao (1) por teremos S = n(n +1)/2;
ou seja,
+ 2 + 3 + + n = n(n + 1)/2.
Multiplicando esta ltima equao por sen e procedendo como se sen fosse uma
quantidade algbrica ordinria, temos
sen ( + 2 + 3 + + n) = sen n(n + 1)/2.
Se no lado esquerdo abrirmos os parnteses, e no lado direito multiplicarmos e dividirmos
por um segundo sen (espremendo o sen entre n e (n + 1)) e depois por /2,
chegaremos equao (2) !
Obviamente, executamos a operao matemtica imaginria sen, e ainda assim
chegamos frmula correta. Poderemos, ento, provar a equao (2), abordando a
equao (1) de maneira similar de Gauss ?
Seja
n S sen 3 sen 2 sen sen + + + + =
sen 2 sen ) 1 ( sen sen + + + + = n n S .

Somando os termos verticalmente em pares e utilizando a frmula da soma para produto
sen + sen = 2 sen ( + )/2 cos ( )/2, teremos
2S = 2[sen (1+ n)/2 cos (1 n)/2 + sen (1 + n)/2]
cos (3 n)/2 + + sen (n + 1)/2
cos (n 3)/2 + sen (n + 1)/2 cos (n 1)/2]
= 2 sen (n + 1)/2 [cos (1 n)/2 + cos (3 n)/2 +
+ cos (n 3)/2 + cos (n 1)/2].

Para nos livrarmos dos incmodos termos 1/2, 3/2, que aparecem nos termos em
cosseno, vamos multiplicar a ltima equao por sen /2 e utilizar a frmula do produto
para soma sen cos = (1/2)[sen ( ) + sen ( + )]; teremos
2S sen /2 = sen (n + 1)/2
[sen n/2 + sen (1 n/2) + sen (1 + n/2)
VARIAES SOBRE UM TEMA, POR GAUSS 109
EliMaorTraduolivre:rossiunb@gmail.com

+ sen (2 n/2) + + sen (2 + n/2)
+ sen (1 + n/2) + + sen (1 n/2)
+ sen n/2].
Mas sen (1 + n/2) = sen (1 n/2), o que similar para os outros termos; a expresso
entre colchetes portanto uma soma telescpica, em que todos os termos, exceto o
primeiro e o ltimo (que so iguais), se cancelam. Temos ento
2S sen /2 = 2sen (n + 1)/2 sen n/2
ou

2 / sen
2 / sen 2 / ) 1 ( sen

n n
S
+
=
que a formula que queramos provar.
Uma frmula anloga para o somatrio de cossenos pode ser demonstrada de
modo similar:
2

n cos 3 cos 2 cos cos + + + +

2 / sen
2 / sen 2 / ) 1 ( cos

n n +
=
(3)
Se dividirmos a equao (2) pela equao (3), teremos a bela frmula

n
n
n
cos 2 cos cos
sen 2 sen sen
2 / ) 1 ( tan
+ + +
+ + +
= +
(4)
Mas este no o final da estria. Seguindo o raciocnio de que toda frmula
trigonomtrica derivada da geometria, observemos a fig. 51. Partindo de origem (que
aqui chamamos de P
0
), traamos o segmento P
0
P
1
de comprimento unitrio, formando o
ngulo com o semi-eixo positivo x. Em P
1
traamos um segundo segmento de
comprimento unitrio formando um ngulo com o primeiro segmento e,
conseqentemente um ngulo igual a 2 com o eixo x. Continuando dessa maneira n
vezes, chegaremos ao ponto P
n
, cujas coordenadas iremos chamar de X e Y.
Evidentemente, X a soma das projees horizontais dos n segmentos, e Y a soma das
projees verticais, de forma que temos
n X cos 3 cos 2 cos cos + + + + =
(5)
n Y sen 3 sen 2 sen sen + + + + =


110 CAPTULO OITO

Fig.51.Construogeomtricada
somaS=sen+sen2++
senn+.
Agora os pontos P
i
compem um polgono regular inscrito em um crculo de centro O e
raio r. Cada segmento P
i-1
P
i
subentende um ngulo em O, e ento o segmento P
0
P
n

subentende o ngulo (n) em O. Mas esse segmento a diagonal entre os pontos P
0
e P
n
;
vamos chamar o esse segmento de d. No tringulo issceles P
0
OP
n
temos
d = 2r sen n/2,
enquanto no tringulo issceles P
0
OP
1
temos
1 = 2r sen n/2.
Eliminando-se r dessas duas equaes, teremos

2 / sen
2 / sen

n
d = .
A fim de encontrar as projees horizontal e vertical do segmento P
0
P
n
, precisamos
encontrar o ngulo que este forma com o eixo x. Este ngulo ( + ), em que
=
n
P P P
0 1
. O ngulo subentende a corda P
1
P
n
no crculo inscrito e , portanto, igual a
metade do ngulo central subentendido pela mesma corda, ou seja, (n 1)/2. Ento
+ = + (n 1)/2 = (n + 1)/2. Assim,

X = d cos (n + 1)/2 =
2 / sen
2 / sen 2 / ) 1 ( cos

n n +

e (6)

Y = d sen (n + 1)/2 =
2 / sen
2 / sen 2 / ) 1 ( sen

n n +

VARIAES SOBRE UM TEMA, POR GAUSS 111
EliMaorTraduolivre:rossiunb@gmail.com

Se substituirmos as expresses para X e Y da equao (5) nas equaes (6),
chegaremos s equaes (2) e (3).
Se pensarmos em cada segmento P
i 1
P
i
como um vetor de P
i 1
at P
i
, ento o
segmento P
0
P
n
ser seu vetor-soma. As equaes (2) e (3) dizem ento que a soma das
projees (horizontais ou verticais) de cada segmento em particular igual projeo
(horizontal ou vertical) de seu vetor-soma. Isto mostra que a projeo uma operao
linear uma operao que obedece lei distributiva p(u + v) = p(u) + p(v), em que p()
significa projeo de e u e v so dois vetores quaisquer. A projeo como todas as
operaes lineares comporta-se exatamente como uma multiplicao comum.
Ns podemos utilizar o mtodo de Gauss das somas para provar outras frmulas
trigonomtricas de soma. Alguns exemplos:


sen
sen
) 1 2 ( sen 5 sen 3 sen sen
2
n
n = + + + + +
(7)


sen 2
2 sen
) 1 2 ( cos 5 cos 3 cos cos
n
n = + + + + +
(8)
n n n n n 2 / cot / sen / 2 sen / sen = + + +
(9)
1 - / cos / 2 cos / cos = + + + n n n n
(10)
+ + + + ) 1 2 /( 3 cos ) 1 2 /( cos n n
(11)

2
1
) 1 2 /( ) 1 2 ( cos = + + n n
As duas ltimas so casos especiais das equaes (3) e (8), respectivamente; elas so
notveis porque o resultado de suas somas independe de n.
As somas trigonomtricas foram estudadas pelo matemtico hngaro Lipt Fejr
(1880-1959) em conexo com seu trabalho sobre a soma das sries de Fourier, um
assunto que veremos no captulo 15.

NOTAS E FONTES

1
Summation of Series, selecionado por L. B. W. Jolley (1925; rpt. New York: Dover, 1961), srie n 417.
2
Ambas as frmulas podem ser demonstradas tomando-se as partes real e imaginria da soma da
progresso geomtrica e
i
+ e
2i
+ + e
ni
, em que i = -1; veja Richard Courant, Differential and Integral
Calculus (1934; rpt. London: Blackie & Son, 1956), vol. 1, p.436 [edio brasileira Clculo Diferencial e
Integral, editora Globo, 1966].







9
Se Ao Menos Zeno Soubesse !

Um, Dois, Trs... Infinito.
- Ttulo de um livro de George Gamow.


Pode o espao ser dividido infinitamente, ou existe a menor unidade do espao,
um tomo matemtico que no pode mais ser dividido? Ser o movimento contnuo, ou
uma sucesso de instantneos que, como nos antigos filmes, esto eles prprios estticos?
Questes como essas foram motivo de debates acalorados entre os filsofos da Grcia
Antiga, e eles so debatidos ainda hoje como na busca sem fim pela ltima partcula
elementar, aquele bloco do qual supostamente toda a matria feita.
O filsofo grego Zeno de Elia, que viveu no sculo 5 a.C., resumiu essas
questes em quatro paradoxos ele os chamava de argumentos cujo propsito era
demonstrar as dificuldades fundamentais inerentes noo de continuidade. Num deses
paradoxos, conhecido como o paradoxo da dicotomia, ele props mostrar que o
movimento era impossvel: para que um homem correndo possa ir do ponto A at o
ponto B, ele precisa cobrir primeiro a metade da distncia entre A e B, e ento metade da
distncia remanescente, e metade desta, e da por diante, ad infinitum (fig. 52). Como isso
envolve um nmero infinito de passos, Zeno argumentou, o corredor nunca chegar a
seu destino.
1

fcil formular o paradoxo de Zeno em termos atuais. Seja a distncia entre
A e B igual a 1; para cobrir primeiro metade da distncia, e metade da distncia
remanescente, e continuando assim, o corredor ir cobrir uma distncia total dada pela
soma:
1/2 + 1/4 + 1/8 + 1/16 + ...
Esta soma uma progresso geomtrica infinita, ou srie, com razo igual a 1/2.
Quanto mais termos adicionarmos, mais o valor da soma cresce e se aproxima de 1. Esse
valor nunca ser igual a 1, nem tampouco exceder 1; mas podemos fazer com que a soma
fique to prximo de 1 quanto quisermos, simplesmente adicionando mais e mais termos.
Em linguagem moderna, a soma se aproxima do limite 1, quando o nmero de termos
tende a infinito. Dessa forma, a distncia total percorrida exatamente 1; e uma vez que
os intervalos de tempo que o corredor leva para cobrir as distncias parciais (assumindo
que ele mantm velocidade constante) tambm seguem a mesma progresso, ele
percorrer a distncia total em um tempo finito. Isso define o paradoxo.
114 CAPTULO DEZ

Fig. 52. O paradoxo do corredor.
Os gregos, entretanto, no concordavam com esse tipo de raciocnio. Eles no
podiam aceitar o fato que hoje to bvio para ns que a soma de infinitos nmeros
pode ter um valor finito. Eles no tinham dificuldade em somar cada vez mais termos
progresso at se atingir a preciso necessria, mas pensar em estender esse processo at
o infinito lhes causava grande angstia intelectual. Isso por sua vez os levou a seu
horror infiniti seu medo do infinito. Incapazes de lidar com isso, os gregos barraram o
infinito de seu sistema matemtico. Ainda que eles tivessem uma compreenso intuitiva
do conceito de limite evidenciado pela quadratura da parbola por Arquimedes eles se
recusavam a levar seu pensamento para o infinito.
2
Como resultado disso, os paradoxos
de Zeno permaneceram como fonte de irritao e embarao para gerao de estudantes.
Frustrados por sua falha em resolver satisfatoriamente os paradoxos, eles se voltaram para
razes filosficas e mesmo metafsicas, e deste modo tornando a questo ainda mais
confusa.
3




Praticamente no existe ramo da matemtica em que as progresses geomtricas
finitas ou infinitas no dem as caras. O primeiro caso em que as encontramos na
SE AO MENOS ZENO SOUBESSE ! 115
Eli Maor Traduo livre: rossiunb@gmail.com

Aritmtica, na forma de dzimas peridicas, que nada mais so do que progresses
geomtricas disfaradas; por exemplo, a dzima peridica 0,1212... apenas uma
abreviao da srie infinita 12/100 + 12/100
2
+ 12/100
3
+ . Progresses geomtricas
esto no corao da matemtica financeira, resultado do fato de que o dinheiro investido a
um certa taxa cresce geometricamente com o tempo. Em Clculo, somos apresentados s
sries de potncias, e a mais simples delas a progresso geomtrica infinita
1 + x + x
2
+ , freqentemente usada para testar a convergncia de outras sries.
Arquimedes de Siracusa (ca. 287 212 a.C.) engenhosamente utilizou uma progresso
geomtrica para encontrar a rea de um segmento parablico uma das primeiras
quadraturas de um segmento curvo.
4
E os modernos fractais, aquelas intrigantes curvas
auto-replicantes que serpenteiam indo e voltando, nada mais so que uma aplicao do
princpio da auto-similaridade, do qual a progresso geomtrica o caso mais simples
(fig. 53). O artista holands Maurits C. Escher (1898-1972), cujos desenhos matemticos
intrigaram uma gerao inteira de cientistas, usou progresses geomtricas na maioria de
seus quadros; mostramos aqui um deles, intitulado Menor e Menor (fig. 54).

Fig. 53. Construo da curva do floco de neve: comece com um tringulo eqiltero,
construa um tringulo eqiltero menor sobre o tero mdio de cada lado, retirando o tero
mdio original a fim de obter uma Estrela de Davi como na figura. Repita o processo com a
nova figura para obter uma nova com 48 lados. Continuando dessa maneira teremos uma
figura que, no limite, se aproxima de uma estranha curva conhecida como curva do floco de
neve (tambm conhecida como curva de Koch, em homenagem a seu descobridor, o
matemtico sueco Helge von Koch [1870-1924]). O permetro e a rea dessa figura crescem
em progresses geomtricas de razes 4/3 e 4/9, respectivamente. Como essas razes so,
respectivamente, maior e menor que 1, o permetro tende para infinito, enquanto a rea
tende para 8/5 da rea do tringulo original. A curva do floco de neve a primeira curva
patolgica conhecida; essa curva no contnua em nenhum ponto, e, por conseguinte,
no possui derivada em nenhum ponto. Atualmente essas curvas auto-replicantes so
chamadas de fractais.

116 CAPTULO DEZ

Fig. 54. Menor e Menor (1956), de M. C. Escher



Uma concepo errnea comum entre estudantes de matemtica (indubitavelmente
alimentada por expresses incorretas encontradas em livros populares) que a grande
obra de Euclides, os Elementos, trata apenas de Geometria. De fato, a Geometria ocupa
grande parte da obra, mas tambm contm um extenso tratado sobre Aritmtica, Teoria
dos Nmeros, e a Teoria das Progresses. Todo o livro VIII e partes do livro IX so
dedicados s propores contnuas, ou seja, nmeros que formam uma progresso
geomtrica (o assunto favorito dos gregos, desde que Pitgoras descobriu que os
intervalos musicais correspondem a propores simples entre comprimentos de cordas).
A proposio 35 do livro IX define em palavras como encontrar a soma de uma
progresso geomtrica:
Se tantos nmeros quantos se queira estiverem em proporo contnua, e se subtrai ao
segundo e ao ltimo o primeiro, ento o excesso do segundo est para o primeiro como o
excesso do ltimo est para a soma de todos antes dele.
Traduzido para linguagem moderna, se os termos de uma progresso so a, ar, ar
2
, ..., ar
n

e a soma de todos antes desse igual a S, ento (ar a) : a = (ar
n
- a) : S ;
simplificando o produto do meio pelo produto dos extremos, chegamos conhecida
frmula para a soma dos n primeiros termos de uma progresso geomtrica,

1
) 1 (

=
r
r a
S
n
,
5
(1)
SE AO MENOS ZENO SOUBESSE ! 117
Eli Maor Traduo livre: rossiunb@gmail.com

Euclides utilizou ento esse resultado par provar (proposio 36 do livro IX), uma
elegante propriedade dos nmeros: se a soma da progresso 1 + 2 + 2
2
+ ... + 2
n 1
um
nmero primo, ento o produto entre este primo e 2
n 1
um nmero perfeito. Um inteiro
positivo N perfeito quando a soma de todos seus divisores inteiros menores que N; os
primeiros nmeros perfeitos so 6 = 1 + 2 + 3 e 28 = 1 + 2 + 4 + 7 + 14. Uma vez que a
soma da progresso 1 + 2 + 2
2
+ ... + 2
n 1
2
n
1, a proposio diz que 2
n 1
(2
n
1)
perfeito sempre que 2
n
1 for primo. Assim, 6 perfeito porque 6 = 2 3 = 2
2 1
(2
2
1)
e 28 perfeito porque 28 = 4 7 = 2
3 1
(2
3
1). Os dois prximos nmeros perfeitos so
496 = 16 31 = 2
5 1
(2
5
1) e 8128 = 64 127 = 2
7 1
(2
7
1). Estes quatro eram os
nicos nmeros perfeitos conhecidos pelos gregos.
6

E aqui foi onde mais longe os gregos foram. Eles fizeram uso efetivo da
equao (1) em seu desenvolvimento da Geometria e da Teoria dos Nmeros, fazendo n
crescer arbitrariamente (tantos nmeros quantos se queira); mas eles no deram o passo
crucial para fazer n realmente crescer alm de todas as fronteiras deix-lo tender ao
infinito. No tivessem se limitado por este tabu auto-imposto, poderiam ter antecipado a
descoberta do Clculo em dois mil anos.
7

Hoje, com o conceito de limite firmemente estabelecido, no mais argumentamos
que se r um nmero cujo valor absoluto menor que 1 (1 < r < 1), ento se n ,
o termo r
n
na equao (1) tende a zero, e ento no limite temos S = a/(r 1), ou de
forma equivalente

r
a
S

=
1
, (2)
que a conhecida frmula da soma de uma progresso geomtrica infinita.
8
Ento a srie
do paradoxo de Zeno, 1/2 + 1/4 + 1/8 + 1/16 + , tem somo (1/2)/(1 1/2) = 1, e a
dzima peridica 0,1212 = 12/100 + 12/10.000 + tem soma (12/100)/(1 1/100) =
12/99 = 4/33. Podemos utilizar a equao (2) para provar que toda dzima peridica
igual a uma frao, isto , um nmero racional.



E agora a trigonometria entra em cena. Iremos mostrar que toda progresso
geomtrica infinita pode ser construda geometricamente, e sua soma encontrada
graficamente, utilizando apenas rgua
a
e compasso.
9
Nosso ponto de partida o fato de
que a soma de uma progresso geomtrica infinita com razo r converge para um limite
quando 1 < r < 1. Por sua vez, qualquer nmero entre 1 e 1 o cosseno de exatamente

a
Lembrar que se trata de uma rgua no graduada, que em ingls chamada de straightedge, em
contraste com a rgua graduada, chamada de ruler (N.T.).
118 CAPTULO DEZ
um ngulo entre 0 e 180; por exemplo, 0,5 o cosseno de 60, e 0,707 (mais
precisamente, 2/2) o cosseno de 135. (Observe que a funo seno no tem o mesmo
comportamento: existem dois ngulos, 30 e (180 30) = 150, cujo seno 0,5 , e
nenhum ngulo entre 30 e 180 cujo seno seja 0,707). Vamos ento escrever r = cos ,
ou o seu recproco, = cos
1
r, e manter o ngulo como dado.

Fig. 55. Construo geomtrica da srie S = 1 + cos + cos
2
+ .

Sobre o eixo x seja a origem P
0
e o ponto x = 1 em P
1
(fig. 55). Em P
1
traamos
uma linha formando o ngulo com o semi-eixo positivo x, e ao longo desta marcamos o
segmento P
1
Q
1
de comprimento unitrio. A partir de Q
1
, traamos uma perpendicular ao
eixo x, encontrando este em P
2
; temos P
1
P
2
= 1 cos = cos e ento P
0
P
2
= 1 + cos .
Agora repetimos o processo: em P
2
traamos uma linha formando o ngulo com o semi-
eixo positivo x e ao longo desta marcamos o segmento P
2
Q
2
igual em comprimento a
P
1
P
2
(usando um compasso com centro em P
2
e abertura igual a P
1
P
2
). A partir de Q
2
,
traamos uma perpendicular ao eixo x, encontrando este em P
3
; temos P
2
P
3
=
cos cos = cos
2
e ento P
0
P
3
= 1 + cos + cos
2
. Continuando dessa maneira,
primeira vista parece que teramos que repetir o processo por infinitas vezes. Mas, como
mostraremos agora, os dois primeiros passos so suficientes para determinar a soma da
srie inteira.
Primeiro, os tringulos retngulos P
1
Q
1
P
2,
P
2
Q
2
P
3
, e demais assim so
equivalentes, tendo o mesmo ngulo ; conseqentemente os pontos Q
1
, Q
2
,
necessariamente esto na mesma reta m. Afirmamos que o ponto de interseco de m com
o eixo x marca a soma S da srie inteira, e denotaremos ento esse ponto de P

. Para
provar isso, observamos que os segmentos P
1
Q
1
= 1, P
2
Q
2
= cos , P
3
Q
3
= cos
2
, e da
por diante formando uma progresso geomtrica de razo cos (a mesma da progresso
original). Caminhando um passo para trs nessa progresso, temos P
0
Q
0
= 1/cos =
sec . Os tringulos (no-retngulos) P
0
Q
0
P

, P
1
Q
1
P

, so todos equivalentes;
tomando os dois primeiros desses tringulos, temos P
0
P

/ P
0
Q
0
= P
1
P

/ P
1
Q
1
, ou

1
1
sec

=
S S

.

SE AO MENOS ZENO SOUBESSE ! 119
Eli Maor Traduo livre: rossiunb@gmail.com

Voltando o fator 1/sec para cos e resolvendo a equao em S, teremos S = 1/(1cos )
= 1/(1 r), mostrando que o segmento P
0
P

a soma da srie inteira. Repetimos:


suficiente construir os dois primeiros pontos Q
1
e Q
2
; eles determinam a reta m, cuja
interseco com o eixo x determina o ponto P

.
Essa construo no prov apenas uma interpretao geomtrica de uma srie
geomtrica, ela tambm permite que observemos o que acontece quando variamos a
razo r. As figuras 56 e 57 mostram a construo para = 60 e 45, para os quais r = 1/2
e 2/2, respectivamente; as somas correspondentes so 1/(1 1/2) = 2 e 1/(1 2/2) =
2 + 2 3,414. Variando r, e com ele , os pontos P
0
e P
1
permanecem fixos, mas todos
os outros pontos iro se mover ao longo de suas respectivas retas. Para = 90 (isto ,
r = 0), Q
1
estar exatamente acima de P
1
, de forma que traando uma perpendicular a
partir dele at o eixo x, nos trar de volta a P
1
: a srie no ir progredir mais, e sua soma
ser S = P
0
P
1
= 1. Diminuindo o valor de de 90 a 0, a reta m se torna cada vez menos
inclinada; ao mesmo tempo, os pontos P
2
, P
3
, movem-se para a direita, bem como P

: a
soma da srie se torna maior. Se 0, a reta m se torna horizontal, e seu ponto de
interseco com o eixo x avana para o infinito: a srie diverge.


Fig. 56. A construo para = 60.



Fig. 57. A construo para = 45.
120 CAPTULO DEZ


Fig. 58. O caso em que obtuso.

Se a razo r negativa, estar entre 90 e 180. Comeando novamente em P
1

(fig. 58), traamos uma reta que forma com o semi-eixo positivo x o ngulo (obtuso) ;
isto nos leva ao ponto Q
1
, com P
1
Q
1
= 1. Traamos agora uma perpendicular de Q
1
at o
eixo x, onde se encontram em P
2
(observe que P
2
est agora esquerda de P
1
); temos
P
1
P
2
= cos . (um nmero negativo) e assim P
0
P
2
= 1 + cos . A partir de P
2
traamos
uma reta formando o ngulo com o semi-eixo positivo x; observe que uma vez que o
segmento P
1
P
2
est orientado para a esquerda, a reta estar orientada para baixo. Nessa
reta marcamos o segmento P
2
Q
2
, de comprimento igual a P
1
P
2
. A partir de Q
2
traamos
uma perpendicular ao eixo x, encontrando este em P
3
(observe que P
3
est direita de
P
2
); temos P
2
P
3
= cos
2
(um nmero positivo), e P
0
P
3
= 1 + cos + cos
2
. Procedendo
dessa forma, teremos tringulos retngulos cada vez menores, cada um aninhado dentro
daquele que o precede em dois passos. Todos esses tringulos so equivalentes.
Segue que, como antes, os pontos Q
1
, Q
2
, esto em uma mesma reta m, cujos
pontos de interseco com o eixo x nos do uma a soma de uma srie completa.
Chamando este ponto de P

, observamos que esse ponto est direita dos pontos P


2n
e
esquerda dos pontos P
2n+1
: a srie aproxima sua soma alternadamente por cima e por
baixo, dependendo se tivermos somado um nmero par ou mpar de termos. As figuras 59
e 60 na pgina seguinte mostram a construo para = 120 e 150 (isto , r = 1/2 e
3/2, respectivamente), para os quais a srie converge para 1/(1 + 1/2) = 2/3 0,666 e
1/(1 + 3/2) 0,536.
SE AO MENOS ZENO SOUBESSE ! 121
Eli Maor Traduo livre: rossiunb@gmail.com


Fig. 59. A construo para = 120.


Fig. 60. A construo para = 150.

122 CAPTULO DEZ
Agora vamos variar novamente o ngulo , desta vez aumentando de 90 a 180. A
reta m fica cada vez menos inclinada, entretanto com inclinao negativa. Ao mesmo
tempo os pontos P
2n
iro se mover para a esquerda em direo a P
0
, enquanto os pontos
P
2n+1
iro se mover para a direita em direo a P
1
. Com 180 (isto , com r 1),
os pontos Q
2n+1
iro se agrupar acima de P
0
e os pontos Q
2n
se agruparo abixo de P
1
, de
forma que a reta m ir assumir aproximadamente uma posio simtrica em relao ao
segmento P
0
P1, intersectando-o logo direita do ponto x = 1/2. E este , de fato, o valor
para o qual a frmula S = 1/(1 r) tende quando r 1. Ao mesmo tempo, entretanto,
os pontos P
2n
iro se agrupar prximo a P
0
(isto , prximos a x = 0), enquanto os pontos
P
2n+1
iro se agrupar prximos a P
1
(x = 1), mostrando que a srie tende a oscilar entre
0 e 1.
Quando = 180 (ou seja, r = 1) a situao muda repentinamente, com todos os
pontos Q
2n+1
se fundindo em P
0
(assim como os pontos P
2n
), ao passo que os pontos Q
2n

se fundem com P
1
. A reta m ir ento se fundir com o eixo x, intersectando-o em infinitos
pontos, tornando impossvel determinar o ponto P

. A princpio essa situao parece


contraditria, uma vez que para = 180 nossa srie se torna 1 1 + 1 + , cujas somas
parciais oscilam entre 0 e 1. Mas no bem assim. A srie pode na verdade ter valor igual
a qualquer nmero arbitrrio, o que mostra simplesmente que a srie no coneverge e que
sua soma no possui significado.
10

O comportamento aparentemente bizarro da srie 1 1 + 1 1 + gerou muita
controvrsia no incio do sculo 18. Gottfried Wilhelm Leibniz (1646-1716), co-inventor do
Clculo juntamente com Newton, questionou se, uma vez que a soma poderia ser 0 ou 1 com
igual probabilidade, seu valor verdadeiro poderia ser sua mdia, ou seja, 1/2, em concordncia
com a frmula S = 1/(1 r) quando r = 1. Tal argumento descuidado pode hoje nos parecer
incrvel, mas na poca de Leibniz os conceitos de limite e convergncia no eram ainda
compreendidos, e sries infinitas eram tratadas de maneira puramente manipulativa, sendo uma
extenso das somas finitas ordinrias.
Abordando essa srie, Leibniz que era um filsofo por princpio deve ter pensado
como Zeno, seu predecessor em dois mil anos. Fosse Zeno conhecedor de nossa construo,
possvel que lhe tivesse sido mais fcil aceitar o fato de que uma soma infinita de nmeros pode
ser finita. E as conseqncias seriam profundas, no tivessem sido os gregos to teimosos em
barrar o infinito em seu mundo, o curso da matemtica poderia ter sido alterado para sempre.






SE AO MENOS ZENO SOUBESSE ! 123
Eli Maor Traduo livre: rossiunb@gmail.com

NOTAS E FONTES

1
Uma variao do paradoxo diz que para que o corredor v do ponto A para o ponto B, ele precisa antes
atingir o ponto mdio C entre A e B; mas para atingir C, ele precisa primeiro atingir o ponto mdio D entre
A e C, e da por diante.
2
Para entender as causas desse medo, veja meu livro, e: The Story of a Number (Princeton, N.J.: Princeton
University Press, 1994) [edio brasileira e: a Estria de um Nmero, editora Record, 2003], pp. 43-47.
3
Ainda hoje alguns pensadores se negam a considerar os paradoxos de Zeno como propostos; veja os
artigos Resolving Zenos Paradoxes de William I. McLaughlin, Scientific American, April 1995. Veja
tambm Adolf Grnbaum, Modern Science and Zenos Paradoxes (Middletown, Conn: Wesleyan
University Press, 1967).
4
Veja o captulo Quadrature of the Parabola em Thomas L. Heath, The Works of Archimedes (1897; rpt.
New York: Dover, 1953)
5
Uma prova moderna consiste em escrevre S = a + ar + ar
2
+ ... + ar
n-1
, multiplicando essa equao por r ,
e subtraindo o resultado da equao original: todos os termos, exceto o primeiro e o ltimo, sero
cancelados, chegando a (1 r)S = a ar
n
, de onde chegamos a S = a(1 r
n
)/(1 r) = a(r
n
1)/(r 1).
6
Observe que 2
n 1
no primo para todo primo n; por exemplo, 2
11
1 = 2047 = 23 89 composto, e
consequentemente 2
11 1
(2
11
1) = 2.096.128 no perfeito. Primos da forma 2
n 1
so chamados primos
de Mersenne, em homenagem a Marin Mersenne (1588-1648), o monge francs da Ordem dos Mnimos;
at 1996 apenas trinta e quatro primos de Mersenne eram conhecidos, sendo o maior deles igual a
2
1.257.787
1 , um nmero de 378.632 dgitos descoberto naquele ano (N.T. Em 2006 j haviam 44 primos
de Mersenne conhecidos, sendo o maior igual a 2
32.582.657
1, com 9.808.358 de dgitos. Para tanto, usa-se o
cluster de computadores chamado GIMPS - Great Internet Mersenne Prime Search). Como todo primo de
Mersenne gera um nmero perfeito, suas histrias esto intimamente ligadas.
Necessariamente , a frmula 2
n 1
(2
n
1) produz apenas nmeros perfeitos pares. Em 1770
Leonhard Euler provou o inverso da proposio 36: Todo nmero perfeito par necessariamente da forma
2
n 1
(2
n
1), em que 2
n
1 primo. No se sabe se existem nmeros perfeitos mpares, nem se os nmeros
perfeitos so infinitos. Para maiores detalhes, procure um bom livro de Teoria dos Nmeros.
7
Veja Heath, Works of Archimedes, cap. 7, Anticipations by Archimedes of the Integral Calculus.
8
Uma prova comum (embora no muito rigorosa) da equao (2) consiste em escrever S = a + ar + ar
2
+
ar
3
+ = a + r(a + ar + ar
2
+ ) = a + rS, de onde temos S(1 r) = a ou S = a/(1 r).
9
O material subseqente baseado em meu artigo Geometric Construction of the Geometric Series no
International Journal of Mathematics Education in Science and Technology, vol. 8, n 1 (Janeiro, 1977),
pp. 89-96.
10
Para mostrar isso, seja a e b dois nmeros quaisquer tais que a + b = 1. Nossa srie ento se torna
(a + b) (a + b) + (a + b) (a + b) + . Vamos cham-la de soma S. Deslocando os parnteses uma
posio para a direita, obtemos agora a srie S = a + (b a) (b a) + (b a) (b a) + . Agora
coloque b a =c. Ento S = a + c c + c c + . Podemos somar esta ltima srie de duas maneiras,
dependendo de como arranjamos os parnteses: S = a + (c c) + (c c) + (c c) + = a, ou S = a + c
(c c) (c c) (c c) = a + c = a + (b a) = b. Ento a serie pode ter tanto a quanto b como sua
soma, e assim como a escolha de 1 para a e b foi totalmente arbitrria, S pode assumir qualquer valor. Isto,
naturalmente, apenas mostra que as somas parciais no convergem para um valor fixo, e ento a srie
diverge (ainda que no seja para o infinito).


10
(sen x)/x

Chamo nosso mundo de Planolndia no por ser
assim que o chamamos, mas para deixar sua natureza
mais clara a vocs, meus ditosos leitores, que tm o
privilgio de viver no espao.
- Edwin A. Abbot, Planolndia (1884).


Estudantes de Clculo logo se deparam com a funo (sen x)/x em seus estudos,
quando mostrado que
0
lim
x
(sen x)/x = 1; este resultado ento usado para definir as
frmulas de diferenciao (sen x) = cos x e (cos x) = sen x. Feito isso, entretanto, a
funo rapidamente esquecida, e o aluno raramente ir v-la de novo. uma pena, pois
essa funo aparentemente simples no apenas possui propriedades notveis, como
tambm surge em diversas aplicaes, algumas vezes de forma inesperada.
Observemos, para comear, que a funo definida para todos os valores de x,
exceto 0; mas tambm sabemos que para x cada vez menor, a razo (sen x)/x sendo x
medido em radianos tende a 1. Esse fato nos d um exemplo simples de singularidade
removvel: podemos simplesmente definir o valor de (sen x)/x como 1, e esta definio ir
assegurar a continuidade da funo prximo de x = 0.
Chamemos nossa funo de f (x) e a desenhemos para diversos valores de x; o
grfico resultante mostrado na figura 61. Duas caractersticas fazem esse grfico
distinto do grfico da funo g (x) = sen x: primeiro, ele simtrico sobre o eixo y, isto ,
f ( x) = f (x) para todos os valores de x (na linguagem da lgebra, f (x) uma funo par,
chamada assim porque as funes mais simples com essa propriedade so da forma y = x
n

para valores pares de n). Em contraste, a funo g (x) = sen x tem a propriedade de que
g (x) = g (x) para todo x (funes com essa propriedade so chamadas funes
mpares, por exemplo y = x
n
para valores mpares de n). Para provar que f (x) = (sen x)/x
par, simplesmente observamos que f ( x) = sen ( x)/ ( x) = ( sen x)/ ( x) = (sen x)/x
= f (x).
Segundo, diferentemente do grfico de sen x, cujas oscilaes esto confinadas ao
intervalo de 1 a 1 (isto , a senide tem constante de amplitude 1), o grfico de (sin x)/x
apresenta oscilaes amortecidas cuja amplitude decresce constantemente quando |x|
cresce. De fato, podemos pensar em f (x) como uma senide espremida entre dois
envelopes y = 1/x.
126 CAPTULO DEZ


Fig. 61. O grfico de (sen x)/x.
Desejamos agora localizar os pontos extremos de f (x) os pontos onde a funo
assume seu valor mximo ou mnimo. E aqui uma surpresa nos aguarda. Sabemos que os
pontos extremos de g (x) = sen x ocorrem em todos os mltiplos mpares de /2, isto , em
x = (2n + 1)/2. Poderamos ento esperar que o mesmo seja verdade para os pontos
extremos de f (x) = (sen x)/x. Este, todavia, no o caso. Para encontrar o ponto extremo,
derivamos f (x) usando a regra do quociente e igualamos o resultado a zero:

0
sen cos
) ( '
2
=

=
x
x x x
x f . (1)
Se essa razo igual a zero, ento o prprio numerador deve ento ser igual a zero, e
temos x cos x sen x = 0, de onde temos
x x = tan . (2)
Infelizmente a equao (2) no pode ser resolvida por uma frmula, da mesma forma que,
digamos, uma equao quadrtica; ela uma equao transcendental, cujas razes podem
ser encontradas graficamente como sendo os pontos de interseco dos grficos de y = x e
y = tan (x) (fig. 62). Vemos que h um nmero infinito desses pontos, cujas coordenadas
em x chamaremos de x
n
. Quando x cresce em valor absoluto, esses pontos se aproximam
rapidamente das assintotas de tan x, isto , (2n + 1)/2; estes, claro, so os pontos
extremos de sen x. Isto era esperado, uma vez que quando |x| cresce, 1/|x| decresce a uma
taxa decrescente, de forma que sua influncia na variao de sen x diminui
consideravelmente. Os primeiros valores de x
n
so dados na tabela 2.

(sen x)/x 127
Eli Maor Traduo livre: rossiunb@gmail.com


Fig. 62. As razes de tan x = x.
O comportamento peculiar dos pontos extremos de (sin x)/x tem forte contraste
com outro tipo de oscilao amortecida, aquela representada pela funo e
x
sen x. Aqui
os pontos extremos so deslocados para a esquerda por uma constante de /4 em relao
queles de sen x, como o leitor pode facilmente verificar.
Tabela 2



Tendo explorado a forma geral do grfico de f (x), a prxima questo de interesse
encontrar a rea sob o grfico, a partir de, digamos, x = 0 at outro x. Esta rea dada
pela integral definida

x
dt
t
t
0
sen
.
Em que denotamos t a varivel de integrao , para distingui-la do limite superior x. A
fim de resolver essa integral, poderamos primeiro tentar encontrar a integral indefinida,
ou antiderivada (ou primitiva)
a
, de (sen x)/x. Ora, que tentativa ftil! um daqueles casos

a
O termo em ingls antiderivative. A partir desse ponto ser usado o termo primitiva. (N.T.)
128 CAPTULO DEZ
curiosos do Clculo que as primitivas de muitas funes aparentemente simples no
possam ser expressas em termos de funes elementares, isto , polinmios e razes
entre polinmios, funes trigonomtricas e exponenciais e suas inversas, e qualquer
combinao finita entre essas funes. A funo (sen x)/x pertence a este grupo, assim
como (cos x)/x, e
x
/x, e
2
x
e . Isto, claro, no significa que as primitivas dessas funes
no existam significa apenas que elas no podem ser expressas numa forma simples
em termos de funes elementares. De fato, a integral acima, considerada como uma
funo de seu limite superior x, define uma nova funo de ordem superior conhecida
como seno integral e denotada por Si (x):

Si (x) =

x
dt
t
t
0
sen
.
Ainda que no possamos expressar Si (x) em termos de funes elementares, podemos,
todavia, computar seus valores e plot-los em um grfico (fig. 63). Isto feito escrevendo
a funo seno como uma srie de potncias, sen x = x x
3
/3! + x
5
/5! + , dividindo
cada termo por x, e ento integrando termo a termo. O resultado
Si (x) = x x
3
/3 3! + x
5
/5 5! + ,
Uma srie que converge para todo x.


Fig. 63. O grfico de Si (x) =

x
dt
t
t
0
sen
.


(sen x)/x 129
Eli Maor Traduo livre: rossiunb@gmail.com

Se deixarmos o limite superior x crescer indefinidamente, a rea sob o grfico ter
um limite? A resposta sim; pode ser mostrado que este limite igual a /2
1
. Em outras
palavras,

Si () =

=
0
. 2 /
sen
dx
x
x
(3)
Esta importante integral conhecida como integral de Dirichlet, em homenagem ao
matemtico alemo Peter Gustav Lejeune Dirichlet (1805-1859). Um subproduto
inesperado dessa integral obtido substituindo sen x por sen kx, em que k uma
constante, e fazendo ento a substituio u = kx. Encontramos para a nova integral o valor
de /2 ou /2 , dependendo se k positivo ou negativo (no segundo caso o limite
superior se torna , de forma que uma nova substituio v = u resultar em /2).
Teremos ento o seguinte resultado:

(2/)

<
=
>
=
0
0 para 1
0 para 0
0 para 1
sen
k
k
k
dx
x
kx
. (4)
Mas a expresso direita, considerada como uma funo de k, a funo sinal
b

mostrada na figura 64. Temos aqui um dos mais simples exemplos da representao de
uma funo por uma integral; a necessidade dessa representao freqentemente surge na
matemtica aplicada. A integral esquerda conhecida como fator de descontinuidade de
Dirichlet.

Fig. 64. O grfico de sgn (x).


b
Normalmente vemos a representao da funo sinal como sgn (x) ou sign x , sendo que a primeira ser
mantida nessa traduo. (N.T.)
130 CAPTULO DEZ

Das muitas ocorrncias da funo (sen x)/x, iremos considerar uma tirada da
Geografia. Aprendemos cedo na escola que a Terra redonda, embora tenha levado
muitos sculos antes de que esse fato fosse universalmente aceito (os ltimos crentes
numa terra plana finalmente se renderam quando imagens tiradas de naves espaciais
mostraram a Terra redonda). De fato, para os no-iniciados, no imediatamente bvio
que vivemos em um mundo redondo certamente muitas de nossas experincias
cotidianas poderiam ser explicadas de forma mais natural se baseadas em uma Terra
plana. Apenas indiretamente, principalmente por meio de observaes astronmicas, que
sabemos que a Terra redonda.
Em seu clssico romance matemtico Planolndia, Edwin A. Abbott descreve o
mundo de duas dimenses, criaturas como formigas que podem se mover para frente e
para trs e para a esquerda e direita, mas para cima e para baixo. Se esses
planolandenses habitassem nossa Terra, eles poderiam no ter cincia de sua
esfericidade: de seu ponto de vista a Terra pareceria plana como um tampo de mesa. Mas
um dia eles decidem explorar seu mundo, buscando descobrir os fundamentos de sua
geometria. Comeando pelo Plo Norte e usando uma corda esticada como compasso,
eles descrevem crculos ao redor do plo com raios cada vez maiores. Eles medem ento
a circunferncia de cada crculo e as expressam em termos de seus raios. De volta para
casa, passam a testar o que eles aprenderam na escola que a razo entre a
circunferncia
c
e o raio de um crculo a mesma para todos os crculos, por volta de 6,28.
Para crculos pequenos eles encontram, para seu deleite, que realmente parece ser o caso.
Mas medida que os crculos crescem, o que era certo se transforma em dvida, e depois
decepo: nossos planolandenses concluem que a razo circunferncia-para-crculo no
constante, depois de tudo.
Para entender a razo disso, vamos tirar vantagem do privilgio garantido a ns,
humanos, de sermos criaturas tridimensionais: ns sabemos que nosso mundo redondo.
Vamos chamar o raio da Terra assumindo ser uma esfera perfeita de R. Para encontrar
a circunferncia de um crculo ao redor do Plo Norte, precisamos conhecer seu raio, e
isso depende da latitude geogrfica do crculo. Se, por maior simplicidade, medirmos a
latitude no a partir do Equador, como feito em Geografia, mas a partir do plo Norte,
ento o raio de um crculo de latitude r = R sen (veja fig. 65), e sua circunferncia
c = 2R sen . (5)
Este resultado, claro, totalmente satisfatrio para ns tridimensionais, mas para
nossos habitantes bidimensionais totalmente desprovido de sentido. Eles no tm idia
de que vivem em uma superfcie curva, e se algum lhes dissesse que seu mundo plana
na verdade esfrico, eles ficariam realmente confusos. Para eles, uma grandeza como R,
tirada da terceira dimenso, no sendo passvel de uma medio direta, to sem sentido

c
Aqui circunferncia significa permetro. (N.T.)
(sen x)/x 131
Eli Maor Traduo livre: rossiunb@gmail.com

quanto para um estudante do Ensino Fundamental encontrar o volume de uma esfera
quadridimensional.


Fig. 65. Crculo de latitude no
globo.

Para fazer com que a frmula tenha sentido, precisamos express-la em termos de
variveis que nossos moradores possam medir. De fato, a varivel mais importante, do
ponto de vista deles, o raio do crculo, medido na superfcie da Terra. Vamos denotar
esse raio pela letra grega (r). Se medirmos em radianos, teremos = R, e ento
R = /. Substituindo essa expresso na equao (5), teremos

c =

sen
2 . (6)
Logo, a circunferncia no depende apenas do raio, mas tambm da latitude.
Antes de contemplar as conseqncias dessa frmula, poderamos conjecturar
como nossos moradores poderiam medir a latitude sendo que eles ignoram a
esfericidade de seu mundo. Eles poderiam ter um indcio observando o cu sobre eles:
poderiam observar, como os marinheiros em tempos remotos observaram, que a esfera
celeste inteira parece rotacionar uma vez a cada 24 horas ao redor de uma estrela que
parece permanecer imvel a Estrela Polar
d
. Alm disso, a altura da estrela polar acima
do horizonte decresce rapidamente ao viajar em direo ao sul; de fato, o ngulo entre a
Estrela Polar e o znite o ponto na esfera celeste diretamente acima do observador
proporcional distncia para o Plo Norte (como segue da equao = R).

d
A Estrela Polar tem esse nome porque aparenta permanecer sempre fixa no firmamento num ponto
coincidente com a projeo do eixo da terra. A atual estrela polar do norte a Polaris da constelao de
Ursa Menor. Como essa estrela muito brilhante, (ou foi) bastante usada para navegao. A atual estrela
polar do sul a Sigma Octantis, que por ser muito plida, preterida pela constelao do Cruzeiro do Sul
como referncia. Uma curiosidade: na bandeira do Brasil a Sigma Octantis representa a capital Braslia,
pois todas as outras estrelas giram em torno dela. (N.T.)
132 CAPTULO DEZ
E agora nossos habitantes esto prontos para pr prova o que aprenderam em
suas aulas de Geometria. Para pequenas latitudes (distncia angular a partir do Plo
Norte), eles iro observar que a razo c/ realmente aparenta ser constante, ou perto disso,
como mostra a tabela 3.
Tabela 3



Nota: usando a equao (6), todos os ngulos
devem ser primeiro convertidos para radianos
(1 = /180 radianos)



Seus agrimensores poderiam primeiro desprezar as pequenas discrepncias em relao
constante devido a erros de medida, mas rapidamente se tornaria claro que a razo c/ no
constante, mas decresce com , como mostrado na tabela 4. (O 4 na ltima linha reflete
o fato de que a distncia do plo ao equador exatamente um quarto da circunferncia do
equador.)
Tabela 4




Tivessem nossos moradores estendido a tabela isto , para o hemisfrio sul a razo c/
continuaria a decrescer, at chegar a zero em 180 (o Plo Sul). Ainda inconscientes de
que seu mundo redondo, eles teriam perdido qualquer f remanescente naquilo que eles
aprenderem sobre a constncia da razo circunferncia-raio.
2
Mas talvez algum
planolandense mais astuto pudesse interpretar essas medidas de forma diferente e concluir
que o mundo em que eles vivem na verdade curvo. Este sagaz planolandense poderia
entrar para a histria como o descobridor da terceira dimenso.
(sen x)/x 133
Eli Maor Traduo livre: rossiunb@gmail.com

Podemos de fato traar um mapa-mndi da forma como os planolandenses
deveriam v-lo. Conhecido como um mapa eqidistante azimutal, ele mostra todas as
distncias em linha reta, a partir de um ponto fixo pr-selecionado localizado no centro
do mapa, para qualquer outro ponto no globo. (Uma linha reta entre dois pontos de uma
esfera um arco de crculo mximo ligando-os o crculo passando pelos dois pontos e
com centro no centro da esfera [fig.66]; ele representa a menor distncia entre dois
pontos.) A figura 67 mostra um desses mapas centrado em So Francisco; vemos que a
rota direta de So Francisco para Moscou passa pelo Plo Norte, e que Moscou est mais
prxima de So Francisco do que o Rio de Janeiro. Observe que frica, Antrtica e
Austrlia aparecem extremamente distorcidas, tanto na forma como no tamanho; isso se
deve ao crculo de raio centrado em um ponto fixo tem circunferncia 2 no mapa,
enquanto no globo sua circunferncia 2 (sen )/, em que tem o mesmo significado
que na figura 65, mas com o ponto fixo substituindo o Plo Norte. Os crculos
concntricos ao redor do ponto fixo so ento exagerados pela razo 1:[(sen )/], ou
/sen , em relao a seu tamanho verdadeiro no globo. Este fator de exageramento
cresce com e se torna infinito quando = 180, isto , no antpoda do ponto fixo (seu
ponto oposto no globo). Em um mapa eqidistante azimutal, toda a borda externa
representa o antpoda do ponto central; ela marca a fronteira do universo de nossos
planolandenses o ponto mais distante que eles podem alcanar em qualquer direo.
Eles descobrem que seu universo, ainda que ilimitado, finito.




Fig. 66. Arco de crculo mximo.







134 CAPTULO DEZ


Fig. 67. Mapa-mndi eqidistante
azimutal centrado em So
Francisco.




NOTAS E FONTES

1
A prova no elementar; veja Richard Courant, Differential and Integral Calculus (1934; rpt. London:
Blackie & Son, 1956), vol. 1, pp. 251-253 e 444-450 [edio brasileira Clculo Diferencial e Integral,
editora Globo, 1966]; para uma prova alternativa utilizando integrao no plano complexo, veja Erwin
Kreyszig, Advanced Engineering Mathematics (New York: John Wiley, 1979), pp. 735-736.

2
Um situao similar ocorre com a rea de um crculo de raio (na verdade, uma calota esfrica). Essa
rea dada por A = 2Rh, em que h a altura da calota (a distncia de sua base at a superfcie da esfera).
Ento h = R(1 cos ) = 2R sin
2
(/2), e ento A = 4R
2
sen
2
(/2) = 4(/)
2
sen
2
(/2) =

2
{[sen (/2)] / (/2)}
2
. Um fator de correo de {[sen (/2)] / (/2)}
2
dessa maneira necessrio se
quisermos encontrar a razo A/
2
.

11
Uma Frmula Notvel

O prottipo de todos os processos infinitos a
repetio. Na verdade, nosso prprio conceito de
infinito deriva de nossa noo de que o que foi dito ou
feito uma vez sempre pode ser repetido.
- Tobias Dantzig, Nmero: A Linguagem da Cincia.


Ns no terminamos ainda com a funo (sen x)/x. Folheando um dia um manual
de frmulas matemticas, eu me deparei com a seguinte equao:

=
8
cos
4
cos
2
cos
sen x x x
x
x
. (1)
Como eu no tinha visto essa frmula antes, esperava que sua demonstrao fosse bem
difcil. Para minha surpresa, ela se mostrou bem simples:
2 / cos 2 / sen 2 sen x x x =
2 / cos 4 / cos 4 / sen 4 x x x =
2 / cos 4 / cos 8 / cos 8 / sen 8 x x x x =

=

Aps repetir esse processo n vezes, temos

2 / cos ... 2 / cos 2 / sen 2 sen x x x x
n n n
= .

Vamos multiplicar e dividir o primeiro termo deste produto por x (assumindo, claro, que
x 0) e o reescrevemos como x [(sen x/2
n
)/( x/2
n
)]; teremos ento

n
n
n
x x x
x
x
x x 2 / cos ... 4 / cos 2 / cos
2 /
2 / sen
sen

= .
Observe que ns invertemos a ordem dos termos remanescentes do produto (at agora
finito). Se agora fizermos n enquanto mantemos x constante, ento x/2
n
0 e a
expresso entre colchetes, sendo da forma (sen )/, tender a 1. Assim, teremos
136 CAPTULO ONZE

=
=
1
2 / cos sen
n
n
x x x ,
em que significa produtrio. Dividindo ambos os lados por x, chegaremos
equao (1).
A equao (1) foi descoberta por Euler
1
e representa um dos poucos exemplos de
um produto infinito em matemtica elementar. Uma vez que a equao vlida para
todos os valores de x (inclusive x = 0, se definirmos (sen 0)/0 como 1), podemos
substitu-lo, por exemplo, por x = /2:

... 16 / cos 8 / cos 4 / cos
2 /
2 / sen
=

. .
Agora sen /2 = 1 e cos /4 = (2)/2. Utilizando a frmula do ngulo-metade
) 2 / cos 1 ( 2 / cos x x + = para cada um dos termos restantes, teremos, aps uma rpida
simplificao,

...
2
2 2 2
2
2 2
2
2 2

+ +

+
=

.

Esta bela frmula foi descoberta por Vite em 1593; para estabelec-la ele utilizou um
argumento geomtrico baseado na razo entre as reas de polgonos regulares de n e 2n
lados inscritos no mesmo crculo.
2
A frmula de Vite um marco na Histria da
Matemtica: foi a primeira vez que um processo infinito foi escrito explicitamente como
uma sucesso de operaes algbricas. (At ento os matemticos tinham o cuidado de
evitar qualquer referncia direta a processos infinitos, preferindo dizer que se tratavam de
processos finitos que podiam ser repetidos quantas vezes se desejasse.) Adicionando as
reticncias ao final de seu produto, Vite, num lance corajoso, declarou o infinito como a
alma da Matemtica. Isto marcou o incio da Anlise Matemtica, no sentido moderno da
palavra.
parte sua beleza, a frmula de Vite singular porque nos permite encontrar o
nmero por repetio usando quatro das operaes bsicas da aritmtica adio,
multiplicao, diviso e raiz quadrada todas aplicadas ao nmero 2. Isto pode ser feito
at mesmo numa calculadora cientfica mais simples:
2 x M 4 2 M+ RM x M 2

(em algumas calculadoras mais antigas as operaes de memria M, RM e M+ so
marcadas como STO, RCL e SUM, respectivamente). A cada iterao voc pode ler a
aproximao corrente de pressionando a tecla 1/x imediatamente aps na seqncia de
teclas mostrada acima; pressione ento 1/x novamente para iniciar a prxima iterao.
fascinante observar os nmeros no display se aproximando gradualmente do valor de ;
UMA FRMULA NOTVEL 137
Eli Maor Traduo livre: rossiunb@gmail.com

aps a nona iterao temos 3,1415914 valor correto em cinco decimais. Uma
calculadora programvel, com certeza, ir acelerar as coisas consideravelmente.
instrutivo examinar a equao (1) do ponto de vista da convergncia.
Observamos, em primeiro lugar, que a convergncia dos produtos parciais para seus
valores-limite monotnica; isto , cada termo adicional nos leva mais prximo do
limite. Isto porque cada termo um nmero menor que 1, fazendo com que o valor dos
produtos parciais diminua continuamente. um contraste marcante com a srie infinita
para (sen x)/x,

+ + =
! 7 ! 5 ! 3
1
sen
6 4 2
x x x
x
x
, (2)
que se aproxima de seu limite alternadamente de cima e de baixo. A convergncia, alm
disso, muito rpida, ainda que seja um pouco mais lenta que a da srie. A Tabela 5
compara as taxas de convergncia das equaes (1) e (2) para x = /2:
Tabela 5


Srie Infinita Produto Infinito


Nota: Todos os nmeros foram arredondados para
quatro casas decimais



A razo para a rpida convergncia do produto infinito pode ser vista na figura 68.
No crculo unitrio marcamos os raios correspondentes aos ngulos /2, (/2 + /4), (/2
+ /4 + /8), e assim sucessivamente. Esses ngulos formam uma progresso geomtrica
infinita cuja soma /2 + /4 + /8 + = . Agora, comeando pelo eixo x, tomamos a
projeo ortogonal de cada raio no prximo raio. Os comprimentos dessas projees so
1, cos /2, cos /2 cos /4, cos /2 cos /4 cos /8, e assim por diante. Vemos que
aps apenas alguns passos as projees se distinguem muito pouco de seu valor final.
Seguindo o princpio de que toda identidade trigonomtrica pode ser interpretada
geometricamente, nos perguntamos qual o significado geomtrico que podemos dar
equao (1). A resposta dada na figura 69.

138 CAPTULO ONZE

Fig. 68. Convergncia do produto infinito

=1
2 / cos
n
n
x
.


Fig. 69. Demonstrao geomtrica da frmula
x x x
n
n
/ ) (sen 2 / cos
1
=

=
.

Comeamos com um crculo de raio r
0
centrado na origem. A partir do eixo x marcamos o
ngulo , que intersecta o crculo no ponto P
0
. Conectamos P
0
com P
1
, cujas coordenadas
so (r
0
, 0) e chamamos o segmento P
1
P
0
de r
1
. O ngulo OP
1
P
0
, tendo seu vrtice no
crculo em P
1
e subentendendo o mesmo arco que , igual a /2.

UMA FRMULA NOTVEL 139
Eli Maor Traduo livre: rossiunb@gmail.com

Aplicando a Lei dos Senos no tringulo OP
1
P
0
, temos

) 180 ( sen ) 2 / ( sen
1 0

=
r r
.
(3)
Mas sen (180 ) = sen = 2 sen /2 cos /2; substituindo na equao (3) e resolvendo
para r
1
, temos r
1
= 2r
0
cos /2.
Traamos agora um segundo crculo, tendo P
1
como centro e r
1
como raio. Temos
4 /
0 2
= P OP , e a repetio dos passos recm aplicados ao tringulo P
1
P
2
P
0
levar a
r
2
= 2r
1
cos /4 = 4r
0
cos /2 cos /4, em que r
2
= P
2
P
0
. Repetindo este processo n vezes,
teremos um crculo com centro em P
n
e raio r
n
= P
n
P
0
dado por

n n
n
r r 2 / cos ... 4 / cos 2 / cos 2
0
= . (4)
Agora
n
n
P OP 2 /
0
= , e a Lei dos Senos aplicada ao tringulo OP
n
P
0
nos dar
r
0
/(sen /2
n
) = r
n
/sen (180 ); ento

n n
r
r
2 / sen
sen
0

= . (5)
Eliminando r
0
e r
n
entre as equaes (4) e (5), teremos

n n n
2 / cos ... 4 / cos 2 / cos 2 ) 2 / /(sen ) (sen = . (6)
Com n crescendo indefinidamente, o ngulo
0
P OP
n
aproxima-se de zero e ento se
torna indistinguvel de seu seno; em outras palavras, o arco cujo raio r
n
tende
perpendicular de P
0
ao eixo x. Ento a equao (1) a manifestao trigonomtrica do
teorema de que um ngulo inscrito em um crculo tem a mesma medida de que a metade
do ngulo central que subentende o mesmo arco, repetido vrias vezes para todos os
ngulos cada vez menores inscritos em crculos cada vez maiores.
3


NOTAS E FONTES
(Este captulo baseado em meu artigo, Um Notvel Identidade Trigonomtrica, Mathematics Teacher,
vol. 70, n 5 (maio 1977), pp. 452-455.)

1
E. W. Hobson, Squaring the Circle: A History of the Problem (Cambridge, England: Cambridge
University Press, 1913), p.26.
2
Veja Petr Beckmann, A History of (Boulder, Colo: Golem Press, 1977), pp. 92-96.
3
Uma prova da equao (1) baseada em consideraes fsicas dada no artigo mencionado acima.


Jules Lissajous e Suas Figuras

Jules Antoine Lissajous (1822-1880) no figura entre os gigantes da Histria da
Cincia, mas seu nome conhecido dos estudantes de Fsica por intermdio das figuras
de Lissajous padres formados quando duas vibraes ao longo de linhas
perpendiculares se sobrepem. Lissajous ingressou na cole Normale Suprieure em
1841 em mais tarde se tornou professor de fsica no Lyce Saint-Louis em Paris, onde
estudou vibraes e acstica. Em 1855 ele desenvolveu um mtodo tico simples para
estudar vibraes compostas: ele anexou um pequeno espelho a cada um dos objetos
vibratrios (dois diapases, por exemplo) e direcionou um feixe de luz para um dos
espelhos. O feixe foi refletido primeiro para o outro espelho e dali para um grande
anteparo, onde formou um padro bidimensional, o resultado visual da combinao das
duas vibraes. Essa idia simples um precursor dos modernos osciloscpios foi uma
inovao poca de Lissajous, pois at aquele tempo o estudo do som dependia to-
somente do processo de ouvir, isto , do ouvido humano. Lissajous literalmente tornou
possvel ver o som.



Seja cada vibrao um movimento harmnico simples representado por uma onda
senoidal; sejam a e b suas amplitudes,
1
e
2
as freqncias angulares (em radianos por
segundo),
1
e
2
as fases, e t o tempo. Temos ento

) sen( ), sen(
2 2 1 1
+ = + = t b y t a x . (1)
Com a progresso do tempo, o ponto P cujas coordenadas so (x, y) ir traar uma curva
cuja equao pode ser encontrada eliminando-se t entre as equaes (1). Uma vez que as
duas equaes contm seis parmetros,
1
a curva normalmente um tanto complicada,
exceto em alguns casos especiais. Por exemplo, se
1
=
2
e
1
=
2
, teremos
) sen( ), sen( + = + = t b y t a x ,
Em que retiramos os ndices sob os parmetros. Para eliminar t das equaes, observamos
que x/a = y/b e ento y = (b/a)x, a equao de uma linha reta. Da mesma forma, para

1
=
2
e uma diferena de fase igual a chegamos reta y = (b/a)x. Para
1
=
2
e
uma diferena de fase igual a /2 temos (fazendo
1
igual a zero)
t b t b y t a x cos ) 2 / sen( ), sen( = + = = .


142 JULES LISSAJOUS
Dividindo a primeira equao por a e a segunda por b, elevando os resultados ao
quadrado e somando, temos

1
2
2
2
2
= +
b
y
a
x
,
Que representa uma elipse com eixos ao longo dos eixos x e y (alm disso, se a = b, a
elipse se torna um crculo). Para uma diferena de fase arbitrria, a curva ser uma elipse
inclinada, cujos exemplos anteriores so casos especiais (com as retas y = (b/a)x sendo
elipses degeneradas). Se deixarmos as diferenas de fase variarem continuamente, a
elipse ir mudar lentamente sua orientao e formato, passando (no caso em que a = b) da
circunferncia x
2
+ y
2
= 1 para as retas y = x e voltar (fig. 70).
Se as freqncias no forem iguais, a curva ser muito mais complexa. Por
exemplo, quando
1
= 2
2
(musicalmente falando, quando as duas vibraes esto
separadas por uma oitava), temos
) 2 sen( ), sen( + = = t b y t a x ,
Em que novamente eliminamos os ndices e fizemos
1
= 0. O tipo de curva que teremos
depende agora de . Para = /2 temos
t b t b y t a x 2 cos ) 2 / 2 sen( ), sen( = + = = .
Utilizando a identidade cos 2u = 1 2 sen
2
u e eliminando t das duas equaes resulta em
y = b[1 2(x/a)
2
]. Esta equao representa um segmento parablico em que o ponto P
move-se em vaivm ao longo do tempo. Para outros valores de a curva pode ser um
segmento fechado (fig. 71).
Uma outra observao digna de ser mencionada. Enquanto a razo entre as
freqncias
1
/
2
for um nmero racional, a curva no importa quo complexa seja
eventualmente ir repetir a si mesma, fazendo com que o movimento seja peridico.
2
Mas
se
1
/
2
for irracional, o ponto P nunca ir repetir o mesmo caminho, resultando em um
movimento no-peridico. Entretanto, com o passar do tempo, a curva gradualmente ir
preencher o retngulo definido pelas retas x = a, y = b (fig. 72).

O trabalho de Lissajous foi elogiado por seus contemporneos e discutido pelos fsicos
John Tyndall (1820-1893) e Lord Rayleigh (John William Strutt, 1842-1919) em seus
clssicos tratados sobre acstica. Em 1873 ele foi agraciado com o prmio La Caze
a
por
seus belos experimentos e seu mtodo foi exibido na Exposio Universal de Paris em
1867.


a
Prmio mximo da Academia Francesa de Cincias (N.T.).
JULES LISSAJOUS 143
Eli Maor Traduo livre: rossiunb@gmail.com




Fig. 70. Figuras de Lissajous: o caso 1 = 2.

Mas aparentemente no h nada de novo sob o sol: as figuras de Lissajous haviam sido
descobertas muito antes pelo cientista autodidata americano Nathaniel Bowditch (1773-
1838), que as produziu em 1815 com um pndulo composto.
3
Uma variao desse
dispositivo, em que o movimento de dois pndulos combinado e traado em um papel
pela ponta de uma caneta anexada a um dos pndulos, tornou-se um demonstrao de
cincia popular no sculo dezenove (fig. 73); as figuras subseq6uentes eram chamadas de
harmonogramas, e sua incrvel variedade nunca falhou em impressionar os
espectadores (fig. 74).
4


144 JULES LISSAJOUS

Fig. 71. Figuras de Lissajous: o caso 1 = 22.

Fig. 72. Figuras de Lissajous para o caso em que 1/2 irracional.

Fig. 73. Harmongrafo. De um livro de cincias do sculo dezenove.

JULES LISSAJOUS 145
Eli Maor Traduo livre: rossiunb@gmail.com


Fig. 74. Harmonogramas.

A novidade no mtodo de Lissajous foi que ele deixou o mtodo mecnico e contou com
o agente da luz, muito mais eficiente. Nisso ele foi um visionrio, profetizando nossa era
eletrnica moderna.


NOTAS E FONTES


1
Na verdade, cinco parmetros so suficientes, uma vez que apenas a fase relativa (isto , a diferena de
fases) realmente importa.
2
O perodo ser o mnimo mltiplo comum dos dois perodos individuais.
3
Florian Cajori, A History of Physics (198, ed. Rev. 1928; rpt. New York: Dover, 1962), pp. 288-289.
4
Em 180 meu colega Wilbur Hoppe e eu construmos um pndulo composto como parte de um workshop
de modelos matemticos na Universidade de Wisconsin Eau Claire. Os padres mostrados na figura 74
foram produzidos com esse dispositivo.