En geometría, las coordenadas de la recta se utilizan para especificar la posición de una recta, de forma análoga a las coordenadas que se usan para especificar la posición de un punto.
Hay varias formas posibles de especificar la posición de una recta en el plano. Una forma simple es mediante el par (m, b) donde la ecuación de la recta es:
Aquí m es la pendiente y b es el corte con el eje y. Este sistema especifica coordenadas para todas las rectas que no son verticales. Sin embargo, es más común y más simple utilizar algebraicamente las coordenadas (l, m) donde la ecuación de la recta es:
Este sistema especifica coordenadas para todas las rectas excepto para aquellas que pasan por el origen. Las interpretaciones geométricas de l y de m son los recíprocos negativos del corte con el eje x y el corte con el eje y respectivamente.
La exclusión de líneas que pasan por el origen se puede resolver utilizando un sistema de tres coordenadas (l, m, n) para especificar la recta con la ecuación:
Aquí l y m no pueden ser ambos 0. En esta ecuación, solo las relaciones entre l, m y n son significativas, en otras palabras, si las coordenadas se multiplican por un escalar distinto de cero, la recta representada permanece siendo la misma. Entonces (l, m, n) es un sistema de coordenadas homogéneas para cualquier recta dada.
Si los puntos en el plano proyectivo real están representados por coordenadas homogéneas (x, y, z), la ecuación genérica de la recta es
de forma que (l, m, n) ≠ (0,0,0). En particular, las coordenadas (0, 0, 1) representan la recta
que es la recta del infinito en el plano proyectivo. Las coordenadas de la recta (0, 1, 0) y (1, 0, 0) representan los ejes x e y respectivamente.
De forma simplificada:
Así como la ecuación
puede representar una curva como un subconjunto de los puntos en el plano, la ecuación
representa un subconjunto de rectas en el plano. En un sentido abstracto, el conjunto de las rectas del plano puede ser considerado como el conjunto de puntos en un plano proyectivo, el dual del plano original. La ecuación
representa una curva en el plano dual.
Para una curva
en el plano, las rectas tangentes a la curva forman una curva en el espacio dual, denominada curva dual. Si
es la ecuación de la curva dual, entonces también se llama ecuación tangencial de la curva original. Esta ecuación representa una curva en el plano original, determinada como envolvente de las líneas que la satisfacen.
Del mismo modo, si
es una función homogénea, entonces
representa una curva en el espacio dual dada en coordenadas homogéneas, y puede llamarse la ecuación tangencial homogénea de la curva envolvente.
Las ecuaciones tangenciales son útiles en el estudio de curvas definidas como envolventes, al igual que las ecuaciones cartesianas son útiles en el estudio de curvas definidas como lugares geométricos.
Una ecuación lineal en coordenadas de la recta tiene la forma
donde a, b y c son constantes. Suponiendo que (l, m) es una recta que satisface esta ecuación, si c no es 0, entonces
donde x = a/c e y = b/c, por lo que cada recta que satisfaga la ecuación original pasa por el punto (x, y). Por el contrario, cualquier recta que pase por (x, y) satisface la ecuación original, por lo que
es la ecuación de un conjunto de rectas (x, y). Para un punto dado (x, y), la ecuación del conjunto de rectas que pasan por él es :lx + my + 1 = 0 por lo que esto se puede definir como la ecuación tangencial del punto. De forma similar, para un punto (x, y, z) dado en coordenadas homogéneas, la ecuación del punto en coordenadas tangenciales homogéneas es
La intersección de las rectas
Por la regla de Cramer, la solución del sistema anterior es
Las rectas
son concurrentes cuando se anula el determinante
En coordenadas homogéneas, la intersección de las rectas
es
Las rectas
son concurrentes cuando se anula el determinante
Dualmente, las coordenadas de la recta que contiene
son
Para dos puntos dados en el plano proyectivo real
los tres determinantes
determinan la recta proyectiva que los contiene.
Del mismo modo, para dos puntos en RP3
la recta que los contiene está definida por los seis factores determinantes
Esta es la base para un sistema de coordenadas de la recta homogéneas en un espacio tridimensional, llamadas coordenadas plückerianas. Seis números en un conjunto de coordenadas solo representan una línea cuando satisfacen una ecuación adicional. Este sistema aplica el espacio de las rectas del espacio tridimensional al espacio proyectivo RP5, pero con un requisito adicional, el espacio de las rectas se corresponde con las cuádricas de Klein, que es una variedad de dimensión cuatro.
De manera más general, las líneas en el espacio proyectivo n-dimensional están determinadas por un sistema de n (n - 1)/2 coordenadas homogéneas que satisfacen un conjunto de (n - 2) (n - 3)/2 condiciones, lo que da como resultado una variedad de 2 (n - 1) dimensiones.
Isaak Yaglom demostró cómo los números duales proporcionan coordenadas para las rectas orientadas en el plano euclidiano, y los números complejos hiperbólicos forman las coordenadas de la recta para la geometría hiperbólica. Las coordenadas dependen de la presencia de un origen y de una recta de referencia en él. Luego, dada una recta arbitraria, sus coordenadas se encuentran desde la intersección con la recta de referencia. La distancia s desde el origen hasta la intersección y el ángulo θ de inclinación entre las dos rectas toman la forma:
Como hay rectas ultraparalelas a la recta de referencia en el plano de Lobachevski, también se necesitan coordenadas: hay una perpendicular común única, por ejemplo, s es la distancia desde el origen hasta esta perpendicular, y d es la longitud del segmento entre la referencia y la recta dada.
Los movimientos en la geometría lineal se describen con transformaciones fraccionales lineales en los planos complejos apropiados.:87,123
Escribe un comentario o lo que quieras sobre Coordenadas tangenciales (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)