En matemáticas , la representación matricial de las secciones cónicas permite utilizar las herramientas del álgebra lineal en el estudio de las secciones cónicas . Proporciona formas sencillas de calcular el eje , los vértices , las tangentes y la relación polar y de polos entre puntos y líneas del plano determinado por la cónica. La técnica no requiere poner la ecuación de una sección cónica en una forma estándar, lo que facilita la investigación de aquellas secciones cónicas cuyos ejes no son paralelos al sistema de coordenadas .
Las secciones cónicas (incluidas las degeneradas ) son los conjuntos de puntos cuyas coordenadas satisfacen una ecuación polinómica de segundo grado en dos variables, Por un abuso de notación , también se llamará sección cónica a esta cuando no pueda surgir confusión.
Esta ecuación se puede escribir en notación matricial , en términos de una matriz simétrica para simplificar algunas fórmulas posteriores, como [1]
La suma de los tres primeros términos de esta ecuación, es decir, es la forma cuadrática asociada a la ecuación y la matriz se denomina matriz de la forma cuadrática . La traza y el determinante de son ambos invariantes con respecto a la rotación de los ejes y la traslación del plano (movimiento del origen). [2] [3]
La ecuación cuadrática también se puede escribir como
donde es el vector de coordenadas homogéneo en tres variables restringido de manera que la última variable sea 1, es decir,
y donde esta la matriz
La matriz se denomina matriz de la ecuación cuadrática . [4] Al igual que la de , su determinante es invariante con respecto tanto a la rotación como a la traslación. [3]
La submatriz superior izquierda de 2 × 2 (una matriz de orden 2) de , obtenida al eliminar la tercera (última) fila y la tercera (última) columna de es la matriz de la forma cuadrática. La notación anterior se utiliza en este artículo para enfatizar esta relación.
Las secciones cónicas propias (no degeneradas) y degeneradas se pueden distinguir [5] [6] basándose en el determinante de :
Si , la cónica es degenerada.
Si es así, no es degenerada, podemos ver qué tipo de sección cónica es calculando el menor , :
En el caso de una elipse, podemos distinguir el caso especial de un círculo comparando los dos últimos elementos diagonales correspondientes a los coeficientes de , y :
Además, en el caso de una elipse no degenerada (con y ), tenemos una elipse real si pero una elipse imaginaria si . Un ejemplo de esto último es , que no tiene soluciones de valor real.
Si la sección cónica es degenerada ( ), aún nos permite distinguir su forma:
El caso de líneas coincidentes ocurre si y sólo si el rango de la matriz 3 × 3 es 1; en todos los demás casos degenerados su rango es 2. [2]
Cuando existe un centro geométrico de la sección cónica y dichas secciones cónicas (elipses e hipérbolas) se denominan cónicas centrales . [7]
El centro de una cónica, si existe, es un punto que biseca todas las cuerdas de la cónica que pasan por él. Esta propiedad se puede utilizar para calcular las coordenadas del centro, que se puede demostrar que es el punto donde el gradiente de la función cuadrática Q se anula, es decir, [8] Esto da como resultado el centro que se indica a continuación.
Un enfoque alternativo que utiliza la forma matricial de la ecuación cuadrática se basa en el hecho de que cuando el centro es el origen del sistema de coordenadas, no hay términos lineales en la ecuación. Cualquier traslación a un origen de coordenadas ( x 0 , y 0 ) , utilizando x * = x – x 0 , y * = y − y 0 da lugar a
La condición para que ( x 0 , y 0 ) sea el centro de la cónica ( x c , y c ) es que los coeficientes de los términos lineales x* e y* , cuando se multiplica esta ecuación, sean cero. Esta condición produce las coordenadas del centro:
Este cálculo también se puede realizar tomando las dos primeras filas de la matriz asociada A Q , multiplicando cada una por ( x , y , 1) ⊤ y estableciendo ambos productos internos iguales a 0, obteniendo el siguiente sistema:
Esto produce el punto central mencionado anteriormente.
En el caso de una parábola, es decir, cuando 4 AC − B 2 = 0 , no hay centro ya que los denominadores anteriores se vuelven cero (o, interpretado proyectivamente , el centro está en la recta del infinito ).
Una cónica central (no parabólica) se puede reescribir en forma de matriz centrada como donde
Entonces, para el caso de elipse de AC > ( B /2) 2 , la elipse es real si el signo de K es igual al signo de ( A + C ) (es decir, el signo de cada uno de A y C ), imaginaria si tienen signos opuestos, y una elipse puntual degenerada si K = 0 . En el caso de hipérbola de AC < ( B /2) 2 , la hipérbola es degenerada si y solo si K = 0 .
La forma estándar de la ecuación de una sección cónica central se obtiene cuando la sección cónica se traslada y rota de modo que su centro se encuentre en el centro del sistema de coordenadas y sus ejes coincidan con los ejes de coordenadas. Esto es equivalente a decir que el centro del sistema de coordenadas se mueve y los ejes de coordenadas se rotan para satisfacer estas propiedades. En el diagrama, el sistema de coordenadas xy original con origen O se mueve al sistema de coordenadas x'y' con origen O' .
La traducción es por el vector.
La rotación en el ángulo α se puede realizar diagonalizando la matriz A 33 . Así, si y son los valores propios de la matriz A 33 , la ecuación centrada se puede reescribir en las nuevas variables x' e y' como [9]
Dividiendo por obtenemos una forma canónica estándar.
Por ejemplo, para una elipse, esta forma es De aquí obtenemos a y b , las longitudes de los semiejes mayor y semieje menor en notación convencional.
Para las cónicas centrales, ambos valores propios son distintos de cero y la clasificación de las secciones cónicas se puede obtener examinándolas. [10]
Según el teorema del eje principal , los dos vectores propios de la matriz de la forma cuadrática de una sección cónica central (elipse o hipérbola) son perpendiculares ( ortogonales entre sí) y cada uno es paralelo a (en la misma dirección que) el eje mayor o menor de la cónica. El vector propio que tiene el valor propio más pequeño (en valor absoluto ) corresponde al eje mayor. [11]
Específicamente, si una sección cónica central tiene centro ( x c , y c ) y un vector propio de A 33 está dado por v ( v 1 , v 2 ) entonces el eje principal (mayor o menor) correspondiente a ese vector propio tiene ecuación,
Los vértices de una cónica central se pueden determinar calculando las intersecciones de la cónica y sus ejes, es decir, resolviendo el sistema formado por la ecuación de la cónica cuadrática y la ecuación lineal para uno u otro de los ejes alternativamente. Se obtienen dos o ningún vértice para cada eje, ya que, en el caso de la hipérbola, el eje menor no interseca a la hipérbola en un punto con coordenadas reales. Sin embargo, desde la visión más amplia del plano complejo , el eje menor de una hipérbola sí interseca a la hipérbola, pero en puntos con coordenadas complejas. [12]
Utilizando coordenadas homogéneas , [13] los puntos [14] y son conjugados respecto de la cónica Q proporcionada
Los conjugados de un punto fijo p forman una línea o están formados por todos los puntos del plano de la cónica. Cuando los conjugados de p forman una línea, la línea se denomina polar de p y el punto p se denomina polo de la línea con respecto a la cónica. Esta relación entre puntos y líneas se denomina polaridad .
Si la cónica no es degenerada, los conjugados de un punto siempre forman una recta y la polaridad definida por la cónica es una biyección entre los puntos y rectas del plano extendido que contiene la cónica (es decir, el plano junto con los puntos y la recta en el infinito ).
Si el punto p se encuentra en la cónica Q , la línea polar de p es la línea tangente a Q en p .
La ecuación, en coordenadas homogéneas, de la recta polar del punto p respecto de la cónica no degenerada Q está dada por
Así como p determina de forma única su línea polar (con respecto a una cónica dada), cada línea determina un polo único p . Además, un punto p está en una línea L que es la polar de un punto r , si y solo si la polar de p pasa por el punto r ( teorema de La Hire ). [15] Por lo tanto, esta relación es una expresión de dualidad geométrica entre puntos y líneas en el plano.
Varios conceptos familiares sobre las secciones cónicas están directamente relacionados con esta polaridad. El centro de una cónica no degenerada puede identificarse como el polo de la línea en el infinito. Una parábola, al ser tangente a la línea en el infinito, tendría su centro en un punto de la línea en el infinito. Las hipérbolas intersecan la línea en el infinito en dos puntos distintos y las líneas polares de estos puntos son las asíntotas de la hipérbola y son las líneas tangentes a la hipérbola en estos puntos del infinito. Además, la línea polar de un foco de la cónica es su directriz correspondiente. [16]
Sea la recta L la recta polar del punto p respecto de la cónica no degenerada Q . Por el teorema de La Hire, toda recta que pase por p tiene su polo en L . Si L interseca a Q en dos puntos (el máximo posible) entonces las polares de esos puntos son rectas tangentes que pasan por p y tal punto se llama punto exterior o externo de Q . Si L interseca a Q en un solo punto, entonces es una recta tangente y p es el punto de tangencia. Finalmente, si L no interseca a Q entonces p no tiene rectas tangentes que lo pasen y se llama punto interior o interno . [17]
La ecuación de la recta tangente (en coordenadas homogéneas) en un punto p de la cónica no degenerada Q está dada por,
Si p es un punto exterior, primero hay que hallar la ecuación de su polar (la ecuación anterior) y luego las intersecciones de esa línea con la cónica, por ejemplo en los puntos s y t . Las polares de s y t serán las tangentes que pasan por p .
Utilizando la teoría de polos y polares, el problema de encontrar las cuatro tangentes mutuas de dos cónicas se reduce a encontrar la intersección de dos cónicas .