En geometría , las líneas paralelas son líneas rectas infinitas coplanares que no se cortan en ningún punto. Los planos paralelos son planos en el mismo espacio tridimensional que nunca se encuentran. Las curvas paralelas son curvas que no se tocan entre sí ni se cortan y mantienen una distancia mínima fija. En el espacio euclidiano tridimensional, una línea y un plano que no comparten un punto también se dice que son paralelos. Sin embargo, dos líneas no coplanares se llaman líneas oblicuas . Los segmentos de línea y los vectores euclidianos son paralelos si tienen la misma dirección o dirección opuesta (no necesariamente la misma longitud). [1]
Las líneas paralelas son el tema del postulado de las paralelas de Euclides . [2] El paralelismo es principalmente una propiedad de las geometrías afines y la geometría euclidiana es un ejemplo especial de este tipo de geometría. En algunas otras geometrías, como la geometría hiperbólica , las líneas pueden tener propiedades análogas a las que se denomina paralelismo.
El símbolo paralelo es . [3] [4] Por ejemplo, indica que la línea AB es paralela a la línea CD .
En el conjunto de caracteres Unicode , los signos "paralelo" y "no paralelo" tienen los puntos de código U+2225 (∥) y U+2226 (∦), respectivamente. Además, U+22D5 (⋕) representa la relación "igual y paralelo a". [5]
El mismo símbolo se utiliza para una función binaria en ingeniería eléctrica (el operador paralelo ). Es distinto de los corchetes de doble línea vertical , U+2016 (‖), que indican una norma (por ejemplo, ), así como del operador lógico or ( ) en varios lenguajes de programación.||
Dadas líneas rectas paralelas l y m en el espacio euclidiano , las siguientes propiedades son equivalentes:
Como se trata de propiedades equivalentes, cualquiera de ellas podría tomarse como la definición de líneas paralelas en el espacio euclidiano, pero la primera y la tercera propiedades implican medición y, por lo tanto, son "más complicadas" que la segunda. Por lo tanto, la segunda propiedad es la que generalmente se elige como la propiedad definitoria de las líneas paralelas en la geometría euclidiana. [6] Las otras propiedades son entonces consecuencias del Postulado de las Paralelas de Euclides .
La definición de líneas paralelas como un par de líneas rectas en un plano que no se encuentran aparece como Definición 23 en el Libro I de los Elementos de Euclides . [7] Otros griegos discutieron definiciones alternativas, a menudo como parte de un intento de demostrar el postulado de las paralelas . Proclo atribuye una definición de líneas paralelas como líneas equidistantes a Posidonio y cita a Gémino en una línea similar. Simplicio también menciona la definición de Posidonio, así como su modificación por el filósofo Aganis. [7]
A finales del siglo XIX, en Inglaterra, los Elementos de Euclides seguían siendo el libro de texto estándar en las escuelas secundarias. El tratamiento tradicional de la geometría estaba siendo presionado para cambiar por los nuevos desarrollos en geometría proyectiva y geometría no euclidiana , por lo que se escribieron varios libros de texto nuevos para la enseñanza de la geometría en esta época. Una diferencia importante entre estos textos de reforma, tanto entre ellos mismos como entre ellos y Euclides, es el tratamiento de las líneas paralelas. [8] Estos textos de reforma no estuvieron exentos de críticos y uno de ellos, Charles Dodgson (también conocido como Lewis Carroll ), escribió una obra de teatro, Euclides y sus rivales modernos , en la que se critican estos textos. [9]
Uno de los primeros libros de texto de reforma fue la Geometría elemental de James Maurice Wilson de 1868. [10] Wilson basó su definición de líneas paralelas en la noción primitiva de dirección . Según Wilhelm Killing [11] la idea se remonta a Leibniz . [12] Wilson, sin definir la dirección ya que es un primitivo, usa el término en otras definiciones como su sexta definición, "Dos líneas rectas que se encuentran tienen direcciones diferentes, y la diferencia de sus direcciones es el ángulo entre ellas". Wilson (1868, p. 2) En la definición 15 introduce las líneas paralelas de esta manera: "Las líneas rectas que tienen la misma dirección , pero no son partes de la misma línea recta, se llaman líneas paralelas ". Wilson (1868, p. 12) Augustus De Morgan revisó este texto y lo declaró un fracaso, principalmente sobre la base de esta definición y la forma en que Wilson la usó para probar cosas sobre las líneas paralelas. Dodgson también dedica una gran parte de su obra (Acto II, Escena VI § 1) a denunciar el tratamiento que Wilson da a los paralelos. Wilson eliminó este concepto de la tercera edición y de ediciones posteriores de su texto. [13]
Otras propiedades propuestas por otros reformadores, utilizadas como reemplazo de la definición de líneas paralelas, no tuvieron mucho mejor resultado. La principal dificultad, como señaló Dodgson, fue que para utilizarlas de esta manera se requerían axiomas adicionales que se agregaran al sistema. La definición de línea equidistante de Posidonio, expuesta por Francis Cuthbertson en su texto de 1874, Geometría euclidiana, sufre del problema de que se debe demostrar que los puntos que se encuentran a una distancia dada fija en un lado de una línea recta forman una línea recta. Esto no se puede demostrar y se debe asumir como cierto. [14] La propiedad de los ángulos correspondientes formados por una transversal, utilizada por WD Cooley en su texto de 1860, Los elementos de la geometría, simplificada y explicada requiere una prueba del hecho de que si una transversal se encuentra con un par de líneas en ángulos correspondientes congruentes, entonces todas las transversales deben hacerlo. Nuevamente, se necesita un nuevo axioma para justificar esta afirmación.
Las tres propiedades anteriores conducen a tres métodos diferentes de construcción [15] de líneas paralelas.
Como las líneas paralelas en un plano euclidiano son equidistantes, existe una distancia única entre las dos líneas paralelas. Dadas las ecuaciones de dos líneas paralelas no verticales ni horizontales,
La distancia entre las dos líneas se puede encontrar ubicando dos puntos (uno en cada línea) que se encuentren en una perpendicular común a las líneas paralelas y calculando la distancia entre ellos. Como las líneas tienen pendiente m , una perpendicular común tendría pendiente −1/ m y podemos tomar la línea con ecuación y = − x / m como una perpendicular común. Resolver los sistemas lineales
y
para obtener las coordenadas de los puntos. Las soluciones de los sistemas lineales son los puntos
y
Estas fórmulas aún dan las coordenadas de puntos correctas incluso si las líneas paralelas son horizontales (es decir, m = 0). La distancia entre los puntos es
Lo que se reduce a
Cuando las rectas vienen dadas por la forma general de la ecuación de una recta (se incluyen rectas horizontales y verticales):
Su distancia se puede expresar como
Dos rectas en el mismo espacio tridimensional que no se intersecan no necesariamente deben ser paralelas. Solo si están en un plano común se denominan paralelas; en caso contrario, se denominan rectas oblicuas .
Dos rectas distintas l y m en el espacio tridimensional son paralelas si y solo si la distancia desde un punto P en la recta m hasta el punto más cercano en la recta l es independiente de la ubicación de P en la recta m . Esto nunca es válido para rectas oblicuas.
Una línea m y un plano q en el espacio tridimensional, no encontrándose la línea en ese plano, son paralelos si y sólo si no se intersecan.
Equivalentemente, son paralelas si y sólo si la distancia desde un punto P en la línea m al punto más cercano en el plano q es independiente de la ubicación de P en la línea m .
De manera similar al hecho de que las líneas paralelas deben estar ubicadas en el mismo plano, los planos paralelos deben estar situados en el mismo espacio tridimensional y no contener ningún punto en común.
Dos planos distintos q y r son paralelos si y solo si la distancia desde un punto P en el plano q hasta el punto más cercano en el plano r es independiente de la ubicación de P en el plano q . Esto nunca se cumplirá si los dos planos no están en el mismo espacio tridimensional.
En la geometría no euclidiana , el concepto de línea recta se reemplaza por el concepto más general de geodésica , una curva que es localmente recta con respecto a la métrica (definición de distancia) en una variedad de Riemann , una superficie (o espacio de dimensiones superiores) que puede ser curva. En la relatividad general , las partículas que no están bajo la influencia de fuerzas externas siguen geodésicas en el espacio-tiempo , una variedad de cuatro dimensiones con 3 dimensiones espaciales y 1 dimensión temporal. [16]
En geometría no euclidiana ( geometría elíptica o hiperbólica ), las tres propiedades euclidianas mencionadas anteriormente no son equivalentes y solo la segunda (la línea m está en el mismo plano que la línea l pero no la interseca) es útil en geometrías no euclidianas, ya que no implica mediciones. En geometría general, las tres propiedades anteriores dan tres tipos diferentes de curvas, curvas equidistantes , geodésicas paralelas y geodésicas que comparten una perpendicular común , respectivamente.
Mientras que en la geometría euclidiana dos geodésicas pueden intersecarse o ser paralelas, en la geometría hiperbólica existen tres posibilidades. Dos geodésicas pertenecientes al mismo plano pueden ser:
En la literatura, las geodésicas ultraparalelas suelen denominarse no intersecantes . Las geodésicas que se intersecan en el infinito se denominan paralelas límite .
Como en la ilustración a través de un punto a que no está sobre la recta l hay dos rectas paralelas limitantes , una por cada punto ideal direccional de la recta l. Separan las rectas que cortan la recta l y las que son ultraparalelas a la recta l .
Las líneas ultraparalelas tienen una única perpendicular común ( teorema de las ultraparalelas ) y divergen en ambos lados de esta perpendicular común.
En geometría esférica , todas las geodésicas son círculos máximos . Los círculos máximos dividen la esfera en dos hemisferios iguales y todos los círculos máximos se intersecan entre sí. Por lo tanto, no hay geodésicas paralelas a una geodésica dada, ya que todas las geodésicas se intersecan. Las curvas equidistantes en la esfera se denominan paralelos de latitud , de manera análoga a las líneas de latitud en un globo terráqueo. Los paralelos de latitud se pueden generar mediante la intersección de la esfera con un plano paralelo a un plano que pase por el centro de la esfera.
Si l, m, n son tres líneas distintas, entonces
En este caso, el paralelismo es una relación transitiva . Sin embargo, en el caso de que l = n , las líneas superpuestas no se consideran paralelas en la geometría euclidiana. La relación binaria entre líneas paralelas es evidentemente una relación simétrica . Según los principios de Euclides, el paralelismo no es una relación reflexiva y, por lo tanto, no puede ser una relación de equivalencia . Sin embargo, en la geometría afín, un conjunto de líneas paralelas se toma como una clase de equivalencia en el conjunto de líneas donde el paralelismo es una relación de equivalencia. [18] [19] [20]
Para ello, Emil Artin (1957) adoptó una definición de paralelismo donde dos rectas son paralelas si tienen todos o ninguno de sus puntos en común. [21] Entonces una recta es paralela a sí misma por lo que las propiedades reflexivas y transitivas pertenecen a este tipo de paralelismo, creándose una relación de equivalencia en el conjunto de rectas. En el estudio de la geometría de incidencia , esta variante del paralelismo se utiliza en el plano afín .
§359. […] ∥ para paralelo aparece en la Opuscula mathematica hactenus inedita (1677) de Oughtred [p. 197], una obra póstuma (§ 184) […] §368. Signos para líneas paralelas. […] cuando el signo de igualdad de Recorde se abrió camino en el continente, las líneas verticales comenzaron a usarse para el paralelismo. Encontramos ∥ para "paralelo" en Kersey ,[14] Caswell , Jones ,[15] Wilson,[16] Emerson ,[17] Kambly,[18] y los escritores de los últimos cincuenta años que ya han sido citados en relación con otros pictogramas. Antes de 1875 no aparece tan a menudo […] Hall y Stevens[1] usan "par[1] o ∥" para paralelo […] [14] John Kersey , Algebra (Londres, 1673), Libro IV, pág. 177. [15] W. Jones , Synopsis palmarioum matheseos (Londres, 1706). [16] John Wilson, Trigonometry (Edimburgo, 1714), caracteres explicados. [17] W. Emerson , Elements of Geometry (Londres, 1763), pág. 4. [18] L. Kambly , Die Elementar-Mathematik , Parte 2: Planimetrie , 43. edición (Breslau, 1876), pág. 8. […] [1] HS Hall y FH Stevens, Euclid's Elements , Partes I y II (Londres, 1889), pág. 10. […][1]