Os Axiomas de Euclides

Os cinco postulados utilizados por Euclides nos Elementos so os seguintes:

MA620 - Aula 19 p. 1/

Os Axiomas de Euclides
Os cinco postulados utilizados por Euclides nos Elementos so os seguintes: Axioma I: Pode-se traar uma nica reta ligando quaisquer dois pontos.

MA620 - Aula 19 p. 1/

Os Axiomas de Euclides
Os cinco postulados utilizados por Euclides nos Elementos so os seguintes: Axioma I: Pode-se traar uma nica reta ligando quaisquer dois pontos. Axioma II: Pode-se continuar (de uma maneira nica) qualquer reta nita continuamente em uma reta.

MA620 - Aula 19 p. 1/

Os Axiomas de Euclides
Os cinco postulados utilizados por Euclides nos Elementos so os seguintes: Axioma I: Pode-se traar uma nica reta ligando quaisquer dois pontos. Axioma II: Pode-se continuar (de uma maneira nica) qualquer reta nita continuamente em uma reta. Axioma III: Pode-se traar um crculo com qualquer centro e com qualquer raio.

MA620 - Aula 19 p. 1/

Os Axiomas de Euclides
Os cinco postulados utilizados por Euclides nos Elementos so os seguintes: Axioma I: Pode-se traar uma nica reta ligando quaisquer dois pontos. Axioma II: Pode-se continuar (de uma maneira nica) qualquer reta nita continuamente em uma reta. Axioma III: Pode-se traar um crculo com qualquer centro e com qualquer raio. Axioma IV: Todos os ngulos retos so iguais.

MA620 - Aula 19 p. 1/

Os Axiomas de Euclides
Os cinco postulados utilizados por Euclides nos Elementos so os seguintes: Axioma I: Pode-se traar uma nica reta ligando quaisquer dois pontos. Axioma II: Pode-se continuar (de uma maneira nica) qualquer reta nita continuamente em uma reta. Axioma III: Pode-se traar um crculo com qualquer centro e com qualquer raio. Axioma IV: Todos os ngulos retos so iguais. Axioma V: Se uma reta, ao cortar outras duas, forma ngulos internos, no mesmo lado, cuja soma menor do que dois ngulos retos, ento estas duas retas encontrar-se-o no lado onde esto os ngulos cuja soma menor do que dois ngulos retos.

MA620 - Aula 19 p. 1/

Equivalentes do 5o postulado
(Playfair): Por um ponto fora de uma reta pode-se traar uma nica reta paralela a reta dada.

MA620 - Aula 19 p. 2/

Equivalentes do 5o postulado
(Playfair): Por um ponto fora de uma reta pode-se traar uma nica reta paralela a reta dada. A soma dos ngulos internos de um tringulo sempe igual a dois ngulos retos.

MA620 - Aula 19 p. 2/

Equivalentes do 5o postulado
(Playfair): Por um ponto fora de uma reta pode-se traar uma nica reta paralela a reta dada. A soma dos ngulos internos de um tringulo sempe igual a dois ngulos retos. Dados quaisquer trs pontos no colineares, existe um crculo passando por eles.

MA620 - Aula 19 p. 2/

Equivalentes do 5o postulado
(Playfair): Por um ponto fora de uma reta pode-se traar uma nica reta paralela a reta dada. A soma dos ngulos internos de um tringulo sempe igual a dois ngulos retos. Dados quaisquer trs pontos no colineares, existe um crculo passando por eles. (Pitgoras): Em qualquer tringulo retngulo, o quadrado da hipotenusa igual a soma dos quadrados dos catetos.

MA620 - Aula 19 p. 2/

Equivalentes do 5o postulado
(Playfair): Por um ponto fora de uma reta pode-se traar uma nica reta paralela a reta dada. A soma dos ngulos internos de um tringulo sempe igual a dois ngulos retos. Dados quaisquer trs pontos no colineares, existe um crculo passando por eles. (Pitgoras): Em qualquer tringulo retngulo, o quadrado da hipotenusa igual a soma dos quadrados dos catetos. Todo ngulo inscrito em um semicrculo reto.

MA620 - Aula 19 p. 2/

Equivalentes do 5o postulado
(Playfair): Por um ponto fora de uma reta pode-se traar uma nica reta paralela a reta dada. A soma dos ngulos internos de um tringulo sempe igual a dois ngulos retos. Dados quaisquer trs pontos no colineares, existe um crculo passando por eles. (Pitgoras): Em qualquer tringulo retngulo, o quadrado da hipotenusa igual a soma dos quadrados dos catetos. Todo ngulo inscrito em um semicrculo reto. Quaisquer duas retas paralelas possuem uma perpendicular em comum.

MA620 - Aula 19 p. 2/

Axiomas de incidncia
Os axiomas de incidncia da geometria euclideana so os seguintes:

MA620 - Aula 19 p. 3/

Axiomas de incidncia
Os axiomas de incidncia da geometria euclideana so os seguintes: Axioma I: Dois pontos distintos determinam uma nica reta.

MA620 - Aula 19 p. 3/

Axiomas de incidncia
Os axiomas de incidncia da geometria euclideana so os seguintes: Axioma I: Dois pontos distintos determinam uma nica reta. Axioma II: Toda reta possui pelo menos dois pontos.

MA620 - Aula 19 p. 3/

Axiomas de incidncia
Os axiomas de incidncia da geometria euclideana so os seguintes: Axioma I: Dois pontos distintos determinam uma nica reta. Axioma II: Toda reta possui pelo menos dois pontos. Axioma III: Existem trs pontos que no pertencem a mesma reta.

MA620 - Aula 19 p. 3/

Axiomas de incidncia
Os axiomas de incidncia da geometria euclideana so os seguintes: Axioma I: Dois pontos distintos determinam uma nica reta. Axioma II: Toda reta possui pelo menos dois pontos. Axioma III: Existem trs pontos que no pertencem a mesma reta. Axioma IV: (Playfair) Dado um ponto A no incidente a uma reta r, existe no mximo uma reta s que incidente a A e no intersecta r. Denio: Duas retas so ditas paralelas se a sua interseo for vazia.

MA620 - Aula 19 p. 3/

Geometrias no-euclideanas
A geometria no-euclideana surge pela negao do Axioma IV. Existem duas possibilidades:

MA620 - Aula 19 p. 4/

Geometrias no-euclideanas
A geometria no-euclideana surge pela negao do Axioma IV. Existem duas possibilidades: No existem retas paralelas!

MA620 - Aula 19 p. 4/

Geometrias no-euclideanas
A geometria no-euclideana surge pela negao do Axioma IV. Existem duas possibilidades: No existem retas paralelas!
= Geometria Projetiva, Geometria Elptica.

MA620 - Aula 19 p. 4/

Geometrias no-euclideanas
A geometria no-euclideana surge pela negao do Axioma IV. Existem duas possibilidades: No existem retas paralelas!
= Geometria Projetiva, Geometria Elptica.

Dado um ponto A no incidente a uma reta r, existem pelo menos duas retas incidentes a aA e paralelas a r!

MA620 - Aula 19 p. 4/

Geometrias no-euclideanas
A geometria no-euclideana surge pela negao do Axioma IV. Existem duas possibilidades: No existem retas paralelas!
= Geometria Projetiva, Geometria Elptica.

Dado um ponto A no incidente a uma reta r, existem pelo menos duas retas incidentes a aA e paralelas a r!
= Geometria Hiperblica!

MA620 - Aula 19 p. 4/

Histria geometria hiperblica

G. Saccheri (1733)

MA620 - Aula 19 p. 5/

Histria geometria hiperblica

G. Saccheri (1733) K. F. Gauss (1777-1855)

MA620 - Aula 19 p. 5/

Histria geometria hiperblica

G. Saccheri (1733) K. F. Gauss (1777-1855) J. Bolyai (1832)

MA620 - Aula 19 p. 5/

Histria geometria hiperblica

G. Saccheri (1733) K. F. Gauss (1777-1855) J. Bolyai (1832) N. I. Lobatchevsky (1829)

MA620 - Aula 19 p. 5/

Histria geometria hiperblica

G. Saccheri (1733) K. F. Gauss (1777-1855) J. Bolyai (1832) N. I. Lobatchevsky (1829) E. Beltrami (1868)

MA620 - Aula 19 p. 5/

Histria geometria hiperblica

G. Saccheri (1733) K. F. Gauss (1777-1855) J. Bolyai (1832) N. I. Lobatchevsky (1829) E. Beltrami (1868) B. Riemann (1854)

MA620 - Aula 19 p. 5/

Histria geometria hiperblica

G. Saccheri (1733) K. F. Gauss (1777-1855) J. Bolyai (1832) N. I. Lobatchevsky (1829) E. Beltrami (1868) B. Riemann (1854) A. Einstein (1915)

MA620 - Aula 19 p. 5/

Modelos
Modelo de Klein Modelo de Poincar no disco Modelo de Poincar no semi-plano Modelo de Lorentz (hiperbolide)

MA620 - Aula 19 p. 6/