8.

1 Gauss Carl Friedrich Gauss (1777–1855) é um dos poucos matemáticos

verdadeiramente brilhantes que merecem o rótulo de "gênio".1 Na fase
posterior de sua vida, ele e sua mãe costumavam dizer que ele aprendeu a ler
praticamente sozinho, com poucas instruções além de aprender as letras
individuais, e que mais ou menos ensinou a si mesmo aritmética. Essas histórias
têm alguma plausibilidade, porque, quando adulto, Gauss aprendeu várias
línguas, incluindo inglês e russo, e era um calculista fenomenal. Seus dons
prodigiosos como criança chamaram a atenção de Martin Bartels, ele próprio
um bom matemático, e através dele ao Duque de Brunswick, que ficou feliz em
patrocinar a educação da criança no impressionante Collegium Carolinum local.
Gauss retribuiu abundantemente o apoio recebido, e durante toda a sua vida foi
um súdito leal.

Ele publicou sua primeira descoberta em 1797, que foi que a figura regular de
17 lados é construtível apenas com régua e compasso. Isso pode não parecer
interessante à primeira vista; não impressionou o matemático a quem Gauss
mostrou (o já octogenário Kaestner na época), mas o ponto não é simplesmente
que os gregos e todos desde então tinham perdido isso, mas que Gauss
percebeu que o problema se reduz a encontrar as 16 raízes complexas da
equação x17−1/x−1 = 0 (o que fica claro quando se conhece os números
complexos), e que a combinação dos fatos de que 17 é primo e 17 − 1 = 16 é
uma potência de 2 significa que a equação pode ser resolvida resolvendo uma
sucessão de equações quadráticas, e resolver uma equação quadrática é uma
construção com régua e compasso. Hoje, esse resultado é considerado uma
peça impressionante da teoria de Galois - mas Gauss estava 35 anos à frente de
Galois.

Em 1799, ele publicou sua tese de doutorado sobre o teorema fundamental da

álgebra. Este é o postulado de que toda equação polinomial de grau n com
coeficientes reais ou complexos possui n soluções (possivelmente repetidas).
Mas o que o tornou famoso foram dois feitos notáveis em 1801. Um foi seu
livro, as Disquisitiones arithmeticae [83], o primeiro livro que estabeleceu a até
então obscura matéria da teoria dos números como um campo importante para
os matemáticos e onde, entre outras coisas, a teoria do polígono de 17 lados foi
explicada. O outro, muito mais digno de nota, foi a redescoberta do asteroide
Ceres. Este foi o primeiro asteroide a ser descoberto, mas logo após Piazzi na
Itália tê-lo encontrado, ele desapareceu atrás do sol. Piazzi publicou suas
observações e desafiou a comunidade de astrônomos a encontrar onde ele
estaria quando reaparecesse à vista. Gauss venceu. A chave para o seu método
foi a descoberta do método estatístico dos mínimos quadrados. No entanto,
Gauss não publicou seu método até 1809, e até então Legendre o havia
descoberto e publicado independentemente em 1805. Isso resultou em uma
desagradável disputa de prioridades em 1809.
Gauss tinha sido aluno da Universidade de Göttingen, e enquanto estava lá, um
de seus amigos era Wolfgang Bolyai, com quem discutiu os fundamentos da
geometria. Bolyai mais tarde recordou como chegou a conhecer Gauss: Mesmo
hoje, sou seu amigo, embora esteja longe de poder me comparar a ele. Ele era
muito modesto e não se mostrava muito; não por três dias como no caso de
Platão, mas por anos, poderia-se estar com ele sem reconhecer sua grandeza.
Que pena que eu não entendia como abrir este silencioso "livro sem título" e lê-
lo! Eu não sabia o quanto ele sabia, e depois que ele viu meu temperamento,
ele me considerava altamente sem saber o quão insignificante eu sou. A paixão
pela matemática (não manifestada externamente) e nosso acordo moral nos
uniram de tal forma que, muitas vezes, ao caminharmos juntos, ficávamos em
silêncio por horas a fio, cada um ocupado com seus próprios pensamentos. [55,
p. 27]

É de se questionar se Bolyai não ficou um pouco intimidado pela genialidade de

seu amigo. E era uma amizade, embora depois de 1799 eles tenham se
separado, nunca mais se encontrando. Um amigo mútuo descreveu Bolyai
naquele ano como alguém que participa das coisas "apenas como filósofo, que
nessas ocasiões encontra material para fazer observações sobre as tolices
humanas. Isso é tanto sua regra de hábito, como descobri de vários casos, que é
difícil para ele perder qualquer um desses assuntos mundanos, não porque
queira desfrutá-los junto com os outros, mas para fortalecer sua tranquilidade
de espírito." [55, p. 31] No entanto, Bolyai mesmo descreveu sua separação de
Gauss com estas palavras maravilhosamente exageradas:

"Acompanhei-o [Gauss] pela manhã, sábado, 25 de maio de 1799, até o topo de

uma pequena montanha em direção a Brunswick. O sentimento de se ver pela
última vez é indescritível. Nem uma palavra sobre lágrimas é eficaz. O Livro do
Futuro está fechado. Então nos separamos com um aperto de mão moribundo,
quase sem palavras, com a distinção de que ele, guiado pelos anjos do templo
da fama e glória, retorna a Brunswick, e eu, muito menos digno, mas tranquilo
com a consciência tranquila, vou para Göttingen, embora perseguido depois
como um mártir da verdade por um exército dos muitos menos dignos." [55, p.
31]

Gauss era rápido em identificar erros em supostas provas do postulado paralelo

e estava disposto a discuti-los em correspondência, mas relutante em publicar.
Isso torna difícil saber o que ele sabia. Em 1817, Gauss escreveu a um colega
astrônomo chamado Olbers que:

"Estou cada vez mais convencido de que a necessidade de nossa geometria

(euclidiana) não pode ser provada, pelo menos não pela razão humana nem
para a razão humana. Talvez em outra vida possamos obter uma compreensão
da natureza do espaço, que é agora inatingível. Até então, devemos colocar a
geometria não na mesma classe da aritmética, que é puramente a priori, mas
com a mecânica." [55, p. 180]

8.2 Schweikart and Taurinus Dois investigadores amadores, F. K. Schweikart e

seu sobrinho F. A. Taurinus, também acharam que o problema valia a pena. Em
1818, Schweikart, que era professor de direito em Marburgo, comunicou a
Gauss um teorema notável por meio de seu conhecido mútuo, o astrônomo
Gerling. Esse teorema era baseado na HAA (conhecida por ele a partir do
trabalho de Lambert) e é um bom ponto de partida. Ele escreveu:

Há dois tipos de geometria: uma geometria no sentido estrito - a euclidiana; e

uma geometria astral. Triângulos nesta última têm a propriedade de que a soma
de seus três ângulos não é igual a dois ângulos retos. Assumindo isso, podemos
provar rigorosamente: (a) Que a soma dos três ângulos de um triângulo é
menor que dois ângulos retos; (b) Que a soma se torna cada vez menor, quanto
maior for a área do triângulo; (c) Que a altura de um triângulo isósceles
retângulo cresce continuamente à medida que os lados aumentam, mas nunca
pode se tornar maior do que um certo comprimento, que chamo de Constante.

Os quadrados têm, portanto, a seguinte forma [ver Figura 8.2]. Figura 8.2
Quadrado de Schweikart

Se essa Constante fosse para nós o Raio da Terra, (de modo que toda linha
desenhada no universo de uma estrela fixa para outra, distante 90º da primeira,
seria uma tangente à superfície da Terra), ela seria infinitamente grande em
comparação com os espaços que ocorrem na vida diária.

A geometria euclidiana só se mantém sob a suposição de que a Constante é

infinita. Somente nesse caso é verdade que os ângulos de todo triângulo são
iguais a dois ângulos retos: e isso pode ser facilmente provado, assim que
admitimos que a Constante é infinita. [88, pp. 180–181]

A confiança com a qual Schweikart estava disposto a construir sobre uma

suposição geométrica que não era de Euclides é marcante. Ele não estava
procurando uma contradição em sua nova geometria, mas aceitou a nova
suposição e Explorou suas consequências. Ele até especulou que isso poderia
fornecer uma geometria adequada para estudar o espaço físico. Gauss
respondeu a Gerling concordando com o teorema de Schweikart, acrescentando
que poderia resolver todos os problemas nessa "geometria astral" assim que a
Constante mencionada por Schweikart fosse fornecida [88, p. 182].
Em seus dois livros sobre geometria publicados em 1825 e 1826, Taurinus foi
além de seu tio e produziu um estudo completo de geometria baseado em
fórmulas trigonométricas.2 Embora sempre tenha acreditado na verdade da
geometria de Euclides e no postulado paralelo, e embora seus esforços fossem
direcionados a entender melhor a geometria para provar o postulado paralelo,
suas pesquisas produziram um conjunto importante de fórmulas que se
revelariam significativas nos anos seguintes. Essa mudança de abordagem é
altamente significativa. Até as décadas de 1810 e 1820, os geométricos
interessados no postulado paralelo usavam técnicas clássicas e um estilo
modelado no de Euclides; Taurinus rompeu com esse estilo e considerou
relações trigonométricas entre ângulos. Seus métodos inteiramente formais se
mostraram produtivos em outras mãos, sendo necessário entender algo de sua
abordagem geral.

Já era conhecido há muitos anos que as seguintes fórmulas conectam ângulos

na superfície de uma esfera com ângulos subtendidos no centro da esfera.
(Observe que estamos usando A, B, C para ângulos na superfície da esfera; e
a/k, b/k, c/k para ângulos no centro da esfera, cujo raio é k, subtendidos pelos
comprimentos a, b, c.)

(1) cos(a/k) = cos(b/k)cos(c/k) + sin(b/k)sin(c/k)cos A (2) cos A = − cos B cos C +

sin B sin C cos a/k

Taurinus questionou o que aconteceria com essas fórmulas fundamentais da

trigonometria esférica se considerássemos uma esfera de raio imaginário (como
Lambert havia sugerido, cinquenta anos antes) ou, de outra forma, se
fizéssemos a substituição puramente formal de substituir k por √−1 k.

O efeito é bastante surpreendente. O que se obtém é o seguinte:

(1) cosh(a/k) = cosh(b/k)cosh(c/k) − sinh(b/k)sinh(c/k)cos A; (2) cos A = − cos B

cos C + sin B sin C cosh a/k,

onde cosh e sinh são os equivalentes hiperbólicos do cosseno e seno esféricos

usuais. Lembre-se de que cos θ = eiθ+e−iθ 2 , sin θ = eiθ−e−iθ 2i , e cosh θ =
eθ+e−θ 2 , sinh θ = eθ−e−θ

2.

Assim como as fórmulas trigonométricas esféricas (1) e (2) são usadas para
estudar as propriedades de triângulos em superfícies esféricas, as novas
fórmulas produzidas por Taurinus, (1) e (2), poderiam ser usadas para estudar as
propriedades de triângulos em superfícies com uma nova geometria,
semelhante à sugerida por Lambert. Taurinus agora tinha uma "geometria" na
qual triângulos com lados a, b, c, e ângulos correspondentes A, B, C, são
relacionados pelas fórmulas (1) e (2). Ele a chamou de "geometria log-esférica"
devido ao papel desempenhado pelas funções hiperbólicas cosh e sinh. Ele
mostrou que concordava com a "geometria astral" de seu tio e até encontrou a
Constante de Schweikart como uma função do raio k.

Mas Taurinus realmente queria que a geometria de Euclides fosse verdadeira,

então em seu primeiro livro ele deu dez razões pelas quais a geometria log-
esférica não poderia ser uma geometria do espaço. Essas razões estão longe de
serem convincentes; por exemplo, "Se a geometria log-esférica fosse verdadeira,
a geometria euclidiana não poderia ser, cuja possibilidade não pode ser
duvidada." [64, p. 259] Ele simplesmente não queria aceitar isso. No entanto, em
seu segundo livro, ele cedeu o suficiente para permitir que tal geometria
existisse. Era a geometria de alguma superfície ou outra, mas ele não podia ir
além disso.

Taurinus comunicou algumas de suas descobertas a Gauss em 1824. Gauss deve

ter achado-as angustiantemente incoerentes, pois respondeu que as
considerava incompletas, deixando algo a desejar geometricamente. Ele
também não estava inclinado a acreditar que Taurinus havia encontrado uma
contradição na ideia de uma geometria na qual triângulos têm somas de
ângulos inferiores a π quando ele, Gauss, havia procurado sem sucesso por
trinta anos. De fato, embora não tenha endossado totalmente a possibilidade
de uma geometria não euclidiana, ele falou bastante calorosamente das
propriedades de tal geometria. No entanto, ele enfatizou que sua resposta não
deveria ser publicada [64, pp. 249–250]. Enquanto Gauss se movia para proteger
sua reputação, Taurinus deu o passo arriscado de publicar às suas próprias
custas, mas o livro foi um fracasso, e finalmente ele mandou queimassem todas
as cópias não vendidas.

8.3 O que Gauss sabia O que, de fato, Gauss realmente sabia sobre o assunto?
Em seu próprio trabalho, ele desenvolveu uma teoria elementar de paralelas
assintóticas direcionadas. Isso foi um exercício inconclusivo na geometria
convencional, embora em um novo contexto. A carta de 1817 para Olbers, por
exemplo, tratava do trabalho de seu ex-aluno Wachter, que havia enviado a
Gauss uma defesa do postulado paralelo, baseada na ideia de que quatro
pontos em espaço, que não estão todos em um plano comum, estão em uma
esfera. Evidentemente, eles se encontraram para discutir o problema, pois
Wachter então escreveu para Gauss registrando o que lembrava da conversa
deles [88, pp. 175–176]. Nessa carta, ele menciona a ideia profunda de que se o
postulado paralelo for falso, será necessário estudar a geometria em uma esfera
de raio infinito, mas ele não explicou o que tal objeto misterioso poderia ser.
Não está claro se a ideia foi originalmente de Wachter ou de Gauss.
Em sua carta para Taurinus, Gauss falou de uma geometria bastante diferente
da de Euclides, que era autoconsistente (in sich selbst durchaus consequent) e
que ele considerava totalmente satisfatória. Ele conseguia resolver todos os
problemas nela assim que um valor fosse atribuído a um parâmetro que não
poderia ser determinado a priori, e quanto maior esse parâmetro se tornasse,
mais a nova geometria se aproximava da geometria euclidiana. Os teoremas na
nova geometria poderiam parecer paradoxais; por exemplo, não importa quão
grandes os lados de um triângulo se tornem, a área do triângulo permanece
menor que uma constante fixa. A única coisa que a razão parecia não poder
aceitar era que na nova geometria havia uma medida absoluta de comprimento,
mas até essa ideia, ele disse, às vezes desejava que fosse verdade. "Mas apesar
da sabedoria verbal do Nada dos metafísicos, sabemos muito pouco, até
mesmo nada, sobre a verdadeira natureza do espaço, e podemos confundir algo
que nos parece antinatural com o Absolutamente Impossível." [64, p. 250] A
carta é curiosamente ambígua, chegando perto de declarar abertamente que
outra geometria é possível, apenas para se retrair no último minuto. Gauss
estava dizendo que ele também poderia ficar confuso, ou estava tentando fazer
com que Taurinus percebesse isso?

Em 1829, Gauss escreveu a Bessel que "minha convicção de que não podemos
basear completamente a geometria a priori se tornou, se algo, ainda mais forte",
mas que provavelmente não publicaria suas ideias em sua vida porque temia os
uivos dos boeotianos (uma tribo que os antigos gregos consideravam
particularmente estúpida) [88, p. 200]. Bessel respondeu que lamentava essa
modéstia de Gauss e, de fato, que poderia acreditar que o espaço fosse
levemente não euclidiano. Em abril de 1830, Gauss escreveu de volta dizendo
que "é minha convicção interna que o estudo do espaço ocupa um lugar
completamente diferente em nosso conhecimento a priori do que o estudo da
quantidade... Devemos admitir humildemente que, se o Número é o puro
produto de nossa mente, o espaço tem uma realidade fora de nossas mentes e
não podemos prescrever completamente suas leis a priori." [88, p. 201]

Portanto, parece que Gauss estava disposto a contemplar uma nova geometria,
mas não a dar uma descrição direta e detalhada, ou mesmo a resolver os
detalhes para sua própria satisfação. Isso era bastante contrário à sua prática
normal; ele morreu deixando para trás uma riqueza de descobertas que ele não
se incomodou em divulgar. Isso sugere que Gauss não queria investigar a nova
geometria e talvez até tivesse reservas sobre ela.

8.3.1 Curvatura Gaussiana O caso mais interessante é o trabalho de Gauss sobre

geometria diferencial, descrito em suas Disquisitiones generales circa superficies
curvas (Investigações gerais sobre superfícies curvas) de 1827.3 Este é um
assunto que ele transformou completamente. Ele estava envolvido no
levantamento das propriedades de Hanôver (uma boa atividade para um súdito
leal) e se dedicou a cada detalhe, participando das viagens a campo, auxiliando
nas medições – ele inventou o helioscópio, que aumentou significativamente a
precisão – e realizando muita trigonometria e estimativas de erro. Como
resultado, ele começou a estudar a geometria das superfícies. Uma superfície no
espaço (por exemplo, uma esfera) adquire sua geometria do espaço ambiente.
Assim: comprimentos ao longo de curvas, curvas mais curtas (geodésicas),
ângulos, etc., são inferidos a partir dos conceitos primitivos no espaço
tridimensional circundante.

Para lidar com o fato óbvio de que uma superfície no espaço, diferente do
plano, é curva, e o efeito que isso tem em sua geometria, Gauss pegou uma
superfície arbitrária e estudou o mapeamento dela para a esfera unitária, obtido
olhando ao longo das normais para a esfera celeste. O efeito local na área
mostrou-se crucial. Aqui, pega-se um pedaço de superfície, U digamos, que
envolve um ponto P, digamos, e encontra-se a razão entre a área da imagem
deste pedaço na esfera e a área do pedaço da superfície. Se a superfície for
denotada por Σ, a esfera por S e o mapeamento ao longo das normais por g (de
Gauss), então Gauss considerou aˊrea(�(�))aˊrea(�)aˊrea(U)aˊrea(g(U)) Gauss
fez isso para pedaços de superfície cada vez menores e elaborou uma maneira
de falar sobre o limite da razão à medida que o pedaço U tende ao ponto P. Em
símbolos, lim⁡�→�aˊrea(�(�))aˊrea(�)limU→Paˊrea(U)aˊrea(g(U)). Ele
chamou essa quantidade de curvatura da superfície no ponto P. Ela ficou
conhecida como a curvatura Gaussiana da superfície no ponto P.

Se a superfície em si for uma esfera, o efeito é apenas uma escala que depende
do raio da esfera. Na verdade, se a esfera tiver raio R, então a curvatura
Gaussiana é 1�2R21. Mas se a superfície original for um plano, todas as
normais apontam para o mesmo ponto na esfera celeste, e o mapeamento
mapeia todo o plano para um ponto: a área é reduzida a zero. Se a superfície
original for um cilindro, todas as normais apontam ao longo de um arco circular
na esfera celeste, e o mapeamento mapeia todo o cilindro para uma linha: a
área é novamente reduzida a zero. Finalmente, se a superfície for uma sela, uma
região na sela é mapeada para uma região na esfera, mas à medida que você
vai em uma direção na sela, as normais vão na direção oposta na esfera, então o
mapeamento envia uma área positiva para uma área negativa.

Gauss fez um cálculo extenso e chegou a um resultado que o surpreendeu até

mesmo. Surpreendeu-o tanto que ele o chamou de theorema egregium ou
teorema excepcional: a curvatura Gaussiana é intrínseca. Isso significa que ela
depende de quantidades mensuráveis apenas na superfície e não envolve a
terceira dimensão. Se criaturas bidimensionais medissem a curvatura Gaussiana
em uma esfera, elas poderiam, em princípio, decidir que toda a conversa sobre
a esfera estar incorporada em um espaço tridimensional era matematicamente
supérflua! Superfícies com curvaturas Gaussiana diferentes não podem ser
isométricas (mapeadas exatamente uma sobre a outra). Mas superfícies com a
mesma curvatura Gaussiana são localmente indistinguíveis geometricamente. O
exemplo famoso é o plano e o cilindro – o mapa que realiza a isometria entre
eles está impresso em um tambor cilíndrico.

Para ter uma impressão do mapa de Gauss, considere a elipse no plano (y, z)
com equação �2/3+�2=1y2/3+z2=1. Faça girar essa curva ao redor do eixo z
e obtenha a elipsoide com equação �2/3+�2/3+�2=1x2/3+y2/3+z2=1,
mas o ponto a ser destacado fica mais claro se nos atermos à curva. A elipse é
descrita parametricamente pelos pontos (�,�)=(3cos⁡�,sin⁡�)(y,z)=(3
cosθ,sinθ). Um cálculo simples encontra que a inclinação da normal nesse
ponto é 3sin⁡�/cos⁡�3sinθ/cosθ. Portanto, o vetor normal à elipse nesse
ponto (e baseado nesse ponto) é (cos⁡�,3sin⁡�)(cosθ,3sinθ) e o vetor
normal unitário lá é 1cos⁡2�+3sin⁡2�(cos⁡�,3sin⁡�)cos2θ+3sin2θ1(cosθ,3sinθ).

Para entender isso de maneira pictórica, considere a região da elipse onde �θ

varia de 0 a π/3 (mostrada em cinza na Figura 8.3), e a região onde �θ varia de
π/3 a π/2 (mostrada em preto na Figura 8.3), onde a elipse é a curva externa. A
região cinza é bastante pequena. O mapa de Gauss mapeia cada ponto da
elipse para o ponto na circunferência unitária definida pelo vetor normal
unitário correspondente, e a parte relevante da circunferência unitária é a curva
interna na figura. Nessa arc circular, a imagem da região cinza é bastante
grande, e a da região preta muito menor

Portanto, Gauss teve uma profunda compreensão da geometria de superfícies e,

evidentemente, poderia ter se dedicado a uma classificação rudimentar em
superfícies com curvatura positiva constante, curvatura zero e curvatura
negativa constante. Vamos dizer curvatura positiva constante, curvatura zero e
curvatura negativa constante. Isso corresponde à esfera (e talvez a outras, mas
na realidade não há outras), ao plano (essencialmente) e - o quê? Seguindo essa
analogia - essa tricotomia - a trigonometria correspondente seria: esférica,
plana e - o quê?

Gauss não investigou isso, exceto possivelmente depois que o trabalho de

Bolyai e Lobachevskii foi conhecido por ele. Por esse motivo, acredito que o
crédito vai para os dois homens que vêm em seguida nestes capítulos: Bolyai na
Hungria/Romênia e Lobachevskii na Rússia.