how to place a rope with a given length within an orthogonal triangle (see picture)












10












$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.



enter image description here










share|cite|improve this question









$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
















10












$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.



enter image description here










share|cite|improve this question









$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














10












10








10


1



$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.



enter image description here










share|cite|improve this question









$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.



enter image description here







geometry






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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


















  • $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










1 Answer
1






active

oldest

votes


















2












$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.



enter image description here



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:



enter image description here



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.






share|cite|improve this answer











$endgroup$













    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
    });


    }
    });














    draft saved

    draft discarded


















    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









    2












    $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.



    enter image description here



    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:



    enter image description here



    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.






    share|cite|improve this answer











    $endgroup$


















      2












      $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.



      enter image description here



      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:



      enter image description here



      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.






      share|cite|improve this answer











      $endgroup$
















        2












        2








        2





        $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.



        enter image description here



        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:



        enter image description here



        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.






        share|cite|improve this answer











        $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.



        enter image description here



        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:



        enter image description here



        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.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jan 29 at 20:52

























        answered Jan 27 at 21:03









        Hagen von EitzenHagen von Eitzen

        283k23272507




        283k23272507






























            draft saved

            draft discarded




















































            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.




            draft saved


            draft discarded














            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





















































            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







            Popular posts from this blog

            android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

            SQL update select statement

            'app-layout' is not a known element: how to share Component with different Modules