5
$\begingroup$

I understand how to get from the definitions of a hyperbola — as the set of all points on a plane such that the absolute value of the difference between the distances to two foci at $(-c,0)$ and $(c,0)$ is constant, $2a$ — and an ellipse — as the set of all points for which the sum of these distances is constant — to the equation $\frac{x^2}{a^2}+\frac{y^2}{a^2-c^2}=1,\qquad\text{(A)}$ and I also understand if $a>c$ we can define $b^2=a^2-c^2$, yielding $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1,\qquad\text{(E)}$ and if $a we can define $b^2=c^2-a^2$, yielding $\frac{x^2}{a^2}-\frac{y^2}{b^2}=1.\qquad\text{(H)}$ I also understand (by simply "looking" at the graphs of these two cases) that the former, (E), corresponds to an ellipse, and the latter, (H), to a hyperbola.

However, it seems that the general equation, (A), obscures a distinction that was specified in the definitions: if two different definitions produce the same equation, hasn't something been lost in the process? At some point the derivations must have taken a step that wiped out the some feature of the equations — (B) and (C) below — that distinguishes the definitions. I see that one can "restore" a distinction by considering the relationship between $a$ and $b$, as above, but how that distinction maps back to the distinction between the definitions is obscure to me.

What steps in the derivations of (A) from the respective definitions, (B) and (C), is obscuring information that distinguishes those definitions? Is something going on here that can be generalized?


The derivations I'm referring to are pretty standard, they appear in many texts and also in several places on this site, but are repeated here for reference.

From Spivak's Calculus (p. 66): a point $(x,y)$ is on an ellipse if and only if $\sqrt{(x+c)^2+y^2} +\sqrt{(x-c)^2+y^2}= 2a\qquad\text{(B)}$ $\sqrt{(x+c)^2+y^2}= 2a-\sqrt{(x-c)^2+y^2}$ $x^2+2cx+c^2+y^2=4a^2-4a\sqrt{(x-c)^2+y^2}+x^2-2cx+c^2+y^2$ $4(cx-a^2)=-4a\sqrt{(x-c)^2+y^2}$ $c^2x^2-2cxa^2+a^4=a^2(x^2-2cx+c^2+y^2)$ $(c^2-a^2)x^2-a^2y^2=a^2(c^2-a^2)$ $\frac{x^2}{a^2}+\frac{y^2}{a^2-c^2}=1\qquad\text{(A)}$

From a related post: a point $(x,y)$ is on a hyperbola if and only if $\sqrt{(x+c)^2+y^2} -\sqrt{(x-c)^2-y^2}=\pm 2a\qquad\text{(C)}$ $\frac{4xc}{\sqrt{(x+c)^2+y^2} +\sqrt{(x-c)^2-y^2}}=\pm 2a$ $\sqrt{(x+c)^2+y^2} +\sqrt{(x-c)^2-y^2}=\pm \frac{2cx}{a}$ $2\sqrt{(x+c)^2+y^2}=\pm 2\left(a+ \frac{xc}{a}\right)$ $x^2+2cx+c^2+y^2=a^2+ 2cx+ \frac{c^2x^2}{a^2}$ $\frac{x^2}{a^2}+\frac{y^2}{a^2-c^2}=1\qquad\text{(A)}$

  • 0
    The derivation of the hyperbola equation has a sign error in the sign of the $y^2$ term in the second square root.2011-10-13

2 Answers 2

4

This is the difference between real numbers, some of which are not squares of other real numbers, and complex numbers, all of which are squares of other complex numbers. Is the $a^2 - c^2$ in the denominator a negative number (i.e. one that is not a square) or a positive number (one that is a square) (the case where it's $0$, which also is a square, is not what we're examining here).

If you work with complex numbers rather than real numbers, then there's no difference between ellipses and hyperbolas.

(If you go a step further and work with projective spaces rather than affine spaces, then there's no difference between those and parabolas.)

  • 0
    Is it the case that (i) the initial formulations, (B) and (C), are equivalent (if one did the algebra) to a>c and a respectively, and that (ii) that distinction is "collapsed" (wrong word, I'm sure) by squaring (so that it has to be explicitly reconsidered later)?2011-10-07
1

Notice that E and H have two constants, A has three. So A forms a superset of E and H and you should see graph of A to study how E and H are fitted together to form A in a certain composite geometrical pattern/relationship.

Because a certain manipulation on A can bring it into form of E or H, we can see that a three parameter plot contains subset graphs of E and H. In fact A is a set of orthogonally intersecting confocal E and H.