stringtranslate.com

Paralelo (geometría)

=
Dibujo lineal de líneas paralelas y curvas.

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.

Símbolo

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.||

Paralelismo euclidiano

Dos líneas en un plano

Condiciones para el paralelismo

Como lo muestran las marcas de verificación, las líneas a y b son paralelas. Esto se puede demostrar porque la transversal t produce ángulos correspondientes congruentes , que se muestran aquí a la derecha de la transversal, uno arriba y adyacente a la línea a y el otro arriba y adyacente a la línea b .

Dadas líneas rectas paralelas l y m en el espacio euclidiano , las siguientes propiedades son equivalentes:

  1. Cada punto de la línea m está ubicado exactamente a la misma distancia (mínima) de la línea l ( líneas equidistantes ).
  2. La línea m está en el mismo plano que la línea l pero no la interseca (recuerde que las líneas se extienden hasta el infinito en cualquier dirección).
  3. Cuando las rectas m y l son intersectadas por una tercera recta (una transversal ) en el mismo plano, los ángulos de intersección correspondientes con la transversal son congruentes .

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 .

Historia

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.

Construcción

Las tres propiedades anteriores conducen a tres métodos diferentes de construcción [15] de líneas paralelas.

El problema: Trazar una línea a través de un paralelo a l .

Distancia entre dos 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 líneas en el espacio tridimensional

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 y un plano

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 .

Dos aviones

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 geometría no euclidiana

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.

Geometría hiperbólica

Líneas paralelas y ultraparalelas que se intersecan a través de a con respecto a l en el plano hiperbólico. Las líneas paralelas parecen intersecar a l justo fuera de la imagen. Esto es solo un artefacto de la visualización. En un plano hiperbólico real, las líneas se acercarán entre sí y se "encontrarán" en el infinito.

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:

  1. intersecantes , si se intersecan en un punto común en el plano,
  2. paralelas , si no se intersecan en el plano, pero convergen a un punto límite común en el infinito ( punto ideal ), o
  3. ultraparalelas , si no tienen un punto límite común en el infinito. [17]

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.


Geometría esférica o elíptica

En la esfera no existen líneas paralelas. La línea a es un círculo máximo , el equivalente a una línea recta en geometría esférica. La línea c es equidistante de la línea a, pero no es un círculo máximo. Es un paralelo de latitud. La línea b es otra geodésica que interseca a a en dos puntos antípodas. Comparten dos perpendiculares comunes (una de ellas se muestra en azul).

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.

Variante reflexiva

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 .

Véase también

Notas

  1. ^ Harris, John W.; Stöcker, Horst (1998). Manual de matemáticas y ciencias computacionales. Birkhäuser. Capítulo 6, pág. 332.ISBN​ 0-387-94746-9.
  2. ^ Aunque este postulado sólo se refiere a cuando las líneas se encuentran, es necesario para demostrar la unicidad de las líneas paralelas en el sentido del axioma de Playfair .
  3. ^ Kersey (el mayor), John (1673). Álgebra . Vol. Libro IV. Londres. pág. 177.
  4. ^ Cajori, Florian (1993) [septiembre de 1928]. "§ 184, § 359, § 368". Una historia de las notaciones matemáticas - Notaciones en matemáticas elementales . Vol. 1 (dos volúmenes en una reimpresión sin modificaciones). Chicago, EE. UU.: Open Court Publishing Company . págs. 193, 402–403, 411–412. ISBN 0-486-67766-4. LCCN  93-29211 . Consultado el 22 de julio de 2019 . §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  [de] , 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]
  5. ^ "Operadores matemáticos – Consorcio Unicode" (PDF) . Consultado el 21 de abril de 2013 .
  6. ^ Wylie 1964, págs. 92-94
  7. ^Ab Heath 1956, págs. 190-194
  8. ^ Richards 1988, cap. 4: Euclides y el escolar inglés, págs. 161-200
  9. ^ Carroll, Lewis (2009) [1879], Euclides y sus rivales modernos , Barnes & Noble, ISBN 978-1-4351-2348-9
  10. ^ Wilson 1868
  11. ^ Einführung in die Grundlagen der Geometrie, I , p. 5
  12. ^ Heath 1956, pág. 194
  13. ^ Richards 1988, págs. 180-184
  14. ^ Heath 1956, pág. 194
  15. ^ Sólo el tercero es una construcción con regla y compás, los dos primeros son procesos infinitarios (requieren un "número infinito de pasos").
  16. ^ Church, Benjamin (3 de diciembre de 2022). "Una introducción no tan amable a la relatividad general" (PDF) .
  17. ^ "5.3: Teoremas de geometría hiperbólica". Matemáticas LibreTexts . 2021-10-30 . Consultado el 2024-08-22 .
  18. ^ HSM Coxeter (1961) Introducción a la geometría , pág. 192, John Wiley & Sons
  19. ^ Wanda Szmielew (1983) De la geometría afín a la euclidiana , pág. 17, D. Reidel ISBN 90-277-1243-3 
  20. ^ Andy Liu (2011) "¿Es el paralelismo una relación de equivalencia?", The College Mathematics Journal 42(5):372
  21. ^ Emil Artin (1957) Álgebra geométrica, página 52 vía Internet Archive

Referencias

(3 vols.): ISBN 0-486-60088-2 (vol. 1), ISBN 0-486-60089-0 (vol. 2), ISBN 0-486-60090-4 (vol. 3). Traducción autorizada de Heath más extensa investigación histórica y comentarios detallados a lo largo del texto.   

Lectura adicional