A geometria de Euclides: dez frases seguram tudo
Por volta de 300 a.C., o matemático grego Euclides fez em Os Elementos algo sem precedente: compilou toda a geometria conhecida e mostrou que ela inteira se deduz de um punhado de afirmações iniciais. Toda geometria que obedece a essas afirmações é chamada, até hoje, de geometria euclidiana.
Euclides separou as afirmações em dois grupos. Axiomas (ou noções comuns) valem para toda a matemática:
- Coisas iguais a uma mesma coisa são iguais entre si.
- Se iguais são adicionados a iguais, os resultados são iguais.
- Se iguais são subtraídos de iguais, os restos são iguais.
- Coisas que coincidem uma com a outra são iguais.
- O todo é maior do que qualquer uma de suas partes.
Já os postulados valem especificamente para a geometria:
- Por dois pontos passa uma única reta.
- Todo segmento de reta pode ser prolongado ilimitadamente.
- Dados um centro e uma distância, é possível traçar um círculo.
- Todos os ângulos retos são iguais entre si.
- Se uma reta corta duas outras formando, de um mesmo lado, ângulos internos cuja soma é menor que dois retos, então essas duas retas, suficientemente prolongadas, se cruzam desse lado.
Leu os cinco? Os quatro primeiros são frases de uma linha, quase óbvias. O quinto é um parágrafo. Esse desnível incomodou o mundo matemático por dois milênios — e é o assunto desta página. (Se a própria ideia de "construir a matemática a partir de axiomas" é nova pra você, temos um post inteiro sobre como a matemática funciona.)
O quinto postulado: o das paralelas
O que o enunciado comprido está dizendo? Se os dois ângulos internos de um lado somam menos que 180°, as retas se encontram desse lado (formando um triângulo). E o caso da igualdade fica implícito: se os ângulos somam exatamente 180°, as retas nunca se encontram — são paralelas.
Como a redação original é dura de ler, ficou famosa uma forma equivalente e muito mais limpa (conhecida como axioma de Playfair):
Axioma das paralelas. Por um ponto exterior a uma reta passa uma única reta paralela à reta dada.
Uma frase curta, aparentemente inofensiva — "óbvia", diria qualquer pessoa olhando um papel. E foi exatamente essa frase a causadora de toda a polêmica.
2.000 anos de incômodo
Desde a antiguidade, matemáticos sentiam que o quinto postulado não parecia um postulado: parecia um teorema esperando demonstração. Ptolomeu tentou demonstrá-lo por volta de 150 d.C. Proclo, no século V, registrou a crítica com todas as letras:
"Este postulado deve ser riscado da lista, pois é uma proposição com muitas dificuldades [...]. A afirmação de que duas retas, por convergirem mais e mais conforme forem prolongadas, acabam se encontrando, é plausível, mas não necessária."
Repare na linha do tempo: Euclides escreveu por volta de 300 a.C., Ptolomeu tentou provar uns 450 anos depois, Proclo criticava 700 anos depois da publicação — e a questão seguiu aberta por mais de um milênio depois disso.
Por que todas as tentativas falharam? O padrão se repetia: em algum passo da "demonstração", o matemático usava uma hipótese que parecia inocente — mas que era logicamente equivalente ao próprio quinto postulado. Ou seja: assumia o que queria provar, sem perceber. A demonstração era um círculo vicioso bem disfarçado.
O nascimento: de Saccheri a Riemann
Em 1733, o padre e matemático italiano Giovanni Saccheri tentou uma rota diferente: a redução ao absurdo. Supôs o quinto postulado falso e passou a deduzir consequências, esperando encontrar uma contradição que provasse o postulado. A contradição nunca veio. Sem perceber, Saccheri estava construindo os primeiros teoremas de uma geometria nova e perfeitamente coerente — e morreu acreditando ter falhado.
Quem trouxe a ideia de volta foi ninguém menos que Carl Friedrich Gauss, o "príncipe da matemática", por volta de 1800 — que desenvolveu a teoria em segredo e não publicou, temendo a reação dos contemporâneos. A publicação veio de forma independente com Lobachevsky (1829) e Bolyai (1832), trocando o axioma das paralelas por:
- "Por um ponto exterior a uma reta passam infinitas paralelas" → geometria hiperbólica (Lobachevsky);
- "Por um ponto exterior a uma reta não passa paralela nenhuma" → geometria elíptica, formalizada por Riemann (1854).
A lição é profunda: o quinto postulado não podia mesmo ser demonstrado — ele é uma escolha. Cada escolha gera uma geometria diferente, internamente coerente, com seus próprios teoremas. A matemática não descobriu um erro em Euclides; descobriu que Euclides descrevia um dos mundos possíveis.
As três geometrias, lado a lado
O quadro completo cabe numa tabela — repare como uma única troca de postulado arrasta tudo: paralelas, soma dos ângulos, curvatura:
| Geometria | Paralelas por ponto exterior | Soma dos ângulos do triângulo | Curvatura | Modelo concreto |
|---|---|---|---|---|
| Euclidiana (parabólica) | exatamente 1 | = 180° | zero | folha de papel |
| Hiperbólica (Lobachevsky) | infinitas | < 180° | negativa | sela de cavalo |
| Elíptica (Riemann) | nenhuma | > 180° | positiva | esfera |
Na esfera, o papel de "reta" é dos círculos máximos — os círculos de maior raio possível, como o equador e os meridianos. "Reta" em geometria significa o caminho mais curto entre dois pontos (geodésica); na superfície da Terra, o caminho mais curto é sempre um arco de círculo máximo. É por isso que dois meridianos, "paralelos" no equador, se cruzam nos polos: na esfera não existem paralelas.
Exemplo resolvido: o triângulo de 270°
Desenhe um triângulo na superfície da Terra usando: um arco do equador, o meridiano de Greenwich (0°) e o meridiano 90° O. Qual a soma dos ângulos? E a área desse triângulo?
- Cada meridiano encontra o equador em ângulo reto: são dois ângulos de 90° na base.
- No Polo Norte, os meridianos 0° e 90° O se encontram formando — pela própria definição de longitude — um ângulo de 90°.
- Soma dos ângulos: .
- O teorema de Girard dá a área pelo excesso: , com o excesso em radianos .
- Com : milhões de km².
Resultado: soma de 270° e área de ≈ 63,8 milhões de km² — exatamente 1/8 da superfície da Terra (510 ÷ 8 = 63,8).
Confira por outro caminho: o equador divide a esfera em 2; os meridianos 0° e 90° dividem cada metade em 4. Total: 8 fatias iguais — e o nosso triângulo é uma delas. A geometria de Riemann fecha a conta com precisão.
E repare no detalhe que confunde todo mundo: "mas os lados desse triângulo são curvos!". Vistos de fora, do espaço, sim. Mas para quem vive na superfície, cada lado é o caminho mais reto possível — uma geodésica. Triângulo é figura de três lados geodésicos, e esse é um triângulo legítimo da geometria esférica.
O clássico: o problema do urso
Um caçador anda 1 km para o sul, depois 1 km para o leste, depois 1 km para o norte — e volta exatamente ao ponto de partida, onde encontra um urso. Qual é a cor do urso?
- No plano (geometria euclidiana), sul + leste + norte formam três lados de um quadrado: o caçador terminaria 1 km a leste do início. Voltar ao ponto de partida é impossível no plano.
- Na esfera, não: partindo do Polo Norte, "sul" desce por um meridiano, "leste" percorre um arco de paralelo, e "norte" sobe por outro meridiano — que também termina no polo.
- O trajeto fecha um triângulo esférico e o caçador está no Polo Norte.
Resultado: o urso é branco — um urso-polar. O enigma só tem solução porque a Terra não é plana.
Rigor de bônus: perto do Polo Sul também existem infinitos pontos de partida (aqueles a 1 km ao norte de um paralelo com circunferência de 1/n km, para cada inteiro n — o trecho "leste" dá n voltas completas). Mas lá não há ursos, então o urso do enigma continua branco. Esse problema rendeu um short no canal.
Onde isso vira mundo real
Durante décadas, as geometrias não euclidianas foram tratadas como curiosidade sem aplicação. Aí veio 1915: na relatividade geral, Einstein descreveu a gravidade não como força, mas como curvatura do espaço-tempo — e a linguagem matemática inteira da teoria é a geometria de Riemann. Sem a "curiosidade inútil" do século XIX, a física do século XX não existiria. (O primeiro capítulo dessa história, a relatividade restrita, está explicado aqui no blog.)
Mais perto do chão: toda rota de avião de longa distância segue um círculo máximo (por isso voos São Paulo–Tóquio passam perto do Alasca no mapa plano), o GPS calcula posições sobre o elipsoide terrestre com geodésicas, e a cosmologia mede até hoje a curvatura do universo — perguntando, literalmente, qual das três geometrias o cosmos usa.
Fica a moral da história, nas palavras de Manoel de Barros: "As coisas que não levam a nada têm grande importância."
Quer a história completa, de Euclides a Einstein, sem fórmulas? O livro A Janela de Euclides, de Leonard Mlodinow, é a nossa recomendação — o vídeo do topo da página é sobre ele.
Erros clássicos sobre geometrias não euclidianas
- 01
Achar que a geometria euclidiana está "errada"
Ela não está errada: é o caso particular de curvatura zero, e continua sendo a geometria certa para o papel, a sala e a obra. As três geometrias são coerentes; qual usar depende da superfície (ou do espaço) em questão.
- 02
Dizer que triângulo esférico "não é triângulo"
É triângulo, sim — de lados geodésicos. "Reta" significa caminho mais curto; na esfera, isso é arco de círculo máximo. Exigir lados "retos vistos de fora" é aplicar a régua de uma geometria dentro de outra.
- 03
Decorar as três geometrias sem ver o que mudou
Tudo — paralelas, soma dos ângulos, curvatura — decorre da troca de um único postulado. Quem entende isso não precisa decorar a tabela: deduz cada linha a partir da escolha de paralelas.
Perguntas frequentes sobre geometrias não euclidianas
O que são geometrias não euclidianas?
São geometrias construídas trocando o quinto postulado de Euclides (o das paralelas) por outra afirmação. As duas principais são a hiperbólica (Lobachevsky), com infinitas paralelas por um ponto, e a elíptica ou esférica (Riemann), sem paralela nenhuma.
Quais são os três tipos de geometria?
A euclidiana (curvatura zero, soma dos ângulos do triângulo igual a 180°), a hiperbólica de Lobachevsky (curvatura negativa, soma menor que 180°) e a elíptica de Riemann (curvatura positiva, soma maior que 180°).
Quem criou as geometrias não euclidianas?
Saccheri tropeçou nelas em 1733 tentando provar o quinto postulado por absurdo. Gauss desenvolveu a ideia por volta de 1800, mas não publicou. Lobachevsky (1829) e Bolyai (1832) publicaram a geometria hiperbólica de forma independente, e Riemann (1854) criou a elíptica.
O que diz o quinto postulado de Euclides?
Na forma mais usada (axioma das paralelas): por um ponto exterior a uma reta passa uma única reta paralela à reta dada. Foi o único postulado que os matemáticos tentaram demonstrar durante 2.000 anos — e a falha dessas tentativas gerou as novas geometrias.
Qual geometria vale na superfície da Terra?
A elíptica (Riemann). A Terra é aproximadamente esférica: as "retas" são os círculos máximos, não existem paralelas e a soma dos ângulos de um triângulo passa de 180° — dá para desenhar um triângulo com três ângulos retos usando o equador e dois meridianos.
Para que servem as geometrias não euclidianas?
A relatividade geral de Einstein descreve a gravidade como curvatura do espaço-tempo usando a geometria de Riemann; GPS e rotas de avião usam geodésicas da esfera; e a pergunta "qual é a curvatura do universo?" é medida até hoje pela cosmologia.
A soma dos ângulos de um triângulo é sempre 180°?
Só na geometria euclidiana (curvatura zero). Na esfera a soma passa de 180° — e o excesso é proporcional à área do triângulo (teorema de Girard). Na geometria hiperbólica a soma fica abaixo de 180°.