O quinto Postulado de Euclides João Lucas Marques Barbosa

Apresentação em tema: "O quinto Postulado de Euclides João Lucas Marques Barbosa"— Transcrição da apresentação:

1 O quinto Postulado de Euclides João Lucas Marques Barbosa
Setembro de 2001 Acrópole, Atenas, Grécia

2 Euclides viveu na Grécia no tempo de Ptolomeu I, por volta de 300 aC.
Escreveu os ELEMENTOS, um livro que reuniu todo o conhecimento matemático Grego até aquela época.

3 Os Elementos foi o primeiro livro científico escrito e se tornou o paradigma para muito do que se escreveu em ciência, desde então. O livro tornou-se famoso ainda na época de Euclides e veio a ser o segundo livro mais editado depois da Bíblia. Foi considerado livro essencial na formação intelectual durante séculos.

4

5 Os Elementos é composto de 13 volumes.
Euclides baseou sua obra em um conjunto de 5 axiomas, os quais passaremos a apresentar.

6 Axioma I: Pode-se traçar uma única reta ligando dois pontos
Axioma II: Pode-se continuar de uma única maneira uma reta (ligando dois pontos) em uma reta infinita.

7 Axioma III. Pode-se traçar um círculo com qualquer centro e qualquer raio.
Axioma IV. Todos os ângulos retos são iguais.

8 Axioma V m b a + b < 180o n a m  n  

9 Axioma V – Uma proposição equivalente
a + b < 180o m  n =  m  n   a + b = 180o

10 Axiomas Implícitos 1 - Retas são ilimitadas 2 – Retas são contínuas
3 – Axioma de Pasch

11 a = MCE < <MCD = b
Proposição 16 (Teorema do ângulo externo) BM = MC a b > a AM = ME b AMB =CME Prova ABM = ECM B E M a = MCE < <MCD = b A D C

12 a = b  m  n =  Proposição 27 Proposição 28 b + g = 180o  m  n = f
Prova Proposição 28 a Se a = b e m  n   teremos um triângulo com um ângulo externo igual a um interno não adjacente. Contradição com Prop. 16 a m  b + g = 180o  m  n = f a b n

13 Proposição 28 a + b = 180o m n =  m  n =  a + b = 180o m b n a
Axioma V m  n =  m b n a a + b = 180o

14 Proposição 29 m a m paralela a n  a = b n b Prova: Trace n paralela a m. Teorema da soma dos ângulos de um triângulo n a b  b a b m a  a + b +  = 180o

15 Equivalente do Axioma V é uma proposição V’ que satisfaz às seguintes condições.
V’ ~ V V’ é um teorema na Geometria gerada pelos axiomas I, II, III, IV e V. V’  [I, II, III, IV, V] V é um teorema na Geometria gerada pelos axiomas I, II, III, IV e V’. V  [I, II, III, IV, V’]

16 V1: Axioma de Playfair V1  [I, II, III, IV, V] A
Por um ponto fora de uma reta pode-se traçar uma única reta paralela à reta dada. m V1  [I, II, III, IV, V] Unicidade: Pelo axioma V, a + b < 180o  m  n   Existência: Baseada nos primeiros 4 axiomas. a n b m

17 V1: Axioma de Playfair V  [I, II, III, IV, V1]
Por um ponto fora de uma reta pode-se traçar uma única reta paralela à reta dada. Axioma V: a + b < 180o  m  n   a n b m V  [I, II, III, IV, V1] A n’ Pelos 4 primeiros axiomas n’ é paralela a m. Por V1 a reta n’ é a única paralela a m por A. Logo, a reta n interceptará m. b a n b m

18 V2 – A soma dos ângulos de um triângulo é 180o
V2  [I, II, III, IV, V] já foi demonstrado. Vamos mostrar: V  [I, II, III, IV, V2] Lema 1: Em [I, II, III, IV, V2] um ângulo externo de um triângulo é igual a soma dos ângulos internos não adjacentes b a  a + b = 

19 Lema 2. Em [I, II, III, IV e V2], dado um  > 0, por um ponto A fora de uma reta m podemos traçar uma reta n que corta a reta m formando um ângulo menor do que  . A 1  <  2 3 n 1 2  m 3 B1 B2 B3 B4 AB1 = B1B2  1 = /4 Escolha agora n suficientemente grande! AB2 = B2B3  2 = 1/2 = /8 AB3 = B3B4  3 = 2/2 = /16 ABn = BnBn+1  n = n-1/2 = /(2n+1)

20 Vamos mostrar: V  [I, II, III, IV, V2]
n’ A D n   m  C B Pelos Lema 2, existe uma reta passando por A cortando m segundo um ângulo  < . Formamos então um triângulo ABC O ângulo BAC > 90- e logo o ângulo CAD < . Portanto a reta n’ corta BC pelo axioma de Pasch.

21 É claro que V3  [I, II, III, IV, V].
V3 – Existem dois triângulos semelhantes e não congruentes É claro que V3  [I, II, III, IV, V]. Vamos mostrar que: V  [I, II, III, IV, V3]. C C’ Observamos que V3 acarreta que, no quadrilátero ABFE, a soma dos ângulos internos é 360o b b F B’ a a b E B A’ a A

22 Proposição L1 – Em [I, II, III, IV] a soma dos ângulos de um triângulo é menor ou igual a 180o.
Proposição L2 – Em [I, II, III, IV], se existir um triângulo cuja soma dos ângulos internos é 180o então a soma dos ângulos de qualquer triângulo é 180o. Para provar V, é suficiente provar V2. Já vimos que, em [I, II, III, IV, V3] existe um paralelogramo ABCD cuja soma dos ângulos internos é 360o. Trace BD formando dois triângulos. A soma dos ângulos dos dois juntos é 360o. Por L1, segue-se que cada um deles tem soma igual a 180o. Por L2 concluímos a validade de V2. A B D C

23 V4 – Existem duas retas eqüidistantes e distintas.
É claro que V4  [I, II, III, IV, V]. Vamos mostrar que: V  [I, II, III, IV, V4]. P S R a b a b O T Q De [I, II, III, IV, V4] concluímos que o triângulo OSQ tem soma dos ângulos igual a 180o.

24 V5 – Por 3 pontos não colineares passa um círculo
V6 – Se 3 ângulos de um quadrilátero são retos então o último também é reto. V7 – Por qualquer ponto dentro de um ângulo podemos traçar uma reta que corta os seus dois lados. V8 – Vale o teorema de Pitágoras V9 – Duas retas paralelas a uma terceira são paralelas. V10 – Se uma reta corta uma de duas paralelas então corta a outra.

25 Moral da História. Sem o quinto postulado teremos uma geometria em que: A soma dos ângulos de um triângulo não é 180o Não existem triângulos semelhantes. Portanto, não existe a trigonometria. Não vale o Teorema de Pitágoras Retas que não se interceptam passando por um ponto não são únicas Não existem retas eqüidistantes.

26 Mas... na época de Gauss (século XVII) foram descobertas geometrias em que o quinto postulado não vale. Tal descoberta é referida por alguns Autores como a revolução da Geometria

27 fim Muito Obrigado

28 Alguns Teoremas de Legendre

29 Proposição L1 – Em [I, II, III, IV] a soma dos ângulos de um triângulo é menor ou igual a 180o.
Lema 3: Dado ABC existe A’B’C’ satisfazendo a : 1 – Soma dos ângulos do triângulo ABC = Soma dos ângulos do triângulo A’B’C’. 2 – Um dos ângulos do triângulo A’B’C’ é menor ou igual a metade do menor ângulo do triângulo ABC. Prova de L1. Suponha que a soma dos ângulos do triângulo ABC seja 180o + a e seja t seu menor ângulo. Usando o Lema n vezes, podemos construir um  cuja soma dos ângulos é ainda 180o+a mas um dos ângulos é tn  t/2n. Escolhendo n tão grande que tn< a concluímos que a soma dos dois outros ângulos somam mais de 180o, o que é absurdo.

30 Prova do Lema 3: C a D t1 M t1 t2 A b a B Suponha que  é o menor ângulo do triângulo ABC. Chame-o de t. Marque um ponto M em CB de modo que CM=MB. Trace AM e o prolongue até o ponto D tal que AM=MD. Trace BD. Temos então ACM = BDM. Segue-se que a soma dos ângulos do triângulo ADB é igual a soma dos ângulos do ABC. No triângulo ADB o menor ângulo será em A ou em D. Mas estes ângulos são iguais aos ângulos em que foi dividido o ângulo t. Logo um deles é menor ou igual a t/2 .

31 Corolário: Em [I, II, III, IV], se existe um triângulo cuja soma dos ângulos seja 180o então todo triângulo formado ligando um de seus vértices ao lado oposto tem soma dos ângulos igual a 180o. g + (a + s) + b =180 A q + t = 180 _________________ s a (g + a + q) + (t + s + b) = 360 Mas g + a + q  180 b e t + s + b  180 t B q g Logo g + a + q = e t + s + b = 180 C D

32 Proposição L2 – Em [I, II, III, IV], se existir um triângulo cuja soma dos ângulos internos é 180o então a soma dos ângulos de qualquer triângulo é 180o. Afirmo: Se existir um triângulo cuja soma dos ângulos for 180o, então existe um triângulo retângulo isósceles com a mesma propriedade. C Baixe uma perpendicular do vértice do maior ângulo ao lado oposto. Cada um dos triângulos formados terá soma dos ângulos igual a 180o A D E B Se DB > CD, marque em DB um ponto E tal que DE=CD Trace CE. É imediato que a soma dos ângulos de CDE é 180o. Se DB < CD, escolha E no lado CD.

33 Afirmo: Se existe um triângulo retângulo isósceles com soma dos ângulos igual a 180o, então existe uma família de triângulos retângulos isósceles com lados arbitrariamente grandes cuja soma dos ângulos é 180o.

34 Afirmo: Se existe uma família de de triângulos retângulos isósceles com lados arbitrariamente grandes cuja soma dos ângulos é 180o, então a soma dos ângulos de qualquer triângulos retângulo é 180o. D C E B A

35 Afirmo: Se existe um triângulo cuja soma dos ângulos é 180o então a soma dos ângulos de qualquer triângulo é 180o.

36 fim mesmo! Muito Obrigado