Los elementos de Euclides
 
Indice:
- Introducción
- Revisión de los Elementos de Euclides: Libros, definiciones, postulados, nociones comunes, proposiciones
- Cometarios sobre el Quinto postulado
- Geometrías no euclidianas


Euclides

Los elementos de Euclides

Introducciones
 



xxx


*

Elementos de Euclides (en extenso)
   
* Referencias con los enunciados en su versión actual en  Libro I de los Elementos de Euclides
   
   
Euclid's Elements (versión en Inglés). David E. Joyce. Clark University
 


 


Postulados de Euclides
  Los postulados de Euclides (comentarios sobre el 5to postulado)
 

 

Enunciados equivalentes al 5to postulado:
 


5to postulado de Euclides
 

  1. Existe al menos un par de triángulos semejantes no congruentes.
 
2. Existe un par de rectas equidistantes en todos sus puntos.
 

3. Dados tres puntos no alineados, existe una circunferencia que pasa por todos ellos.
 
4. Si tres de los ángulos de un cuadrilátero son rectos, el cuarto también es un ángulo recto.
 
5. Por un punto exterior a una recta se puede trazar una paralela y sólo una.
 
6. Si una recta corta a una de dos rectas paralelas, también corta a la otra.
 
7. Dos rectas paralelas a una tercera son paralelas entre sí.
 
8. Dos rectas que se cortan no pueden ser paralelas a una tercera.
 
9. No existe una cota superior para el área de un triángulo.
 
   

  Un fragmento de los Elementos de Euclides datado hacia el año 100 a. C. El diagrama acompaña la Proposición 5 del Libro II
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
*
 
Propiedades de un conjunto de axiomas
 
  Completitud; Toda fórmula o bien es demostrable, o bien existe una demostración de su contraria (es refutable)
 
  Consistencia: Una teoría consistente no contiene contradicciones, es decir, no es posible demostrar a la vez una fórmula y su contraria
 
  Independencia: Ningún axioma es consecuencia del resto
   
 

 

Kurt Godel

   
* Teorema de Godel (versión simplificada):
Si un sistema axiomático es independiente y consistente, entonces no es completo.
   
* Geometrías euclidianas y no euclidianas
   
 


Proyecto Descartes

   
 


Geometría en la esfera (Elíptica)

   
 


Geometría en el disco de Poincaré (Hiperbólica)