Why are two definitions of ellipses equivalent?
In classical geometry an ellipse is usually defined as the locus of points in the plane such that the distances from each point to the two foci have a given sum.
When we speak of an ellipse analytically, we usually describe it as a circle that has been squashed in one direction, i.e. something similar to the curve $x^2+(y/b)^2 = 1$.
"Everyone knows" that these two definitions yield the same family of shapes. But how can that be proved?
geometry analytic-geometry conic-sections
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
add a comment |
In classical geometry an ellipse is usually defined as the locus of points in the plane such that the distances from each point to the two foci have a given sum.
When we speak of an ellipse analytically, we usually describe it as a circle that has been squashed in one direction, i.e. something similar to the curve $x^2+(y/b)^2 = 1$.
"Everyone knows" that these two definitions yield the same family of shapes. But how can that be proved?
geometry analytic-geometry conic-sections
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
I needed this fact when answering this question, but we don't seem to have a question specifically for this basic fact. My first attempt at proving it by mindless formula-crunching led me horribly astray, so it seems to be useful to have a way that works written down explicitly.
– Henning Makholm
Oct 29 '13 at 10:29
I'm interested in getting more answers to this, especially various intuitive explanations. Is it okay with you if I edit this question into a big-list question asking for more answers?
– Tanner Swett
Apr 7 '17 at 3:05
1
3Blue1Brown recently posted a video giving a beautiful geometric proof of the relationship between the 3 most common descriptions of ellipses.
– Paul Sinclair
yesterday
add a comment |
In classical geometry an ellipse is usually defined as the locus of points in the plane such that the distances from each point to the two foci have a given sum.
When we speak of an ellipse analytically, we usually describe it as a circle that has been squashed in one direction, i.e. something similar to the curve $x^2+(y/b)^2 = 1$.
"Everyone knows" that these two definitions yield the same family of shapes. But how can that be proved?
geometry analytic-geometry conic-sections
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
In classical geometry an ellipse is usually defined as the locus of points in the plane such that the distances from each point to the two foci have a given sum.
When we speak of an ellipse analytically, we usually describe it as a circle that has been squashed in one direction, i.e. something similar to the curve $x^2+(y/b)^2 = 1$.
"Everyone knows" that these two definitions yield the same family of shapes. But how can that be proved?
geometry analytic-geometry conic-sections
geometry analytic-geometry conic-sections
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
asked Oct 29 '13 at 10:28
Henning Makholm
238k16303538
238k16303538
I needed this fact when answering this question, but we don't seem to have a question specifically for this basic fact. My first attempt at proving it by mindless formula-crunching led me horribly astray, so it seems to be useful to have a way that works written down explicitly.
– Henning Makholm
Oct 29 '13 at 10:29
I'm interested in getting more answers to this, especially various intuitive explanations. Is it okay with you if I edit this question into a big-list question asking for more answers?
– Tanner Swett
Apr 7 '17 at 3:05
1
3Blue1Brown recently posted a video giving a beautiful geometric proof of the relationship between the 3 most common descriptions of ellipses.
– Paul Sinclair
yesterday
add a comment |
I needed this fact when answering this question, but we don't seem to have a question specifically for this basic fact. My first attempt at proving it by mindless formula-crunching led me horribly astray, so it seems to be useful to have a way that works written down explicitly.
– Henning Makholm
Oct 29 '13 at 10:29
I'm interested in getting more answers to this, especially various intuitive explanations. Is it okay with you if I edit this question into a big-list question asking for more answers?
– Tanner Swett
Apr 7 '17 at 3:05
1
3Blue1Brown recently posted a video giving a beautiful geometric proof of the relationship between the 3 most common descriptions of ellipses.
– Paul Sinclair
yesterday
I needed this fact when answering this question, but we don't seem to have a question specifically for this basic fact. My first attempt at proving it by mindless formula-crunching led me horribly astray, so it seems to be useful to have a way that works written down explicitly.
– Henning Makholm
Oct 29 '13 at 10:29
I needed this fact when answering this question, but we don't seem to have a question specifically for this basic fact. My first attempt at proving it by mindless formula-crunching led me horribly astray, so it seems to be useful to have a way that works written down explicitly.
– Henning Makholm
Oct 29 '13 at 10:29
I'm interested in getting more answers to this, especially various intuitive explanations. Is it okay with you if I edit this question into a big-list question asking for more answers?
– Tanner Swett
Apr 7 '17 at 3:05
I'm interested in getting more answers to this, especially various intuitive explanations. Is it okay with you if I edit this question into a big-list question asking for more answers?
– Tanner Swett
Apr 7 '17 at 3:05
1
1
3Blue1Brown recently posted a video giving a beautiful geometric proof of the relationship between the 3 most common descriptions of ellipses.
– Paul Sinclair
yesterday
3Blue1Brown recently posted a video giving a beautiful geometric proof of the relationship between the 3 most common descriptions of ellipses.
– Paul Sinclair
yesterday
add a comment |
1 Answer
1
active
oldest
votes
Suppose we have a classical ellipse with its two foci and major axis given. We want to prove that it's a squashed circle.
Select a coordinate system with its origin in the center if the ellipse, the $x$-axis passing through the foci, and a scale such that the common sum-of-distances-to-the-foci is $2$. The foci have coordinates $(pm c,0)$ for some $cin[0,1)$.
By considering the nodes at the end of the minor axis we find that the semiminor axis of the ellipse must be $b=sqrt{1-c^2}$. We must then prove that the equations
$$ tag{1} x^2 + left(frac{y}{sqrt{1-c^2}}right)^2 = 1 $$
$$ tag{2} sqrt{(x+c)^2+y^2} + sqrt{(x-c)^2+y^2} = 2 $$
are equivalent.
Rearranging (1) gives
$$tag{1'} y^2 = (1-c^2)(1-x^2) $$
and therefore $(x+c)^2+y^2 = (1+xc)^2$ by multiplying out each side and collecting terms. Similarly, $(x-c)^2+y^2=(1-xc)^2$. So for points where (1) holds, (2) reduces to $(1+xc)+(1-xc)=2$, which is of course true.
Thus every solution of (1) is a solution of (2). On the other hand, for every fixed $xin(-1,1)$, it is clear that the left-hand-side of (2) increases monotonically with $|y|$ so it can have at most two solutions, which must then be exactly the two solutions for $y$ we get from (1'). (And neither equation has solutions with $|x|>1$). So the equations are indeed equivalent.
Conversely, if we have a squashed circle with major and minor axes $2a$ and $2b$, we can find the focal distance $2c$ by $c^2+b^2=a^2$ and locate the foci on the major axis. Then the above argument shows that the classical ellipse with these foci coincides with our squashed circle.
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
Awesome algebraic explanation! However, do you think there's a way to better see this connection geometrically? To somehow see that if we stretch a circle, there will be two points whose sum of the distances to any point on the ellipse will be a constant? I've been trying to come up with one and haven't been able to. Thank you!
– Joshua Ronis
16 mins ago
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f544012%2fwhy-are-two-definitions-of-ellipses-equivalent%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Suppose we have a classical ellipse with its two foci and major axis given. We want to prove that it's a squashed circle.
Select a coordinate system with its origin in the center if the ellipse, the $x$-axis passing through the foci, and a scale such that the common sum-of-distances-to-the-foci is $2$. The foci have coordinates $(pm c,0)$ for some $cin[0,1)$.
By considering the nodes at the end of the minor axis we find that the semiminor axis of the ellipse must be $b=sqrt{1-c^2}$. We must then prove that the equations
$$ tag{1} x^2 + left(frac{y}{sqrt{1-c^2}}right)^2 = 1 $$
$$ tag{2} sqrt{(x+c)^2+y^2} + sqrt{(x-c)^2+y^2} = 2 $$
are equivalent.
Rearranging (1) gives
$$tag{1'} y^2 = (1-c^2)(1-x^2) $$
and therefore $(x+c)^2+y^2 = (1+xc)^2$ by multiplying out each side and collecting terms. Similarly, $(x-c)^2+y^2=(1-xc)^2$. So for points where (1) holds, (2) reduces to $(1+xc)+(1-xc)=2$, which is of course true.
Thus every solution of (1) is a solution of (2). On the other hand, for every fixed $xin(-1,1)$, it is clear that the left-hand-side of (2) increases monotonically with $|y|$ so it can have at most two solutions, which must then be exactly the two solutions for $y$ we get from (1'). (And neither equation has solutions with $|x|>1$). So the equations are indeed equivalent.
Conversely, if we have a squashed circle with major and minor axes $2a$ and $2b$, we can find the focal distance $2c$ by $c^2+b^2=a^2$ and locate the foci on the major axis. Then the above argument shows that the classical ellipse with these foci coincides with our squashed circle.
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
Awesome algebraic explanation! However, do you think there's a way to better see this connection geometrically? To somehow see that if we stretch a circle, there will be two points whose sum of the distances to any point on the ellipse will be a constant? I've been trying to come up with one and haven't been able to. Thank you!
– Joshua Ronis
16 mins ago
add a comment |
Suppose we have a classical ellipse with its two foci and major axis given. We want to prove that it's a squashed circle.
Select a coordinate system with its origin in the center if the ellipse, the $x$-axis passing through the foci, and a scale such that the common sum-of-distances-to-the-foci is $2$. The foci have coordinates $(pm c,0)$ for some $cin[0,1)$.
By considering the nodes at the end of the minor axis we find that the semiminor axis of the ellipse must be $b=sqrt{1-c^2}$. We must then prove that the equations
$$ tag{1} x^2 + left(frac{y}{sqrt{1-c^2}}right)^2 = 1 $$
$$ tag{2} sqrt{(x+c)^2+y^2} + sqrt{(x-c)^2+y^2} = 2 $$
are equivalent.
Rearranging (1) gives
$$tag{1'} y^2 = (1-c^2)(1-x^2) $$
and therefore $(x+c)^2+y^2 = (1+xc)^2$ by multiplying out each side and collecting terms. Similarly, $(x-c)^2+y^2=(1-xc)^2$. So for points where (1) holds, (2) reduces to $(1+xc)+(1-xc)=2$, which is of course true.
Thus every solution of (1) is a solution of (2). On the other hand, for every fixed $xin(-1,1)$, it is clear that the left-hand-side of (2) increases monotonically with $|y|$ so it can have at most two solutions, which must then be exactly the two solutions for $y$ we get from (1'). (And neither equation has solutions with $|x|>1$). So the equations are indeed equivalent.
Conversely, if we have a squashed circle with major and minor axes $2a$ and $2b$, we can find the focal distance $2c$ by $c^2+b^2=a^2$ and locate the foci on the major axis. Then the above argument shows that the classical ellipse with these foci coincides with our squashed circle.
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
Awesome algebraic explanation! However, do you think there's a way to better see this connection geometrically? To somehow see that if we stretch a circle, there will be two points whose sum of the distances to any point on the ellipse will be a constant? I've been trying to come up with one and haven't been able to. Thank you!
– Joshua Ronis
16 mins ago
add a comment |
Suppose we have a classical ellipse with its two foci and major axis given. We want to prove that it's a squashed circle.
Select a coordinate system with its origin in the center if the ellipse, the $x$-axis passing through the foci, and a scale such that the common sum-of-distances-to-the-foci is $2$. The foci have coordinates $(pm c,0)$ for some $cin[0,1)$.
By considering the nodes at the end of the minor axis we find that the semiminor axis of the ellipse must be $b=sqrt{1-c^2}$. We must then prove that the equations
$$ tag{1} x^2 + left(frac{y}{sqrt{1-c^2}}right)^2 = 1 $$
$$ tag{2} sqrt{(x+c)^2+y^2} + sqrt{(x-c)^2+y^2} = 2 $$
are equivalent.
Rearranging (1) gives
$$tag{1'} y^2 = (1-c^2)(1-x^2) $$
and therefore $(x+c)^2+y^2 = (1+xc)^2$ by multiplying out each side and collecting terms. Similarly, $(x-c)^2+y^2=(1-xc)^2$. So for points where (1) holds, (2) reduces to $(1+xc)+(1-xc)=2$, which is of course true.
Thus every solution of (1) is a solution of (2). On the other hand, for every fixed $xin(-1,1)$, it is clear that the left-hand-side of (2) increases monotonically with $|y|$ so it can have at most two solutions, which must then be exactly the two solutions for $y$ we get from (1'). (And neither equation has solutions with $|x|>1$). So the equations are indeed equivalent.
Conversely, if we have a squashed circle with major and minor axes $2a$ and $2b$, we can find the focal distance $2c$ by $c^2+b^2=a^2$ and locate the foci on the major axis. Then the above argument shows that the classical ellipse with these foci coincides with our squashed circle.
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
Suppose we have a classical ellipse with its two foci and major axis given. We want to prove that it's a squashed circle.
Select a coordinate system with its origin in the center if the ellipse, the $x$-axis passing through the foci, and a scale such that the common sum-of-distances-to-the-foci is $2$. The foci have coordinates $(pm c,0)$ for some $cin[0,1)$.
By considering the nodes at the end of the minor axis we find that the semiminor axis of the ellipse must be $b=sqrt{1-c^2}$. We must then prove that the equations
$$ tag{1} x^2 + left(frac{y}{sqrt{1-c^2}}right)^2 = 1 $$
$$ tag{2} sqrt{(x+c)^2+y^2} + sqrt{(x-c)^2+y^2} = 2 $$
are equivalent.
Rearranging (1) gives
$$tag{1'} y^2 = (1-c^2)(1-x^2) $$
and therefore $(x+c)^2+y^2 = (1+xc)^2$ by multiplying out each side and collecting terms. Similarly, $(x-c)^2+y^2=(1-xc)^2$. So for points where (1) holds, (2) reduces to $(1+xc)+(1-xc)=2$, which is of course true.
Thus every solution of (1) is a solution of (2). On the other hand, for every fixed $xin(-1,1)$, it is clear that the left-hand-side of (2) increases monotonically with $|y|$ so it can have at most two solutions, which must then be exactly the two solutions for $y$ we get from (1'). (And neither equation has solutions with $|x|>1$). So the equations are indeed equivalent.
Conversely, if we have a squashed circle with major and minor axes $2a$ and $2b$, we can find the focal distance $2c$ by $c^2+b^2=a^2$ and locate the foci on the major axis. Then the above argument shows that the classical ellipse with these foci coincides with our squashed circle.
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
answered Oct 29 '13 at 10:28
Henning Makholm
238k16303538
238k16303538
Awesome algebraic explanation! However, do you think there's a way to better see this connection geometrically? To somehow see that if we stretch a circle, there will be two points whose sum of the distances to any point on the ellipse will be a constant? I've been trying to come up with one and haven't been able to. Thank you!
– Joshua Ronis
16 mins ago
add a comment |
Awesome algebraic explanation! However, do you think there's a way to better see this connection geometrically? To somehow see that if we stretch a circle, there will be two points whose sum of the distances to any point on the ellipse will be a constant? I've been trying to come up with one and haven't been able to. Thank you!
– Joshua Ronis
16 mins ago
Awesome algebraic explanation! However, do you think there's a way to better see this connection geometrically? To somehow see that if we stretch a circle, there will be two points whose sum of the distances to any point on the ellipse will be a constant? I've been trying to come up with one and haven't been able to. Thank you!
– Joshua Ronis
16 mins ago
Awesome algebraic explanation! However, do you think there's a way to better see this connection geometrically? To somehow see that if we stretch a circle, there will be two points whose sum of the distances to any point on the ellipse will be a constant? I've been trying to come up with one and haven't been able to. Thank you!
– Joshua Ronis
16 mins ago
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f544012%2fwhy-are-two-definitions-of-ellipses-equivalent%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
I needed this fact when answering this question, but we don't seem to have a question specifically for this basic fact. My first attempt at proving it by mindless formula-crunching led me horribly astray, so it seems to be useful to have a way that works written down explicitly.
– Henning Makholm
Oct 29 '13 at 10:29
I'm interested in getting more answers to this, especially various intuitive explanations. Is it okay with you if I edit this question into a big-list question asking for more answers?
– Tanner Swett
Apr 7 '17 at 3:05
1
3Blue1Brown recently posted a video giving a beautiful geometric proof of the relationship between the 3 most common descriptions of ellipses.
– Paul Sinclair
yesterday