Why is the minimum distance between two conics along their common normal?
$begingroup$
Throughout my highschool mathematics for coordinate and as well as 3-D geometry.Many All formulae regarding the minimum distance between two curves are derived using the fact that the minimum distance is along their common normal.
Intuitively it's very obvious you draw a parabola, a circle whatever. The shortest distance is always along the common normal but algebraically or using calculus what would be a more mathematical proof?
calculus
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
$endgroup$
add a comment |
$begingroup$
Throughout my highschool mathematics for coordinate and as well as 3-D geometry.Many All formulae regarding the minimum distance between two curves are derived using the fact that the minimum distance is along their common normal.
Intuitively it's very obvious you draw a parabola, a circle whatever. The shortest distance is always along the common normal but algebraically or using calculus what would be a more mathematical proof?
calculus
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
$endgroup$
$begingroup$
The first order variation is $2mathbf{x}_{Ato B}cdotmathrm{d}mathbf{x}_{Ato B}$.
$endgroup$
– user10354138
Nov 30 '18 at 12:09
add a comment |
$begingroup$
Throughout my highschool mathematics for coordinate and as well as 3-D geometry.Many All formulae regarding the minimum distance between two curves are derived using the fact that the minimum distance is along their common normal.
Intuitively it's very obvious you draw a parabola, a circle whatever. The shortest distance is always along the common normal but algebraically or using calculus what would be a more mathematical proof?
calculus
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
$endgroup$
Throughout my highschool mathematics for coordinate and as well as 3-D geometry.Many All formulae regarding the minimum distance between two curves are derived using the fact that the minimum distance is along their common normal.
Intuitively it's very obvious you draw a parabola, a circle whatever. The shortest distance is always along the common normal but algebraically or using calculus what would be a more mathematical proof?
calculus
calculus
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
asked Nov 30 '18 at 12:01
Avnish KabajAvnish Kabaj
174111
174111
$begingroup$
The first order variation is $2mathbf{x}_{Ato B}cdotmathrm{d}mathbf{x}_{Ato B}$.
$endgroup$
– user10354138
Nov 30 '18 at 12:09
add a comment |
$begingroup$
The first order variation is $2mathbf{x}_{Ato B}cdotmathrm{d}mathbf{x}_{Ato B}$.
$endgroup$
– user10354138
Nov 30 '18 at 12:09
$begingroup$
The first order variation is $2mathbf{x}_{Ato B}cdotmathrm{d}mathbf{x}_{Ato B}$.
$endgroup$
– user10354138
Nov 30 '18 at 12:09
$begingroup$
The first order variation is $2mathbf{x}_{Ato B}cdotmathrm{d}mathbf{x}_{Ato B}$.
$endgroup$
– user10354138
Nov 30 '18 at 12:09
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
This is about two curves $smapsto{bf f}(s)$ and $tmapsto{bf g}(t)$ in ${mathbb R}^n$ and necessary conditions for a local minimum (or maximum) of the distance between two (non-colliding) points on these two curves. The objective function is
$$Phi(s,t):=|{bf f}(s)-{bf g}(t)|^2=bigl( {bf f}(s)-{bf g}(t)bigr)cdotbigl({bf f}(s)-{bf g}(t)bigr) .$$
Assume that for the parameter values $s_0$ and $t_0$ we have ${bf d}:={bf f}(s_0)-{bf g}(t_0)ne{bf 0}$, and that $Phi$ assumes a local minimum at $(s_0,t_0)$. Then
$$Phi_s(s_0,t_0)=2{bf f}'(s_0)cdot({bf f}(s_0)-{bf g}(t_0)bigr)=0quad wedgequadPhi_t(s_0,t_0)=-2{bf g}'(t_0)cdotbigl({bf f}(s_0)-{bf g}(t_0)bigr)=0 .$$
But this is saying that ${bf d}perp{bf f}'(s_0)$ and at the same time ${bf d}perp{bf g}'(t_0)$.
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
$endgroup$
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%2f3020014%2fwhy-is-the-minimum-distance-between-two-conics-along-their-common-normal%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
$begingroup$
This is about two curves $smapsto{bf f}(s)$ and $tmapsto{bf g}(t)$ in ${mathbb R}^n$ and necessary conditions for a local minimum (or maximum) of the distance between two (non-colliding) points on these two curves. The objective function is
$$Phi(s,t):=|{bf f}(s)-{bf g}(t)|^2=bigl( {bf f}(s)-{bf g}(t)bigr)cdotbigl({bf f}(s)-{bf g}(t)bigr) .$$
Assume that for the parameter values $s_0$ and $t_0$ we have ${bf d}:={bf f}(s_0)-{bf g}(t_0)ne{bf 0}$, and that $Phi$ assumes a local minimum at $(s_0,t_0)$. Then
$$Phi_s(s_0,t_0)=2{bf f}'(s_0)cdot({bf f}(s_0)-{bf g}(t_0)bigr)=0quad wedgequadPhi_t(s_0,t_0)=-2{bf g}'(t_0)cdotbigl({bf f}(s_0)-{bf g}(t_0)bigr)=0 .$$
But this is saying that ${bf d}perp{bf f}'(s_0)$ and at the same time ${bf d}perp{bf g}'(t_0)$.
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
$endgroup$
add a comment |
$begingroup$
This is about two curves $smapsto{bf f}(s)$ and $tmapsto{bf g}(t)$ in ${mathbb R}^n$ and necessary conditions for a local minimum (or maximum) of the distance between two (non-colliding) points on these two curves. The objective function is
$$Phi(s,t):=|{bf f}(s)-{bf g}(t)|^2=bigl( {bf f}(s)-{bf g}(t)bigr)cdotbigl({bf f}(s)-{bf g}(t)bigr) .$$
Assume that for the parameter values $s_0$ and $t_0$ we have ${bf d}:={bf f}(s_0)-{bf g}(t_0)ne{bf 0}$, and that $Phi$ assumes a local minimum at $(s_0,t_0)$. Then
$$Phi_s(s_0,t_0)=2{bf f}'(s_0)cdot({bf f}(s_0)-{bf g}(t_0)bigr)=0quad wedgequadPhi_t(s_0,t_0)=-2{bf g}'(t_0)cdotbigl({bf f}(s_0)-{bf g}(t_0)bigr)=0 .$$
But this is saying that ${bf d}perp{bf f}'(s_0)$ and at the same time ${bf d}perp{bf g}'(t_0)$.
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
$endgroup$
add a comment |
$begingroup$
This is about two curves $smapsto{bf f}(s)$ and $tmapsto{bf g}(t)$ in ${mathbb R}^n$ and necessary conditions for a local minimum (or maximum) of the distance between two (non-colliding) points on these two curves. The objective function is
$$Phi(s,t):=|{bf f}(s)-{bf g}(t)|^2=bigl( {bf f}(s)-{bf g}(t)bigr)cdotbigl({bf f}(s)-{bf g}(t)bigr) .$$
Assume that for the parameter values $s_0$ and $t_0$ we have ${bf d}:={bf f}(s_0)-{bf g}(t_0)ne{bf 0}$, and that $Phi$ assumes a local minimum at $(s_0,t_0)$. Then
$$Phi_s(s_0,t_0)=2{bf f}'(s_0)cdot({bf f}(s_0)-{bf g}(t_0)bigr)=0quad wedgequadPhi_t(s_0,t_0)=-2{bf g}'(t_0)cdotbigl({bf f}(s_0)-{bf g}(t_0)bigr)=0 .$$
But this is saying that ${bf d}perp{bf f}'(s_0)$ and at the same time ${bf d}perp{bf g}'(t_0)$.
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
$endgroup$
This is about two curves $smapsto{bf f}(s)$ and $tmapsto{bf g}(t)$ in ${mathbb R}^n$ and necessary conditions for a local minimum (or maximum) of the distance between two (non-colliding) points on these two curves. The objective function is
$$Phi(s,t):=|{bf f}(s)-{bf g}(t)|^2=bigl( {bf f}(s)-{bf g}(t)bigr)cdotbigl({bf f}(s)-{bf g}(t)bigr) .$$
Assume that for the parameter values $s_0$ and $t_0$ we have ${bf d}:={bf f}(s_0)-{bf g}(t_0)ne{bf 0}$, and that $Phi$ assumes a local minimum at $(s_0,t_0)$. Then
$$Phi_s(s_0,t_0)=2{bf f}'(s_0)cdot({bf f}(s_0)-{bf g}(t_0)bigr)=0quad wedgequadPhi_t(s_0,t_0)=-2{bf g}'(t_0)cdotbigl({bf f}(s_0)-{bf g}(t_0)bigr)=0 .$$
But this is saying that ${bf d}perp{bf f}'(s_0)$ and at the same time ${bf d}perp{bf g}'(t_0)$.
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
answered Nov 30 '18 at 16:32
Christian BlatterChristian Blatter
172k7113326
172k7113326
add a comment |
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%2f3020014%2fwhy-is-the-minimum-distance-between-two-conics-along-their-common-normal%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
$begingroup$
The first order variation is $2mathbf{x}_{Ato B}cdotmathrm{d}mathbf{x}_{Ato B}$.
$endgroup$
– user10354138
Nov 30 '18 at 12:09