how to place a rope with a given length within an orthogonal triangle (see picture)
$begingroup$
I would like to know what is the optimal way of placing the red rope of a given length $p$, where $sqrt{2}<p<2$, in the orthogonal triangle ABCA, so that the green area is minimized (see attached figure). A condition is that the rope along with the segment AB must formulate a convex set.
So, is there a unique optimal way of placing the rope? Are there only two possible optimal (symmetrical) ways? Are there more? Are there infinite? Why?
Most importantly, what is the value of the minimized area, for a given length $p$?
Just by intuition, I would say that I would place the rope for some of its portion alongside segment AC (just for a small portion) and then go for a straight shot to point B (or do the symmetrical trajectory by going for a straight shot from point A to some point on CB and then go down to point B along side CB). Portions of the rope are allowed to lie on the the perimeter of the triangle ABCA, but not allowed to exceed the perimeter of the triangle. The rope can also be placed in such ways that it exhibits corners, as long as it formulates a convex set with segment AB.
The endpoints of the rope are nailed down to points A and B.
Thank you for your feedback.
geometry
$endgroup$
|
show 2 more comments
$begingroup$
I would like to know what is the optimal way of placing the red rope of a given length $p$, where $sqrt{2}<p<2$, in the orthogonal triangle ABCA, so that the green area is minimized (see attached figure). A condition is that the rope along with the segment AB must formulate a convex set.
So, is there a unique optimal way of placing the rope? Are there only two possible optimal (symmetrical) ways? Are there more? Are there infinite? Why?
Most importantly, what is the value of the minimized area, for a given length $p$?
Just by intuition, I would say that I would place the rope for some of its portion alongside segment AC (just for a small portion) and then go for a straight shot to point B (or do the symmetrical trajectory by going for a straight shot from point A to some point on CB and then go down to point B along side CB). Portions of the rope are allowed to lie on the the perimeter of the triangle ABCA, but not allowed to exceed the perimeter of the triangle. The rope can also be placed in such ways that it exhibits corners, as long as it formulates a convex set with segment AB.
The endpoints of the rope are nailed down to points A and B.
Thank you for your feedback.
geometry
$endgroup$
$begingroup$
It seems that the minimal area (green) is 0.
$endgroup$
– Moti
Feb 15 '18 at 7:22
1
$begingroup$
Hi Moti, it cannot be 0 unless the length of the rope is $sqrt{2}$. Remember, it has to formulate a convex set with AB. If the length of the rope is $>sqrt{2}$ it will have some leeway and hence it will have to encompass some area.
$endgroup$
– leo
Feb 16 '18 at 15:15
$begingroup$
I suspect your intuition is correct. It is easy to show that your guess is correct if the rope forms a triangle, but tougher to show that other polygons can't do better.
$endgroup$
– Jens
Feb 18 '18 at 1:54
$begingroup$
Yes, provided that the region is actually a triangle then my conjecture is true, I think I have a proof for that. For other polygons I do not know. Let alone for any kind of smooth curve that creates a convex set with AB. Intuitively I still believe, without being sure, that the conjecture still holds even if it competes against smooth curves as well.
$endgroup$
– leo
Feb 18 '18 at 5:54
$begingroup$
One approach is to consider local variations: Let the curve have $n$ segments, and consider 3 consecutive segments in the middle. Move the interior two vertices to minimize the area, subject to constant total length, and remaining within the triangle determined by the adjacent two segments to preserve convexity. Once you have such local optimality conditions, you should be able to infer the global optimum.
$endgroup$
– Rahul
Feb 19 '18 at 3:54
|
show 2 more comments
$begingroup$
I would like to know what is the optimal way of placing the red rope of a given length $p$, where $sqrt{2}<p<2$, in the orthogonal triangle ABCA, so that the green area is minimized (see attached figure). A condition is that the rope along with the segment AB must formulate a convex set.
So, is there a unique optimal way of placing the rope? Are there only two possible optimal (symmetrical) ways? Are there more? Are there infinite? Why?
Most importantly, what is the value of the minimized area, for a given length $p$?
Just by intuition, I would say that I would place the rope for some of its portion alongside segment AC (just for a small portion) and then go for a straight shot to point B (or do the symmetrical trajectory by going for a straight shot from point A to some point on CB and then go down to point B along side CB). Portions of the rope are allowed to lie on the the perimeter of the triangle ABCA, but not allowed to exceed the perimeter of the triangle. The rope can also be placed in such ways that it exhibits corners, as long as it formulates a convex set with segment AB.
The endpoints of the rope are nailed down to points A and B.
Thank you for your feedback.
geometry
$endgroup$
I would like to know what is the optimal way of placing the red rope of a given length $p$, where $sqrt{2}<p<2$, in the orthogonal triangle ABCA, so that the green area is minimized (see attached figure). A condition is that the rope along with the segment AB must formulate a convex set.
So, is there a unique optimal way of placing the rope? Are there only two possible optimal (symmetrical) ways? Are there more? Are there infinite? Why?
Most importantly, what is the value of the minimized area, for a given length $p$?
Just by intuition, I would say that I would place the rope for some of its portion alongside segment AC (just for a small portion) and then go for a straight shot to point B (or do the symmetrical trajectory by going for a straight shot from point A to some point on CB and then go down to point B along side CB). Portions of the rope are allowed to lie on the the perimeter of the triangle ABCA, but not allowed to exceed the perimeter of the triangle. The rope can also be placed in such ways that it exhibits corners, as long as it formulates a convex set with segment AB.
The endpoints of the rope are nailed down to points A and B.
Thank you for your feedback.
geometry
geometry
asked Feb 12 '18 at 2:08
leoleo
1367
1367
$begingroup$
It seems that the minimal area (green) is 0.
$endgroup$
– Moti
Feb 15 '18 at 7:22
1
$begingroup$
Hi Moti, it cannot be 0 unless the length of the rope is $sqrt{2}$. Remember, it has to formulate a convex set with AB. If the length of the rope is $>sqrt{2}$ it will have some leeway and hence it will have to encompass some area.
$endgroup$
– leo
Feb 16 '18 at 15:15
$begingroup$
I suspect your intuition is correct. It is easy to show that your guess is correct if the rope forms a triangle, but tougher to show that other polygons can't do better.
$endgroup$
– Jens
Feb 18 '18 at 1:54
$begingroup$
Yes, provided that the region is actually a triangle then my conjecture is true, I think I have a proof for that. For other polygons I do not know. Let alone for any kind of smooth curve that creates a convex set with AB. Intuitively I still believe, without being sure, that the conjecture still holds even if it competes against smooth curves as well.
$endgroup$
– leo
Feb 18 '18 at 5:54
$begingroup$
One approach is to consider local variations: Let the curve have $n$ segments, and consider 3 consecutive segments in the middle. Move the interior two vertices to minimize the area, subject to constant total length, and remaining within the triangle determined by the adjacent two segments to preserve convexity. Once you have such local optimality conditions, you should be able to infer the global optimum.
$endgroup$
– Rahul
Feb 19 '18 at 3:54
|
show 2 more comments
$begingroup$
It seems that the minimal area (green) is 0.
$endgroup$
– Moti
Feb 15 '18 at 7:22
1
$begingroup$
Hi Moti, it cannot be 0 unless the length of the rope is $sqrt{2}$. Remember, it has to formulate a convex set with AB. If the length of the rope is $>sqrt{2}$ it will have some leeway and hence it will have to encompass some area.
$endgroup$
– leo
Feb 16 '18 at 15:15
$begingroup$
I suspect your intuition is correct. It is easy to show that your guess is correct if the rope forms a triangle, but tougher to show that other polygons can't do better.
$endgroup$
– Jens
Feb 18 '18 at 1:54
$begingroup$
Yes, provided that the region is actually a triangle then my conjecture is true, I think I have a proof for that. For other polygons I do not know. Let alone for any kind of smooth curve that creates a convex set with AB. Intuitively I still believe, without being sure, that the conjecture still holds even if it competes against smooth curves as well.
$endgroup$
– leo
Feb 18 '18 at 5:54
$begingroup$
One approach is to consider local variations: Let the curve have $n$ segments, and consider 3 consecutive segments in the middle. Move the interior two vertices to minimize the area, subject to constant total length, and remaining within the triangle determined by the adjacent two segments to preserve convexity. Once you have such local optimality conditions, you should be able to infer the global optimum.
$endgroup$
– Rahul
Feb 19 '18 at 3:54
$begingroup$
It seems that the minimal area (green) is 0.
$endgroup$
– Moti
Feb 15 '18 at 7:22
$begingroup$
It seems that the minimal area (green) is 0.
$endgroup$
– Moti
Feb 15 '18 at 7:22
1
1
$begingroup$
Hi Moti, it cannot be 0 unless the length of the rope is $sqrt{2}$. Remember, it has to formulate a convex set with AB. If the length of the rope is $>sqrt{2}$ it will have some leeway and hence it will have to encompass some area.
$endgroup$
– leo
Feb 16 '18 at 15:15
$begingroup$
Hi Moti, it cannot be 0 unless the length of the rope is $sqrt{2}$. Remember, it has to formulate a convex set with AB. If the length of the rope is $>sqrt{2}$ it will have some leeway and hence it will have to encompass some area.
$endgroup$
– leo
Feb 16 '18 at 15:15
$begingroup$
I suspect your intuition is correct. It is easy to show that your guess is correct if the rope forms a triangle, but tougher to show that other polygons can't do better.
$endgroup$
– Jens
Feb 18 '18 at 1:54
$begingroup$
I suspect your intuition is correct. It is easy to show that your guess is correct if the rope forms a triangle, but tougher to show that other polygons can't do better.
$endgroup$
– Jens
Feb 18 '18 at 1:54
$begingroup$
Yes, provided that the region is actually a triangle then my conjecture is true, I think I have a proof for that. For other polygons I do not know. Let alone for any kind of smooth curve that creates a convex set with AB. Intuitively I still believe, without being sure, that the conjecture still holds even if it competes against smooth curves as well.
$endgroup$
– leo
Feb 18 '18 at 5:54
$begingroup$
Yes, provided that the region is actually a triangle then my conjecture is true, I think I have a proof for that. For other polygons I do not know. Let alone for any kind of smooth curve that creates a convex set with AB. Intuitively I still believe, without being sure, that the conjecture still holds even if it competes against smooth curves as well.
$endgroup$
– leo
Feb 18 '18 at 5:54
$begingroup$
One approach is to consider local variations: Let the curve have $n$ segments, and consider 3 consecutive segments in the middle. Move the interior two vertices to minimize the area, subject to constant total length, and remaining within the triangle determined by the adjacent two segments to preserve convexity. Once you have such local optimality conditions, you should be able to infer the global optimum.
$endgroup$
– Rahul
Feb 19 '18 at 3:54
$begingroup$
One approach is to consider local variations: Let the curve have $n$ segments, and consider 3 consecutive segments in the middle. Move the interior two vertices to minimize the area, subject to constant total length, and remaining within the triangle determined by the adjacent two segments to preserve convexity. Once you have such local optimality conditions, you should be able to infer the global optimum.
$endgroup$
– Rahul
Feb 19 '18 at 3:54
|
show 2 more comments
1 Answer
1
active
oldest
votes
$begingroup$
Let's first solve the problem for polylines with a fixed (possibly high) number of nodes $P_0=A, P_1, ldots, P_n=B$. The conditions that the polyline has the desired length ans is convex and within the given triangle are closed, so that the set of tuples $(P_1,ldots, P_n)$ is compact. As the area in question is a continuous function of the $P_i$, we conclude that the minimum is actually attained.
Let $S_n(p)$ be the minimal area obtainable with a polyline of $n$ nodes.
Consider what happens if we move one node $P_i$ (the top node in the following illustration) of a polyline. By the length condition, $P_i$ is restricted to an elliptical arc with foci $P_{i-1}$ and $P_{i+1}$ (red ellipsis).
The ellipsis may degenerate to a line segment, in which case $Pi$ must be on $P_{i-1}P_{i+1}$ and is redundant. Assume this is not the case.
By the convexity condition, $P_i$ is limited in its position by the prolongations of $P_{i-2}P_{i-1}$ and of $P_{i+2}P_{i+1}$ (red line segments). Similarly, in the case of $i=1$ or $i=n-1$ we have the triangle sides $AC$ or $BC$ as red lines.
If moving $P_i$ under these constraints can make the green triangle smaller, we also make the overall enclosed area smaller. For a minimizing polyline, this is not possible. We conclude that in a minimizing polyline, $P_i$ is at one of the two intersections of the red lines with the ellipsis, i.e., either $P_{i-1}$ is on the line segment $P_{i-2}P_i$ or $P_{i+1}$ is on the line segment $P_iP_{i+2}$ (or, in case of $i=1$: $P_1$ is on $AC$; or, in case $i=n-1$: $P_{n-1}$ is on $BC$). Hence, if $1<i<n-1$, one of the points $P_{i-1},P_i,P_{i+1}$ is redundant.
We conclude that the optimal result for polylines with $ngg1$ nodes is the same as the optimum for $n=3$, i.e.,
$$ S_n(p)=S_3(p)qquad text{for }nge 3.$$
And for the latter, we need only consider the cases where $P_1in AC$ and $P_2in BC$.
Hence the optimum over all polylines looks somewhat like this:
Let $theta=angle P_2P_1C$. Note that $angle CP_2P_1=90^circ -theta$.
Infinitesimally moving $P_1$ so that $u$ changes by an infinitesimal amount $mathrm du$, will change $v$ by $-costheta, mathrm du$ and the green area by $frac 12 v sintheta, mathrm du$. Likewise, changing $w$ by an infinitesimal $mathrm dw$ will change $v$ by $-sintheta, mathrm dw$ and the green area by $frac 12 v costheta, mathrm dw$.
In order to keep $p$ constant, we must have $(1-costheta)mathrm du+(1-sintheta)mathrm d w=0$. This makes the change in area
$$ begin{align}mathrm dA &= frac 12 v sintheta, mathrm du+frac 12 v costheta, mathrm dw\
&=frac v2left(sintheta,mathrm du+costheta,mathrm dwright)\
&=frac v2left(sintheta,mathrm du-frac{1-costheta}{1-sintheta}costheta,mathrm duright)\
&=left(sintheta(1-sintheta)-costheta(1-costheta)right)frac{v,mathrm du}{2(1-sintheta)}\
&=(sintheta-costheta)(1-sintheta-costheta)frac{v,mathrm du}{2(1-sintheta)}\end{align}$$
Note that $1-sintheta-costheta<0$ for $0^circ <theta<90^circ$. Therefore, $frac{mathrm dA}{mathrm du}$ is negative if $sintheta<costheta$ and positive if $sintheta>costheta$. We conclude that the minimum is attained when and only when $sintheta=costheta$, i.e., when $P_1P_2|AB$.
Let $h$ be the height of the trapezoid $ABP_2P_1$. Then its bottom line is $sqrt 2$ and its top is $v=sqrt 2-2h$. Also, $u=w=hsqrt 2$, so that
$$h=frac{p-sqrt 2}{2sqrt 2-2} $$
and ultimately
$$ S_3(p)=hcdotfrac{v+sqrt 2}{2}=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}.$$
One verifies that this quadratic is an increasing function of $pin[sqrt 2, 2]$.
Finally, let us note that the restriction to polylines poses no problems: Assume an arbitrary curve of length $p$ produces an area $tilde S <S_3(p)$. Then this curve can be approximated by a circumscribed and slightly longer polyline of length $p'>p$, with an area $tilde S'$ exceeding that for the curve by an arbitrarily small amount (if only we take a large enough number of nodes). In particular, we still have $S_3(p')le tilde S'<S_3(p)$, contradicting the fact that $S_3$ is strictly increasing.
Thus ultimately
$$ {S_{text{opt}}(p)=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}}$$
and the optimum is attained for the trapezoid.
$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%2f2646832%2fhow-to-place-a-rope-with-a-given-length-within-an-orthogonal-triangle-see-pictu%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$
Let's first solve the problem for polylines with a fixed (possibly high) number of nodes $P_0=A, P_1, ldots, P_n=B$. The conditions that the polyline has the desired length ans is convex and within the given triangle are closed, so that the set of tuples $(P_1,ldots, P_n)$ is compact. As the area in question is a continuous function of the $P_i$, we conclude that the minimum is actually attained.
Let $S_n(p)$ be the minimal area obtainable with a polyline of $n$ nodes.
Consider what happens if we move one node $P_i$ (the top node in the following illustration) of a polyline. By the length condition, $P_i$ is restricted to an elliptical arc with foci $P_{i-1}$ and $P_{i+1}$ (red ellipsis).
The ellipsis may degenerate to a line segment, in which case $Pi$ must be on $P_{i-1}P_{i+1}$ and is redundant. Assume this is not the case.
By the convexity condition, $P_i$ is limited in its position by the prolongations of $P_{i-2}P_{i-1}$ and of $P_{i+2}P_{i+1}$ (red line segments). Similarly, in the case of $i=1$ or $i=n-1$ we have the triangle sides $AC$ or $BC$ as red lines.
If moving $P_i$ under these constraints can make the green triangle smaller, we also make the overall enclosed area smaller. For a minimizing polyline, this is not possible. We conclude that in a minimizing polyline, $P_i$ is at one of the two intersections of the red lines with the ellipsis, i.e., either $P_{i-1}$ is on the line segment $P_{i-2}P_i$ or $P_{i+1}$ is on the line segment $P_iP_{i+2}$ (or, in case of $i=1$: $P_1$ is on $AC$; or, in case $i=n-1$: $P_{n-1}$ is on $BC$). Hence, if $1<i<n-1$, one of the points $P_{i-1},P_i,P_{i+1}$ is redundant.
We conclude that the optimal result for polylines with $ngg1$ nodes is the same as the optimum for $n=3$, i.e.,
$$ S_n(p)=S_3(p)qquad text{for }nge 3.$$
And for the latter, we need only consider the cases where $P_1in AC$ and $P_2in BC$.
Hence the optimum over all polylines looks somewhat like this:
Let $theta=angle P_2P_1C$. Note that $angle CP_2P_1=90^circ -theta$.
Infinitesimally moving $P_1$ so that $u$ changes by an infinitesimal amount $mathrm du$, will change $v$ by $-costheta, mathrm du$ and the green area by $frac 12 v sintheta, mathrm du$. Likewise, changing $w$ by an infinitesimal $mathrm dw$ will change $v$ by $-sintheta, mathrm dw$ and the green area by $frac 12 v costheta, mathrm dw$.
In order to keep $p$ constant, we must have $(1-costheta)mathrm du+(1-sintheta)mathrm d w=0$. This makes the change in area
$$ begin{align}mathrm dA &= frac 12 v sintheta, mathrm du+frac 12 v costheta, mathrm dw\
&=frac v2left(sintheta,mathrm du+costheta,mathrm dwright)\
&=frac v2left(sintheta,mathrm du-frac{1-costheta}{1-sintheta}costheta,mathrm duright)\
&=left(sintheta(1-sintheta)-costheta(1-costheta)right)frac{v,mathrm du}{2(1-sintheta)}\
&=(sintheta-costheta)(1-sintheta-costheta)frac{v,mathrm du}{2(1-sintheta)}\end{align}$$
Note that $1-sintheta-costheta<0$ for $0^circ <theta<90^circ$. Therefore, $frac{mathrm dA}{mathrm du}$ is negative if $sintheta<costheta$ and positive if $sintheta>costheta$. We conclude that the minimum is attained when and only when $sintheta=costheta$, i.e., when $P_1P_2|AB$.
Let $h$ be the height of the trapezoid $ABP_2P_1$. Then its bottom line is $sqrt 2$ and its top is $v=sqrt 2-2h$. Also, $u=w=hsqrt 2$, so that
$$h=frac{p-sqrt 2}{2sqrt 2-2} $$
and ultimately
$$ S_3(p)=hcdotfrac{v+sqrt 2}{2}=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}.$$
One verifies that this quadratic is an increasing function of $pin[sqrt 2, 2]$.
Finally, let us note that the restriction to polylines poses no problems: Assume an arbitrary curve of length $p$ produces an area $tilde S <S_3(p)$. Then this curve can be approximated by a circumscribed and slightly longer polyline of length $p'>p$, with an area $tilde S'$ exceeding that for the curve by an arbitrarily small amount (if only we take a large enough number of nodes). In particular, we still have $S_3(p')le tilde S'<S_3(p)$, contradicting the fact that $S_3$ is strictly increasing.
Thus ultimately
$$ {S_{text{opt}}(p)=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}}$$
and the optimum is attained for the trapezoid.
$endgroup$
add a comment |
$begingroup$
Let's first solve the problem for polylines with a fixed (possibly high) number of nodes $P_0=A, P_1, ldots, P_n=B$. The conditions that the polyline has the desired length ans is convex and within the given triangle are closed, so that the set of tuples $(P_1,ldots, P_n)$ is compact. As the area in question is a continuous function of the $P_i$, we conclude that the minimum is actually attained.
Let $S_n(p)$ be the minimal area obtainable with a polyline of $n$ nodes.
Consider what happens if we move one node $P_i$ (the top node in the following illustration) of a polyline. By the length condition, $P_i$ is restricted to an elliptical arc with foci $P_{i-1}$ and $P_{i+1}$ (red ellipsis).
The ellipsis may degenerate to a line segment, in which case $Pi$ must be on $P_{i-1}P_{i+1}$ and is redundant. Assume this is not the case.
By the convexity condition, $P_i$ is limited in its position by the prolongations of $P_{i-2}P_{i-1}$ and of $P_{i+2}P_{i+1}$ (red line segments). Similarly, in the case of $i=1$ or $i=n-1$ we have the triangle sides $AC$ or $BC$ as red lines.
If moving $P_i$ under these constraints can make the green triangle smaller, we also make the overall enclosed area smaller. For a minimizing polyline, this is not possible. We conclude that in a minimizing polyline, $P_i$ is at one of the two intersections of the red lines with the ellipsis, i.e., either $P_{i-1}$ is on the line segment $P_{i-2}P_i$ or $P_{i+1}$ is on the line segment $P_iP_{i+2}$ (or, in case of $i=1$: $P_1$ is on $AC$; or, in case $i=n-1$: $P_{n-1}$ is on $BC$). Hence, if $1<i<n-1$, one of the points $P_{i-1},P_i,P_{i+1}$ is redundant.
We conclude that the optimal result for polylines with $ngg1$ nodes is the same as the optimum for $n=3$, i.e.,
$$ S_n(p)=S_3(p)qquad text{for }nge 3.$$
And for the latter, we need only consider the cases where $P_1in AC$ and $P_2in BC$.
Hence the optimum over all polylines looks somewhat like this:
Let $theta=angle P_2P_1C$. Note that $angle CP_2P_1=90^circ -theta$.
Infinitesimally moving $P_1$ so that $u$ changes by an infinitesimal amount $mathrm du$, will change $v$ by $-costheta, mathrm du$ and the green area by $frac 12 v sintheta, mathrm du$. Likewise, changing $w$ by an infinitesimal $mathrm dw$ will change $v$ by $-sintheta, mathrm dw$ and the green area by $frac 12 v costheta, mathrm dw$.
In order to keep $p$ constant, we must have $(1-costheta)mathrm du+(1-sintheta)mathrm d w=0$. This makes the change in area
$$ begin{align}mathrm dA &= frac 12 v sintheta, mathrm du+frac 12 v costheta, mathrm dw\
&=frac v2left(sintheta,mathrm du+costheta,mathrm dwright)\
&=frac v2left(sintheta,mathrm du-frac{1-costheta}{1-sintheta}costheta,mathrm duright)\
&=left(sintheta(1-sintheta)-costheta(1-costheta)right)frac{v,mathrm du}{2(1-sintheta)}\
&=(sintheta-costheta)(1-sintheta-costheta)frac{v,mathrm du}{2(1-sintheta)}\end{align}$$
Note that $1-sintheta-costheta<0$ for $0^circ <theta<90^circ$. Therefore, $frac{mathrm dA}{mathrm du}$ is negative if $sintheta<costheta$ and positive if $sintheta>costheta$. We conclude that the minimum is attained when and only when $sintheta=costheta$, i.e., when $P_1P_2|AB$.
Let $h$ be the height of the trapezoid $ABP_2P_1$. Then its bottom line is $sqrt 2$ and its top is $v=sqrt 2-2h$. Also, $u=w=hsqrt 2$, so that
$$h=frac{p-sqrt 2}{2sqrt 2-2} $$
and ultimately
$$ S_3(p)=hcdotfrac{v+sqrt 2}{2}=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}.$$
One verifies that this quadratic is an increasing function of $pin[sqrt 2, 2]$.
Finally, let us note that the restriction to polylines poses no problems: Assume an arbitrary curve of length $p$ produces an area $tilde S <S_3(p)$. Then this curve can be approximated by a circumscribed and slightly longer polyline of length $p'>p$, with an area $tilde S'$ exceeding that for the curve by an arbitrarily small amount (if only we take a large enough number of nodes). In particular, we still have $S_3(p')le tilde S'<S_3(p)$, contradicting the fact that $S_3$ is strictly increasing.
Thus ultimately
$$ {S_{text{opt}}(p)=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}}$$
and the optimum is attained for the trapezoid.
$endgroup$
add a comment |
$begingroup$
Let's first solve the problem for polylines with a fixed (possibly high) number of nodes $P_0=A, P_1, ldots, P_n=B$. The conditions that the polyline has the desired length ans is convex and within the given triangle are closed, so that the set of tuples $(P_1,ldots, P_n)$ is compact. As the area in question is a continuous function of the $P_i$, we conclude that the minimum is actually attained.
Let $S_n(p)$ be the minimal area obtainable with a polyline of $n$ nodes.
Consider what happens if we move one node $P_i$ (the top node in the following illustration) of a polyline. By the length condition, $P_i$ is restricted to an elliptical arc with foci $P_{i-1}$ and $P_{i+1}$ (red ellipsis).
The ellipsis may degenerate to a line segment, in which case $Pi$ must be on $P_{i-1}P_{i+1}$ and is redundant. Assume this is not the case.
By the convexity condition, $P_i$ is limited in its position by the prolongations of $P_{i-2}P_{i-1}$ and of $P_{i+2}P_{i+1}$ (red line segments). Similarly, in the case of $i=1$ or $i=n-1$ we have the triangle sides $AC$ or $BC$ as red lines.
If moving $P_i$ under these constraints can make the green triangle smaller, we also make the overall enclosed area smaller. For a minimizing polyline, this is not possible. We conclude that in a minimizing polyline, $P_i$ is at one of the two intersections of the red lines with the ellipsis, i.e., either $P_{i-1}$ is on the line segment $P_{i-2}P_i$ or $P_{i+1}$ is on the line segment $P_iP_{i+2}$ (or, in case of $i=1$: $P_1$ is on $AC$; or, in case $i=n-1$: $P_{n-1}$ is on $BC$). Hence, if $1<i<n-1$, one of the points $P_{i-1},P_i,P_{i+1}$ is redundant.
We conclude that the optimal result for polylines with $ngg1$ nodes is the same as the optimum for $n=3$, i.e.,
$$ S_n(p)=S_3(p)qquad text{for }nge 3.$$
And for the latter, we need only consider the cases where $P_1in AC$ and $P_2in BC$.
Hence the optimum over all polylines looks somewhat like this:
Let $theta=angle P_2P_1C$. Note that $angle CP_2P_1=90^circ -theta$.
Infinitesimally moving $P_1$ so that $u$ changes by an infinitesimal amount $mathrm du$, will change $v$ by $-costheta, mathrm du$ and the green area by $frac 12 v sintheta, mathrm du$. Likewise, changing $w$ by an infinitesimal $mathrm dw$ will change $v$ by $-sintheta, mathrm dw$ and the green area by $frac 12 v costheta, mathrm dw$.
In order to keep $p$ constant, we must have $(1-costheta)mathrm du+(1-sintheta)mathrm d w=0$. This makes the change in area
$$ begin{align}mathrm dA &= frac 12 v sintheta, mathrm du+frac 12 v costheta, mathrm dw\
&=frac v2left(sintheta,mathrm du+costheta,mathrm dwright)\
&=frac v2left(sintheta,mathrm du-frac{1-costheta}{1-sintheta}costheta,mathrm duright)\
&=left(sintheta(1-sintheta)-costheta(1-costheta)right)frac{v,mathrm du}{2(1-sintheta)}\
&=(sintheta-costheta)(1-sintheta-costheta)frac{v,mathrm du}{2(1-sintheta)}\end{align}$$
Note that $1-sintheta-costheta<0$ for $0^circ <theta<90^circ$. Therefore, $frac{mathrm dA}{mathrm du}$ is negative if $sintheta<costheta$ and positive if $sintheta>costheta$. We conclude that the minimum is attained when and only when $sintheta=costheta$, i.e., when $P_1P_2|AB$.
Let $h$ be the height of the trapezoid $ABP_2P_1$. Then its bottom line is $sqrt 2$ and its top is $v=sqrt 2-2h$. Also, $u=w=hsqrt 2$, so that
$$h=frac{p-sqrt 2}{2sqrt 2-2} $$
and ultimately
$$ S_3(p)=hcdotfrac{v+sqrt 2}{2}=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}.$$
One verifies that this quadratic is an increasing function of $pin[sqrt 2, 2]$.
Finally, let us note that the restriction to polylines poses no problems: Assume an arbitrary curve of length $p$ produces an area $tilde S <S_3(p)$. Then this curve can be approximated by a circumscribed and slightly longer polyline of length $p'>p$, with an area $tilde S'$ exceeding that for the curve by an arbitrarily small amount (if only we take a large enough number of nodes). In particular, we still have $S_3(p')le tilde S'<S_3(p)$, contradicting the fact that $S_3$ is strictly increasing.
Thus ultimately
$$ {S_{text{opt}}(p)=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}}$$
and the optimum is attained for the trapezoid.
$endgroup$
Let's first solve the problem for polylines with a fixed (possibly high) number of nodes $P_0=A, P_1, ldots, P_n=B$. The conditions that the polyline has the desired length ans is convex and within the given triangle are closed, so that the set of tuples $(P_1,ldots, P_n)$ is compact. As the area in question is a continuous function of the $P_i$, we conclude that the minimum is actually attained.
Let $S_n(p)$ be the minimal area obtainable with a polyline of $n$ nodes.
Consider what happens if we move one node $P_i$ (the top node in the following illustration) of a polyline. By the length condition, $P_i$ is restricted to an elliptical arc with foci $P_{i-1}$ and $P_{i+1}$ (red ellipsis).
The ellipsis may degenerate to a line segment, in which case $Pi$ must be on $P_{i-1}P_{i+1}$ and is redundant. Assume this is not the case.
By the convexity condition, $P_i$ is limited in its position by the prolongations of $P_{i-2}P_{i-1}$ and of $P_{i+2}P_{i+1}$ (red line segments). Similarly, in the case of $i=1$ or $i=n-1$ we have the triangle sides $AC$ or $BC$ as red lines.
If moving $P_i$ under these constraints can make the green triangle smaller, we also make the overall enclosed area smaller. For a minimizing polyline, this is not possible. We conclude that in a minimizing polyline, $P_i$ is at one of the two intersections of the red lines with the ellipsis, i.e., either $P_{i-1}$ is on the line segment $P_{i-2}P_i$ or $P_{i+1}$ is on the line segment $P_iP_{i+2}$ (or, in case of $i=1$: $P_1$ is on $AC$; or, in case $i=n-1$: $P_{n-1}$ is on $BC$). Hence, if $1<i<n-1$, one of the points $P_{i-1},P_i,P_{i+1}$ is redundant.
We conclude that the optimal result for polylines with $ngg1$ nodes is the same as the optimum for $n=3$, i.e.,
$$ S_n(p)=S_3(p)qquad text{for }nge 3.$$
And for the latter, we need only consider the cases where $P_1in AC$ and $P_2in BC$.
Hence the optimum over all polylines looks somewhat like this:
Let $theta=angle P_2P_1C$. Note that $angle CP_2P_1=90^circ -theta$.
Infinitesimally moving $P_1$ so that $u$ changes by an infinitesimal amount $mathrm du$, will change $v$ by $-costheta, mathrm du$ and the green area by $frac 12 v sintheta, mathrm du$. Likewise, changing $w$ by an infinitesimal $mathrm dw$ will change $v$ by $-sintheta, mathrm dw$ and the green area by $frac 12 v costheta, mathrm dw$.
In order to keep $p$ constant, we must have $(1-costheta)mathrm du+(1-sintheta)mathrm d w=0$. This makes the change in area
$$ begin{align}mathrm dA &= frac 12 v sintheta, mathrm du+frac 12 v costheta, mathrm dw\
&=frac v2left(sintheta,mathrm du+costheta,mathrm dwright)\
&=frac v2left(sintheta,mathrm du-frac{1-costheta}{1-sintheta}costheta,mathrm duright)\
&=left(sintheta(1-sintheta)-costheta(1-costheta)right)frac{v,mathrm du}{2(1-sintheta)}\
&=(sintheta-costheta)(1-sintheta-costheta)frac{v,mathrm du}{2(1-sintheta)}\end{align}$$
Note that $1-sintheta-costheta<0$ for $0^circ <theta<90^circ$. Therefore, $frac{mathrm dA}{mathrm du}$ is negative if $sintheta<costheta$ and positive if $sintheta>costheta$. We conclude that the minimum is attained when and only when $sintheta=costheta$, i.e., when $P_1P_2|AB$.
Let $h$ be the height of the trapezoid $ABP_2P_1$. Then its bottom line is $sqrt 2$ and its top is $v=sqrt 2-2h$. Also, $u=w=hsqrt 2$, so that
$$h=frac{p-sqrt 2}{2sqrt 2-2} $$
and ultimately
$$ S_3(p)=hcdotfrac{v+sqrt 2}{2}=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}.$$
One verifies that this quadratic is an increasing function of $pin[sqrt 2, 2]$.
Finally, let us note that the restriction to polylines poses no problems: Assume an arbitrary curve of length $p$ produces an area $tilde S <S_3(p)$. Then this curve can be approximated by a circumscribed and slightly longer polyline of length $p'>p$, with an area $tilde S'$ exceeding that for the curve by an arbitrarily small amount (if only we take a large enough number of nodes). In particular, we still have $S_3(p')le tilde S'<S_3(p)$, contradicting the fact that $S_3$ is strictly increasing.
Thus ultimately
$$ {S_{text{opt}}(p)=frac{-p^2+4p+2-4sqrt 2}{12-8sqrt 2}}$$
and the optimum is attained for the trapezoid.
edited Jan 29 at 20:52
answered Jan 27 at 21:03
Hagen von EitzenHagen von Eitzen
283k23272507
283k23272507
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%2f2646832%2fhow-to-place-a-rope-with-a-given-length-within-an-orthogonal-triangle-see-pictu%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$
It seems that the minimal area (green) is 0.
$endgroup$
– Moti
Feb 15 '18 at 7:22
1
$begingroup$
Hi Moti, it cannot be 0 unless the length of the rope is $sqrt{2}$. Remember, it has to formulate a convex set with AB. If the length of the rope is $>sqrt{2}$ it will have some leeway and hence it will have to encompass some area.
$endgroup$
– leo
Feb 16 '18 at 15:15
$begingroup$
I suspect your intuition is correct. It is easy to show that your guess is correct if the rope forms a triangle, but tougher to show that other polygons can't do better.
$endgroup$
– Jens
Feb 18 '18 at 1:54
$begingroup$
Yes, provided that the region is actually a triangle then my conjecture is true, I think I have a proof for that. For other polygons I do not know. Let alone for any kind of smooth curve that creates a convex set with AB. Intuitively I still believe, without being sure, that the conjecture still holds even if it competes against smooth curves as well.
$endgroup$
– leo
Feb 18 '18 at 5:54
$begingroup$
One approach is to consider local variations: Let the curve have $n$ segments, and consider 3 consecutive segments in the middle. Move the interior two vertices to minimize the area, subject to constant total length, and remaining within the triangle determined by the adjacent two segments to preserve convexity. Once you have such local optimality conditions, you should be able to infer the global optimum.
$endgroup$
– Rahul
Feb 19 '18 at 3:54