Articulo de referencia

Sección cónica

Los límites negros de las regiones coloreadas son secciones cónicas. No se muestra la otra mitad de la hipérbola, que se encuentra en la otra mitad no mostrada del cono doble. S...

Página semiprotegida

Los límites negros de las regiones coloreadas son secciones cónicas. No se muestra la otra mitad de la hipérbola, que se encuentra en la otra mitad no mostrada del cono doble.
Secciones cónicas visualizadas con luz de linterna.
Vista lateral en 2D de un cono seccionado por planos en tres ángulos diferentes. La elipse converge en el lado opuesto y, por lo tanto, se cierra alrededor del cono formando un perfil cerrado. La hipérbola es paralela al lado opuesto del cono, por lo que nunca se cierra a su alrededor y sus extremos abiertos se extienden hasta el infinito. La hipérbola diverge del lado opuesto, por lo que se parece a la parábola, pero también tiene otra parte donde interseca con una imagen especular del cono.
Este diagrama aclara los diferentes ángulos de los planos de corte que dan como resultado las diferentes propiedades de los tres tipos de sección cónica.

Una sección cónica , curva cónica o cuadrática es una curva obtenida al intersecar la superficie de un cono con un plano . Los tres tipos de secciones cónicas son la hipérbola , la parábola y la elipse ; el círculo es un caso particular de la elipse, aunque a veces se lo consideraba un cuarto tipo. Los matemáticos griegos antiguos estudiaron las secciones cónicas, culminando alrededor del año 200 a. C. con el trabajo sistemático de Apolonio de Perga sobre sus propiedades. 

Las secciones cónicas en el plano euclidiano poseen diversas propiedades distintivas, muchas de las cuales pueden utilizarse como definiciones alternativas. Una de estas propiedades define una cónica no circular [ 1 ] como el conjunto de puntos cuyas distancias a un punto particular, denominado foco , y a una recta particular, denominada directriz , guardan una relación fija, llamada excentricidad . El tipo de cónica se determina por el valor de la excentricidad. En geometría analítica , una cónica puede definirse como una curva algebraica plana de grado 2; es decir, como el conjunto de puntos cuyas coordenadas satisfacen una ecuación cuadrática en dos variables que puede escribirse de la formaAincógnita2+Bincógnitay+doy2+Dincógnita+miy+F=0.{\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0.}Las propiedades geométricas de la cónica se pueden deducir de su ecuación.

En el plano euclidiano, los tres tipos de secciones cónicas parecen bastante diferentes, pero comparten muchas propiedades. Al extender el plano euclidiano para incluir una línea en el infinito, obteniendo un plano proyectivo , la diferencia aparente desaparece: las ramas de una hipérbola se encuentran en dos puntos en el infinito, formando una única curva cerrada; y los dos extremos de una parábola se encuentran para formar una curva cerrada tangente a la línea en el infinito. Una extensión adicional, al expandir las coordenadas reales para admitir coordenadas complejas , proporciona los medios para visualizar esta unificación algebraicamente.

Geometría euclidiana

Tipos de secciones cónicas: 1: Círculo 2: Elipse 3: Parábola 4: Hipérbola  

Las secciones cónicas se han estudiado durante miles de años y han proporcionado una rica fuente de resultados interesantes y bellos en la geometría euclidiana .

Definición

Una cónica es la curva que se obtiene al intersecar un plano , llamado plano de corte , con la superficie de un cono doble (un cono con dos mantos ). Generalmente se asume que el cono es un cono circular recto para facilitar la descripción, pero esto no es necesario; cualquier cono doble con alguna sección transversal circular es suficiente. Los planos que pasan por el vértice del cono lo intersecan en un punto, una línea o un par de líneas secantes. Estas se denominan cónicas degeneradas y algunos autores no las consideran cónicas. Salvo que se indique lo contrario, en este artículo el término "cónica" se refiere a una cónica no degenerada.

Existen tres tipos de cónicas: la elipse , la parábola y la hipérbola . El círculo es un tipo especial de elipse, aunque históricamente Apolonio lo consideraba un cuarto tipo. Las elipses surgen cuando la intersección del cono y el plano es una curva cerrada . El círculo se obtiene cuando el plano de corte es paralelo al plano de la circunferencia generatriz del cono; para un cono recto, esto significa que el plano de corte es perpendicular al eje. Si el plano de corte es paralelo a exactamente una generatriz del cono, entonces la cónica es ilimitada y se llama parábola . En el caso restante, la figura es una hipérbola : el plano interseca ambas mitades del cono, produciendo dos curvas ilimitadas separadas.

Compárese también la sección esférica (intersección de un plano con una esfera, que produce un círculo o un punto) y la cónica esférica (intersección de un cono elíptico con una esfera concéntrica).

Excentricidad, enfoque y directriz

Secciones cónicas de excentricidad variable que comparten un foco y una directriz, incluyendo una elipse (rojo, e = 1/2 ), una parábola (verde, e = 1 ) y una hipérbola (azul, e = 2 ). La cónica de excentricidad 0 en esta figura es un círculo infinitesimal centrado en el foco, y la cónica de excentricidad es un par de líneas infinitesimalmente separadas.
Un círculo de radio finito tiene una directriz infinitamente distante, mientras que un par de líneas separadas por un radio finito tienen un foco infinitamente distante.

Alternativamente, se puede definir una sección cónica exclusivamente en términos de geometría plana: es el lugar geométrico de todos los puntos P cuya distancia a un punto fijo F (llamado foco ) es un múltiplo constante e (llamado excentricidad ) de la distancia de P a una recta fija L (llamada directriz ). Para 0 < e < 1 obtenemos una elipse, para e = 1 una parábola y para e > 1 una hipérbola.

Un círculo es un caso límite y no se define mediante un foco y una directriz en el plano euclidiano. La excentricidad de un círculo se define como cero y su foco es el centro del círculo, pero su directriz solo puede tomarse como la línea en el infinito en el plano proyectivo. [ 2 ]

La excentricidad de una elipse puede considerarse una medida de cuánto se desvía la elipse de ser circular. [ 3 ]

Si el ángulo entre la superficie del cono y su eje esβ{\displaystyle \beta }y el ángulo entre el plano de corte y el eje esα,{\displaystyle \alpha ,}la excentricidad esporqueαporqueβ.{\displaystyle {\frac {\cos \alpha }{\cos \beta }}.}[ 4 ]

Una demostración de que las curvas anteriores definidas por la propiedad foco-directriz son las mismas que las obtenidas por planos que intersecan un cono se facilita mediante el uso de esferas de Dandelin . [ 5 ]

Alternativamente, una elipse puede definirse en términos de dos focos, como el lugar geométrico de los puntos para los cuales la suma de las distancias a los dos focos es 2a ; mientras que una hipérbola es el lugar geométrico para el cual la diferencia de distancias es 2a . (Aquí a es el semieje mayor definido más adelante). Una parábola también puede definirse en términos de su foco y su lado recto (paralelo a la directriz y que pasa por el foco): es el lugar geométrico de los puntos cuya distancia al foco más o menos la distancia a la línea es igual a 2a ; más si el punto está entre la directriz y el lado recto, menos en caso contrario.

Parámetros cónicos

Parámetros cónicos en el caso de una elipse

Además de la excentricidad ( e ), los focos y la directriz, varias características geométricas y longitudes están asociadas a una sección cónica.

El eje principal es la línea que une los focos de una elipse o hipérbola, y su punto medio es el centro de la curva . Una parábola no tiene centro.

La excentricidad lineal ( c ) es la distancia entre el centro y un foco.

El lado recto es la cuerda paralela a la directriz y que pasa por un foco; su mitad de longitud es el semilado recto ( ).

El parámetro focal ( p ) es la distancia desde un foco hasta la directriz correspondiente.

El eje mayor es la cuerda entre los dos vértices: la cuerda más larga de una elipse, la cuerda más corta entre las ramas de una hipérbola. Su mitad de longitud es el semieje mayor ( a ). Cuando una elipse o hipérbola están en posición estándar como en las ecuaciones siguientes, con focos en el eje x y centro en el origen, los vértices de la cónica tienen coordenadas (−a , 0) y ( a , 0) , con a no negativo.

El eje menor es el diámetro más corto de una elipse, y su mitad es el semieje menor ( b ), cuyo valor es el mismo que en la ecuación estándar que se muestra a continuación. Por analogía, en una hipérbola, el parámetro b de la ecuación estándar también se denomina semieje menor.

Se cumplen las siguientes relaciones: [ 6 ]

  •  =pagmi{\displaystyle \ \ell =pe}
  •  do=ami{\displaystyle \ c=ae}
  •  pag+do=ami{\displaystyle \p+c={\frac {a}{e}}}

Para cónicas en posición estándar, estos parámetros tienen los siguientes valores, tomandoab>0{\displaystyle a\geq b>0}.

Formas estándar en coordenadas cartesianas

Formas estándar de una elipse
Formas estándar de una parábola
Formas estándar de una hipérbola

Después de introducir las coordenadas cartesianas , la propiedad foco-directriz se puede usar para producir las ecuaciones que satisfacen los puntos de la sección cónica. [ 7 ] Mediante un cambio de coordenadas ( rotación y traslación de ejes ) estas ecuaciones se pueden poner en formas estándar . [ 8 ] Para elipses e hipérbolas una forma estándar tiene el eje x como eje principal y el origen (0,0) como centro. Los vértices son a , 0) y los focos c , 0) . Definimos b por las ecuaciones c 2 = a 2b 2 para una elipse y c 2 = a 2 + b 2 para una hipérbola. Para un círculo, c = 0 por lo que a 2 = b 2 , con radio r = a = b . Para la parábola, la forma estándar tiene el foco en el eje x en el punto ( a , 0) y la directriz es la recta con ecuación x = -a . En la forma estándar, la parábola siempre pasa por el origen.

Para una hipérbola rectangular o equilátera , cuyas asíntotas son perpendiculares, existe una forma estándar alternativa en la que las asíntotas son los ejes de coordenadas y la recta x = y es el eje principal. Los focos tienen entonces coordenadas ( c , c ) y ( −c , −c ) . [ 9 ]

  • Círculo:
    incógnita2+y2=a2,{\displaystyle x^{2}+y^{2}=a^{2},}
  • Elipse:
    incógnita2a2+y2b2=1,{\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1,}
  • Parábola:
    y2=4aincógnita, con a>0,{\displaystyle y^{2}=4ax,{\text{ with }}a>0,}
  • Hipérbola:
    incógnita2a2y2b2=1,{\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1,}
  • Hipérbola rectangular: [ 10 ]
    incógnitay=do2.{\displaystyle xy=c^{2}.}

Las primeras cuatro de estas formas son simétricas con respecto al eje x y al eje y (para el círculo, la elipse y la hipérbola), o solo con respecto al eje x (para la parábola). La hipérbola rectangular, sin embargo, es simétrica con respecto a las líneas y = x e y = − x .

Estas formas estándar se pueden escribir paramétricamente como,

  • Círculo :
    (aporqueθ,apecadoθ),{\displaystyle (a\cos \theta ,a\sin \theta ),}
  • Elipse :
    (aporqueθ,bpecadoθ),{\displaystyle (a\cos \theta ,b\sin \theta ),}
  • Parábola :
    (at2,2at),{\displaystyle (at^{2},2at),}
  • Hipérbola :
    (asegundoθ,bbroncearseθ), o (±aaporrearψ,bsinhψ){\displaystyle (a\sec \theta ,b\tan \theta ),{\text{ or }}(\pm a\cosh \psi ,b\sinh \psi )},
  • Hipérbola rectangular :
    (dt,dt), dónde d=do2.{\displaystyle \left(dt,{\frac {d}{t}}\right),{\text{ where }}d={\frac {c}{\sqrt {2}}}.}

Forma cartesiana general

En el sistema de coordenadas cartesianas , la gráfica de una ecuación cuadrática en dos variables es siempre una sección cónica (aunque puede ser degenerada ), [ a ] y todas las secciones cónicas surgen de esta manera. La ecuación más general es de la forma [ 11 ].

Aincógnita2+Bincógnitay+doy2+Dincógnita+miy+F=0,{\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0,}

con todos los coeficientes números reales y A, B, C no todos cero.

Notación matricial

La ecuación anterior se puede escribir en notación matricial como [ 12 ].(incógnitay)(AB/2B/2do)(incógnitay)+(Dmi)(incógnitay)+F=0.{\displaystyle {\begin{pmatrix}x&y\end{pmatrix}}{\begin{pmatrix}A&B/2\\B/2&C\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}+{\begin{pmatrix}D&E\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}+F=0.}

La ecuación general también se puede escribir como (incógnitay1)(AB/2D/2B/2domi/2D/2mi/2F)(incógnitay1)=0.{\displaystyle {\begin{pmatrix}x&y&1\end{pmatrix}}{\begin{pmatrix}A&B/2&D/2\\B/2&C&E/2\\D/2&E/2&F\end{pmatrix}}{\begin{pmatrix}x\\y\\1\end{pmatrix}}=0.}

Esta forma es una especialización de la forma homogénea utilizada en el contexto más general de la geometría proyectiva (véase más abajo ).

Discriminante

Las secciones cónicas descritas por esta ecuación se pueden clasificar en función del valorB24Ado{\displaystyle B^{2}-4AC}, llamado discriminante de la ecuación. [ 13 ] Por lo tanto, el discriminante es − 4Δ donde Δ es el determinante de la matriz|AB/2B/2do|.{\displaystyle \left|{\begin{matrix}A&B/2\\B/2&C\end{matrix}}\right|.}

Si la cónica no es degenerada , entonces: [ 14 ]

  • Si B 2 − 4 AC < 0 , la ecuación representa una elipse ;
    • Si A = C y B = 0 , la ecuación representa un círculo , que es un caso especial de una elipse;
  • Si B 2 − 4 AC = 0 , la ecuación representa una parábola ;
  • Si B 2 − 4 AC > 0 , la ecuación representa una hipérbola ;

En la notación utilizada aquí, A y B son coeficientes polinómicos , a diferencia de algunas fuentes que denotan los semiejes mayor y menor como A y B.

Invariantes

El discriminante B 2 – 4 AC de la ecuación cuadrática de la sección cónica (o equivalentemente el determinante ACB 2 /4 de la matriz de 2 × 2) y la cantidad A + C (la traza de la matriz de 2 × 2) son invariantes bajo rotaciones y traslaciones arbitrarias de los ejes de coordenadas, [ 14 ] [ 15 ] [ 16 ] como lo es el determinante de la matriz de 3 × 3 anterior . [ 17 ] : pp. 60–62 El término constante F y la suma D 2 + E 2 son invariantes solo bajo rotación. [ 17 ] : pp. 60–62

Excentricidad en términos de coeficientes

Cuando la sección cónica se escribe algebraicamente como

Aincógnita2+Bincógnitay+doy2+Dincógnita+miy+F=0,{\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0,\,}

La excentricidad se puede escribir como una función de los coeficientes de la ecuación cuadrática. [ 18 ] Si 4 AC = B 2 la cónica es una parábola y su excentricidad es igual a 1 (siempre que no sea degenerada). De lo contrario, suponiendo que la ecuación representa una hipérbola o elipse no degenerada, la excentricidad viene dada por

mi=2(Ado)2+B2η(A+do)+(Ado)2+B2,{\displaystyle e={\sqrt {\frac {2{\sqrt {(A-C)^{2}+B^{2}}}}{\eta (A+C)+{\sqrt {(A-C)^{2}+B^{2}}}}}},}

donde η = 1 si el determinante de la matriz de 3 × 3 anterior es negativo y η = −1 si ese determinante es positivo.

También se puede demostrar [ 17 ] : p. 89 que la excentricidad es una solución positiva de la ecuación

Δmi4+[(A+do)24Δ]mi2[(A+do)24Δ]=0,{\displaystyle \Delta e^{4}+[(A+C)^{2}-4\Delta ]e^{2}-[(A+C)^{2}-4\Delta ]=0,}

¿Dónde de nuevo?Δ=AdoB24.{\displaystyle \Delta =AC-{\frac {B^{2}}{4}}.}Esto tiene precisamente una solución positiva —la excentricidad— en el caso de una parábola o elipse, mientras que en el caso de una hipérbola tiene dos soluciones positivas, una de las cuales es la excentricidad.

Conversión a forma canónica

En el caso de una elipse o hipérbola, la ecuación

Aincógnita2+Bincógnitay+doy2+Dincógnita+miy+F=0{\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0\,}

puede convertirse a forma canónica en variables transformadasincógnita~,y~{\displaystyle {\tilde {x}},{\tilde {y}}}como [ 19 ]

incógnita~2S/(λ12λ2)+y~2S/(λ1λ22)=1,{\displaystyle {\frac {{\tilde {x}}^{2}}{-S/(\lambda _{1}^{2}\lambda _{2})}}+{\frac {{\tilde {y}}^{2}}{-S/(\lambda _{1}\lambda _{2}^{2})}}=1,}

o equivalentemente

incógnita~2S/(λ1Δ)+y~2S/(λ2Δ)=1,{\displaystyle {\frac {{\tilde {x}}^{2}}{-S/(\lambda _{1}\Delta )}}+{\frac {{\tilde {y}}^{2}}{-S/(\lambda _{2}\Delta )}}=1,}

dóndeλ1{\displaystyle \lambda _{1}}yλ2{\displaystyle \lambda _{2}}son los valores propios de la matriz(AB/2B/2do){\displaystyle \left({\begin{matrix}A&B/2\\B/2&C\end{matrix}}\right)}— es decir, las soluciones de la ecuación

λ2(A+do)λ+(Ado(B/2)2)=0{\displaystyle \lambda ^{2}-(A+C)\lambda +(AC-(B/2)^{2})=0}

- yS{\displaystyle S}es el determinante de la matriz de 3 × 3 anterior , yΔ=λ1λ2{\displaystyle \Delta =\lambda _{1}\lambda _{2}}es nuevamente el determinante de la matriz de 2 × 2. En el caso de una elipse, los cuadrados de los dos semiejes vienen dados por los denominadores en la forma canónica.

Coordenadas polares

Desarrollo de la sección cónica a medida que aumenta la excentricidad e.

En coordenadas polares , una sección cónica con un foco en el origen y, si lo hay, el otro en un valor negativo (para una elipse) o un valor positivo (para una hipérbola) en el eje x , viene dada por la ecuación

r=l1+miporqueθ,{\displaystyle r={\frac {l}{1+e\cos \theta }},}

donde e es la excentricidad y l es el semi-lado recto.

Como se indicó anteriormente, para e = 0 , la gráfica es un círculo, para 0 < e < 1 la gráfica es una elipse, para e = 1 una parábola y para e > 1 una hipérbola.

La forma polar de la ecuación de una cónica se usa a menudo en dinámica ; por ejemplo, para determinar las órbitas de objetos que giran alrededor del Sol. [ 20 ]

Propiedades

Así como dos puntos (distintos) determinan una línea, cinco puntos determinan una cónica . Formalmente, dados cinco puntos cualesquiera en el plano en posición lineal general , es decir, sin tres puntos colineales , existe una única cónica que pasa por ellos, la cual será no degenerada; esto es cierto tanto en el plano euclidiano como en su extensión, el plano proyectivo real. En efecto, dados cinco puntos cualesquiera existe una cónica que pasa por ellos, pero si tres de los puntos son colineales, la cónica será degenerada (reducible, porque contiene una línea) y puede que no sea única; véase la discusión posterior .

Cuatro puntos en el plano en posición lineal general determinan una cónica única que pasa por los tres primeros puntos y cuyo centro se encuentra en el cuarto. Por lo tanto, conocer el centro equivale a conocer dos puntos de la cónica para determinar la curva. [ 21 ]

Además, una cónica se determina por cualquier combinación de k puntos en posición general por los que pasa y 5 – k líneas que son tangentes a ella, para 0 ≤ k ≤ 5. [ 22 ]

Cualquier punto en el plano se encuentra sobre cero, una o dos líneas tangentes de una cónica. Un punto sobre una sola línea tangente está sobre la cónica. Un punto que no se encuentra sobre ninguna línea tangente se denomina punto interior (o interno) de la cónica, mientras que un punto sobre dos líneas tangentes es un punto exterior (o externo).

Todas las secciones cónicas comparten una propiedad de reflexión que se puede enunciar de la siguiente manera: Todos los espejos con forma de sección cónica no degenerada reflejan la luz que proviene de un foco o se dirige hacia él, hacia el otro foco o alejándola de él. En el caso de la parábola, el segundo foco debe considerarse infinitamente lejano, de modo que los rayos de luz que se dirigen hacia él o provienen de él sean paralelos. [ 23 ] [ 24 ]

El teorema de Pascal trata sobre la colinealidad de tres puntos formados a partir de un conjunto de seis puntos en cualquier cónica no degenerada. El teorema también es válido para cónicas degeneradas formadas por dos líneas, pero en ese caso se conoce como el teorema de Pappus .

Las secciones cónicas no degeneradas son siempre " lisas ". Esto es importante para muchas aplicaciones, como la aerodinámica, donde se requiere una superficie lisa para asegurar el flujo laminar y evitar la turbulencia .

Historia

Menaechmus y sus primeras obras

Se cree que la primera definición de sección cónica fue dada por Menaechmus (fallecido en el 320 a. C.) como parte de su solución al problema de Delos ( Duplicando el cubo ). [ b ] [ 25 ] Su obra no sobrevivió, ni siquiera los nombres que usó para estas curvas, y solo se conoce a través de relatos secundarios. [ 26 ] La definición utilizada en ese momento difiere de la que se usa comúnmente hoy en día. Los conos se construían girando un triángulo rectángulo alrededor de uno de sus catetos de manera que la hipotenusa generara la superficie del cono (dicha línea se llama generatriz ). Se determinaban tres tipos de conos por sus ángulos de vértice (medidos como el doble del ángulo formado por la hipotenusa y el cateto que giraba en el triángulo rectángulo). La sección cónica se determinaba entonces intersectando uno de estos conos con un plano trazado perpendicular a una generatriz. El tipo de cónica viene determinado por el tipo de cono, es decir, por el ángulo formado en el vértice del cono: si el ángulo es agudo, la cónica es una elipse; si el ángulo es recto, la cónica es una parábola; y si el ángulo es obtuso, la cónica es una hipérbola (pero solo una rama de la curva). [ 27 ]

Se dice que Euclides (activo hacia el 300 a. C.) escribió cuatro libros sobre cónicas, pero estos también se perdieron. [ 28 ] Se sabe que Arquímedes (fallecido hacia el 212 a. C.) estudió las cónicas, habiendo determinado el área delimitada por una parábola y una cuerda en la Cuadratura de la Parábola . Su principal interés radicaba en la medición de áreas y volúmenes de figuras relacionadas con las cónicas, y parte de este trabajo se conserva en su libro sobre los sólidos de revolución de las cónicas, Sobre conoides y esferoides . [ 29 ]

Apolonio de Perga

Diagrama de las Cónicas de Apolonio , en una traducción árabe del siglo IX.

El mayor progreso en el estudio de las cónicas por parte de los antiguos griegos se debe a Apolonio de Perga (fallecido hacia el 190 a. C.), cuya obra de ocho volúmenes, Secciones Cónicas o Cónicas, resumió y amplió considerablemente el conocimiento existente. [ 30 ] El estudio de Apolonio sobre las propiedades de estas curvas permitió demostrar que cualquier plano que corte un cono doble fijo (dos napados), independientemente de su ángulo, producirá una cónica según la definición anterior, lo que condujo a la definición comúnmente utilizada hoy en día. Los círculos, que no se podían construir con el método anterior, también se obtienen de esta manera. Esto podría explicar por qué Apolonio consideraba los círculos un cuarto tipo de sección cónica, una distinción que ya no se hace. Apolonio utilizó los nombres de «elipse», «parábola» e «hipérbola» para estas curvas, tomando prestada la terminología de trabajos pitagóricos anteriores sobre áreas. [ 31 ]

A Papus de Alejandría (fallecido hacia el año 350 d. C.) se le atribuye la explicación de la importancia del concepto de foco de una cónica y el detalle del concepto relacionado de directriz , incluyendo el caso de la parábola (que no aparece en las obras conocidas de Apolonio). [ 32 ]

mundo islámico

La obra de Apolonio fue traducida al árabe, y gran parte de ella solo se conserva a través de la versión árabe. Los matemáticos islámicos encontraron aplicaciones de la teoría, en particular el matemático y poeta persa Omar Khayyám , [ 33 ] quien halló un método geométrico para resolver ecuaciones cúbicas mediante secciones cónicas. [ 34 ] [ 35 ]

Un siglo antes del trabajo más famoso de Khayyam, Abu al-Jud utilizó cónicas para resolver ecuaciones cuárticas y cúbicas, [ 36 ] aunque su solución no abarcaba todos los casos. [ 37 ]

Un instrumento para dibujar secciones cónicas fue descrito por primera vez en el año 1000 d. C. por Al-Kuhi . [ 38 ] [ 39 ]

Europa

Tabla de cónicas, Cyclopaedia , 1728

Johannes Kepler extendió la teoría de las cónicas mediante el " principio de continuidad ", precursor del concepto de límites. Kepler utilizó por primera vez el término "focos" en 1604. [ 40 ]

Girard Desargues y Blaise Pascal desarrollaron una teoría de las cónicas utilizando una forma temprana de geometría proyectiva , lo que impulsó el estudio de este nuevo campo. En particular, Pascal descubrió un teorema conocido como el hexagrama místico, a partir del cual se pueden deducir muchas otras propiedades de las cónicas.

René Descartes y Pierre Fermat aplicaron su recién descubierta geometría analítica al estudio de las cónicas. Esto tuvo el efecto de reducir los problemas geométricos de las cónicas a problemas de álgebra. Sin embargo, fue John Wallis, en su tratado de 1655, Tractatus de sectionibus conicis, quien definió por primera vez las secciones cónicas como instancias de ecuaciones de segundo grado. [ 41 ] Escrita antes, pero publicada después, la obra Elementa Curvarum Linearum de Jan de Witt comienza con la construcción cinemática de las cónicas de Kepler y luego desarrolla las ecuaciones algebraicas. Esta obra, que utiliza la metodología de Fermat y la notación de Descartes, ha sido descrita como el primer libro de texto sobre el tema. [ 42 ] De Witt inventó el término «directriz». [ 42 ]

Aplicaciones

Las secciones cónicas son importantes en astronomía : las órbitas de dos objetos masivos que interactúan según la ley de gravitación universal de Newton son secciones cónicas si se considera que su centro de masa común está en reposo. Si están unidos, ambos describirán elipses; si se alejan, ambos seguirán parábolas o hipérbolas. Véase el problema de los dos cuerpos .

Las propiedades reflectantes de las secciones cónicas se utilizan en el diseño de reflectores, radiotelescopios y algunos telescopios ópticos. [ 43 ] Un reflector utiliza un espejo parabólico como reflector, con una bombilla en el foco; y una construcción similar se utiliza para un micrófono parabólico . El telescopio óptico Herschel de 4,2 metros en La Palma, en las Islas Canarias, utiliza un espejo parabólico primario para reflejar la luz hacia un espejo hiperbólico secundario, que la refleja nuevamente hacia un foco detrás del primer espejo.

En el plano proyectivo real

Las secciones cónicas poseen propiedades muy similares en el plano euclidiano, y las razones de ello se hacen más evidentes al considerarlas desde la perspectiva de una geometría mayor. El plano euclidiano puede estar incrustado en el plano proyectivo real , y las cónicas pueden considerarse como objetos en esta geometría proyectiva. Una forma de hacerlo es introducir coordenadas homogéneas y definir una cónica como el conjunto de puntos cuyas coordenadas satisfacen una ecuación cuadrática irreducible en tres variables (o, equivalentemente, los ceros de una forma cuadrática irreducible ). Técnicamente, el conjunto de puntos que son ceros de una forma cuadrática (con cualquier número de variables) se denomina cuádrica , y las cuádricas irreducibles en un espacio proyectivo bidimensional (es decir, con tres variables) se denominan tradicionalmente cónicas.

El plano euclidiano se incrusta en el plano proyectivo real añadiendo una recta en el infinito (y sus puntos correspondientes en el infinito ) de manera que todas las rectas de una clase paralela se intersecan en esta recta. Por otro lado, partiendo del plano proyectivo real, se obtiene un plano euclidiano distinguiendo una recta como la recta en el infinito y eliminando esta recta y todos sus puntos.

Intersección en el infinito

En un espacio proyectivo sobre cualquier anillo de división, pero en particular sobre los números reales o complejos, todas las cónicas no degeneradas son equivalentes, y por lo tanto, en geometría proyectiva se habla de "una cónica" sin especificar un tipo. Es decir, existe una transformación proyectiva que mapea cualquier cónica no degenerada a cualquier otra cónica no degenerada. [ 44 ]

Los tres tipos de secciones cónicas reaparecerán en el plano afín obtenido al elegir una línea del espacio proyectivo como la línea en el infinito. Los tres tipos se determinan entonces por cómo esta línea en el infinito interseca la cónica en el espacio proyectivo. En el espacio afín correspondiente, se obtiene una elipse si la cónica no interseca la línea en el infinito, una parábola si la cónica interseca la línea en el infinito en un punto doble correspondiente al eje, y una hipérbola si la cónica interseca la línea en el infinito en dos puntos correspondientes a las asíntotas. [ 45 ]

Coordenadas homogéneas

En coordenadas homogéneas, una sección cónica se puede representar como:

Aincógnita2+Bincógnitay+doy2+Dincógnitaz+miyz+Fz2=0.{\displaystyle Ax^{2}+Bxy+Cy^{2}+Dxz+Eyz+Fz^{2}=0.}

O en notación matricial

(incógnitayz)(AB/2D/2B/2domi/2D/2mi/2F)(incógnitayz)=0.{\displaystyle \left({\begin{matrix}x&y&z\end{matrix}}\right)\left({\begin{matrix}A&B/2&D/2\\B/2&C&E/2\\D/2&E/2&F\end{matrix}}\right)\left({\begin{matrix}x\\y\\z\end{matrix}}\right)=0.}

La matriz de 3 × 3 que aparece arriba se llama matriz de la sección cónica .

Algunos autores prefieren escribir la ecuación homogénea general como

Aincógnita2+2Bincógnitay+doy2+2Dincógnitaz+2miyz+Fz2=0,{\displaystyle Ax^{2}+2Bxy+Cy^{2}+2Dxz+2Eyz+Fz^{2}=0,}

(o alguna variación de esto) de modo que la matriz de la sección cónica tenga la forma más simple,

METRO=(ABDBdomiDmiF),{\displaystyle M=\left({\begin{matrix}A&B&D\\B&C&E\\D&E&F\end{matrix}}\right),}

pero esta notación no se utiliza en este artículo. [ c ]

Si el determinante de la matriz de la sección cónica es cero, la sección cónica es degenerada .

Como al multiplicar los seis coeficientes por el mismo escalar distinto de cero se obtiene una ecuación con el mismo conjunto de ceros, se pueden considerar las cónicas, representadas por ( A , B , C , D , E , F ) , como puntos en el espacio proyectivo pentadimensional.PAG5.{\displaystyle \mathbf {P} ^{5}.}

Definición proyectiva de un círculo

Los conceptos métricos de la geometría euclidiana (conceptos relacionados con la medición de longitudes y ángulos) no pueden extenderse directamente al plano proyectivo real. [ d ] Deben redefinirse (y generalizarse) en esta nueva geometría. Esto puede hacerse para planos proyectivos arbitrarios , pero para obtener el plano proyectivo real como el plano euclidiano extendido, es necesario tomar algunas decisiones específicas. [ 46 ]

Fijemos una línea arbitraria en un plano proyectivo que denominaremos línea absoluta . Seleccionemos dos puntos distintos en la línea absoluta y denominémoslos puntos absolutos . Se pueden definir varios conceptos métricos en función de estas elecciones. Por ejemplo, dada una línea que contiene los puntos A y B , el punto medio del segmento AB se define como el punto C, que es el conjugado armónico proyectivo del punto de intersección de AB y la línea absoluta , con respecto a A y B.

Una cónica en un plano proyectivo que contiene los dos puntos absolutos se llama círculo . Dado que cinco puntos determinan una cónica, un círculo (que puede ser degenerado) está determinado por tres puntos. Para obtener el plano euclidiano extendido, se elige como recta absoluta la recta en el infinito del plano euclidiano y los puntos absolutos son dos puntos especiales en esa recta llamados puntos circulares en el infinito . Las rectas que contienen dos puntos con coordenadas reales no pasan por los puntos circulares en el infinito, por lo que en el plano euclidiano un círculo, según esta definición, está determinado por tres puntos que no son colineales . [ 47 ]

Se ha mencionado que los círculos en el plano euclidiano no pueden definirse mediante la propiedad foco-directriz. Sin embargo, si se considera la línea en el infinito como la directriz, entonces, al tomar la excentricidad como e = 0, un círculo tendrá la propiedad foco-directriz, pero aún no se define por dicha propiedad. [ 48 ] En esta situación, se debe tener cuidado al usar correctamente la definición de excentricidad como la razón entre la distancia de un punto en el círculo al foco (longitud de un radio) y la distancia de ese punto a la directriz (esta distancia es infinita), lo que da como resultado el valor límite de cero.

Definición de cónica proyectiva de Steiner

Definición de la generación de Steiner de una sección cónica

Jakob Steiner propuso en 1867 un método sintético (sin coordenadas) para definir las secciones cónicas en un plano proyectivo.

  • Dados dos lápicesB(U),B(V){\displaystyle B(U),B(V)}de líneas en dos puntosU,V{\displaystyle U,V}(todas las líneas que contienenU{\displaystyle U}y V{\displaystyle V}respectivamente) y un mapeo proyectivo pero no de perspectivaπ{\displaystyle \pi }deB(U){\displaystyle B(U)}sobreB(V){\displaystyle B(V)}. Entonces, los puntos de intersección de las líneas correspondientes forman una sección cónica proyectiva no degenerada. [ 49 ] [ 50 ] [ 51 ] [ 52 ]

Un mapeo de perspectivaπ{\displaystyle \pi }de un lápizB(U){\displaystyle B(U)}sobre un lápizB(V){\displaystyle B(V)}es una biyección (correspondencia uno a uno) tal que las líneas correspondientes se intersecan en una línea fija.a{\displaystyle a}, que se denomina eje de la perspectivaπ{\displaystyle \pi }.

Una aplicación proyectiva es una secuencia finita de aplicaciones de perspectiva.

Como una aplicación proyectiva en un plano proyectivo sobre un campo ( plano de Papp ) está determinada unívocamente al prescribir las imágenes de tres líneas, [ 53 ] para la generación de Steiner de una sección cónica, además de dos puntosU,V{\displaystyle U,V}Solo es necesario proporcionar las imágenes de 3 líneas. Estos 5 elementos (2 puntos, 3 líneas) determinan de forma unívoca la sección cónica.

cónicas de línea

Según el principio de dualidad en un plano proyectivo, el dual de cada punto es una recta, y el dual de un conjunto de puntos (un conjunto de puntos que satisfacen alguna condición) se denomina envolvente de rectas. Utilizando la definición de cónica de Steiner (este conjunto de puntos se denominará ahora cónica de puntos ) como la intersección de rayos correspondientes de dos haces relacionados, es fácil dualizar y obtener la envolvente correspondiente, que consiste en la unión de puntos correspondientes de dos rangos relacionados (puntos sobre una recta) sobre bases diferentes (las rectas sobre las que se encuentran los puntos). Dicha envolvente se denomina cónica de rectas (o cónica dual).

En el plano proyectivo real, una cónica de punto tiene la propiedad de que toda recta la interseca en dos puntos (que pueden coincidir o ser complejos), y cualquier conjunto de puntos con esta propiedad es una cónica de punto. De ello se deduce que una cónica de línea tiene dos de sus rectas que pasan por cada punto, y cualquier envolvente de rectas con esta propiedad es una cónica de línea. En cada punto de una cónica de punto hay una recta tangente única, y de forma dual, en cada recta de una cónica de línea hay un punto único llamado punto de contacto . Un teorema importante establece que las rectas tangentes de una cónica de punto forman una cónica de línea, y de forma dual, los puntos de contacto de una cónica de línea forman una cónica de punto. [ 54 ]

Definición de Von Staudt

Karl Georg Christian von Staudt definió una cónica como el conjunto de puntos formado por todos los puntos absolutos de una polaridad que posee puntos absolutos. Von Staudt introdujo esta definición en Geometrie der Lage (1847) como parte de su intento de eliminar todos los conceptos métricos de la geometría proyectiva.

Una polaridad , π , de un plano proyectivo P es una biyección involutiva entre los puntos y las líneas de P que preserva la relación de incidencia . Así, una polaridad asocia un punto Q con una línea q mediante π ( Q ) = q y π ( q ) = Q. Siguiendo a Gergonne , q se llama polar de Q y Q el polo de q . [ 55 ] Un punto (o línea ) absoluto de una polaridad es aquel que incide con su polar (polo). [ e ]

Una cónica de von Staudt en el plano proyectivo real es equivalente a una cónica de Steiner . [ 56 ]

Construcciones

No es posible construir un arco continuo de una cónica con regla y compás. Sin embargo, existen varias construcciones con regla y compás para cualquier número de puntos individuales en un arco.

Una de ellas se basa en el recíproco del teorema de Pascal, a saber, si los puntos de intersección de los lados opuestos de un hexágono son colineales, entonces los seis vértices se encuentran en una cónica. Específicamente, dados cinco puntos, A , B , C , D , E y una línea que pasa por E , digamos EG , se puede construir un punto F que se encuentra en esta línea y está en la cónica determinada por los cinco puntos. Sea AB intersectando a DE en L , BC intersectando a EG en M y sea CD intersectando a LM en N. Entonces AN intersectando a EG en el punto F requerido . [ 57 ] Al variar la línea que pasa por E , se pueden construir tantos puntos adicionales en la cónica como se desee.

Método del paralelogramo para construir una elipse

Otro método, basado en la construcción de Steiner y que es útil en aplicaciones de ingeniería, es el método del paralelogramo, donde una cónica se construye punto por punto mediante la conexión de ciertos puntos igualmente espaciados en una línea horizontal y una línea vertical. [ 58 ] Específicamente, para construir la elipse con ecuación x 2 / a 2 + y 2 / b 2 = 1 , primero se construye el rectángulo ABCD con vértices A ( a , 0), B ( a , 2 b ), C (− a , 2 b ) y D (− a , 0) . Se divide el lado BC en n segmentos iguales y se utiliza la proyección paralela, con respecto a la diagonal AC , para formar segmentos iguales en el lado AB (las longitudes de estos segmentos serán b / a veces la longitud de los segmentos en BC ). En el lado BC, etiquete los extremos izquierdos de los segmentos con A 1 a A n comenzando en B y dirigiéndose hacia C. En el lado AB, etiquete los extremos superiores D 1 a D n comenzando en A y dirigiéndose hacia B. Los puntos de intersección, AA iDD i para 1 ≤ in serán puntos de la elipse entre A y P (0, b ) . El etiquetado asocia las líneas del lápiz que pasan por A con las líneas del lápiz que pasan por D de forma proyectiva, pero no en perspectiva. La cónica buscada se obtiene mediante esta construcción ya que tres puntos A , D y P y dos tangentes (las líneas verticales en A y D) determinan de forma única la cónica. Si se utiliza otro diámetro (y su diámetro conjugado) en lugar de los ejes mayor y menor de la elipse, se utiliza un paralelogramo que no es un rectángulo en la construcción, dando nombre al método. La asociación de líneas de los haces de puntos puede extenderse para obtener otros puntos de la elipse. Las construcciones para hipérbolas [ 59 ] y parábolas [ 60 ] son ​​similares.

Otro método general utiliza la propiedad de polaridad para construir la envolvente tangente de una cónica (una cónica lineal). [ 61 ]

En la geometría compleja

En el plano de coordenadas complejas C 2 , las elipses y las hipérbolas no son distintas: se puede considerar una hipérbola como una elipse con un eje de longitud imaginaria. Por ejemplo, la elipseincógnita2+y2=1{\displaystyle x^{2}+y^{2}=1}se convierte en una hipérbola bajo la sustitucióny=iw,{\displaystyle y=iw,}geométricamente una rotación compleja, que produceincógnita2w2=1{\displaystyle x^{2}-w^{2}=1}Por lo tanto, existe una clasificación de dos vías: elipse/hipérbola y parábola. Al extender las curvas al plano proyectivo complejo , esto corresponde a intersecar la línea en el infinito en dos puntos distintos (que corresponden a dos asíntotas) o en un punto doble (que corresponde al eje de una parábola); así, la hipérbola real es una imagen real más sugerente para la elipse/hipérbola compleja, ya que también tiene dos intersecciones (reales) con la línea en el infinito.

Se produce una mayor unificación en el plano proyectivo complejo CP 2 : las cónicas no degeneradas no se pueden distinguir entre sí, ya que cualquiera puede transformarse en cualquier otra mediante una transformación lineal proyectiva .

Se puede demostrar que en CP 2 , dos secciones cónicas tienen cuatro puntos en común (si se tiene en cuenta la multiplicidad ), por lo que hay entre 1 y 4 puntos de intersección . Las posibilidades de intersección son: cuatro puntos distintos, dos puntos singulares y un punto doble, dos puntos dobles, un punto singular y uno con multiplicidad 3, un punto con multiplicidad 4. Si algún punto de intersección tiene multiplicidad > 1, se dice que las dos curvas son tangentes . Si hay un punto de intersección con multiplicidad al menos 3, se dice que las dos curvas son osculadoras . Si solo hay un punto de intersección, que tiene multiplicidad 4, se dice que las dos curvas son superosculadoras . [ 62 ]

Además, cada línea recta interseca cada sección cónica dos veces. Si el punto de intersección es doble, la línea es una línea tangente . Al intersecar con la línea en el infinito, cada sección cónica tiene dos puntos en el infinito. Si estos puntos son reales, la curva es una hipérbola ; si son conjugados imaginarios, es una elipse ; si solo hay un punto doble, es una parábola . Si los puntos en el infinito son los puntos cíclicos [1: i : 0] y [1: – i : 0] , la sección cónica es un círculo . Si los coeficientes de una sección cónica son reales, los puntos en el infinito son conjugados reales o complejos .

Casos degenerados

Lo que se considera un caso degenerado de una cónica depende de la definición utilizada y del contexto geométrico de la sección cónica. Algunos autores definen una cónica como una cuádrica bidimensional no degenerada. Con esta terminología, no existen cónicas degeneradas (solo cuádricas degeneradas), pero utilizaremos la terminología más tradicional y evitaremos esa definición.

En el plano euclidiano, según la definición geométrica, se produce un caso degenerado cuando el plano de corte pasa por el vértice del cono. La cónica degenerada puede ser: un punto , cuando el plano interseca el cono solo en el vértice; una línea recta , cuando el plano es tangente al cono (contiene exactamente una generatriz del cono); o un par de líneas que se intersecan (dos generatrices del cono). [ 63 ] Estas corresponden respectivamente a las formas límite de una elipse, una parábola y una hipérbola.

Si una cónica en el plano euclidiano se define mediante las raíces de una ecuación cuadrática (es decir, como una cuádrica), entonces las cónicas degeneradas son: el conjunto vacío , un punto o un par de rectas que pueden ser paralelas, intersecarse en un punto o coincidir. El caso del conjunto vacío puede corresponder a un par de rectas paralelas complejas conjugadas, como con la ecuaciónincógnita2+1=0,{\displaystyle x^{2}+1=0,}o a una elipse imaginaria , como con la ecuaciónincógnita2+y2+1=0.{\displaystyle x^{2}+y^{2}+1=0.}Una elipse imaginaria no satisface la definición general de degeneración y, por lo tanto, normalmente no se considera degenerada. [ 64 ] El caso de las dos líneas ocurre cuando la expresión cuadrática se factoriza en dos factores lineales, cuyos ceros dan lugar a una línea. En el caso de que los factores sean iguales, las líneas correspondientes coinciden y nos referimos a la línea como una línea doble (una línea con multiplicidad 2), y este es el caso anterior de un plano de corte tangente.

En el plano proyectivo real, dado que las líneas paralelas se encuentran en un punto de la línea en el infinito, el caso de líneas paralelas del plano euclidiano puede verse como líneas que se intersecan. Sin embargo, como el punto de intersección es el vértice del cono, este degenera en un cilindro , es decir, con el vértice en el infinito. Otras secciones en este caso se denominan secciones cilíndricas . [ 65 ] Las secciones cilíndricas no degeneradas son elipses (o círculos).

Desde la perspectiva del plano proyectivo complejo, los casos degenerados de una cuádrica real (es decir, la ecuación cuadrática tiene coeficientes reales) pueden considerarse como un par de rectas, posiblemente coincidentes. El conjunto vacío puede ser la recta en el infinito considerada como una recta doble, un punto (real) es la intersección de dos rectas complejas conjugadas y los demás casos son los mencionados anteriormente.

Para distinguir los casos degenerados de los no degenerados (incluido el conjunto vacío con estos últimos) usando notación matricial, sea β el determinante de la matriz de 3 × 3 de la sección cónica —es decir, β = ( ACB 2 / 4 ) F + BEDCD 2AE 2 / 4 ; y sea α = B 2 − 4 AC el discriminante. Entonces la sección cónica es no degenerada si y solo si β ≠ 0 . Si β = 0 tenemos un punto cuando α < 0 , dos líneas paralelas (posiblemente coincidentes) cuando α = 0 , o dos líneas que se intersecan cuando α > 0 . [ 66 ]

Lápiz de cónicas

Una cónica (no degenerada) está completamente determinada por cinco puntos en posición general (ninguno de los cuales es colineal ) en un plano, y el sistema de cónicas que pasan por un conjunto fijo de cuatro puntos (también en un plano y ninguno de los cuales es colineal) se denomina haz de cónicas . [ 67 ] Los cuatro puntos comunes se denominan puntos base del haz. Por cualquier punto que no sea un punto base, pasa una única cónica del haz. Este concepto generaliza el de haz de círculos . [ 68 ]

Intersección de dos cónicas

Las soluciones de un sistema de dos ecuaciones de segundo grado con dos variables pueden considerarse como las coordenadas de los puntos de intersección de dos secciones cónicas genéricas. En particular, dos cónicas pueden tener ninguno, dos o cuatro puntos de intersección coincidentes. Un método eficiente para localizar estas soluciones aprovecha la representación matricial homogénea de las secciones cónicas , es decir, una matriz simétrica de 3 × 3 que depende de seis parámetros.

El procedimiento para localizar los puntos de intersección sigue estos pasos, donde las cónicas están representadas por matrices: [ 69 ]

  • dadas las dos cónicasdo1{\displaystyle C_{1}}ydo2{\displaystyle C_{2}}Consideremos el haz de cónicas dado por su combinación lineal.λdo1+μdo2.{\displaystyle \lambda C_{1}+\mu C_{2}.}
  • identificar los parámetros homogéneos[λ:μ]{\displaystyle [\lambda :\mu ]} que corresponden a la cónica degenerada del haz. Esto se puede hacer imponiendo la condición de quedet(λdo1+μdo2)=0{\displaystyle \det(\lambda C_{1}+\mu C_{2})=0}y resolver paraλ{\displaystyle \lambda }yμ{\displaystyle \mu }Estas resultan ser las soluciones de una ecuación de tercer grado.
  • dada la cónica degeneradado0{\displaystyle C_{0}}, identificar las dos líneas, posiblemente coincidentes, que la constituyen.
  • Intersectar cada línea identificada con cualquiera de las dos cónicas originales.
  • Los puntos de intersección representarán las soluciones al sistema de ecuaciones inicial.

Generalizaciones

Las superficies cuádricas generalizan las secciones cónicas en el espacio tridimensional, incluyendo elipsoides, paraboloides e hiperboloides.

Las cónicas pueden definirse sobre otros cuerpos (es decir, en otras geometrías papianas ). Sin embargo, se debe tener cuidado cuando el cuerpo tiene característica 2, ya que algunas fórmulas no se pueden usar. Por ejemplo, las representaciones matriciales utilizadas anteriormente requieren la división por 2.

Una generalización de una cónica no degenerada en un plano proyectivo es un óvalo . Un óvalo es un conjunto de puntos que posee las siguientes propiedades, propias de las cónicas: 1) cualquier línea interseca un óvalo en ninguno, uno o dos puntos; 2) en cualquier punto del óvalo existe una única línea tangente.

La generalización de las propiedades de foco de las cónicas al caso en que hay más de dos focos produce conjuntos llamados cónicas generalizadas .

La intersección de un cono elíptico con una esfera es una cónica esférica , que comparte muchas propiedades con las cónicas planas.

En otras áreas de las matemáticas

La clasificación en funciones elípticas, parabólicas e hiperbólicas es común en matemáticas y a menudo divide un campo en subcampos claramente diferenciados. Esta clasificación surge principalmente debido a la presencia de una forma cuadrática (en dos variables, esto corresponde al discriminante asociado ), pero también puede corresponder a la excentricidad.

Clasificaciones de formas cuadráticas:

Formas cuadráticas
Las formas cuadráticas sobre los números reales se clasifican según la ley de inercia de Sylvester , es decir, por su índice positivo, índice cero e índice negativo: una forma cuadrática ennorte{\displaystyle n}Las variables se pueden convertir a una forma diagonal , comoincógnita12+incógnita22++incógnitak2incógnitak+12incógnitak+2,{\displaystyle x_{1}^{2}+x_{2}^{2}+\cdots +x_{k}^{2}-x_{k+1}^{2}-\cdots -x_{k+\ell }^{2},}donde el número de coeficientes +1,k,{\displaystyle k,}es el índice positivo, el número de coeficientes −1,,{\displaystyle \ell ,}es el índice negativo, y las variables restantes son el índice cero.metro,{\displaystyle m,}entoncesk++metro=norte.{\displaystyle k+\ell +m=n.}En dos variables, las formas cuadráticas no nulas se clasifican como:
  • incógnita2+y2{\displaystyle x^{2}+y^{2}}— definida positiva (también se incluye la negativa), correspondiente a elipsis,
  • incógnita2{\displaystyle x^{2}}— degeneradas, correspondientes a parábolas, y
  • incógnita2y2{\displaystyle x^{2}-y^{2}}— indefinido, correspondiente a las hipérbolas.
En dos variables, las formas cuadráticas se clasifican por discriminante, de forma análoga a las cónicas, pero en dimensiones superiores la clasificación más útil es la de definidas (todas positivas o todas negativas), degeneradas (con algunos ceros) o indefinidas (una mezcla de positivas y negativas, pero sin ceros). Esta clasificación sirve de base para muchas de las que se describen a continuación.
Curvatura
La curvatura gaussiana de una superficie describe la geometría infinitesimal, y en cada punto puede ser positiva ( geometría elíptica) , cero ( geometría euclidiana [plana, parábola]) o negativa ( geometría hiperbólica ); infinitesimalmente, hasta segundo orden la superficie se parece a la gráfica deincógnita2+y2,{\displaystyle x^{2}+y^{2},}incógnita2{\displaystyle x^{2}}(o 0), oincógnita2y2{\displaystyle x^{2}-y^{2}}De hecho, según el teorema de uniformización , toda superficie puede considerarse globalmente (en cada punto) positivamente curvada, plana o negativamente curvada. En dimensiones superiores, el tensor de curvatura de Riemann es un objeto más complejo, pero las variedades con curvatura seccional constante son objetos de estudio interesantes y poseen propiedades sorprendentemente diferentes, como se analiza en la sección sobre curvatura seccional .
Ecuaciones diferenciales parciales de segundo orden
Las ecuaciones diferenciales parciales (EDP) de segundo orden se clasifican en cada punto como elípticas, parabólicas o hiperbólicas, según corresponda a la forma cuadrática elíptica, parabólica o hiperbólica de sus términos de segundo orden. El comportamiento y la teoría de estos diferentes tipos de EDP son notablemente distintos; ejemplos representativos son que la ecuación de Poisson es elíptica, la ecuación del calor es parabólica y la ecuación de onda es hiperbólica.

Las clasificaciones de excentricidad incluyen:

transformaciones de Möbius
Las transformaciones de Möbius reales (elementos de PSL 2 ( R ) o su recubrimiento doble, SL 2 ( R ) ) se clasifican como elípticas, parabólicas o hiperbólicas según su semitraza.0|tr|/2<1,{\displaystyle 0\leq |\operatorname {tr} |/2<1,}|tr|/2=1,{\displaystyle |\operatorname {tr} |/2=1,}o|tr|/2>1,{\displaystyle |\operatorname {tr} |/2>1,}reflejando la clasificación por excentricidad.
Relación varianza-media
La relación varianza-media clasifica varias familias importantes de distribuciones de probabilidad discretas : la distribución constante como circular (excentricidad 0), las distribuciones binomiales como elípticas, las distribuciones de Poisson como parabólicas y las distribuciones binomiales negativas como hiperbólicas. Esto se explica con más detalle en el apartado de cumulantes de algunas distribuciones de probabilidad discretas .
En este SVG interactivo , desplázate hacia la izquierda y hacia la derecha sobre la imagen SVG para rotar el cono doble.

Véase también

Notas

  1. El conjunto vacío se incluye como una cónica degenerada, ya que puede surgir como solución de esta ecuación.
  2. Según Plutarco , Platón rechazó esta solución argumentando que no podía lograrse utilizando únicamente regla y compás; sin embargo, esta interpretación de la afirmación de Plutarco ha sido objeto de críticas. Boyer 2004 , p. 14, nota al pie 14.
  3. Esta forma de la ecuación no se generaliza a campos de característica dos.
  4. Consideremos cómo encontrar el punto medio de un segmento de línea con un extremo en la línea en el infinito.
  5. Coxeter y otros autores utilizan el término "autoconjugado" en lugar de "absoluto".

Referencias

  1. Eves 1963 , pág. 319 
  2. ^ Brannan, Esplen y Gray 1999 , pág. 13 
  3. Cohen, D., Precálculo: con trigonometría del círculo unitario ( Stamford : Thomson Brooks/Cole , 2006), pág. 844 .
  4. Thomas y Finney 1979 , pág. 434 
  5. ^ Brannan, Esplen y Gray 1999 , pág. 19 ; Kendig 2005 , págs.86 , 141  
  6. ^ Brannan, Esplen y Gray 1999 , págs. 13-16 
  7. ^ Brannan, Esplen y Gray 1999 , págs. 11-16 
  8. ^ Protter y Morrey 1970 , págs. 314–328, 585–589 
  9. ^ Protter y Morrey 1970 , págs . 
  10. Wilson y Tracey 1925 , pág. 130 
  11. ^ Protter y Morrey 1970 , pág. 316 
  12. ^ Brannan, Esplen y Gray 1999 , pág. 30 
  13. Fanchi, John R. (2006), Repaso de matemáticas para científicos e ingenieros , John Wiley and Sons, págs. 44–45 , ISBN  0-471-75715-2Sección 3.2 , página 45
  14. ^ Protter y Morrey 1970 , pág. 326 
  15. Wilson y Tracey 1925 , pág. 153 
  16. Pettofrezzo, Anthony, Matrices y transformaciones , Dover Publ., 1966, pág. 110.
  17. 1 2 3 Spain, B., Analytical Critics (Mineola, NY: Dover, 2007). Publicado originalmente en 1957 por Pergamon .
  18. Ayoub, Ayoub B., "La excentricidad de una sección cónica", The College Mathematics Journal 34(2), marzo de 2003, 116–121.
  19. Ayoub, AB, "Las secciones cónicas centrales revisitadas", Mathematics Magazine 66(5), 1993, 322–325.
  20. ^ Brannan, Esplen y Gray 1999 , pág. 17 
  21. Whitworth, William Allen . Coordenadas trilineales y otros métodos de geometría analítica moderna de dos dimensiones , Forgotten Books, 2012 (original de Deighton, Bell y compañía, 1866), pág. 203.
  22. Pamfilos, París (2014). "Una galería de cónicas por cinco elementos" (PDF) . Forum Geometricorum . 14 : 295–348 .
  23. ^ Brannan, Esplen y Gray 1999 , pág. 28 
  24. Downs 2003 , págs. 36 y siguientes. 
  25. Boyer 2004 , págs. 17–18 
  26. Boyer 2004 , pág. 18 
  27. Katz 1998 , pág. 117 
  28. Heath, TL, Los trece libros de los Elementos de Euclides , vol. I, Dover, 1956, pág. 16
  29. Eves 1963 , pág. 28 
  30. Apolonio de Perga, Tratado sobre secciones cónicas , editado por TL Heath (Cambridge: Cambridge University Press, 2013).
  31. Eves 1963 , pág. 30 . 
  32. Boyer 2004 , pág. 36 . 
  33. Turner, Howard R. (1997). La ciencia en el islam medieval: una introducción ilustrada . University of Texas Press . pág. 53. ISBN  0-292-78149-0.
  34. Boyer, CB , & Merzbach, UC , A History of Mathematics ( Hoboken : John Wiley & Sons, Inc. , 1968), p. 219 .
  35. Van der Waerden, BL , Geometría y álgebra en civilizaciones antiguas ( Berlín / Heidelberg : Springer Verlag , 1983), p. 73 .
  36. Sidoli, Nathan; Brummelen, Glen Van (30 de octubre de 2013). De Alejandría a Bagdad: Estudios y análisis de las ciencias matemáticas de la antigua Grecia y la Edad Media islámica en honor a J. L. Berggren . Springer Science & Business Media. pág. 110. ISBN  978-3-642-36736-6.
  37. Waerden, Bartel L. van der (29 de junio de 2013). Historia del álgebra: De al-Khwārizmī a Emmy Noether . Springer Science & Business Media. pág. 29. ISBN  978-3-642-51599-6.
  38. Stillwell, John ( 2010). Matemáticas y su historia (3.ª ed.). Nueva York: Springer. p. 30. ISBN   978-1-4419-6052-8.
  39. "Apolonio de Perga, Cónicas, Libros Uno al Siete" (PDF) . Archivado del original (PDF) el 17 de mayo de 2013. Consultado el 10 de junio de 2011 .
  40. Katz 1998 , pág. 126 . 
  41. Boyer 2004 , pág. 110 . 
  42. 1 2 Boyer 2004 , pág. 114 . 
  43. ^ Brannan, Esplen y Gray 1999 , pág. 27 
  44. Artzy 2008 , pág. 158, Teorema 3-5.1
  45. Artzy 2008 , pág. 159
  46. Faulkner 1952 , pág. 71 
  47. Faulkner 1952 , pág. 72 
  48. Eves 1963 , pág. 320 
  49. Coxeter 1993 , pág. 80
  50. Hartmann , pág. 38
  51. Merserve 1983 , pág. 65
  52. Vorlesungen über synthetische Geometrie de Jacob Steiner , BG Teubner, Leipzig 1867 (de Google Books: (alemán) La parte II sigue a la parte I ) Parte II, pág. 96
  53. Hartmann , pág. 19
  54. Faulkner 1952 , págs. 48–49 . 
  55. Coxeter 1964 , pág. 60 
  56. Coxeter 1964 , pág. 80 
  57. Faulkner 1952 , págs. 52–53 
  58. Downs 2003 , pág. 5 
  59. Downs 2003 , pág. 14 
  60. Downs 2003 , pág. 19 
  61. Akopyan y Zaslavsky 2007 , pág. 70 
  62. Wilczynski, EJ (1916), "Algunas observaciones sobre el desarrollo histórico y las perspectivas futuras de la geometría diferencial de curvas planas", Bull. Amer. Math. Soc. , 22 (7): 317– 329, doi : 10.1090/s0002-9904-1916-02785-6.
  63. ^ Brannan, Esplen y Gray 1999 , pág. 6 
  64. Korn, GA, & Korn, TM , Manual matemático para científicos e ingenieros: definiciones, teoremas y fórmulas para referencia y revisión ( Mineola, NY : Dover Publications , 1961), pág. 42 .
  65. "MathWorld: Sección cilíndrica" .
  66. Lawrence, J. Dennis (1972), A Catalog of Special Plane Curves , Dover, p. 63 , ISBN  0-486-60288-5
  67. Faulkner 1952 , pág. 64 .
  68. Berger, M. , Geometry Revealed: A Jacob's Ladder to Modern Higher Geometry (Berlín/Heidelberg: Springer, 2010), pág. 127 .
  69. Richter-Gebert 2011 , p. 196 

Bibliografía

  • Akopyan, AV; Zaslavsky, AA (2007). Geometría de las cónicas . Sociedad Matemática Americana . ISBN 978-0-8218-4323-9.
  • Artzy, Rafael (2008) [1965], Geometría lineal , Dover, ISBN 978-0-486-46627-9
  • Boyer, Carl B. (2004) [1956], Historia de la geometría analítica , Dover, ISBN 978-0-486-43832-0
  • Brannan, David A.; Esplen, Matthew F.; Gray, Jeremy J. (1999), Geometría , Cambridge University Press, ISBN 978-0-521-59787-6
  • Coxeter, HSM (1964), Geometría proyectiva , Blaisdell, ISBN 9780387406237{{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  • Coxeter, HSM (1993), El plano proyectivo real , Springer Science & Business Media
  • Downs, JW (2003) [1993], Secciones cónicas prácticas: Las propiedades geométricas de las elipses, parábolas e hipérbolas , Dover, ISBN 0-486-42876-1
  • Eves, Howard (1963), Un estudio de la geometría (Volumen uno) , Boston: Allyn and Bacon
  • Faulkner, TE (1952), Geometría proyectiva (2.ª  ed.), Edimburgo: Oliver and Boyd, ISBN 9780486154893{{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  • Glaeser, Georg ; Stachel, Hellmuth; Odehnal, Boris (2016), El universo de las cónicas: desde los antiguos griegos hasta los desarrollos del siglo XXI , Berlín: Springer
  • Hartmann, Erich, Geometrías circulares planas, una introducción a los planos de Moebius, Laguerre y Minkowski (PDF) , consultado el 20 de septiembre de 2014.(PDF; 891  kB).
  • Katz, Victor J. (1998), Historia de las matemáticas / Una introducción (2.ª  ed.), Addison Wesley Longman, ISBN 978-0-321-01618-8
  • Kendig, Keith (2005), Cónicas , The Mathematical Association of America , ISBN 978-0-88385-335-1
  • Merserve, Bruce E. (1983) [1959], Conceptos fundamentales de geometría , Dover, ISBN 0-486-63415-9
  • Protter, Murray H.; Morrey, Charles B. Jr. (1970), Cálculo universitario con geometría analítica (2.ª  ed.), Reading: Addison-Wesley , LCCN 76087042 
  • Richter-Gebert, Jürgen (2011). Perspectivas sobre geometría proyectiva: Un recorrido guiado por la geometría real y compleja . Springer. ISBN 9783642172854.
  • Samuel, Pierre (1988), Geometría proyectiva , Textos de pregrado en matemáticas (Lecturas en matemáticas), Nueva York: Springer-Verlag, ISBN 0-387-96752-4
  • Thomas, George B.; Finney, Ross L. (1979), Cálculo y geometría analítica (quinta  ed.), Addison-Wesley, pág.  434, ISBN 0-201-07540-7
  • Wilson, WA; Tracey, JI (1925), Geometría analítica (  Edición revisada), DC Heath and Company