Articulo de referencia

Curva plana cuártica

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 : A incógnita 4 + B ...

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 :

Aincógnita4+By4+doincógnita3y+Dincógnita2y2+miincógnitay3+Fincógnita3+GRAMOy3+Hincógnita2y+Iincógnitay2+Jincógnita2+Ky2+Lincógnitay+METROincógnita+nortey+PAG=0,{\displaystyle Ax^{4}+By^{4}+Cx^{3}y+Dx^{2}y^{2}+Exy^{3}+Fx^{3}+Gy^{3}+Hx^{2}y+Ixy^{2}+Jx^{2}+Ky^{2}+Lxy+Mx+Ny+P=0,}

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 .RPAG14.{\displaystyle \mathbb {RP} ^{14}.}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:

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 do,{\displaystyle \mathbb {C} ,}pero son bidimensionales sobreR.{\displaystyle \mathbb {R} .}Un 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

La curva del signo & es una curva plana cuártica dada por la ecuación:

 (y2incógnita2)(incógnita1)(2incógnita3)=4(incógnita2+y22incógnita)2.{\displaystyle \ (y^{2}-x^{2})(x-1)(2x-3)=4(x^{2}+y^{2}-2x)^{2}.}

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:

incógnita4+incógnita2y2+y4=incógnita(incógnita2+y2).{\displaystyle x^{4}+x^{2}y^{2}+y^{4}=x(x^{2}+y^{2}).\,}

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

(incógnita2a2)(incógnitaa)2+(y2a2)2=0{\displaystyle (x^{2}-a^{2})(xa)^{2}+(y^{2}-a^{2})^{2}=0\,}

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:

incógnita4=incógnita2yy3.{\displaystyle x^{4}=x^{2}yy^{3}.\,}

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

incógnita2y2b2incógnita2a2y2=0{\displaystyle x^{2}y^{2}-b^{2}x^{2}-a^{2}y^{2}=0\,}

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

incógnita=t22t+5t22t3,y=t22t+52t2{\displaystyle x=-{\frac {t^{2}-2t+5}{t^{2}-2t-3}},\quad y={\frac {t^{2}-2t+5}{2t-2}}}

Parametriza los puntos de la curva fuera de los casos excepcionales en los que un denominador es cero.

Ilustración de los teoremas pitagóricos inverso y regular.

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:

Ado2Bdo2doD2Ado2doD2Bdo2=0Ado2Bdo2=doD2Bdo2+doD2Ado21doD2=Bdo2Ado2Bdo2+Ado2Ado2Bdo21doD2=1Ado2+1Bdo2{\displaystyle {\begin{aligned}AC^{2}BC^{2}-CD^{2}AC^{2}-CD^{2}BC^{2}&=0\\AC^{2}BC^{2}&=CD^{2}BC^{2}+CD^{2}AC^{2}\\{\frac {1}{CD^{2}}}&={\frac {BC^{2}}{AC^{2}\cdot BC^{2}}}+{\frac {AC^{2}}{AC^{2}\cdot BC^{2}}}\\\therefore \;\;{\frac {1}{CD^{2}}}&={\frac {1}{AC^{2}}}+{\frac {1}{BC^{2}}}\end{aligned}}}

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

(incógnita2+y2)2=dincógnita2+miy2+F,{\displaystyle (x^{2}+y^{2})^{2}=dx^{2}+ey^{2}+f,}

y la ecuación en coordenadas polares como

r4=dr2porque2θ+mir2pecado2θ+F.{\displaystyle r^{4}=dr^{2}\cos ^{2}\theta +er^{2}\sin ^{2}\theta +f.\,}

Trébol de tres hojas (trifolium)

El trébol de tres hojas o trifolium [ 7 ] es la curva plana cuártica.

incógnita4+2incógnita2y2+y4incógnita3+3incógnitay2=0.{\displaystyle x^{4}+2x^{2}y^{2}+y^{4}-x^{3}+3xy^{2}=0.\,}

Al despejar y , la curva se puede describir mediante la siguiente función:

y=±2incógnita23incógnita±16incógnita3+9incógnita22,{\displaystyle y=\pm {\sqrt {\frac {-2x^{2}-3x\pm {\sqrt {16x^{3}+9x^{2}}}}{2}}},}

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

incógnita=porque(3t)porquet,y=porque(3t)pecadot.{\displaystyle x=\cos(3t)\cos t,\quad y=\cos(3t)\sin t.\,}[ 8 ]

En coordenadas polares ( x = r  cos  φ, y = r  sin  φ) la ecuación es

r=porque(3φ).{\displaystyle r=\cos(3\varphi ).\,}

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

  1. ^ Weisstein, Eric W. "Curva comercial" . MundoMatemático .
  2. 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 )
  3. Weisstein, Eric W. "Curva del frijol" . MathWorld .
  4. Weisstein, Eric W. "Curva bicúspide" . MathWorld .
  5. Weisstein, Eric W. "Bow" . MathWorld .
  6. Weisstein, Eric W. "Curva cruciforme" . MathWorld .
  7. Weisstein, Eric W. "Trifolium" . MathWorld .
  8. 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.