Óvalo cartesiano
# Óvalo cartesiano

En geometría, un óvalo cartesiano, nombrado en referencia a René Descartes, es una curva plana, formada por el conjunto de puntos que tienen la misma combinación lineal de distancias desde dos puntos fijos.

## Definición

Sean P y Q dos puntos fijos en el plano, y sean d(P,S) y d(Q,S) las distancias euclídeas de estos dos puntos a un tercer punto variable S. Siendo m y a dos números reales arbitrarios, entonces, el óvalo cartesiano es el lugar geométrico de los puntos S que satisfacen la condición de que

    d(P,S) + m d(Q,S) = a

Los dos óvalos formados por las cuatro ecuaciones

    d(P,S) + m d(Q,S) = ± a

y

    d(P,S) − m d(Q,S) = ± a

están estrechamente relacionados; juntos forman una curva cuártica denominada como los óvalos de Descartes.

## Casos especiales

En la ecuación

    d(P,S) + m d(Q,S) = a
* Cuando m = 1 y a > d(P,Q) la forma resultante es una elipse.
* En el caso límite en el que P y Q coinciden, la elipse se convierte en una circunferencia.
* Cuando m = a / d(P,Q) entonces coincide con un caracol de Pascal.
* Si m = -1 y 0 < a < d(P, Q) la ecuación da una rama de una hipérbola, y por lo tanto, no es un óvalo cerrado.

## Ecuación polinómica

El conjunto de puntos (x,y) que satisface la ecuación algebraica cuártica:

    [(1 - $m^2)(x^2$ + $y^2)$ + $2m^2cx$ + $a^2$ − $m^2c^2$ $]^2$ = $4a^2(x^2$ + $y^2),$

donde c es la distancia d(P, Q) entre los dos focos fijos P = (0, 0) y Q = (c, 0), forma dos óvalos, los conjuntos de puntos que satisfacen dos de las cuatro ecuaciones:

    d(P,S) ± m d(Q,S) = a

y

    d(P,S) ± m d(Q,S) = -a

que tienen soluciones reales. Los dos óvalos generalmente son disjuntos, excepto en el caso de que P o Q les pertenezcan. Al menos una de las dos perpendiculares a PQ a través de los puntos P y Q corta esta curva cuártica en cuatro puntos reales; de esto se deduce que están necesariamente anidados, con al menos uno de los dos puntos P y Q contenidos en los interiores de ambos óvalos. Para una parametrización diferente y el análisis del resultado cuártico, consúltese Lawrence.

## Ecuación polar

En el sistema de coordenadas con centro en P y cuyo eje principal está orientado hacia Q, si se denota c = PQ, el óvalo completo de ecuación

    |PS ± m QS| = |a|

tiene la expresión polar:

    $(1-m^{2})\rho ^{2}+2\rho (cm^{2}\cos \theta +a)+(a^{2}-c^{2}m^{2})=0$

Como el producto de las dos raíces de esta ecuación es independiente de θ, el óvalo interior y el óvalo exterior forman una inversión de centro P y de razón

    $r^{2}={\frac {(a^{2}-m^{2}c^{2})}{(1-m^{2})}}$.

## Notación focal

Las ecuaciones del óvalo cartesiano también se suelen expresar mediante la distancia a dos focos $F_1$ (equivalente al punto P) y $F_2$ (equivalente al punto Q), afectadas respectivamente por los coeficientes b y a. Un tercer coeficiente c, que multiplica a la distancia entre los dos focos, completa el lado derecho de la ecuación. Para hacer una equivalencia entre las dos notaciones, basta dividir por b los coeficientes de la expresión focal.

### Ecuaciones del óvalo completo

La ecuación |b $MF_1$ ± a $MF_2|$ = |c $F_1F_2|$ se puede escribir en la siguiente forma cuártica:

    $\left(b^{2}MF_{1}^{2}-a^{2}MF_{2}^{2}+c^{2}F_{1}F_{2}^{2}\right)^{2}=4b^{2}c^{2}F_{1}F_{2}^{2}\times MF_{1}^{2}$

### Ecuaciones cartesianas

En el caso de un óvalo no degenerado, tomando como origen O el baricentro resultante de aplicar a los focos $F_1$ y $F_2$ los coeficientes b² y -a² y la abscisa de $F_1$ α = a². Entonces $F_2$ tiene por abscisa β = b². Haciendo γ = c², la ecuación del óvalo se convierte en:

    $(x^{2}+y^{2}-\sigma _{2})^{2}+8\sigma _{3}x-4\sigma _{1}\sigma _{3}=0$

donde $σ_1,$ $σ_2$ y $σ_3$ son funciones simétricas de los números reales α, β y γ:

    $\sigma _{1}=\alpha +\beta +\gamma ,\quad \sigma _{2}=\alpha \beta +\beta \gamma +\gamma \alpha ,\quad \sigma _{3}=\alpha \beta \gamma$

La naturaleza simétrica de los papeles desempeñados por los valores α, β y γ permite decir que se obtendrá la misma ecuación cartesiana del óvalo con focos $F_1$ y $F_3$ (γ, 0) con la ecuación:

    $|MF_1$ ± a $MF_3|$ = |b $F_1F_3|$

así como para el óvalo de focos $F_2$ y $F_3$ con la ecuación:

    |c $MF_2$ ± b $MF_3|$ = |a $F_1F_3|$

También se puede decidir tomar como origen la mitad del segmento $[F_1F_2]$ o uno de los focos, para obtener ecuaciones alternativas.

### Ecuación polar

En el sistema de referencia con centro en $F_1$ y orientado hacia $F_2,$ si se denomina $d=F_1F_2,$ el óvalo completo de ecuación $|bMF_1$ ± $aMF_2|$ = $|cF_1F_2|$ tiene por ecuación polar:

    $(b^{2}-a^{2})\rho ^{2}-2\rho d(a^{2}\cos \theta +bc)+(c^{2}-a^{2})d^{2}=0$

La relación de inversión existente entre el óvalo interior y el óvalo exterior tiene centro $F_1$ y razón $r^{2}={\frac {(c^{2}-a^{2})d^{2}}{(b^{2}-a^{2})}}$.

## Propiedades geométricas

Considérese el óvalo de ecuación |b $F_1M$ ± a $F_2M|$ = |c $F_1F_2|.$

### Tercer foco

Si el óvalo no está degenerado, el tercer foco es el baricentro de los puntos $F_1$ y $F_2,$ asignándoles los coeficientes siguientes:

    (b² - c²) y (c² - a²)

Si se denominan a las abcisas de los tres focos $(x_1$ para $F_1,$ $x_2$ para $F_2$ y $x_3$ para $F_3),$ se obtiene la fórmula:

    $x_3$ = [ (b² - c²) $x_1$ + (c² - a²) $x_2$ ] / (b² + a²)

### Extremos

Los cuatro vértices del óvalo completo son los centros de gravedad de los puntos $F_1$ y $F_2,$ asignándoles los coeficientes: (b - c, a + c), (b - c, - a + c), (b + c, a - c), (b + c, -a -c)

### Tangente y normal

La normal al óvalo de ecuación b $F_1M$ + a $F_2M$ = c $F_1F_2$ en el punto M, tiene por vector director:

    $b{\frac {\overrightarrow {F_{1}M}}{F_{1}M}}+a{\frac {\overrightarrow {F_{2}M}}{F_{2}M}}$

Así, si se denomina $θ_1$ al ángulo que forma $F_1M$ con la normal y $θ_2$ al ángulo que forma $F_2M$ con la normal, se tiene la igualdad:

    ${\frac {\sin \theta _{2}}{\sin \theta _{1}}}={\frac {b}{a}}$

Para 0 < b < a, aparece la ley de Snell. Si el óvalo separa dos medios, uno de índice b conteniendo a $F_1$ y el otro de índice a conteniendo a $F_2$ y si M es el punto de encuentro de la línea $[F_1M]$ con el óvalo, entonces el rayo $[F_1M]$ se refracta pasando por $F_2.$

### Construcción usando dos círculos

Michel Chasles ideó una construcción del óvalo completo usando dos círculos de centros $F_1$ y $F_2;$ y un punto C a la derecha $(F_1F_2).$ Para ello, se hace girar una línea recta alrededor de C, de tal manera que se encuentra con el primer círculo en los puntos $M_1$ y $N_1,$ y con el segundo círculo en $M_2$ y $N_2.$ Los puntos de encuentro de las rectas que pasan por $(F_1M_1)$ y $(F_1N_1)$ con las rectas que pasan por $(F_2M_2)$ y $(F_2N_2)$ permiten dibujar un óvalo completo lanzando rectas desde C.

### Intersección de dos conos

La proyección ortogonal sobre un plano horizontal de la intersección de dos conos de revolución de eje vertical es un óvalo de Descartes. Los focos son las proyecciones de los vértices de los dos conos. Esta interpretación hace posible determinar de manera relativamente simple ciertas propiedades geométricas de los óvalos.

### Cáusticas secundarias por refracción

Si el óvalo completo tiene la ecuación |b $MF_1$ ± a $MF_2|$ = |c $F_1F_2|$ y si los puntos P y O se definen como los centroides obtenidos asignando a $F_1$ y $F_2$ los coeficientes b² y -a² para O, y a y b para P, el óvalo es entonces la cáustica secundaria por la relación de refracción n = |a/c| del círculo (Γ) de centro O que pasa por P, con respecto al foco $F_1.$ Es por lo tanto la envolvente de los círculos $(Γ_M)$ cuyos centros están situados en M (Γ) y de radio $F_1M$ /n.

Cada círculo $(Γ_M)$ es tangencial al óvalo en dos puntos $T_M$ $T'_M,$ siempre alineados con el tercer foco $F_3$ del óvalo.

| Óvalo de ecuación $4F_1M$ ± $3F_2M$ = ± $2F_1F_2$ construido a partir del punto C, baricentro de los puntos $F_1$ y $F_2$ afectados de los coeficientes -3 y 4, y con las circunferencias de centros $F_1$ y $F_2$ y de radios respectivos $^3⁄_2F_1F_2$ y $^4⁄_3F_1F_2.$ | Proyección ortogonal de la intersección de los conos de vértices $S_1$ y $S_2$ sobre un plano perpendicular a los ejes de los conos es un óvalo de focos $S_1$ y $S_2.$ | Óvalo de Descartes construido como cáustica secundaria del círculo de centro O que pasa por P. |
| - | - | - |

## Aplicaciones en óptica

Como descubrió Descartes, los óvalos cartesianos se pueden usar en el diseño de lentes. Al elegir la relación de distancias entre P y Q para que coincida con la proporción de los senos según la Ley de Snell y el uso de la superficie de revolución de uno de estos óvalos, es posible diseñar una lente aplanática, que no tiene aberración esférica.

Además, si un frente de onda esférico se refracta a través de una lente esférica, o se refleja desde una superficie esférica cóncava, el frente de onda refractado o reflejado toma la forma de un óvalo cartesiano. La cáustica formada por la aberración esférica en este caso, por lo tanto, se puede describir como la evoluta de un óvalo cartesiano.

## Historia

Los óvalos de Descartes fueron estudiados por primera vez por René Descartes en 1637, en relación con sus aplicaciones en óptica.

Estas curvas también fueron estudiadas por Newton a partir de 1664. Un método para dibujar ciertos óvalos cartesianos específicos, ya usado por Descartes, es análogo a una construcción estándar de una elipse utilizando un hilo tenso. Si se sujeta el extremo de un hilo con un alfiler en un foco, se rodea con el hilo otro alfiler situado en el segundo foco, y se sujeta al extremo libre del hilo a la punta de un lápiz, el camino seguido por la punta del lápiz, cuando el hilo se estira al buscar de nuevo el hilo entre los dos alfileres, forma un óvalo cartesiano con la relación 2:1 entre las distancias a los dos focos. Sin embargo, Newton rechazó dichas construcciones como insuficientemente rigurosas. Definió el óvalo como la solución para una ecuación diferencial, definió sus subtangentes e investigó de nuevo sus propiedades ópticas.

El matemático francés Michel Chasles descubrió en el siglo XIX que, si un óvalo cartesiano está definido por dos puntos $F_1$ y $F_2,$ entonces en general existe un tercer punto $F_3$ en la misma línea, de modo que el mismo óvalo también se define por cualquier par de estos tres puntos.

James Clerk Maxwell redescubrió estas curvas, las generalizó a curvas definidas manteniendo constante la suma ponderada de distancias de tres o más focos, y escribió un documento titulado "Observaciones sobre figuras circunscritas que tienen una pluralidad de focos y radios de diversas proporciones". Una recopilación de sus resultados, titulada Sobre la descripción de curvas ovales, y aquellas que tienen una pluralidad de focos, fue redactada por J.D. Forbes y presentada a la Real Sociedad de Edimburgo en 1846, cuando Maxwell todavía no había cumplido 15 años.

