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

Page semi-protected

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.
2D side view of cone being sectioned by planes at three different angles. The ellipse converges on the opposite side and so closes around the cone to form a closed profile. The hyperbola is parallel with the opposite side of the cone and so it never closes around it and the open ends extend to infinity. The hyperbola diverges from the opposite side. so it looks like the parabola but also has another part where it intersects with a mirror image of the cone
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 prueba 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 está determinada 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) uniquely determine the conic. If another diameter (and its conjugate diameter) are used instead of the major and minor axes of the ellipse, a parallelogram that is not a rectangle is used in the construction, giving the name of the method. The association of lines of the pencils can be extended to obtain other points on the ellipse. The constructions for hyperbolas[59] and parabolas[60] are similar.

Yet another general method uses the polarity property to construct the tangent envelope of a conic (a line conic).[61]

In the complex geometry

In the complex coordinate planeC2, ellipses and hyperbolas are not distinct: one may consider a hyperbola as an ellipse with an imaginary axis length. For example, the ellipse x2+y2=1{\displaystyle x^{2}+y^{2}=1} becomes a hyperbola under the substitution y=iw,{\displaystyle y=iw,} geometrically a complex rotation, yielding x2w2=1{\displaystyle x^{2}-w^{2}=1}. Thus there is a 2-way classification: ellipse/hyperbola and parabola. Extending the curves to the complex projective plane, this corresponds to intersecting the line at infinity in either 2 distinct points (corresponding to two asymptotes) or in 1 double point (corresponding to the axis of a parabola); thus the real hyperbola is a more suggestive real image for the complex ellipse/hyperbola, as it also has 2 (real) intersections with the line at infinity.

Further unification occurs in the complex projective planeCP2: the non-degenerate conics cannot be distinguished from one another, since any can be taken to any other by a projective linear transformation.

It can be proven that in CP2, two conic sections have four points in common (if one accounts for multiplicity), so there are between 1 and 4 intersection points. The intersection possibilities are: four distinct points, two singular points and one double point, two double points, one singular point and one with multiplicity 3, one point with multiplicity 4. If any intersection point has multiplicity > 1, the two curves are said to be tangent. If there is an intersection point of multiplicity at least 3, the two curves are said to be osculating. If there is only one intersection point, which has multiplicity 4, the two curves are said to be superosculating.[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 .

The intersection of an elliptic cone with a sphere is a spherical conic, which shares many properties with planar conics.

In other areas of mathematics

The classification into elliptic, parabolic, and hyperbolic is pervasive in mathematics, and often divides a field into sharply distinct subfields. The classification mostly arises due to the presence of a quadratic form (in two variables this corresponds to the associated discriminant), but can also correspond to eccentricity.

Quadratic form classifications:

Quadratic forms
Quadratic forms over the reals are classified by Sylvester's law of inertia, namely by their positive index, zero index, and negative index: a quadratic form in n{\displaystyle n} variables can be converted to a diagonal form, as x12+x22++xk2xk+12xk+2,{\displaystyle x_{1}^{2}+x_{2}^{2}+\cdots +x_{k}^{2}-x_{k+1}^{2}-\cdots -x_{k+\ell }^{2},} where the number of +1 coefficients, k,{\displaystyle k,} is the positive index, the number of −1 coefficients, ,{\displaystyle \ell ,} is the negative index, and the remaining variables are the zero index m,{\displaystyle m,} so k++m=n.{\displaystyle k+\ell +m=n.} In two variables the non-zero quadratic forms are classified as:
  • x2+y2{\displaystyle x^{2}+y^{2}} — positive-definite (the negative is also included), corresponding to ellipses,
  • x2{\displaystyle x^{2}} — degenerate, corresponding to parabolas, and
  • x2y2{\displaystyle x^{2}-y^{2}} — indefinite, corresponding to hyperbolas.
In two variables quadratic forms are classified by discriminant, analogously to conics, but in higher dimensions the more useful classification is as definite, (all positive or all negative), degenerate, (some zeros), or indefinite (mix of positive and negative but no zeros). This classification underlies many that follow.
Curvature
The Gaussian curvature of a surface describes the infinitesimal geometry, and may at each point be either positive – elliptic geometry, zero – Euclidean geometry (flat, parabola), or negative – hyperbolic geometry; infinitesimally, to second order the surface looks like the graph of x2+y2,{\displaystyle x^{2}+y^{2},}x2{\displaystyle x^{2}} (or 0), or x2y2{\displaystyle x^{2}-y^{2}}. Indeed, by the uniformization theorem every surface can be taken to be globally (at every point) positively curved, flat, or negatively curved. In higher dimensions the Riemann curvature tensor is a more complicated object, but manifolds with constant sectional curvature are interesting objects of study, and have strikingly different properties, as discussed at sectional curvature.
Second order PDEs
Partial differential equations (PDEs) of second order are classified at each point as elliptic, parabolic, or hyperbolic, accordingly as their second order terms correspond to an elliptic, parabolic, or hyperbolic quadratic form. The behavior and theory of these different types of PDEs are strikingly different – representative examples is that the Poisson equation is elliptic, the heat equation is parabolic, and the wave equation is hyperbolic.

Eccentricity classifications include:

Möbius transformations
Real Möbius transformations (elements of PSL2(R) or its 2-fold cover, SL2(R)) are classified as elliptic, parabolic, or hyperbolic accordingly as their half-trace is 0|tr|/2<1,{\displaystyle 0\leq |\operatorname {tr} |/2<1,}|tr|/2=1,{\displaystyle |\operatorname {tr} |/2=1,} or |tr|/2>1,{\displaystyle |\operatorname {tr} |/2>1,} mirroring the classification by eccentricity.
Variance-to-mean ratio
The variance-to-mean ratio classifies several important families of discrete probability distributions: the constant distribution as circular (eccentricity 0), binomial distributions as elliptical, Poisson distributions as parabolic, and negative binomial distributions as hyperbolic. This is elaborated at cumulants of some discrete probability distributions.
In this interactive SVG, move left and right over the SVG image to rotate the double cone

See also

Notes

  1. The empty set is included as a degenerate conic, since it may arise as a solution of this equation.
  2. According to Plutarch, this solution was rejected by Plato on the grounds that it could not be achieved using only straightedge and compass, however this interpretation of Plutarch's statement has come under criticism. Boyer 2004, p.14, footnote 14.
  3. This form of the equation does not generalize to fields of characteristic two.
  4. Consider finding the midpoint of a line segment with one endpoint on the line at infinity.
  5. Coxeter and several other authors use the term 'self-conjugate' instead of 'absolute'.

References

  1. Eves 1963, p. 319
  2. Brannan, Esplen & Gray 1999, p. 13
  3. Cohen, D., Precalculus: With Unit Circle Trigonometry (Stamford: Thomson Brooks/Cole, 2006), p. 844.
  4. Thomas & Finney 1979, p. 434
  5. Brannan, Esplen & Gray 1999, p. 19; Kendig 2005, pp. 86, 141
  6. Brannan, Esplen & Gray 1999, pp. 13–16
  7. Brannan, Esplen & Gray 1999, pp. 11–16
  8. Protter & Morrey 1970, pp. 314–328, 585–589
  9. Protter & Morrey 1970, pp. 290–314
  10. Wilson & Tracey 1925, p. 130
  11. Protter & Morrey 1970, p. 316
  12. Brannan, Esplen & Gray 1999, p. 30
  13. Fanchi, John R. (2006), Math refresher for scientists and engineers, John Wiley and Sons, pp. 44–45, ISBN 0-471-75715-2, Section 3.2, page 45
  14. 12Protter & Morrey 1970, p. 326
  15. Wilson & Tracey 1925, p. 153
  16. Pettofrezzo, Anthony, Matrices and Transformations, Dover Publ., 1966, p. 110.
  17. 123Spain, B., Analytical Conics (Mineola, NY: Dover, 2007). Originally published in 1957 by Pergamon.
  18. Ayoub, Ayoub B., "The eccentricity of a conic section", The College Mathematics Journal 34(2), March 2003, 116–121.
  19. Ayoub, A. B., "The central conic sections revisited", Mathematics Magazine 66(5), 1993, 322–325.
  20. Brannan, Esplen & Gray 1999, p. 17
  21. Whitworth, William Allen. Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions, Forgotten Books, 2012 (orig. Deighton, Bell, and Co., 1866), p. 203.
  22. Pamfilos, Paris (2014). "A gallery of conics by five elements"(PDF). Forum Geometricorum. 14: 295–348.
  23. Brannan, Esplen & Gray 1999, p. 28
  24. Downs 2003, pp. 36ff.
  25. Boyer 2004, pp. 17–18
  26. Boyer 2004, p. 18
  27. Katz 1998, p. 117
  28. Heath, T.L., The Thirteen Books of Euclid's Elements, Vol. I, Dover, 1956, pg.16
  29. Eves 1963, p. 28
  30. Apollonius of Perga, Treatise on Conic Sections, edited by T. L. Heath (Cambridge: Cambridge University Press, 2013).
  31. Eves 1963, p. 30.
  32. Boyer 2004, p. 36.
  33. Turner, Howard R. (1997). Science in Medieval Islam: An Illustrated Introduction. University of Texas Press. p. 53. ISBN 0-292-78149-0.
  34. Boyer, C. B., & Merzbach, U. C., A History of Mathematics (Hoboken: John Wiley & Sons, Inc., 1968), p. 219.
  35. Van der Waerden, B. L., Geometry and Algebra in Ancient Civilizations (Berlin/Heidelberg: Springer Verlag, 1983), p. 73.
  36. Sidoli, Nathan; Brummelen, Glen Van (2013-10-30). From Alexandria, Through Baghdad: Surveys and Studies in the Ancient Greek and Medieval Islamic Mathematical Sciences in Honor of J.L. Berggren. Springer Science & Business Media. p. 110. ISBN 978-3-642-36736-6.
  37. Waerden, Bartel L. van der (2013-06-29). A History of Algebra: From al-Khwārizmī to Emmy Noether. Springer Science & Business Media. p. 29. ISBN 978-3-642-51599-6.
  38. Stillwell, John (2010). Mathematics and its history (3rd ed.). New York: Springer. p. 30. ISBN 978-1-4419-6052-8.
  39. "Apollonius of Perga Conics Books One to Seven"(PDF). Archived from the original(PDF) on 17 May 2013. Retrieved 10 June 2011.
  40. Katz 1998, p. 126.
  41. Boyer 2004, p. 110.
  42. 12Boyer 2004, p. 114.
  43. Brannan, Esplen & Gray 1999, p. 27
  44. Artzy 2008, p. 158, Thm 3-5.1
  45. Artzy 2008, p. 159
  46. Faulkner 1952, p. 71
  47. Faulkner 1952, p. 72
  48. Eves 1963, p. 320
  49. Coxeter 1993, p. 80
  50. Hartmann, p. 38
  51. Merserve 1983, p. 65
  52. Jacob Steiner's Vorlesungen über synthetische Geometrie, B. G. Teubner, Leipzig 1867 (from Google Books: (German) Part II follows Part I) Part II, pg. 96
  53. Hartmann, p. 19
  54. Faulkner 1952, pp. 48–49.
  55. Coxeter 1964, p. 60
  56. Coxeter 1964, p. 80
  57. Faulkner 1952, pp. 52–53
  58. Downs 2003, p. 5
  59. Downs 2003, p. 14
  60. Downs 2003, p. 19
  61. Akopyan & Zaslavsky 2007, p. 70
  62. Wilczynski, E. J. (1916), "Some remarks on the historical development and the future prospects of the differential geometry of plane curves", Bull. Amer. Math. Soc., 22 (7): 317–329, doi:10.1090/s0002-9904-1916-02785-6.
  63. Brannan, Esplen & Gray 1999, p. 6
  64. Korn, G. A., & Korn, T. M., Mathematical Handbook for Scientists and Engineers: Definitions, Theorems, and Formulas for Reference and Review (Mineola, NY: Dover Publications, 1961), p. 42.
  65. "MathWorld: Cylindric section".
  66. Lawrence, J. Dennis (1972), A Catalog of Special Plane Curves, Dover, p. 63, ISBN 0-486-60288-5
  67. Faulkner 1952, pg. 64.
  68. Berger, M., Geometry Revealed: A Jacob's Ladder to Modern Higher Geometry (Berlin/Heidelberg: Springer, 2010), p. 127.
  69. Richter-Gebert 2011, p. 196

Bibliography

  • Akopyan, A.V.; Zaslavsky, A.A. (2007). Geometry of Conics. American Mathematical Society. ISBN 978-0-8218-4323-9.
  • Artzy, Rafael (2008) [1965], Linear Geometry, Dover, ISBN 978-0-486-46627-9
  • Boyer, Carl B. (2004) [1956], History of Analytic Geometry, Dover, ISBN 978-0-486-43832-0
  • Brannan, David A.; Esplen, Matthew F.; Gray, Jeremy J. (1999), Geometry, Cambridge University Press, ISBN 978-0-521-59787-6
  • Coxeter, H.S.M. (1964), Projective Geometry, Blaisdell, ISBN 9780387406237{{citation}}: ISBN / Date incompatibility (help)
  • Coxeter, H.S.M. (1993), The Real Projective Plane, Springer Science & Business Media
  • Downs, J.W. (2003) [1993], Practical Conic Sections: The geometric properties of ellipses, parabolas and hyperbolas, Dover, ISBN 0-486-42876-1
  • Eves, Howard (1963), A Survey of Geometry (Volume One), Boston: Allyn and Bacon
  • Faulkner, T. E. (1952), Projective Geometry (2nd ed.), Edinburgh: Oliver and Boyd, ISBN 9780486154893{{citation}}: ISBN / Date incompatibility (help)
  • Glaeser, Georg; Stachel, Hellmuth; Odehnal, Boris (2016), The Universe of Conics: From the ancient Greeks to 21st century developments, Berlin: Springer
  • Hartmann, Erich, Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski Planes(PDF), retrieved 20 September 2014 (PDF; 891 kB).
  • Katz, Victor J. (1998), A History of Mathematics / An Introduction (2nd ed.), Addison Wesley Longman, ISBN 978-0-321-01618-8
  • Kendig, Keith (2005), Conics, The Mathematical Association of America, ISBN 978-0-88385-335-1
  • Merserve, Bruce E. (1983) [1959], Fundamental Concepts of Geometry, Dover, ISBN 0-486-63415-9
  • Protter, Murray H.; Morrey, Charles B. Jr. (1970), College Calculus with Analytic Geometry (2nd ed.), Reading: Addison-Wesley, LCCN 76087042
  • Richter-Gebert, Jürgen (2011). Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry. Springer. ISBN 9783642172854.
  • Samuel, Pierre (1988), Projective Geometry, Undergraduate Texts in Mathematics (Readings in Mathematics), New York: Springer-Verlag, ISBN 0-387-96752-4
  • Thomas, George B.; Finney, Ross L. (1979), Calculus and Analytic Geometry (fifth ed.), Addison-Wesley, p. 434, ISBN 0-201-07540-7
  • Wilson, W.A.; Tracey, J.I. (1925), Analytic Geometry (Revised ed.), D.C. Heath and Company