Synthetic solution to this geometry problem?











up vote
6
down vote

favorite
1












Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)

I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)










share|cite|improve this question


























    up vote
    6
    down vote

    favorite
    1












    Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)

    I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)










    share|cite|improve this question
























      up vote
      6
      down vote

      favorite
      1









      up vote
      6
      down vote

      favorite
      1






      1





      Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)

      I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)










      share|cite|improve this question













      Consider the following diagram. In the isosceles triangle $triangle ABC$ with $AB=AC$, it is given that $BC=2$. Two points $M,N$ lie on $AB,AC$ respectively so that $AM=NC$. Prove: $MN$ is at least $1$. (Source: 1990 High School Olympiad held in Xi'an, China)

      I've already solved this problem by doing some coordinate geometry, setting $AM=NC=t$, finding $MN$ as a function of $t$, then minimising that function. But this is quite tedious, which led me to wonder what the synthetic geometry solution, which I couldn't find, is. (Btw, "synthetic" means without the use of coordinate geometry, and hopefully with as little algebra as possible as well.)







      geometry contest-math euclidean-geometry






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Dec 5 at 1:06









      YiFan

      1,9181317




      1,9181317






















          3 Answers
          3






          active

          oldest

          votes

















          up vote
          5
          down vote



          accepted










          Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.



          enter image description here



          $$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$






          share|cite|improve this answer





















          • How did you draw the diagram?
            – Anubhab Ghosal
            Dec 5 at 8:12












          • @AnubhabGhosal: I use GeoGebra.
            – Blue
            Dec 5 at 8:15










          • How do you mark the angles in geogebra?
            – Anubhab Ghosal
            Dec 5 at 8:16






          • 1




            @AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
            – Blue
            Dec 5 at 8:20






          • 1




            Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
            – Anubhab Ghosal
            Dec 5 at 9:37




















          up vote
          3
          down vote













          A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.






          share|cite|improve this answer








          New contributor




          tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
          Check out our Code of Conduct.

























            up vote
            2
            down vote













            Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
            Therefore, $MNgeq PQ=1$.



            Diagram






            share|cite|improve this answer










            New contributor




            Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
            Check out our Code of Conduct.


















            • Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
              – amI
              Dec 5 at 11:28










            • @aml, I do not understand your concern.
              – Anubhab Ghosal
              Dec 5 at 14:51










            • No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
              – amI
              Dec 5 at 22:01










            • @aml, that is right, but how do you prove that PQ bisects MN without any construction?
              – Anubhab Ghosal
              yesterday










            • Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
              – amI
              18 hours ago











            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',
            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%2f3026447%2fsynthetic-solution-to-this-geometry-problem%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            3 Answers
            3






            active

            oldest

            votes








            3 Answers
            3






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            5
            down vote



            accepted










            Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.



            enter image description here



            $$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$






            share|cite|improve this answer





















            • How did you draw the diagram?
              – Anubhab Ghosal
              Dec 5 at 8:12












            • @AnubhabGhosal: I use GeoGebra.
              – Blue
              Dec 5 at 8:15










            • How do you mark the angles in geogebra?
              – Anubhab Ghosal
              Dec 5 at 8:16






            • 1




              @AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
              – Blue
              Dec 5 at 8:20






            • 1




              Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
              – Anubhab Ghosal
              Dec 5 at 9:37

















            up vote
            5
            down vote



            accepted










            Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.



            enter image description here



            $$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$






            share|cite|improve this answer





















            • How did you draw the diagram?
              – Anubhab Ghosal
              Dec 5 at 8:12












            • @AnubhabGhosal: I use GeoGebra.
              – Blue
              Dec 5 at 8:15










            • How do you mark the angles in geogebra?
              – Anubhab Ghosal
              Dec 5 at 8:16






            • 1




              @AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
              – Blue
              Dec 5 at 8:20






            • 1




              Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
              – Anubhab Ghosal
              Dec 5 at 9:37















            up vote
            5
            down vote



            accepted







            up vote
            5
            down vote



            accepted






            Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.



            enter image description here



            $$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$






            share|cite|improve this answer












            Let $overline{PQ}$ be the midsegment of $triangle ABC$ parallel to $overline{BC}$, and note that $overline{MP}congoverline{NQ}$.



            enter image description here



            $$frac12|BC| = |PQ| = |M^prime N^prime| leq |MN|$$







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Dec 5 at 4:33









            Blue

            47.2k870148




            47.2k870148












            • How did you draw the diagram?
              – Anubhab Ghosal
              Dec 5 at 8:12












            • @AnubhabGhosal: I use GeoGebra.
              – Blue
              Dec 5 at 8:15










            • How do you mark the angles in geogebra?
              – Anubhab Ghosal
              Dec 5 at 8:16






            • 1




              @AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
              – Blue
              Dec 5 at 8:20






            • 1




              Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
              – Anubhab Ghosal
              Dec 5 at 9:37




















            • How did you draw the diagram?
              – Anubhab Ghosal
              Dec 5 at 8:12












            • @AnubhabGhosal: I use GeoGebra.
              – Blue
              Dec 5 at 8:15










            • How do you mark the angles in geogebra?
              – Anubhab Ghosal
              Dec 5 at 8:16






            • 1




              @AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
              – Blue
              Dec 5 at 8:20






            • 1




              Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
              – Anubhab Ghosal
              Dec 5 at 9:37


















            How did you draw the diagram?
            – Anubhab Ghosal
            Dec 5 at 8:12






            How did you draw the diagram?
            – Anubhab Ghosal
            Dec 5 at 8:12














            @AnubhabGhosal: I use GeoGebra.
            – Blue
            Dec 5 at 8:15




            @AnubhabGhosal: I use GeoGebra.
            – Blue
            Dec 5 at 8:15












            How do you mark the angles in geogebra?
            – Anubhab Ghosal
            Dec 5 at 8:16




            How do you mark the angles in geogebra?
            – Anubhab Ghosal
            Dec 5 at 8:16




            1




            1




            @AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
            – Blue
            Dec 5 at 8:20




            @AnubhabGhosal: There's an angle-marking tool. :) If you use the online version of GeoGebra, the angle tool is the first tool in the "Measure" set; simply click on three points (in the proper order) to get an angle mark. (You can even use the Settings to set a "Decoration".)
            – Blue
            Dec 5 at 8:20




            1




            1




            Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
            – Anubhab Ghosal
            Dec 5 at 9:37






            Thanks. It is because of your help that I could draw this diagram(math.stackexchange.com/questions/3026660/…).
            – Anubhab Ghosal
            Dec 5 at 9:37












            up vote
            3
            down vote













            A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.






            share|cite|improve this answer








            New contributor




            tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
            Check out our Code of Conduct.






















              up vote
              3
              down vote













              A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.






              share|cite|improve this answer








              New contributor




              tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
              Check out our Code of Conduct.




















                up vote
                3
                down vote










                up vote
                3
                down vote









                A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.






                share|cite|improve this answer








                New contributor




                tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.









                A very simple solution: $MN$ is invariant under exchange of $AM$ and $AN$ (this is mirror symmetry of right and left in your drawing). This implies that for $AM$ =$AN$ = $AB$/2 the length of $MN$ is extremal, i.e. it has either the largest or the smallest value it can take. In the symmetric case $AM = AN$ we have from similarity $MN = frac{1}{2} AB = 1$, which is the lower bound from the statement of the problem. So it remains to show that this is indeed a minimum, but the length cannot have more than one extremal value for $Nin AC$ and for $N=C$ we have $NM ge 1$ from the triangle inequality.







                share|cite|improve this answer








                New contributor




                tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.









                share|cite|improve this answer



                share|cite|improve this answer






                New contributor




                tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.









                answered Dec 5 at 7:39









                tobi_s

                1412




                1412




                New contributor




                tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.





                New contributor





                tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






                tobi_s is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






















                    up vote
                    2
                    down vote













                    Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
                    Therefore, $MNgeq PQ=1$.



                    Diagram






                    share|cite|improve this answer










                    New contributor




                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.


















                    • Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
                      – amI
                      Dec 5 at 11:28










                    • @aml, I do not understand your concern.
                      – Anubhab Ghosal
                      Dec 5 at 14:51










                    • No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
                      – amI
                      Dec 5 at 22:01










                    • @aml, that is right, but how do you prove that PQ bisects MN without any construction?
                      – Anubhab Ghosal
                      yesterday










                    • Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
                      – amI
                      18 hours ago















                    up vote
                    2
                    down vote













                    Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
                    Therefore, $MNgeq PQ=1$.



                    Diagram






                    share|cite|improve this answer










                    New contributor




                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.


















                    • Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
                      – amI
                      Dec 5 at 11:28










                    • @aml, I do not understand your concern.
                      – Anubhab Ghosal
                      Dec 5 at 14:51










                    • No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
                      – amI
                      Dec 5 at 22:01










                    • @aml, that is right, but how do you prove that PQ bisects MN without any construction?
                      – Anubhab Ghosal
                      yesterday










                    • Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
                      – amI
                      18 hours ago













                    up vote
                    2
                    down vote










                    up vote
                    2
                    down vote









                    Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
                    Therefore, $MNgeq PQ=1$.



                    Diagram






                    share|cite|improve this answer










                    New contributor




                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.









                    Let $P$ and $Q$ be the mid-points of $AB$ and $AC$ respectively. Join $PQ$. Suppose $PQ$ meets $MN$ at $R$. Extend $PQ$ towards the side of $P$(if $M$ is nearer to $A$ as drawn in the diagram) to $R'$ such that $PR'=QR$. Now $MP=QN$ and $angle MPR'=angle NQR$. Therefore, $triangle MPR'cong triangle NQR$. Therefore, $MR+MR'ge RR'$ by triangle inequality, whence $MR+RNgeq PR+RQ$.
                    Therefore, $MNgeq PQ=1$.



                    Diagram







                    share|cite|improve this answer










                    New contributor




                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.









                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Dec 5 at 4:43





















                    New contributor




                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.









                    answered Dec 5 at 4:02









                    Anubhab Ghosal

                    4329




                    4329




                    New contributor




                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.





                    New contributor





                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.






                    Anubhab Ghosal is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                    Check out our Code of Conduct.












                    • Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
                      – amI
                      Dec 5 at 11:28










                    • @aml, I do not understand your concern.
                      – Anubhab Ghosal
                      Dec 5 at 14:51










                    • No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
                      – amI
                      Dec 5 at 22:01










                    • @aml, that is right, but how do you prove that PQ bisects MN without any construction?
                      – Anubhab Ghosal
                      yesterday










                    • Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
                      – amI
                      18 hours ago


















                    • Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
                      – amI
                      Dec 5 at 11:28










                    • @aml, I do not understand your concern.
                      – Anubhab Ghosal
                      Dec 5 at 14:51










                    • No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
                      – amI
                      Dec 5 at 22:01










                    • @aml, that is right, but how do you prove that PQ bisects MN without any construction?
                      – Anubhab Ghosal
                      yesterday










                    • Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
                      – amI
                      18 hours ago
















                    Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
                    – amI
                    Dec 5 at 11:28




                    Note - The accepted figure, and this figure, and a third version with R'R = RQ, all prove that PQ bisects MN, so MN > PQ if M and N are on different sides of A.
                    – amI
                    Dec 5 at 11:28












                    @aml, I do not understand your concern.
                    – Anubhab Ghosal
                    Dec 5 at 14:51




                    @aml, I do not understand your concern.
                    – Anubhab Ghosal
                    Dec 5 at 14:51












                    No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
                    – amI
                    Dec 5 at 22:01




                    No concern - its just that PQ (bisecting AB and AC) must bisect MN, so it seems obvious that MN >= PQ, and adding new point[s] just makes the proof rigorous.
                    – amI
                    Dec 5 at 22:01












                    @aml, that is right, but how do you prove that PQ bisects MN without any construction?
                    – Anubhab Ghosal
                    yesterday




                    @aml, that is right, but how do you prove that PQ bisects MN without any construction?
                    – Anubhab Ghosal
                    yesterday












                    Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
                    – amI
                    18 hours ago




                    Indeed - I think I just see it being folded (once horiz along PQ and twice vert) so MN becomes a parallelogram inside a small rectangle with diagonal AQ (=CQ). The perimeter of this parallelogram (MN) can't be any less than twice the base (=twice PQ/2 =PQ).
                    – amI
                    18 hours ago


















                    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.





                    Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                    Please pay close attention to the following guidance:


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3026447%2fsynthetic-solution-to-this-geometry-problem%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

                    If I really need a card on my start hand, how many mulligans make sense? [duplicate]

                    Alcedinidae

                    Can an atomic nucleus contain both particles and antiparticles? [duplicate]