He mencionado en mi respuesta anterior que los "focos y la cadena de la" forma de la elipse de ecuación es rara vez visto "excepto como el punto de partida en una expresión algebraica viaje a la "norma " forma". Quiero elaborar un poco más sobre que "algebraica de viaje".
Normalmente, el viaje implica un montón de unenlightening, mecánico de símbolos presionando para eliminar las raíces cuadradas. En concreto, la definición
$$d_i := \sqrt{(x-x_i)^2+(y-y_i)^2}$$
el argumento tiende a ser algo como esto:
$$\begin{alignat}{2}\quad && d_1 + d_2 &= 2 a \qquad\text{(definition: sum of distances to foci is constant)} \tag{$\estrella de$} \ \ \\quad && (d_1 + d_2)^2 &= (2)^2 \\[4pt]
\a\quad && d_1^2 + 2 d_1 d_2 + d_2^2 &= 4^2 \\[4pt]
\a\quad && 2 d_1 d_2 &= 4^2 - d_1^2 - d_2^2 \\[4pt]
\a\quad && (2d_1d_2)^2 &= ( 4^2-d_1^2-d_2)^2 \\[4pt]
\a\quad && 0 &= d_1^4+d_2^4+16a^4-2d_1^2d_2^2-8a^2d_1^2-8a^2d_2^2 \etiqueta{$\star\star$}
\end{alignat}$$
de modo que $(\star\star)$ contiene sólo los poderes de la $d_i$, por lo tanto: no radicales. ¡Misión cumplida! Sustitución de la $d_i$ (en particular, con $(x_i,y_i) = (\pm c,0)$, y la definición de $b^2 := a^2-c^2$), la ecuación de $(\star\star)$ simplifica (ver más abajo) para el origen centrado en la forma estándar de la ecuación todos sabemos y el amor.
Creo que el OP está decepcionado de que, en algún lugar a lo largo de la tedioso viaje de$(\star)$$(\star\star)$, perdemos de vista de la $(\star)$.
Sin embargo, todavía es posible echar un vistazo a $(\star)$$(\star\star)$, debido a $(\star\star)$ factores:
$$(d_1+d_2-2a)(d_1-d_2-2a)(-d_1+d_2-2a)(d_1+d_2+2a) = 0 \tag{$\estrellas\estrellas\estrella de$}$$
(El lector puede ver una semejanza a la fórmula de la Garza en la anterior.)
Desde $(\star)$ es justo ahí en el primer factor, el conjunto de puntos de satisfacciones $(\star\star\star)$ debe incluir aquellos satisfacer $(\star)$ el (bueno, uno) definición de la elipse.
Tenga en cuenta que el último factor de $(\star\star\star)$ no contribuye con los puntos, ya que presumiblemente $a > 0$$d_i \geq 0$.
Curiosamente, la media de los factores de $(\star\star\star)$ corresponden a las relaciones de los
$$d_1 - d_2 = 2a \quad\text{or}\quad d_2 - d_1 = 2a \qquad\qquad\text{i.e.,}\quad |d_1-d_2| = 2a$$
que decir, precisamente, que la diferencia de distancias a los focos es constante: el (bueno, uno) definición de la hipérbola! (Cada factor corresponde a un brazo de la ostensible hipérbola.)
En consecuencia, $(\star\star)$ es simultáneamente la ecuación de una elipse y una hipérbola de ecuación! Excepto, no exactamente. La gráfica del conjunto solución es sólo uno o el otro, según lo determinado por $a$'s relación a la distancia entre los focos. Para ser más específicos, vamos a hacer la simplificación insinuado anteriormente: tome $(x_i,y_i) = (\pm c,0)$, por lo que el $(\star\star)$ se convierte en
$$16 \left(\;a^2 (a^2 - c^2) - x^2(a^2-c^2) - a^2 y^2\;\right) = 0 \qquad\to\qquad \frac{x^2}{a^2} + \frac{y^2}{a^2-c^2} = 1$$
Vemos, entonces, que cuando la $a > c$ ---de manera que la suma de las distancias a los focos es mayor que la distancia entre los focos de sí mismos--- la ecuación es la de una elipse; en $(\star\star\star)$, el segundo y tercer factores no puede ser cero. Por otro lado, cuando se $a < c$, la ecuación es la de una hipérbola; el primer factor de $(\star\star\star)$ no puede ser cero. (Exploración de las degeneraciones derivadas de $a=c$ se deja como ejercicio para el lector.)
De todos modos, mi punto es este: podemos llegar a $(\star\star)$ $(\star)$ por andar a través de la secuencia de pasos algebraicos que oscurecen la geometría; o, que puede llegar a $(\star\star)$ por "racionalizar" $(\star)$ a través de la multiplicación por lo que se podría llamar su "Heronic conjugada", los tres factores de los cuales son geométricamente significativa (aunque uno es inherentemente extraños). Y obtenemos la ecuación de la hipérbola gratis ... porque es la misma ecuación!
Un poco aseado, que.