Definición
Un axioma fundamental de la geometría euclidiana que afirma que, dada una recta y un punto que no pertenece a ella, existe exactamente una recta por ese punto que no corta a la recta dada (es decir, que es paralela a ella).
Principio
Principio
El postulado fija la estructura global de la geometría plana al imponer una condición de existencia y unicidad para las paralelas; distingue la geometría euclidiana de las geometrías no euclidianas.
Demostración
Demostración
En el plano euclidiano se puede construir la paralela única trazando perpendiculares auxiliares; de ello se sigue que los ángulos interiores en el mismo lado de una transversal suman 180° y que la suma de ángulos de un triángulo es 180°.
Aplicación incorrecta
Aplicación incorrecta
Tratar la afirmación como opcional o reemplazar «exactamente una» por «a lo sumo una» o «al menos una» sin el sistema axiomático adecuado conduce a conclusiones erróneas sobre sumas de ángulos o semejanza.
Consecuencia
Consecuencia
Aceptar el postulado conduce a los teoremas euclidianos estándar: criterios de paralelismo, resultados sobre sumas de ángulos, criterios de semejanza y un modelo plano de curvatura cero.
Inversión
Inversión
Negarlo conduce a geometrías alternativas: geometría hiperbólica (por un punto hay muchas paralelas) y geometría elíptica (no hay paralelas), cada una con leyes distintas de ángulos y distancias.
Límite
Límite
Este postulado se refiere a la geometría euclidiana plana en el marco de los axiomas habituales; no es válido en superficies esféricas ni en modelos donde las rectas son geodésicas con curvatura global salvo adaptación.
Tensión semántica
Tensión semántica
La tensión aparece con formulaciones equivalentes (axioma de Playfair) y con la intuición de «paralelo» en espacios curvos; la sutileza está en si el axioma afirma existencia, unicidad, o ambas dentro del sistema axiomático dado.
Síntesis
Síntesis
El postulado paralelo de Euclides aporta existencia y unicidad de una paralela por un punto exterior; es la bisagra que produce los resultados métricos y de semejanza clásicos del plano y cuya negación genera geometrías no euclidianas.