En geometría algebraica , una curva plana cuártica es una curva algebraica plana de cuarto grado . Se puede definir mediante una ecuación cuártica bivariada :
con al menos uno de A, B, C, D, E distinto de cero. Esta ecuación tiene 15 constantes. Sin embargo, se puede multiplicar por cualquier constante distinta de cero sin cambiar la curva; por lo tanto, mediante la elección de una constante de multiplicación apropiada, cualquiera de los coeficientes puede establecerse en 1, dejando solo 14 constantes. Por consiguiente, el espacio de curvas cuárticas se puede identificar con el espacio proyectivo real .También se deduce, del teorema de Cramer sobre curvas algebraicas , que hay exactamente una curva cuártica que pasa por un conjunto de 14 puntos distintos en posición general , ya que una curva cuártica tiene 14 grados de libertad .
Una curva cuártica puede tener un máximo de:
- Cuatro componentes conectados
- Veintiocho bitangentes
- Tres puntos dobles ordinarios .
También se pueden considerar curvas cuárticas sobre otros campos (o incluso anillos ), por ejemplo los números complejos . De esta manera, se obtienen superficies de Riemann , que son objetos unidimensionales sobre pero son bidimensionales sobreUn ejemplo es la cuártica de Klein . Además, se pueden analizar curvas en el plano proyectivo , dadas por polinomios homogéneos.
Ejemplos
Las distintas combinaciones de coeficientes en la ecuación anterior dan lugar a diversas familias importantes de curvas, como se indica a continuación.
Curva de ampersand
Curva de frijol
Curva bicúspide
Curva de arco
Curva cruciforme con parámetros (b,a) siendo (1,1) en rojo; (2,2) en verde; (3,3) en azul.
Curva cruciforme con parámetros (b,a) siendo (1,1) en rojo; (2,1) en verde; (3,1) en azul.

Trébol de tres hojas en coordenadas polares
Curva de ampersand
La curva del signo & es una curva plana cuártica dada por la ecuación:
Tiene género cero, con tres puntos dobles ordinarios, todos en el plano real. [ 1 ]
Curva de frijol
La curva de frijol es una curva plana cuártica con la ecuación:
La curva de frijol tiene género cero. Tiene una singularidad en el origen, un punto triple ordinario. [ 2 ] [ 3 ]
Curva bicúspide
La bicúspide es una curva plana cuártica con la ecuación
donde a determina el tamaño de la curva. La bicúspide tiene solo las dos cúspides como singularidades y, por lo tanto, es una curva de género uno. [ 4 ]
Curva de arco
La curva de arco es una curva plana cuártica con la ecuación:
La curva de arco tiene un único punto triple en x = 0, y = 0 y, por consiguiente, es una curva racional, con género cero. [ 5 ]
Curva cruciforme
La curva cruciforme , o curva en cruz , es una curva plana cuártica dada por la ecuación
donde a y b son dos parámetros que determinan la forma de la curva. La curva cruciforme está relacionada mediante una transformación cuadrática estándar, x ↦ 1/ x , y ↦ 1/ y a la elipse a 2 x 2 + b 2 y 2 = 1, y por lo tanto es una curva algebraica plana racional de género cero. La curva cruciforme tiene tres puntos dobles en el plano proyectivo real , en x =0 e y =0, x =0 y z =0, e y =0 y z =0. [ 6 ]
Debido a que la curva es racional, puede parametrizarse mediante funciones racionales. Por ejemplo, si a = 1 y b = 2, entonces
Parametriza los puntos de la curva fuera de los casos excepcionales en los que un denominador es cero.

El teorema inverso de Pitágoras se obtiene a partir de la ecuación anterior sustituyendo x por AC , y por BC , y cada a y b por CD , donde A , B son los extremos de la hipotenusa de un triángulo rectángulo ABC , y D es el pie de una perpendicular trazada desde C , el vértice del ángulo recto, a la hipotenusa:
Sección espiral
Las secciones espiricas se definen como curvas cuárticas bicirculares simétricas respecto a los ejes x e y . Pertenecen a la familia de las secciones tóricas e incluyen la familia de los hipopedeos y la de los óvalos de Cassini . Su nombre proviene de σπειρα, que significa toroide en griego antiguo.
La ecuación cartesiana se puede escribir como
y la ecuación en coordenadas polares como
Trébol de tres hojas (trifolium)
El trébol de tres hojas o trifolium [ 7 ] es la curva plana cuártica.
Al despejar y , la curva se puede describir mediante la siguiente función:
donde las dos apariciones de ± son independientes entre sí, dando hasta cuatro valores distintos de y para cada x .
La ecuación paramétrica de la curva es
En coordenadas polares ( x = r cos φ, y = r sin φ) la ecuación es
Es un caso especial de curva rosa con k = 3. Esta curva tiene un punto triple en el origen (0, 0) y tiene tres tangentes dobles.
Véase también
Referencias
- ^ Weisstein, Eric W. "Curva comercial" . MundoMatemático .
- ↑ Cundy, H. Martyn; Rollett, AP (1961) [1952], Mathematical models (2.ª ed.), Clarendon Press, Oxford, p. 72, ISBN 978-0-906212-20-2, MR 0124167
{{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda ) - ↑ Weisstein, Eric W. "Curva del frijol" . MathWorld .
- ↑ Weisstein, Eric W. "Curva bicúspide" . MathWorld .
- ↑ Weisstein, Eric W. "Bow" . MathWorld .
- ↑ Weisstein, Eric W. "Curva cruciforme" . MathWorld .
- ↑ Weisstein, Eric W. "Trifolium" . MathWorld .
- ↑ Gibson, CG, Geometría elemental de curvas algebraicas: una introducción para estudiantes de pregrado , Cambridge University Press, Cambridge, 2001, ISBN 978-0-521-64641-3Páginas 12 y 78.
- Curvas cuárticas