Óvalo de Cassini

En geometría, un óvalo de Cassini es una curva plana de cuarto grado definida como el lugar geométrico de puntos en el plano tal que el producto de las distancias a dos puntos fijos (focos) es constante. Esto puede contrastarse con una elipse, para la cual la suma de las distancias es constante, en lugar del producto. Los óvalos de Cassini son el caso especial de las lemniscatas polinómicas cuando el polinomio utilizado tiene grado 2.
Los óvalos de Cassini llevan el nombre del astrónomo Giovanni Domenico Cassini, quien los estudió a finales del siglo XVII. Cassini creía que el Sol viajaba alrededor de la Tierra en uno de estos óvalos, con la Tierra en uno de los focos del óvalo. Otros nombres incluyen óvalos de Cassini, curvas de Cassini y óvalos de Cassini.
Definición formal

A Cassini oval es un conjunto de puntos, tal que para cualquier punto P{displaystyle P} del conjunto, el producto de las distancias SilencioPP1Silencio,SilencioPP2Silencio{displaystyle - ¿Qué? a dos puntos fijos P1,P2{displaystyle P_{1},P_{2} es una constante, generalmente escrita como b2{displaystyle b^{2} Donde 0}" xmlns="http://www.w3.org/1998/Math/MathML">b■0{displaystyle b confía0}0}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/94436473a90bd55191a79c59474cb5456dcbec00" style="vertical-align: -0.338ex; width:5.258ex; height:2.176ex;"/>:
- {}P:SilencioPP1Silencio× × SilencioPP2Silencio=b2} .{displaystyle ¡Perfecto! ¡Oh!
Como con un elipse, los puntos fijos P1,P2{displaystyle P_{1},P_{2} son llamados Foci del Oval Cassini.
Ecuaciones
Si los focos son (a, 0) y (−a, 0), entonces la ecuación de la curva es
- ()()x− − a)2+Sí.2)()()x+a)2+Sí.2)=b4.{displaystyle (x-a)^{2}+y^{2}(x+a)^{2}+y^{2})=b^{4}
Cuando se expande, esto se convierte en
- ()x2+Sí.2)2− − 2a2()x2− − Sí.2)+a4=b4.{displaystyle (x^{2}+y^{2})^{2}2}(x^{2}-y^{2})+a^{4}=b^{4}}
La ecuación polar equivalente es
- r4− − 2a2r2# 2Silencio Silencio =b4− − a4.{displaystyle r^{4}-2a^{2}r^{2}cos 2theta =b^{4}-a^{4}
Forma

La curva depende, hasta la similitud, de e = b/a. Cuando e 1. La curva consiste en dos bucles desconectados, cada uno de los cuales contiene un enfoque. Cuando e = 1, la curva es la lemniscate de Bernoulli que tiene la forma de una figura lateral ocho con un punto doble (específicamente, un crunodo) en el origen. Cuando e Ø 1, la curva es un único bucle conectado que contiene ambos foci. Es en forma de cacahuete para <math alttext="{displaystyle 1<e1c)ec)2{displaystyle 1 se hizo realidad {sqrt {2}<img alt="{displaystyle 1<e y convex para e≥ ≥ 2{displaystyle egeq { sqrt {2}. El caso límite de a → 0 (hence) e → JUEGO JUEGO {displaystyle infty }), en cuyo caso el foci coincide entre sí, es un círculo.
La curva siempre tiene intersecciones x en ± c donde c2 = a2 + b2. Cuando e < 1 hay dos intersecciones x reales adicionales y cuando e > 1 hay dos interceptos y reales, siendo todos los demás interceptos x e y imaginarios.
La curva tiene puntos dobles en los puntos circulares en el infinito, en otras palabras la curva es bicircular. Estos puntos son biflecnodos, lo que significa que la curva tiene dos tangentes distintas en estos puntos y cada rama de la curva tiene un punto de inflexión allí. A partir de esta información y de las fórmulas de Plücker es posible deducir los números de Plücker para el caso e ≠ 1: grado = 4, clase = 8, número de nodos = 2, número de cúspides = 0, número de dobles tangentes = 8, número de puntos de inflexión = 12, género = 1.
Las tangentes en los puntos circulares están dadas por x ± iy = ± a que tienen puntos de intersección reales en (± a, 0). Así pues, los focos son, de hecho, focos en el sentido definido por Plücker. Los puntos circulares son puntos de inflexión por lo que son focos triples. Cuando e ≠ 1 la curva tiene clase ocho, lo que implica que debería haber un total de ocho focos reales. Seis de ellos han sido contabilizados en los dos focos triples y los dos restantes están en
- <math alttext="{displaystyle (pm a{sqrt {1-e^{4}}},0)quad (e()± ± a1− − e4,0)()ec)1){displaystyle (pm a{sqrt {1-e^{4}},0)quad (e made1)}<img alt="{displaystyle (pm a{sqrt {1-e^{4}}},0)quad (e
- 1).}" xmlns="http://www.w3.org/1998/Math/MathML">()0,± ± ae4− − 1)()e■1).{displaystyle (0,pm a{sqrt {e^{4}})quad (e título1). }
1).}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/7af98628f2286e99cdecabf06a93f8cbd932e18b" style="vertical-align: -0.838ex; width:25.631ex; height:3.843ex;"/>
Entonces, los focos adicionales están en el eje x cuando la curva tiene dos bucles y en el eje y cuando la curva tiene un solo bucle.
Óvalos de Cassini y trayectorias ortogonales

trayectorias ortogonales de un lápiz de curvas dado son curvas que intersecan ortogonalmente todas las curvas dadas. Por ejemplo, las trayectorias ortogonales de un lápiz de elipses confocales son las hipérbolas confocales con los mismos focos. Para los óvalos de Cassini se tiene:
- Las trayectorias ortogonales de las curvas Cassini con foci P1,P2{displaystyle P_{1},P_{2} son las hiperbolas equilaterales que contienen P1,P2{displaystyle P_{1},P_{2} con el mismo centro que los ovalos Cassini (ver imagen).
Prueba:
Para la simplicidad uno elige P1=()1,0),P2=()− − 1,0){displaystyle P_{1}=(1,0),,P_{2}=(-1,0)}.
- Los ovalados de Cassini tienen la ecuación f()x,Sí.)=()x2+Sí.2)2− − 2()x2− − Sí.2)+1− − b4=0.{displaystyle f(x,y)=(x^{2}+y^{2})^{2}-2(x^{2}-y^{2})+1-b^{4}=0}
- Las hiperbolas equilaterales (sus asintotos son rectangulares) que contienen ()1,0),()− − 1,0){displaystyle (1,0),(-1,0)} con centro ()0,0){displaystyle (0,0)} puede ser descrito por la ecuación x2− − Sí.2− − λ λ xSí.− − 1=0, λ λ ▪ ▪ R.{displaystyle x^{2}-y^{2}-lambda xy-1=0, lambda in mathbb {R}.}
Estas secciones cónicas no tienen puntos con Sí.-eje en común e intersección x- Eje en ()± ± 1,0){displaystyle (pm 1,0)}. Sus discriminantes muestran que estas curvas son hiperbolas. Una investigación más detallada revela que las hiperbolas son rectangulares. Para conseguir normales, que son independientes del parámetro λ λ {displaystyle lambda } la siguiente representación implícita es más conveniente
Observación:
La imagen que representa los óvalos Cassini y los hiperbolas se parece a las curvas de dos puntos iguales, junto con las líneas del campo eléctrico generado. Pero para el potencial de dos cargos de punto iguales uno tiene 1/SilencioPP1Silencio+1/SilencioPP2Silencio=constante{displaystyle 1/CONFIP_{1}. (Ver curva implícita.) En cambio, estas curvas corresponden realmente a los conjuntos (secciones planas de) de dos hilos infinitos con igual densidad de carga de línea constante, o alternativamente, a los conjuntos de nivel de las sumas de las funciones del Verde para el Laplaciano en dos dimensiones centradas en el foci.
Las curvas Cassini de un solo bucle y doble pueden ser representadas como las trayectorias ortogonales unas de otras cuando cada familia es coaxial pero no confocal. Si los monos son descritos por ()x2+Sí.2)− − 1=axSí.{displaystyle (x^{2}+y^{2})-1=axy} entonces el foci son variable en el eje Sí.=x{displaystyle y=x} si 0}" xmlns="http://www.w3.org/1998/Math/MathML">a■0{displaystyle a confía0}0}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1f34a80ea013edb56e340b19550430a8b6dfd7b9" style="vertical-align: -0.338ex; width:5.491ex; height:2.176ex;"/>, Sí.=− − x{displaystyle y=-x} si <math alttext="{displaystyle aac)0{displaystyle a won0}<img alt="{displaystyle a; si las dos opciones son descritas por ()x2+Sí.2)+1=b()x2− − Sí.2){displaystyle (x^{2}+y^{2})+1=b(x^{2}-y^{2} entonces los ejes son, respectivamente, Sí.=0{displaystyle y=0} y x=0{displaystyle x=0}. Cada curva, hasta la similitud, aparece dos veces en la imagen, que ahora se asemeja a las líneas de campo y curvas potenciales para cuatro cargos de punto iguales, localizados en ()± ± 1,0){displaystyle (pm 1,0)} y ()0,± ± 1){displaystyle (0,pm 1)}. Además, la porción de esta imagen en el medio plano superior representa la siguiente situación: Los dobles ciclos son un conjunto reducido de clases de congruencia para los conics Steiner central en el plano hiperbólico producido por las colilíneas directas; y cada uno de los puntos es el lazo de puntos P{displaystyle P} tal que el ángulo OPQ{displaystyle OPQ} es constante, donde O=()0,1){displaystyle O=(0,1)} y Q{displaystyle Q} es el pie del perpendicular a través P{displaystyle P} sobre la línea descrita x2+Sí.2=1{displaystyle x^{2}+y^{2}=1}.
Ejemplos
El segundo lemniscate del conjunto Mandelbrot es un oval Cassini definido por la ecuación L2={}c:abdominales ()c2+c)=ER}.{displaystyle L_{2}={c:operatorname {abs} (c^{2}+c)=ER} Su foci están en los puntos c en el plano complejo que tiene órbitas donde cada segundo valor z es igual a cero, que son los valores 0 y −1.
Óvalos de Cassini sobre tori

Los óvalos de Cassini aparecen como secciones planas de toros, pero sólo cuando
- el plano de corte es paralelo al eje del toro y su distancia al eje equivale al radio del círculo generador (ver imagen).
La intersección del toroide con la ecuación
- ()x2+Sí.2+z2+R2− − r2)2=4R2()x2+Sí.2){displaystyle left(x^{2}+y^{2}+z^{2}+R^{2}-r^{2}right)^{2}=4R^{2}!left(x^{2}+y^{2}right)}}}
y el avión Sí.=r{displaystyle y=r} rendimientos
- ()x2+z2+R2)2=4R2()x2+r2).{displaystyle left(x^{2}+z^{2}+R^{2}right)^{2}=4R^{2}!left(x^{2}+r^{2}right). }
Después de resolver parcialmente el primer paréntesis se obtiene la ecuación
- ()x2+z2)2− − 2R2()x2− − z2)=4R2r2− − R4,{displaystyle left(x^{2}+z^{2}right)^{2}-2R^{2}(x^{2}-z^{2})=4R^{2}-R^{4},}
que es la ecuación de un oval Cassini con parámetros b2=2Rr{displaystyle b^{2}=2Rr} y a=R{displaystyle a=R}.
Generalizaciones
El método de Cassini es fácil de generalizar a curvas y superficies con un número arbitrario de puntos definitorios:
- SilencioPP1Silencio× × SilencioPP2Silencio× × ⋯ ⋯ × × SilencioPPnSilencio=bn{displaystyle TENPP_{1} sobrevivirtimes
describe en el caso plano una curva implícita y en el espacio tridimensional una superficie implícita.
- curva con 3 puntos de definición
- superficie con 6 puntos de definición