Minimum distance between two parabolas
$begingroup$
The shortest distance between the parabolas $y^2=x-1$ and $x^2=y-1$ is.
Attempt: The shortest distance is along the common normal of the two curves.
geometry
$endgroup$
add a comment |
$begingroup$
The shortest distance between the parabolas $y^2=x-1$ and $x^2=y-1$ is.
Attempt: The shortest distance is along the common normal of the two curves.
geometry
$endgroup$
6
$begingroup$
That's hardly an attempt, that's just an idea. An attempt would involve using it. An in general it's wrong, if you looked at $y=x^2$ and $y=x^2+1$, the only common normal would be the $y$-axis, but the distance along that is the maximum.
$endgroup$
– Henrik
Mar 28 '15 at 9:15
3
$begingroup$
What mathematical resources can you use? For example, can you use partial derivatives of a function of two variables?
$endgroup$
– Rory Daulton
Mar 28 '15 at 9:16
$begingroup$
Henrik, yasir's statement is correct in the general case as long as there are no intersections and a minimum distance exists (which your example does not have) since the claim was not that the length of the common normal is always the minimum length but just that the minimum length is on a common normal.
$endgroup$
– Mint
Mar 26 '18 at 4:32
add a comment |
$begingroup$
The shortest distance between the parabolas $y^2=x-1$ and $x^2=y-1$ is.
Attempt: The shortest distance is along the common normal of the two curves.
geometry
$endgroup$
The shortest distance between the parabolas $y^2=x-1$ and $x^2=y-1$ is.
Attempt: The shortest distance is along the common normal of the two curves.
geometry
geometry
edited Mar 28 '15 at 9:33
user164524
asked Mar 28 '15 at 9:05
yasiryasir
6591818
6591818
6
$begingroup$
That's hardly an attempt, that's just an idea. An attempt would involve using it. An in general it's wrong, if you looked at $y=x^2$ and $y=x^2+1$, the only common normal would be the $y$-axis, but the distance along that is the maximum.
$endgroup$
– Henrik
Mar 28 '15 at 9:15
3
$begingroup$
What mathematical resources can you use? For example, can you use partial derivatives of a function of two variables?
$endgroup$
– Rory Daulton
Mar 28 '15 at 9:16
$begingroup$
Henrik, yasir's statement is correct in the general case as long as there are no intersections and a minimum distance exists (which your example does not have) since the claim was not that the length of the common normal is always the minimum length but just that the minimum length is on a common normal.
$endgroup$
– Mint
Mar 26 '18 at 4:32
add a comment |
6
$begingroup$
That's hardly an attempt, that's just an idea. An attempt would involve using it. An in general it's wrong, if you looked at $y=x^2$ and $y=x^2+1$, the only common normal would be the $y$-axis, but the distance along that is the maximum.
$endgroup$
– Henrik
Mar 28 '15 at 9:15
3
$begingroup$
What mathematical resources can you use? For example, can you use partial derivatives of a function of two variables?
$endgroup$
– Rory Daulton
Mar 28 '15 at 9:16
$begingroup$
Henrik, yasir's statement is correct in the general case as long as there are no intersections and a minimum distance exists (which your example does not have) since the claim was not that the length of the common normal is always the minimum length but just that the minimum length is on a common normal.
$endgroup$
– Mint
Mar 26 '18 at 4:32
6
6
$begingroup$
That's hardly an attempt, that's just an idea. An attempt would involve using it. An in general it's wrong, if you looked at $y=x^2$ and $y=x^2+1$, the only common normal would be the $y$-axis, but the distance along that is the maximum.
$endgroup$
– Henrik
Mar 28 '15 at 9:15
$begingroup$
That's hardly an attempt, that's just an idea. An attempt would involve using it. An in general it's wrong, if you looked at $y=x^2$ and $y=x^2+1$, the only common normal would be the $y$-axis, but the distance along that is the maximum.
$endgroup$
– Henrik
Mar 28 '15 at 9:15
3
3
$begingroup$
What mathematical resources can you use? For example, can you use partial derivatives of a function of two variables?
$endgroup$
– Rory Daulton
Mar 28 '15 at 9:16
$begingroup$
What mathematical resources can you use? For example, can you use partial derivatives of a function of two variables?
$endgroup$
– Rory Daulton
Mar 28 '15 at 9:16
$begingroup$
Henrik, yasir's statement is correct in the general case as long as there are no intersections and a minimum distance exists (which your example does not have) since the claim was not that the length of the common normal is always the minimum length but just that the minimum length is on a common normal.
$endgroup$
– Mint
Mar 26 '18 at 4:32
$begingroup$
Henrik, yasir's statement is correct in the general case as long as there are no intersections and a minimum distance exists (which your example does not have) since the claim was not that the length of the common normal is always the minimum length but just that the minimum length is on a common normal.
$endgroup$
– Mint
Mar 26 '18 at 4:32
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
Hope a bit of calculus is allowed. Primes are with respect to x. Notice that they are inverse functions of each other, you can swap $ x,y$ to get to the second parabola. They are mirror images with respect to line $ x=y$. Required point should have this slope $y^{'} =1 $ for its tangent at point of tangency at ends of common normal.
Take the parabola with its symmetry axis coinciding with axis.
Differentiating $ 2 y y'= 1 , 2 y = 1, $ and the $x,y$ coordinates are
$$ (dfrac54,dfrac12)$$
and the other point of tangency is again swapped to
$$ (dfrac12,dfrac54); $$
Now use distance formula between them getting
$ d = dfrac{3 sqrt{2}}{4}. $
$endgroup$
$begingroup$
thanks. that was quite helpful.
$endgroup$
– yasir
Mar 28 '15 at 14:52
$begingroup$
You are welcome.
$endgroup$
– Narasimham
Mar 28 '15 at 15:27
1
$begingroup$
Could you explain why required point should have this slope $y′=1$ for its tangent at point of tangency at ends of common normal?
$endgroup$
– MathGeek
Aug 28 '16 at 17:37
$begingroup$
As shown in the sketch since the parabolas are symmetric with respect to $x=y, $ the common normal should have the same slope $=-1$ and the parallels should have same slope $=+1.$.
$endgroup$
– Narasimham
Aug 28 '16 at 18:23
2
$begingroup$
From the graph of any function its inverse fuction grapph can be obtained by mirroring about the straight line $x=y$. From points of maximum (or minimum) distance drop normals on to this line $x=y$. It is in fact the same normal line.The parallel lines have slope $m_1= +1$ and normal lines have slope $m_2= -1/m_1 = -1$.
$endgroup$
– Narasimham
Mar 16 '18 at 11:28
|
show 1 more comment
$begingroup$
A point lying on the first parabola has coordinates $(1+u^2,u)$ while a point lying on the second parabola has coordinates $(v,1+v^2)$, hence the squared distance between them is given by:
$$ d(u,v) = (1+u^2-v)^2 + (1+v^2-u)^2 $$
and the stationary points for such a function are given by the solutions of:
$$ frac{partial d}{partial u}= 4u(1+u^2-v)-2(1+v^2-u)=0,$$
$$ frac{partial d}{partial v}= 4v(1+v^2-u)-2(1+u^2-v)=0,$$
hence they fulfill, by taking the difference between the two equations:
$$ u(3+u+2u^2)=v(3+v+2v^2)tag{1} $$
but since $frac{d}{dt}left(t(3+t+2t^2)right) = 3+2t+6t^2$ has a negative discriminant we have that $tto t(3+t+2t^2)$ is an injective function, hence $(1)$ implies $u=v$ and we have:
$$ (4u-2)(1-u+u^2) = 0 tag{2}$$
from which $u=v=frac{1}{2}$ and:
$$ min_{u,v} {d(u,v)}^2 = 2cdotleft(1+frac{1}{4}-frac{1}{2}right)^2 = frac{9}{8}.tag{3}$$
$endgroup$
add a comment |
$begingroup$
let the shortest distance between the parabolas $y = 1 + x^2$ and $x = 1 + y^2$ be given by $AB,$ where $A = (a , 1 + a^2), B = (1 + b^2, b)$ with both $a$ and $b$ positive. the tangent at $A$ has slope $2a$ and the one at $B$ has slope $frac 1{2b}$ and the slope of $AB$ is $frac{1+a^2 - b}{a-1-b^2}$
we need $$2a = frac 1{2b} = frac{1+b^2 - a}{1 + a^2 - b}$$ so that both tangents are parallel and orthogonal to $AB.$ this gives $$b = frac 1 a, , 2a = frac{1 + frac 1 {a^2} - a}{1 + a^2 - frac 1 a} = frac{a^2 + 1 - a^3}{a(a+a^3 -1)} to 2a^3+2a^5-2a^2=a^2 + 1 - a^3$$ that is $$2a^5+3a^3 - 3a^2 - 1 = 0, a > 0. $$
numerically(ti-83 solver), i found $a = 0.9072$ to be the only solution.
$endgroup$
add a comment |
$begingroup$
The two parabolas are clearly mirror images by the main diagonal ($x=y$), which diagonal they don't intersect (as $x^2-x+1>0$ for all real $x$). The shortest path then must be perpendicular to that diagonal, and the tangent to the parabolas parallel to the diagonal. The second parabola is the graph of the function $xmapsto x^2+1$, and no complicated calculus is needed to see that the only point where its tangent is parallel to the diagonal is $(x,y)=(frac12,frac54)$. The distance to its mirror image $(frac54,frac12)$ is $sqrt2,left|frac54-frac12right|=frac34sqrt2$.
$endgroup$
1
$begingroup$
Really the same answer as that of Narashimham, as I discovered later. Please upvote that one (I've got plenty of points already).
$endgroup$
– Marc van Leeuwen
Mar 28 '15 at 13:25
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%2f1209893%2fminimum-distance-between-two-parabolas%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Hope a bit of calculus is allowed. Primes are with respect to x. Notice that they are inverse functions of each other, you can swap $ x,y$ to get to the second parabola. They are mirror images with respect to line $ x=y$. Required point should have this slope $y^{'} =1 $ for its tangent at point of tangency at ends of common normal.
Take the parabola with its symmetry axis coinciding with axis.
Differentiating $ 2 y y'= 1 , 2 y = 1, $ and the $x,y$ coordinates are
$$ (dfrac54,dfrac12)$$
and the other point of tangency is again swapped to
$$ (dfrac12,dfrac54); $$
Now use distance formula between them getting
$ d = dfrac{3 sqrt{2}}{4}. $
$endgroup$
$begingroup$
thanks. that was quite helpful.
$endgroup$
– yasir
Mar 28 '15 at 14:52
$begingroup$
You are welcome.
$endgroup$
– Narasimham
Mar 28 '15 at 15:27
1
$begingroup$
Could you explain why required point should have this slope $y′=1$ for its tangent at point of tangency at ends of common normal?
$endgroup$
– MathGeek
Aug 28 '16 at 17:37
$begingroup$
As shown in the sketch since the parabolas are symmetric with respect to $x=y, $ the common normal should have the same slope $=-1$ and the parallels should have same slope $=+1.$.
$endgroup$
– Narasimham
Aug 28 '16 at 18:23
2
$begingroup$
From the graph of any function its inverse fuction grapph can be obtained by mirroring about the straight line $x=y$. From points of maximum (or minimum) distance drop normals on to this line $x=y$. It is in fact the same normal line.The parallel lines have slope $m_1= +1$ and normal lines have slope $m_2= -1/m_1 = -1$.
$endgroup$
– Narasimham
Mar 16 '18 at 11:28
|
show 1 more comment
$begingroup$
Hope a bit of calculus is allowed. Primes are with respect to x. Notice that they are inverse functions of each other, you can swap $ x,y$ to get to the second parabola. They are mirror images with respect to line $ x=y$. Required point should have this slope $y^{'} =1 $ for its tangent at point of tangency at ends of common normal.
Take the parabola with its symmetry axis coinciding with axis.
Differentiating $ 2 y y'= 1 , 2 y = 1, $ and the $x,y$ coordinates are
$$ (dfrac54,dfrac12)$$
and the other point of tangency is again swapped to
$$ (dfrac12,dfrac54); $$
Now use distance formula between them getting
$ d = dfrac{3 sqrt{2}}{4}. $
$endgroup$
$begingroup$
thanks. that was quite helpful.
$endgroup$
– yasir
Mar 28 '15 at 14:52
$begingroup$
You are welcome.
$endgroup$
– Narasimham
Mar 28 '15 at 15:27
1
$begingroup$
Could you explain why required point should have this slope $y′=1$ for its tangent at point of tangency at ends of common normal?
$endgroup$
– MathGeek
Aug 28 '16 at 17:37
$begingroup$
As shown in the sketch since the parabolas are symmetric with respect to $x=y, $ the common normal should have the same slope $=-1$ and the parallels should have same slope $=+1.$.
$endgroup$
– Narasimham
Aug 28 '16 at 18:23
2
$begingroup$
From the graph of any function its inverse fuction grapph can be obtained by mirroring about the straight line $x=y$. From points of maximum (or minimum) distance drop normals on to this line $x=y$. It is in fact the same normal line.The parallel lines have slope $m_1= +1$ and normal lines have slope $m_2= -1/m_1 = -1$.
$endgroup$
– Narasimham
Mar 16 '18 at 11:28
|
show 1 more comment
$begingroup$
Hope a bit of calculus is allowed. Primes are with respect to x. Notice that they are inverse functions of each other, you can swap $ x,y$ to get to the second parabola. They are mirror images with respect to line $ x=y$. Required point should have this slope $y^{'} =1 $ for its tangent at point of tangency at ends of common normal.
Take the parabola with its symmetry axis coinciding with axis.
Differentiating $ 2 y y'= 1 , 2 y = 1, $ and the $x,y$ coordinates are
$$ (dfrac54,dfrac12)$$
and the other point of tangency is again swapped to
$$ (dfrac12,dfrac54); $$
Now use distance formula between them getting
$ d = dfrac{3 sqrt{2}}{4}. $
$endgroup$
Hope a bit of calculus is allowed. Primes are with respect to x. Notice that they are inverse functions of each other, you can swap $ x,y$ to get to the second parabola. They are mirror images with respect to line $ x=y$. Required point should have this slope $y^{'} =1 $ for its tangent at point of tangency at ends of common normal.
Take the parabola with its symmetry axis coinciding with axis.
Differentiating $ 2 y y'= 1 , 2 y = 1, $ and the $x,y$ coordinates are
$$ (dfrac54,dfrac12)$$
and the other point of tangency is again swapped to
$$ (dfrac12,dfrac54); $$
Now use distance formula between them getting
$ d = dfrac{3 sqrt{2}}{4}. $
edited Jan 31 at 16:20
answered Mar 28 '15 at 10:22
NarasimhamNarasimham
21.1k62258
21.1k62258
$begingroup$
thanks. that was quite helpful.
$endgroup$
– yasir
Mar 28 '15 at 14:52
$begingroup$
You are welcome.
$endgroup$
– Narasimham
Mar 28 '15 at 15:27
1
$begingroup$
Could you explain why required point should have this slope $y′=1$ for its tangent at point of tangency at ends of common normal?
$endgroup$
– MathGeek
Aug 28 '16 at 17:37
$begingroup$
As shown in the sketch since the parabolas are symmetric with respect to $x=y, $ the common normal should have the same slope $=-1$ and the parallels should have same slope $=+1.$.
$endgroup$
– Narasimham
Aug 28 '16 at 18:23
2
$begingroup$
From the graph of any function its inverse fuction grapph can be obtained by mirroring about the straight line $x=y$. From points of maximum (or minimum) distance drop normals on to this line $x=y$. It is in fact the same normal line.The parallel lines have slope $m_1= +1$ and normal lines have slope $m_2= -1/m_1 = -1$.
$endgroup$
– Narasimham
Mar 16 '18 at 11:28
|
show 1 more comment
$begingroup$
thanks. that was quite helpful.
$endgroup$
– yasir
Mar 28 '15 at 14:52
$begingroup$
You are welcome.
$endgroup$
– Narasimham
Mar 28 '15 at 15:27
1
$begingroup$
Could you explain why required point should have this slope $y′=1$ for its tangent at point of tangency at ends of common normal?
$endgroup$
– MathGeek
Aug 28 '16 at 17:37
$begingroup$
As shown in the sketch since the parabolas are symmetric with respect to $x=y, $ the common normal should have the same slope $=-1$ and the parallels should have same slope $=+1.$.
$endgroup$
– Narasimham
Aug 28 '16 at 18:23
2
$begingroup$
From the graph of any function its inverse fuction grapph can be obtained by mirroring about the straight line $x=y$. From points of maximum (or minimum) distance drop normals on to this line $x=y$. It is in fact the same normal line.The parallel lines have slope $m_1= +1$ and normal lines have slope $m_2= -1/m_1 = -1$.
$endgroup$
– Narasimham
Mar 16 '18 at 11:28
$begingroup$
thanks. that was quite helpful.
$endgroup$
– yasir
Mar 28 '15 at 14:52
$begingroup$
thanks. that was quite helpful.
$endgroup$
– yasir
Mar 28 '15 at 14:52
$begingroup$
You are welcome.
$endgroup$
– Narasimham
Mar 28 '15 at 15:27
$begingroup$
You are welcome.
$endgroup$
– Narasimham
Mar 28 '15 at 15:27
1
1
$begingroup$
Could you explain why required point should have this slope $y′=1$ for its tangent at point of tangency at ends of common normal?
$endgroup$
– MathGeek
Aug 28 '16 at 17:37
$begingroup$
Could you explain why required point should have this slope $y′=1$ for its tangent at point of tangency at ends of common normal?
$endgroup$
– MathGeek
Aug 28 '16 at 17:37
$begingroup$
As shown in the sketch since the parabolas are symmetric with respect to $x=y, $ the common normal should have the same slope $=-1$ and the parallels should have same slope $=+1.$.
$endgroup$
– Narasimham
Aug 28 '16 at 18:23
$begingroup$
As shown in the sketch since the parabolas are symmetric with respect to $x=y, $ the common normal should have the same slope $=-1$ and the parallels should have same slope $=+1.$.
$endgroup$
– Narasimham
Aug 28 '16 at 18:23
2
2
$begingroup$
From the graph of any function its inverse fuction grapph can be obtained by mirroring about the straight line $x=y$. From points of maximum (or minimum) distance drop normals on to this line $x=y$. It is in fact the same normal line.The parallel lines have slope $m_1= +1$ and normal lines have slope $m_2= -1/m_1 = -1$.
$endgroup$
– Narasimham
Mar 16 '18 at 11:28
$begingroup$
From the graph of any function its inverse fuction grapph can be obtained by mirroring about the straight line $x=y$. From points of maximum (or minimum) distance drop normals on to this line $x=y$. It is in fact the same normal line.The parallel lines have slope $m_1= +1$ and normal lines have slope $m_2= -1/m_1 = -1$.
$endgroup$
– Narasimham
Mar 16 '18 at 11:28
|
show 1 more comment
$begingroup$
A point lying on the first parabola has coordinates $(1+u^2,u)$ while a point lying on the second parabola has coordinates $(v,1+v^2)$, hence the squared distance between them is given by:
$$ d(u,v) = (1+u^2-v)^2 + (1+v^2-u)^2 $$
and the stationary points for such a function are given by the solutions of:
$$ frac{partial d}{partial u}= 4u(1+u^2-v)-2(1+v^2-u)=0,$$
$$ frac{partial d}{partial v}= 4v(1+v^2-u)-2(1+u^2-v)=0,$$
hence they fulfill, by taking the difference between the two equations:
$$ u(3+u+2u^2)=v(3+v+2v^2)tag{1} $$
but since $frac{d}{dt}left(t(3+t+2t^2)right) = 3+2t+6t^2$ has a negative discriminant we have that $tto t(3+t+2t^2)$ is an injective function, hence $(1)$ implies $u=v$ and we have:
$$ (4u-2)(1-u+u^2) = 0 tag{2}$$
from which $u=v=frac{1}{2}$ and:
$$ min_{u,v} {d(u,v)}^2 = 2cdotleft(1+frac{1}{4}-frac{1}{2}right)^2 = frac{9}{8}.tag{3}$$
$endgroup$
add a comment |
$begingroup$
A point lying on the first parabola has coordinates $(1+u^2,u)$ while a point lying on the second parabola has coordinates $(v,1+v^2)$, hence the squared distance between them is given by:
$$ d(u,v) = (1+u^2-v)^2 + (1+v^2-u)^2 $$
and the stationary points for such a function are given by the solutions of:
$$ frac{partial d}{partial u}= 4u(1+u^2-v)-2(1+v^2-u)=0,$$
$$ frac{partial d}{partial v}= 4v(1+v^2-u)-2(1+u^2-v)=0,$$
hence they fulfill, by taking the difference between the two equations:
$$ u(3+u+2u^2)=v(3+v+2v^2)tag{1} $$
but since $frac{d}{dt}left(t(3+t+2t^2)right) = 3+2t+6t^2$ has a negative discriminant we have that $tto t(3+t+2t^2)$ is an injective function, hence $(1)$ implies $u=v$ and we have:
$$ (4u-2)(1-u+u^2) = 0 tag{2}$$
from which $u=v=frac{1}{2}$ and:
$$ min_{u,v} {d(u,v)}^2 = 2cdotleft(1+frac{1}{4}-frac{1}{2}right)^2 = frac{9}{8}.tag{3}$$
$endgroup$
add a comment |
$begingroup$
A point lying on the first parabola has coordinates $(1+u^2,u)$ while a point lying on the second parabola has coordinates $(v,1+v^2)$, hence the squared distance between them is given by:
$$ d(u,v) = (1+u^2-v)^2 + (1+v^2-u)^2 $$
and the stationary points for such a function are given by the solutions of:
$$ frac{partial d}{partial u}= 4u(1+u^2-v)-2(1+v^2-u)=0,$$
$$ frac{partial d}{partial v}= 4v(1+v^2-u)-2(1+u^2-v)=0,$$
hence they fulfill, by taking the difference between the two equations:
$$ u(3+u+2u^2)=v(3+v+2v^2)tag{1} $$
but since $frac{d}{dt}left(t(3+t+2t^2)right) = 3+2t+6t^2$ has a negative discriminant we have that $tto t(3+t+2t^2)$ is an injective function, hence $(1)$ implies $u=v$ and we have:
$$ (4u-2)(1-u+u^2) = 0 tag{2}$$
from which $u=v=frac{1}{2}$ and:
$$ min_{u,v} {d(u,v)}^2 = 2cdotleft(1+frac{1}{4}-frac{1}{2}right)^2 = frac{9}{8}.tag{3}$$
$endgroup$
A point lying on the first parabola has coordinates $(1+u^2,u)$ while a point lying on the second parabola has coordinates $(v,1+v^2)$, hence the squared distance between them is given by:
$$ d(u,v) = (1+u^2-v)^2 + (1+v^2-u)^2 $$
and the stationary points for such a function are given by the solutions of:
$$ frac{partial d}{partial u}= 4u(1+u^2-v)-2(1+v^2-u)=0,$$
$$ frac{partial d}{partial v}= 4v(1+v^2-u)-2(1+u^2-v)=0,$$
hence they fulfill, by taking the difference between the two equations:
$$ u(3+u+2u^2)=v(3+v+2v^2)tag{1} $$
but since $frac{d}{dt}left(t(3+t+2t^2)right) = 3+2t+6t^2$ has a negative discriminant we have that $tto t(3+t+2t^2)$ is an injective function, hence $(1)$ implies $u=v$ and we have:
$$ (4u-2)(1-u+u^2) = 0 tag{2}$$
from which $u=v=frac{1}{2}$ and:
$$ min_{u,v} {d(u,v)}^2 = 2cdotleft(1+frac{1}{4}-frac{1}{2}right)^2 = frac{9}{8}.tag{3}$$
edited Mar 28 '15 at 11:16
Narasimham
21.1k62258
21.1k62258
answered Mar 28 '15 at 10:21
Jack D'AurizioJack D'Aurizio
292k33284672
292k33284672
add a comment |
add a comment |
$begingroup$
let the shortest distance between the parabolas $y = 1 + x^2$ and $x = 1 + y^2$ be given by $AB,$ where $A = (a , 1 + a^2), B = (1 + b^2, b)$ with both $a$ and $b$ positive. the tangent at $A$ has slope $2a$ and the one at $B$ has slope $frac 1{2b}$ and the slope of $AB$ is $frac{1+a^2 - b}{a-1-b^2}$
we need $$2a = frac 1{2b} = frac{1+b^2 - a}{1 + a^2 - b}$$ so that both tangents are parallel and orthogonal to $AB.$ this gives $$b = frac 1 a, , 2a = frac{1 + frac 1 {a^2} - a}{1 + a^2 - frac 1 a} = frac{a^2 + 1 - a^3}{a(a+a^3 -1)} to 2a^3+2a^5-2a^2=a^2 + 1 - a^3$$ that is $$2a^5+3a^3 - 3a^2 - 1 = 0, a > 0. $$
numerically(ti-83 solver), i found $a = 0.9072$ to be the only solution.
$endgroup$
add a comment |
$begingroup$
let the shortest distance between the parabolas $y = 1 + x^2$ and $x = 1 + y^2$ be given by $AB,$ where $A = (a , 1 + a^2), B = (1 + b^2, b)$ with both $a$ and $b$ positive. the tangent at $A$ has slope $2a$ and the one at $B$ has slope $frac 1{2b}$ and the slope of $AB$ is $frac{1+a^2 - b}{a-1-b^2}$
we need $$2a = frac 1{2b} = frac{1+b^2 - a}{1 + a^2 - b}$$ so that both tangents are parallel and orthogonal to $AB.$ this gives $$b = frac 1 a, , 2a = frac{1 + frac 1 {a^2} - a}{1 + a^2 - frac 1 a} = frac{a^2 + 1 - a^3}{a(a+a^3 -1)} to 2a^3+2a^5-2a^2=a^2 + 1 - a^3$$ that is $$2a^5+3a^3 - 3a^2 - 1 = 0, a > 0. $$
numerically(ti-83 solver), i found $a = 0.9072$ to be the only solution.
$endgroup$
add a comment |
$begingroup$
let the shortest distance between the parabolas $y = 1 + x^2$ and $x = 1 + y^2$ be given by $AB,$ where $A = (a , 1 + a^2), B = (1 + b^2, b)$ with both $a$ and $b$ positive. the tangent at $A$ has slope $2a$ and the one at $B$ has slope $frac 1{2b}$ and the slope of $AB$ is $frac{1+a^2 - b}{a-1-b^2}$
we need $$2a = frac 1{2b} = frac{1+b^2 - a}{1 + a^2 - b}$$ so that both tangents are parallel and orthogonal to $AB.$ this gives $$b = frac 1 a, , 2a = frac{1 + frac 1 {a^2} - a}{1 + a^2 - frac 1 a} = frac{a^2 + 1 - a^3}{a(a+a^3 -1)} to 2a^3+2a^5-2a^2=a^2 + 1 - a^3$$ that is $$2a^5+3a^3 - 3a^2 - 1 = 0, a > 0. $$
numerically(ti-83 solver), i found $a = 0.9072$ to be the only solution.
$endgroup$
let the shortest distance between the parabolas $y = 1 + x^2$ and $x = 1 + y^2$ be given by $AB,$ where $A = (a , 1 + a^2), B = (1 + b^2, b)$ with both $a$ and $b$ positive. the tangent at $A$ has slope $2a$ and the one at $B$ has slope $frac 1{2b}$ and the slope of $AB$ is $frac{1+a^2 - b}{a-1-b^2}$
we need $$2a = frac 1{2b} = frac{1+b^2 - a}{1 + a^2 - b}$$ so that both tangents are parallel and orthogonal to $AB.$ this gives $$b = frac 1 a, , 2a = frac{1 + frac 1 {a^2} - a}{1 + a^2 - frac 1 a} = frac{a^2 + 1 - a^3}{a(a+a^3 -1)} to 2a^3+2a^5-2a^2=a^2 + 1 - a^3$$ that is $$2a^5+3a^3 - 3a^2 - 1 = 0, a > 0. $$
numerically(ti-83 solver), i found $a = 0.9072$ to be the only solution.
answered Mar 28 '15 at 11:39
abelabel
26.6k12148
26.6k12148
add a comment |
add a comment |
$begingroup$
The two parabolas are clearly mirror images by the main diagonal ($x=y$), which diagonal they don't intersect (as $x^2-x+1>0$ for all real $x$). The shortest path then must be perpendicular to that diagonal, and the tangent to the parabolas parallel to the diagonal. The second parabola is the graph of the function $xmapsto x^2+1$, and no complicated calculus is needed to see that the only point where its tangent is parallel to the diagonal is $(x,y)=(frac12,frac54)$. The distance to its mirror image $(frac54,frac12)$ is $sqrt2,left|frac54-frac12right|=frac34sqrt2$.
$endgroup$
1
$begingroup$
Really the same answer as that of Narashimham, as I discovered later. Please upvote that one (I've got plenty of points already).
$endgroup$
– Marc van Leeuwen
Mar 28 '15 at 13:25
add a comment |
$begingroup$
The two parabolas are clearly mirror images by the main diagonal ($x=y$), which diagonal they don't intersect (as $x^2-x+1>0$ for all real $x$). The shortest path then must be perpendicular to that diagonal, and the tangent to the parabolas parallel to the diagonal. The second parabola is the graph of the function $xmapsto x^2+1$, and no complicated calculus is needed to see that the only point where its tangent is parallel to the diagonal is $(x,y)=(frac12,frac54)$. The distance to its mirror image $(frac54,frac12)$ is $sqrt2,left|frac54-frac12right|=frac34sqrt2$.
$endgroup$
1
$begingroup$
Really the same answer as that of Narashimham, as I discovered later. Please upvote that one (I've got plenty of points already).
$endgroup$
– Marc van Leeuwen
Mar 28 '15 at 13:25
add a comment |
$begingroup$
The two parabolas are clearly mirror images by the main diagonal ($x=y$), which diagonal they don't intersect (as $x^2-x+1>0$ for all real $x$). The shortest path then must be perpendicular to that diagonal, and the tangent to the parabolas parallel to the diagonal. The second parabola is the graph of the function $xmapsto x^2+1$, and no complicated calculus is needed to see that the only point where its tangent is parallel to the diagonal is $(x,y)=(frac12,frac54)$. The distance to its mirror image $(frac54,frac12)$ is $sqrt2,left|frac54-frac12right|=frac34sqrt2$.
$endgroup$
The two parabolas are clearly mirror images by the main diagonal ($x=y$), which diagonal they don't intersect (as $x^2-x+1>0$ for all real $x$). The shortest path then must be perpendicular to that diagonal, and the tangent to the parabolas parallel to the diagonal. The second parabola is the graph of the function $xmapsto x^2+1$, and no complicated calculus is needed to see that the only point where its tangent is parallel to the diagonal is $(x,y)=(frac12,frac54)$. The distance to its mirror image $(frac54,frac12)$ is $sqrt2,left|frac54-frac12right|=frac34sqrt2$.
answered Mar 28 '15 at 13:19
Marc van LeeuwenMarc van Leeuwen
88.7k5111230
88.7k5111230
1
$begingroup$
Really the same answer as that of Narashimham, as I discovered later. Please upvote that one (I've got plenty of points already).
$endgroup$
– Marc van Leeuwen
Mar 28 '15 at 13:25
add a comment |
1
$begingroup$
Really the same answer as that of Narashimham, as I discovered later. Please upvote that one (I've got plenty of points already).
$endgroup$
– Marc van Leeuwen
Mar 28 '15 at 13:25
1
1
$begingroup$
Really the same answer as that of Narashimham, as I discovered later. Please upvote that one (I've got plenty of points already).
$endgroup$
– Marc van Leeuwen
Mar 28 '15 at 13:25
$begingroup$
Really the same answer as that of Narashimham, as I discovered later. Please upvote that one (I've got plenty of points already).
$endgroup$
– Marc van Leeuwen
Mar 28 '15 at 13:25
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.
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%2f1209893%2fminimum-distance-between-two-parabolas%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
6
$begingroup$
That's hardly an attempt, that's just an idea. An attempt would involve using it. An in general it's wrong, if you looked at $y=x^2$ and $y=x^2+1$, the only common normal would be the $y$-axis, but the distance along that is the maximum.
$endgroup$
– Henrik
Mar 28 '15 at 9:15
3
$begingroup$
What mathematical resources can you use? For example, can you use partial derivatives of a function of two variables?
$endgroup$
– Rory Daulton
Mar 28 '15 at 9:16
$begingroup$
Henrik, yasir's statement is correct in the general case as long as there are no intersections and a minimum distance exists (which your example does not have) since the claim was not that the length of the common normal is always the minimum length but just that the minimum length is on a common normal.
$endgroup$
– Mint
Mar 26 '18 at 4:32