Leitura complementar Leitura O quinto postulado O postulado das paralelas é o quinto postulado dos Elementos. Desde a Antiguidade, muitos matemáticos desconfiaram dele: parecia mais um teorema do que uma verdade evidente, e várias gerações tentaram demonstrá-lo a partir dos outros quatro. Todas as tentativas falharam — e no século XIX, Gauss, Bolyai e Lobachevsky perceberam por quê: trocando o quinto postulado por “por um ponto passam várias paralelas”, obtém-se uma geometria tão consistente quanto a de Euclides, a geometria hiperbólica. Nela, a soma dos ângulos de um triângulo é menor que 180°. O postulado de Euclides não é uma necessidade lógica; é uma escolha que define a geometria do nosso dia a dia. Carl Friedrich Gauss.Christian Albrecht Jensen (1792–1870) · Wikimedia Commons · Domínio público János Bolyai, retrato imaginário por Ferenc Márkos (2012).Ferenc Márkos · Wikimedia Commons · CC BY-SA 3.0 Nikolai Lobachevsky, retrato por Lev Kryukov.Lev Kryukov · Wikimedia Commons · Domínio público Euclides, representação renascentista tradicionalmente associada a Euclides ou Arquimedes.Rafael Sanzio · Wikimedia Commons · Domínio público
Exercícios e resoluções 130 Sendo a reta $a$ paralela à reta $b$, determine $x$ nos casos: Ative o JavaScript para ver esta figura interativa. Ver respostaa) $50^{\circ}$ · b) $60^{\circ}$
A soma dos ângulos internos de qualquer triângulo é 180°. É talvez o teorema de geometria mais conhecido depois do de Pitágoras. Quem descobriu Proclo, citando Eudemo de Rodes, atribui aos pitagóricos (séculos VI–V a.C.) a primeira demonstração geral de que os ângulos de um triângulo somam dois retos. O comentador Gêmino acrescenta que os mais antigos tinham provado o fato separadamente para triângulos equiláteros, isósceles e escalenos. A versão que chegou até nós é a proposição I.32 dos Elementos de Euclides, que prova também que o ângulo externo é igual à soma dos dois internos não adjacentes.
Por um ponto fora de uma reta passa uma paralela. Que passe só uma é a afirmação mais discutida da história da geometria. Quem descobriu A existência da paralela é demonstrada por Euclides (proposição I.31). A unicidade depende do seu quinto postulado, aquele que muitos tentaram transformar em teorema. A forma usada hoje na escola — “por um ponto fora de uma reta passa uma única paralela” — ficou conhecida como axioma de Playfair, por causa do escocês John Playfair, que a popularizou em 1795, embora Proclo já a tivesse enunciado. Em 1829, o russo Nikolai Lobachevsky publicou uma geometria em que passam infinitas paralelas.
Retas paralelas nunca se encontram — e ainda assim, num desenho em perspectiva, parecem se encontrar no horizonte. Quem descobriu A definição clássica é de Euclides (c. 300 a.C.), na definição I.23 dos Elementos: retas paralelas são as que estão no mesmo plano e, prolongadas indefinidamente nos dois sentidos, não se encontram. As relações entre os ângulos formados por uma transversal — alternos, correspondentes, colaterais — são as proposições I.27 a I.29. O filósofo Posidônio (século I a.C.) propôs outra definição, como retas sempre à mesma distância; Proclo registrou o debate.