Óvalo cartesiano

Óvalo cartesiano (S):
d(P,S) + m d(Q,S) = a
d(P,Q) = c
Valores:
m = 0.5 // c = 2.0 // a = 2.5

Elipse:
Valores: m = 1.0 // c = 6.0 // a = 8.0

Caracol de Pascal:
Valores: m = 2.0 // c = 2.0 // a = 4.0

Hipérbola:
Valores: m = -1.0 // c = 2.0 // a = 1.5

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.^[1]​

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^[1]​^[2]​ cuártica:

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

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.^[2]​ Para una parametrización diferente y el análisis del resultado cuártico, consúltese Lawrence.^[3]​

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:^[4]​

${\displaystyle (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^[5]​ de centro P y de razón

${\displaystyle 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₁ (equivalente al punto P) y F₂ (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₁ ± a MF₂| = |c F₁F₂| se puede escribir en la siguiente forma cuártica:

${\displaystyle \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₁ y F₂ los coeficientes b² y -a² y la abscisa de F₁ α = a². Entonces F₂ tiene por abscisa β = b². Haciendo γ = c², la ecuación del óvalo se convierte en:^[6]​

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

donde σ₁, σ₂ y σ₃ son funciones simétricas de los números reales α, β y γ:

${\displaystyle \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₁ y F₃ (γ, 0) con la ecuación:

|MF₁ ± a MF₃| = |b F₁F₃|

así como para el óvalo de focos F₂ y F₃ con la ecuación:

|c MF₂ ± b MF₃| = |a F₁F₃|

También se puede decidir tomar como origen^[7]​ la mitad del segmento [F₁F₂] o uno de los focos,^[8]​ para obtener ecuaciones alternativas.

Ecuación polar

En el sistema de referencia con centro en F₁ y orientado hacia F₂, si se denomina d=F₁F₂, el óvalo completo de ecuación |bMF₁ ± aMF₂| = |cF₁F₂| tiene por ecuación polar:^[9]​

${\displaystyle (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₁ y razón ${\displaystyle r^{2}={\frac {(c^{2}-a^{2})d^{2}}{(b^{2}-a^{2})}}}$.

Propiedades geométricas

Ejemplo de óvalo completo y sus tres focos:
(Las ecuaciones están dadas según la distancia de un punto M cualquiera de la curva respecto a los tres focos F₁, F₂ y F₃)
* Óvalo interior según cualquiera de las ecuaciones: ** 4F₁M +2 F₂M = 5F₁F₂ ** 5F₁M + 2F₃M = 4F₁F₃ ** -5F₂M + 4 F₃M = 2F₂F₃ * Óvalo exterior según cualquiera de las ecuaciones: ** 4F₁M – 2F₂M = 5F₁F₂ ** 5F₁M – 2F₃M = 4F₁F₃ ** 5F₂M – 4 F₃M = 2F₂F₃

Considérese el óvalo de ecuación |b F₁M ± a F₂M| = |c F₁F₂|.

Tercer foco

Si el óvalo no está degenerado, el tercer foco es el baricentro de los puntos F₁ y F₂, asignándoles los coeficientes siguientes:

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

Si se denominan a las abcisas de los tres focos (x₁ para F₁, x₂ para F₂ y x₃ para F₃), se obtiene la fórmula:

x₃ = [ (b² - c²) x₁ + (c² - a²) x₂ ] / (b² + a²)

Extremos

Los cuatro vértices del óvalo completo son los centros de gravedad de los puntos F₁ y F₂, 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₁M + a F₂M = c F₁F₂ en el punto M, tiene por vector director:^[10]​

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

Así, si se denomina θ₁ al ángulo que forma F₁M con la normal y θ₂ al ángulo que forma F₂M con la normal, se tiene la igualdad:

${\displaystyle {\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₁ y el otro de índice a conteniendo a F₂ y si M es el punto de encuentro de la línea [F₁M] con el óvalo, entonces el rayo [F₁M] se refracta pasando por F₂.

Construcción usando dos círculos

Michel Chasles^[11]​ ideó una construcción del óvalo completo usando dos círculos de centros F₁ y F₂; y un punto C a la derecha (F₁F₂). 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₁ y N₁, y con el segundo círculo en M₂ y N₂. Los puntos de encuentro de las rectas que pasan por (F₁M₁) y (F₁N₁) con las rectas que pasan por (F₂M₂) y (F₂N₂) 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.^[12]​

Cáusticas secundarias por refracción

Si el óvalo completo tiene la ecuación |b MF₁ ± a MF₂| = |c F₁F₂| y si los puntos P y O se definen como los centroides obtenidos asignando a F₁ y F₂ 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^[13]​ n = |a/c| del círculo (Γ) de centro O que pasa por P, con respecto al foco F₁. Es por lo tanto la envolvente de los círculos (Γ_M) cuyos centros están situados en M (Γ) y de radio F₁M /n.

Cada círculo (Γ_M) es tangencial al óvalo en dos puntos T_M T'_M, siempre alineados con el tercer foco F₃ del óvalo.^[14]​

Óvalo de ecuación 4F1M ± 3F2M = ± 2F1F2 construido a partir del punto C, baricentro de los puntos F1 y F2 afectados de los coeficientes -3 y 4, y con las circunferencias de centros F1 y F2 y de radios respectivos ^3⁄2F1F2 y ^4⁄3F1F2.

Proyección ortogonal de la intersección de los conos de vértices S1 y S2 sobre un plano perpendicular a los ejes de los conos es un óvalo de focos S1 y S2.

Óvalo de Descartes construido como cáustica secundaria del círculo de centro O que pasa por P.

Aplicaciones en óptica

Propiedad de refracción del óvalo interior: el rayo emitido desde F₁ se refracta pasando por F₂

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.^[15]​

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.^[16]​

Historia

Construcción de un óvalo definido por la relación AP + 2BP = c utilizando dos alfileres, un hilo y un lápiz, según la descripción de James Clerk Maxwell.

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.^[17]​ Sin embargo, Newton rechazó dichas construcciones como insuficientemente rigurosas.^[18]​ Definió el óvalo como la solución para una ecuación diferencial, definió sus subtangentes e investigó de nuevo sus propiedades ópticas.^[19]​

El matemático francés Michel Chasles descubrió en el siglo XIX que, si un óvalo cartesiano está definido por dos puntos F₁ y F₂, entonces en general existe un tercer punto F₃ en la misma línea, de modo que el mismo óvalo también se define por cualquier par de estos tres puntos.^[2]​

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.^[17]​^[20]​^[21]​

Véase también

• Óvalo de Cassini
• Coordenadas bicéntricas

Referencias

1. O'Connor, John J.; Robertson, Edmund F., «Cartesian Oval» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, https://mathshistory.st-andrews.ac.uk/Curves/Cartesian/ .
2. John Minot Rice, William Woolsey Johnson (1888). J. Wiley, ed. An elementary treatise on the differential calculus founded on the method of rates or fluxions (4 edición). pp. 295-299. .
3. Lawrence, J. Dennis (1972), A Catalog of Special Plane Curves, Dover, pp. 155–157, ISBN 0-486-60288-5 ..
4. Barbin y Guitart, 1998, p. 375 o MathcurveOvale,, con otras notaciones.
5. Barbin y Guitart, 1998, p. 375.
6. MathcurveOvale,, con las notaciones diferentes.
7. Weisstein, Eric W. Cartesian Ovals. sur MathWorld--A Wolfram Web Resource
8. Warusfel, 2010, p. 120 resultando la ecuación del óvalo |MF₁ ± h MF₂| = |kF₁F₂| con la referencia en el centro F₁ en el que F₂ tiene por absica c
9. Barbin y Guitart, 1998, p. 375 MathcurveOvale,, avec d'autres notations.
10. * Robert Ferreol, Jacques Mandonnet (2012). «Ovale de Descartes». Encyclopédie des formes mathématiques remarquables. MathcurveOvale. Consultado el 17 de mayo de 2015. 
11. Chasles, 1837, p. 351.
12. M. Dufour (1929). «Sur les ovales de Descartes». L'enseignement mathématique 28 (1). Consultado el 4 de mayo de 2015. 
13. Robert Ferréol, Jacques Mandonnet, Anticaustique, Encyclopédie des formes mathématiques remarquables, 2000
14. Barbin y Guitart, 2001, p. 172
15. Dijksterhuis, Fokko Jan (2004), Lenses and waves: Christiaan Huygens and the mathematical science of optics in the seventeenth century, Archimedes, New studies in the history and philosophy of science and technology 9, Springer-Verlag, pp. 13-14, ISBN 978-1-4020-2697-3 ..
16. Percival, Archibald Stanley (1899), «Chapter XVI. Contour of the refracted wave-front. Caustics», Optics, a manual for students, Macmillan, pp. 312-327 ..
17. Gardner, Martin (2007), The Last Recreations: Hydras, Eggs, and Other Mathematical Mystifications, Springer-Verlag, pp. 46-49, ISBN 978-0-387-25827-0 ..
18. Guicciardini, Niccolò (2009), Isaac Newton on mathematical certainty and method, Transformations: Studies in the History of Science and Technology 4, MIT Press, pp. 49 & 104, ISBN 978-0-262-01317-8 ..
19. Whiteside, Derek Thomas (2008), The Mathematical Papers of Isaac Newton, Vol. 3, Cambridge University Press, pp. 139, 495, & 551, ISBN 978-0-521-04581-0 ..
20. The Scientific Letters and Papers of James Clerk Maxwell, Edited by P.M. Harman, Volume I, 1846–1862, Cambridge University Press, pg. 35
21. MacTutor History of Mathematics archive

Enlaces externos

• Wikimedia Commons alberga una categoría multimedia sobre Óvalo cartesiano.
• Weisstein, Eric W. «Cartesian Ovals». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Benjamin Williamson, un tratado elemental sobre el cálculo diferencial, que contiene la teoría de las curvas planas (1884)

• Datos: Q2983648
• Multimedia: Cartesian oval / Q2983648