


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

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

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 esy el ángulo entre el plano de corte y el eje esLa excentricidad es[ 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

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 ]
Para cónicas en posición estándar, estos parámetros tienen los siguientes valores, tomando.
Formas estándar en coordenadas cartesianas



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 2 − b 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:
- Elipse:
- Parábola:
- Hipérbola:
- Hipérbola rectangular: [ 10 ]
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 :
- Elipse :
- Parábola :
- Hipérbola :
- ,
- Hipérbola rectangular :
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 ].
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 ].
La ecuación general también se puede escribir como
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 valor, llamado discriminante de la ecuación. [ 13 ] Por lo tanto, el discriminante es − 4Δ donde Δ es el determinante de la matriz
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 ;
- Si A + C = 0 , la ecuación representa una hipérbola rectangular .
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
The discriminant B2 – 4AC of the conic section's quadratic equation (or equivalently the determinantAC – B2/4 of the 2 × 2 matrix) and the quantity A + C (the trace of the 2 × 2 matrix) are invariant under arbitrary rotations and translations of the coordinate axes,[14][15][16] as is the determinant of the 3 × 3 matrix above.[17]:pp. 60–62 The constant term F and the sum D2 + E2 are invariant under rotation only.[17]:pp. 60–62
Eccentricity in terms of coefficients
When the conic section is written algebraically as
the eccentricity can be written as a function of the coefficients of the quadratic equation.[18] If 4AC = B2 the conic is a parabola and its eccentricity equals 1 (provided it is non-degenerate). Otherwise, assuming the equation represents either a non-degenerate hyperbola or ellipse, the eccentricity is given by
where η = 1 if the determinant of the 3 × 3 matrix above is negative and η = −1 if that determinant is positive.
It can also be shown[17]:p. 89 that the eccentricity is a positive solution of the equation
where again This has precisely one positive solution—the eccentricity— in the case of a parabola or ellipse, while in the case of a hyperbola it has two positive solutions, one of which is the eccentricity.
Conversion to canonical form
In the case of an ellipse or hyperbola, the equation
can be converted to canonical form in transformed variables as[19]
or equivalently
where and are the eigenvalues of the matrix — that is, the solutions of the equation
— and is the determinant of the 3 × 3 matrix above, and is again the determinant of the 2 × 2 matrix. In the case of an ellipse the squares of the two semi-axes are given by the denominators in the canonical form.
Polar coordinates

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
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).
All the conic sections share a reflection property that can be stated as: All mirrors in the shape of a non-degenerate conic section reflect light coming from or going toward one focus toward or away from the other focus. In the case of the parabola, the second focus needs to be thought of as infinitely far away, so that the light rays going toward or coming from the second focus are parallel.[23][24]
Pascal's theorem concerns the collinearity of three points that are constructed from a set of six points on any non-degenerate conic. The theorem also holds for degenerate conics consisting of two lines, but in that case it is known as Pappus's theorem.
Non-degenerate conic sections are always "smooth". This is important for many applications, such as aerodynamics, where a smooth surface is required to ensure laminar flow and to prevent turbulence.
History
Menaechmus and early works
It is believed that the first definition of a conic section was given by Menaechmus (died 320 BC) as part of his solution of the Delian problem (Duplicating the cube).[b][25] His work did not survive, not even the names he used for these curves, and is only known through secondary accounts.[26] The definition used at that time differs from the one commonly used today. Cones were constructed by rotating a right triangle about one of its legs so the hypotenuse generates the surface of the cone (such a line is called a generatrix). Three types of cones were determined by their vertex angles (measured by twice the angle formed by the hypotenuse and the leg being rotated about in the right triangle). The conic section was then determined by intersecting one of these cones with a plane drawn perpendicular to a generatrix. The type of the conic is determined by the type of cone, that is, by the angle formed at the vertex of the cone: If the angle is acute then the conic is an ellipse; if the angle is right then the conic is a parabola; and if the angle is obtuse then the conic is a hyperbola (but only one branch of the curve).[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

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

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 R² 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:
O en notación matricial
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
(o alguna variación de esto) de modo que la matriz de la sección cónica tenga la forma más simple,
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.
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

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ápicesde líneas en dos puntos(todas las líneas que contieneny respectivamente) y un mapeo proyectivo pero no de perspectivadesobre. 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 perspectivade un lápizsobre un lápizes una biyección (correspondencia uno a uno) tal que las líneas correspondientes se intersecan en una línea fija., que se denomina eje de la perspectiva.
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 puntosSolo 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.

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 i ∩ DD i para 1 ≤ i ≤ n 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 becomes a hyperbola under the substitution geometrically a complex rotation, yielding . 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óno a una elipse imaginaria , como con la ecuaciónUna 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, β = ( AC − B 2 / 4 ) F + BED − CD 2 − AE 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
A (non-degenerate) conic is completely determined by five points in general position (no three collinear) in a plane and the system of conics which pass through a fixed set of four points (again in a plane and no three collinear) is called a pencil of conics.[67] The four common points are called the base points of the pencil. Through any point other than a base point, there passes a single conic of the pencil. This concept generalizes a pencil of circles.[68]
Intersecting two conics
The solutions to a system of two second degree equations in two variables may be viewed as the coordinates of the points of intersection of two generic conic sections. In particular two conics may possess none, two or four possibly coincident intersection points. An efficient method of locating these solutions exploits the homogeneous matrix representation of conic sections, i.e. a 3 × 3 symmetric matrix which depends on six parameters.
The procedure to locate the intersection points follows these steps, where the conics are represented by matrices:[69]
- given the two conics and , consider the pencil of conics given by their linear combination
- identify the homogeneous parameters :\mu ]} which correspond to the degenerate conic of the pencil. This can be done by imposing the condition that and solving for and . These turn out to be the solutions of a third degree equation.
- given the degenerate conic , identify the two, possibly coincident, lines constituting it.
- intersect each identified line with either one of the two original conics.
- the points of intersection will represent the solutions to the initial equation system.
Generalizations
Quadric surfaces generalize conic sections in three-dimensional space, including ellipsoids, paraboloids, and hyperboloids.
Conics may be defined over other fields (that is, in other pappian geometries). However, some care must be used when the field has characteristic 2, as some formulas can not be used. For example, the matrix representations used above require division by 2.
A generalization of a non-degenerate conic in a projective plane is an oval. An oval is a point set that has the following properties, which are held by conics: 1) any line intersects an oval in none, one or two points, 2) at any point of the oval there exists a unique tangent line.
Generalizing the focus properties of conics to the case where there are more than two foci produces sets called generalized conics.
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 enLas variables se pueden convertir a una forma diagonal , comodonde el número de coeficientes +1,es el índice positivo, el número de coeficientes −1,es el índice negativo, y las variables restantes son el índice cero.entoncesEn dos variables, las formas cuadráticas no nulas se clasifican como:
- — definida positiva (también se incluye la negativa), correspondiente a elipsis,
- — degeneradas, correspondientes a parábolas, y
- — 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 de(o 0), oDe 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.oreflejando 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 .

Véase también
Notas
- ↑ El conjunto vacío se incluye como una cónica degenerada, ya que puede surgir como solución de esta ecuación.
- ↑ 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.
- ↑ Esta forma de la ecuación no se generaliza a campos de característica dos.
- ↑ Consideremos cómo encontrar el punto medio de un segmento de línea con un extremo en la línea en el infinito.
- ↑ Coxeter y otros autores utilizan el término "autoconjugado" en lugar de "absoluto".
Referencias
- ↑ Eves 1963 , pág. 319
- ^ Brannan, Esplen y Gray 1999 , pág. 13
- ↑ Cohen, D., Precálculo: con trigonometría del círculo unitario ( Stamford : Thomson Brooks/Cole , 2006), pág. 844 .
- ↑ Thomas y Finney 1979 , pág. 434
- ^ Brannan, Esplen y Gray 1999 , pág. 19 ; Kendig 2005 , págs.86 , 141
- ^ Brannan, Esplen y Gray 1999 , págs. 13-16
- ^ Brannan, Esplen y Gray 1999 , págs. 11-16
- ^ Protter y Morrey 1970 , págs. 314–328, 585–589
- ^ Protter y Morrey 1970 , págs .
- ↑ Wilson y Tracey 1925 , pág. 130
- ^ Protter y Morrey 1970 , pág. 316
- ^ Brannan, Esplen y Gray 1999 , pág. 30
- ↑ 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
- ^ Protter y Morrey 1970 , pág. 326
- ↑ Wilson y Tracey 1925 , pág. 153
- ↑ Pettofrezzo, Anthony, Matrices y transformaciones , Dover Publ., 1966, pág. 110.
- 1 2 3 Spain, B., Analytical Critics (Mineola, NY: Dover, 2007). Publicado originalmente en 1957 por Pergamon .
- ↑ Ayoub, Ayoub B., "La excentricidad de una sección cónica", The College Mathematics Journal 34(2), marzo de 2003, 116–121.
- ↑ Ayoub, AB, "Las secciones cónicas centrales revisitadas", Mathematics Magazine 66(5), 1993, 322–325.
- ^ Brannan, Esplen y Gray 1999 , pág. 17
- ↑ 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.
- ↑ Pamfilos, París (2014). "Una galería de cónicas por cinco elementos" (PDF) . Forum Geometricorum . 14 : 295–348 .
- ^ Brannan, Esplen y Gray 1999 , pág. 28
- ↑Downs 2003, pp. 36ff.
- ↑Boyer 2004, pp. 17–18
- ↑Boyer 2004, p. 18
- ↑Katz 1998, p. 117
- ↑Heath, T.L., The Thirteen Books of Euclid's Elements, Vol. I, Dover, 1956, pg.16
- ↑Eves 1963, p. 28
- ↑Apollonius of Perga, Treatise on Conic Sections, edited by T. L. Heath (Cambridge: Cambridge University Press, 2013).
- ↑Eves 1963, p. 30.
- ↑Boyer 2004, p. 36.
- ↑Turner, Howard R. (1997). Science in Medieval Islam: An Illustrated Introduction. University of Texas Press. p. 53. ISBN 0-292-78149-0.
- ↑Boyer, C. B., & Merzbach, U. C., A History of Mathematics (Hoboken: John Wiley & Sons, Inc., 1968), p. 219.
- ↑Van der Waerden, B. L., Geometry and Algebra in Ancient Civilizations (Berlin/Heidelberg: Springer Verlag, 1983), p. 73.
- ↑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.
- ↑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.
- ↑Stillwell, John (2010). Mathematics and its history (3rd ed.). New York: Springer. p. 30. ISBN 978-1-4419-6052-8.
- ↑"Apollonius of Perga Conics Books One to Seven"(PDF). Archived from the original(PDF) on 17 May 2013. Retrieved 10 June 2011.
- ↑Katz 1998, p. 126.
- ↑Boyer 2004, p. 110.
- 12Boyer 2004, p. 114.
- ↑Brannan, Esplen & Gray 1999, p. 27
- ↑Artzy 2008, p. 158, Thm 3-5.1
- ↑Artzy 2008, p. 159
- ↑ Faulkner 1952 , pág. 71
- ↑ Faulkner 1952 , pág. 72
- ↑ Eves 1963 , pág. 320
- ↑ Coxeter 1993 , pág. 80
- ↑ Hartmann , pág. 38
- ↑ Merserve 1983 , pág. 65
- ↑ 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
- ↑ Hartmann , pág. 19
- ↑ Faulkner 1952 , págs. 48–49 .
- ↑ Coxeter 1964 , pág. 60
- ↑ Coxeter 1964 , pág. 80
- ↑ Faulkner 1952 , págs. 52–53
- ↑ Downs 2003 , pág. 5
- ↑ Downs 2003 , pág. 14
- ↑ Downs 2003 , pág. 19
- ↑ Akopyan y Zaslavsky 2007 , pág. 70
- ↑ 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.
- ^ Brannan, Esplen y Gray 1999 , pág. 6
- ↑ 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 .
- ↑ "MathWorld: Sección cilíndrica" .
- ↑ Lawrence, J. Dennis (1972), A Catalog of Special Plane Curves , Dover, p. 63 , ISBN 0-486-60288-5
- ↑ Faulkner 1952 , pág. 64 .
- ↑ Berger, M. , Geometry Revealed: A Jacob's Ladder to Modern Higher Geometry (Berlín/Heidelberg: Springer, 2010), pág. 127 .
- ↑ 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), 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
External links
- Weisstein, Eric W."Conic Section". MathWorld.
- Occurrence of the conics. Conics in nature and elsewhere.
- Conic sections
- Euclidean solid geometry
- Algebraic curves
- Birational geometry
- Analytic geometry
- Ancient Greek mathematics