En la geometr�a, el paralelismo es una relaci�n que se establece entre cualquier

variedad lineal de dimensi�n mayor o igual que 1 (rectas, planos, hiperplanos y

dem�s). En el plano cartesiano dos rectas son paralelas si tienen la misma
pendiente o son perpendiculares a uno de los ejes, por ejemplo la funci�n
constante. En geometr�a af�n, expresando una variedad lineal como V = p + E, con p
punto y E espacio vectorial, se dice que A = a + F es paralela a B = b + G sii F
est� contenido en G o G est� contenido en F, donde A y B son subvariedades lineales
de la misma variedad lineal V, y F y G son subespacios vectoriales del mismo
espacio vectorial E. En el plano (af�n) (V = {\displaystyle \mathbb {R} ^{2}}
{\displaystyle \mathbb {R} ^{2}}), esto se traduce de la siguiente manera: dos
rectas son paralelas si contienen un mismo vector director.

Obs�rvese que, en un espacio af�n tridimensional, una recta y un plano pueden ser
paralelos, y tambi�n que la coincidencia de variedades lineales es un caso
particular de paralelismo.

As�, dos rectas contenidas en un plano son paralelas si o bien son una y la misma
recta (son rectas coincidentes) o, por el contrario, no comparten ning�n punto.

De manera an�loga, en el espacio, dos planos son paralelos si bien son uno y el
mismo plano o bien no comparten ninguna recta.

�ndice
1 Rectas paralelas
1.1 Axioma de unicidad
1.2 Propiedades
1.3 Teoremas
2 V�ase tambi�n
3 Referencias
Rectas paralelas

Construcci�n de una l�nea paralela, a un punto dado, usando s�lo regla y comp�s
Dos rectas son paralelas si por mucho que se prolonguen nunca se unen o cruzan.

Axioma de unicidad
El axioma que distingue a la geometr�a euclidiana de otras geometr�as es el
siguiente:

En un plano, por un punto exterior a una recta pasa una y s�lo una paralela a dicha
recta.
Propiedades
Art�culo principal: Relaci�n de equivalencia
Dado el conjunto P de rectas en el plano, podemos definir la relaci�n binaria:
{\displaystyle \parallel } {\displaystyle \parallel }, que representamos del
siguiente modo:

{\displaystyle a\parallel b\quad ,\quad \parallel (a,b)\quad ,\quad (a,b)\in

\parallel } {\displaystyle a\parallel b\quad ,\quad \parallel (a,b)\quad ,\quad
(a,b)\in \parallel }
Siendo a, b, c rectas en el plano P, se cumple:

Reflexiva: Toda recta es paralela a s� misma:

{\displaystyle \forall a\in P:\quad a\parallel a} {\displaystyle \forall a\in
P:\quad a\parallel a}
Sim�trica: Si una recta es paralela a otra, aquella es paralela a la primera:
{\displaystyle \forall a,b\in P:\quad a\parallel b\longrightarrow \quad b\parallel
a} {\displaystyle \forall a,b\in P:\quad a\parallel b\longrightarrow \quad
b\parallel a}
Estas dos propiedades se deducen de la intersecci�n de conjuntos y no dependen del
axioma de unicidad.

Transitiva: Si una recta es paralela a otra, y esta a su vez paralela a una

tercera, la primera es paralela a la tercera:
{\displaystyle \forall a,b,c\in P:\quad {\Big (}\;a\parallel b\;\land \;b\parallel
c\;{\Big )}\longrightarrow \quad a\parallel c} {\displaystyle \forall a,b,c\in
P:\quad {\Big (}\;a\parallel b\;\land \;b\parallel c\;{\Big )}\longrightarrow \quad
a\parallel c}
Luego la relaci�n de paralelismo entre rectas del plano es una relaci�n de
equivalencia.

Estas mismas propiedades se pueden comprobar en el conjunto de planos paralelos en

el espacio.

Teoremas
En un plano, dos rectas perpendiculares a una tercera son paralelas entre s�.
Si una recta corta a otra recta, entonces corta a todas las paralelas de esta (en
un plano).
Las demostraciones de estos dos teoremas y de la tercera propiedad usan el axioma
de unicidad.

V�ase tambi�n
Perpendicularidad
Quinto postulado de Euclides
�ngulos entre paralelas
Rectas paralelas cortadas por una secante
Referencias
Weisstein, Eric W. �Parallel�. En Weisstein, Eric W. MathWorld (en ingl�s). Wolfram
Research.