Greatest value of $|z|$ given that $left|z- frac 4z right| = 2$. Why does using triangle inequality in this...












2












$begingroup$



Greatest value of $|z|$ given that $left|z- dfrac 4z right| = 2$ is?




This has been asked here before but my question is about a specific method that doesn't seem to work.



The method is:



$left|z- dfrac 4z right|le |z|+ left|dfrac{4}{z}right|implies 2 le |z|+ dfrac{4}{|z|}$



$implies |z|^2 - 2|z| +4ge 0$ since $|z| > 0$ (here)



which is true for all values of $|z|$.



Hence $|z| in (0, infty)$.



Then why is the maximum given by $|z| =1 + sqrt 5$, in other words, what's the fault in this method ?



A user has also asked that in one of the comments but hasn't received a reply there.










share|cite|improve this question











$endgroup$












  • $begingroup$
    the fault of the method is that the triangle inequality gives you something that could be bigger. It doesn't help us to say a hundred million godzillion might be bigger than the maximum.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:50










  • $begingroup$
    "which is true for all values of $|z|$." Which doesn't tell you anything, because what you've basically done is just confirming that the triangle inequality holds.
    $endgroup$
    – Arthur
    Dec 12 '18 at 20:51






  • 1




    $begingroup$
    Basically that shows $|z| le 1+sqrt{5} le infty$. that's perfectly true. And you did nothing wrong. It just doesn't help us in the least bit.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:52






  • 1




    $begingroup$
    Suppose several people were to guess my brother's weight. One person puts him on a scale and says "He is 178 lbs and 3 oz". Another person weighs him against a cat, then a dog then a sheep then a seal. And says "He weighs between 120 lbs and 250 lbs". A third person weighs him against a battleship and says "He weighs less then 300,000 tons". What was wrong with the battleship method? Technically not a thing.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:59
















2












$begingroup$



Greatest value of $|z|$ given that $left|z- dfrac 4z right| = 2$ is?




This has been asked here before but my question is about a specific method that doesn't seem to work.



The method is:



$left|z- dfrac 4z right|le |z|+ left|dfrac{4}{z}right|implies 2 le |z|+ dfrac{4}{|z|}$



$implies |z|^2 - 2|z| +4ge 0$ since $|z| > 0$ (here)



which is true for all values of $|z|$.



Hence $|z| in (0, infty)$.



Then why is the maximum given by $|z| =1 + sqrt 5$, in other words, what's the fault in this method ?



A user has also asked that in one of the comments but hasn't received a reply there.










share|cite|improve this question











$endgroup$












  • $begingroup$
    the fault of the method is that the triangle inequality gives you something that could be bigger. It doesn't help us to say a hundred million godzillion might be bigger than the maximum.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:50










  • $begingroup$
    "which is true for all values of $|z|$." Which doesn't tell you anything, because what you've basically done is just confirming that the triangle inequality holds.
    $endgroup$
    – Arthur
    Dec 12 '18 at 20:51






  • 1




    $begingroup$
    Basically that shows $|z| le 1+sqrt{5} le infty$. that's perfectly true. And you did nothing wrong. It just doesn't help us in the least bit.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:52






  • 1




    $begingroup$
    Suppose several people were to guess my brother's weight. One person puts him on a scale and says "He is 178 lbs and 3 oz". Another person weighs him against a cat, then a dog then a sheep then a seal. And says "He weighs between 120 lbs and 250 lbs". A third person weighs him against a battleship and says "He weighs less then 300,000 tons". What was wrong with the battleship method? Technically not a thing.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:59














2












2








2





$begingroup$



Greatest value of $|z|$ given that $left|z- dfrac 4z right| = 2$ is?




This has been asked here before but my question is about a specific method that doesn't seem to work.



The method is:



$left|z- dfrac 4z right|le |z|+ left|dfrac{4}{z}right|implies 2 le |z|+ dfrac{4}{|z|}$



$implies |z|^2 - 2|z| +4ge 0$ since $|z| > 0$ (here)



which is true for all values of $|z|$.



Hence $|z| in (0, infty)$.



Then why is the maximum given by $|z| =1 + sqrt 5$, in other words, what's the fault in this method ?



A user has also asked that in one of the comments but hasn't received a reply there.










share|cite|improve this question











$endgroup$





Greatest value of $|z|$ given that $left|z- dfrac 4z right| = 2$ is?




This has been asked here before but my question is about a specific method that doesn't seem to work.



The method is:



$left|z- dfrac 4z right|le |z|+ left|dfrac{4}{z}right|implies 2 le |z|+ dfrac{4}{|z|}$



$implies |z|^2 - 2|z| +4ge 0$ since $|z| > 0$ (here)



which is true for all values of $|z|$.



Hence $|z| in (0, infty)$.



Then why is the maximum given by $|z| =1 + sqrt 5$, in other words, what's the fault in this method ?



A user has also asked that in one of the comments but hasn't received a reply there.







algebra-precalculus proof-verification






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 12 '18 at 21:30









Lorenzo B.

1,8402520




1,8402520










asked Dec 12 '18 at 20:45









AbcdAbcd

3,03831235




3,03831235












  • $begingroup$
    the fault of the method is that the triangle inequality gives you something that could be bigger. It doesn't help us to say a hundred million godzillion might be bigger than the maximum.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:50










  • $begingroup$
    "which is true for all values of $|z|$." Which doesn't tell you anything, because what you've basically done is just confirming that the triangle inequality holds.
    $endgroup$
    – Arthur
    Dec 12 '18 at 20:51






  • 1




    $begingroup$
    Basically that shows $|z| le 1+sqrt{5} le infty$. that's perfectly true. And you did nothing wrong. It just doesn't help us in the least bit.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:52






  • 1




    $begingroup$
    Suppose several people were to guess my brother's weight. One person puts him on a scale and says "He is 178 lbs and 3 oz". Another person weighs him against a cat, then a dog then a sheep then a seal. And says "He weighs between 120 lbs and 250 lbs". A third person weighs him against a battleship and says "He weighs less then 300,000 tons". What was wrong with the battleship method? Technically not a thing.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:59


















  • $begingroup$
    the fault of the method is that the triangle inequality gives you something that could be bigger. It doesn't help us to say a hundred million godzillion might be bigger than the maximum.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:50










  • $begingroup$
    "which is true for all values of $|z|$." Which doesn't tell you anything, because what you've basically done is just confirming that the triangle inequality holds.
    $endgroup$
    – Arthur
    Dec 12 '18 at 20:51






  • 1




    $begingroup$
    Basically that shows $|z| le 1+sqrt{5} le infty$. that's perfectly true. And you did nothing wrong. It just doesn't help us in the least bit.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:52






  • 1




    $begingroup$
    Suppose several people were to guess my brother's weight. One person puts him on a scale and says "He is 178 lbs and 3 oz". Another person weighs him against a cat, then a dog then a sheep then a seal. And says "He weighs between 120 lbs and 250 lbs". A third person weighs him against a battleship and says "He weighs less then 300,000 tons". What was wrong with the battleship method? Technically not a thing.
    $endgroup$
    – fleablood
    Dec 12 '18 at 20:59
















$begingroup$
the fault of the method is that the triangle inequality gives you something that could be bigger. It doesn't help us to say a hundred million godzillion might be bigger than the maximum.
$endgroup$
– fleablood
Dec 12 '18 at 20:50




$begingroup$
the fault of the method is that the triangle inequality gives you something that could be bigger. It doesn't help us to say a hundred million godzillion might be bigger than the maximum.
$endgroup$
– fleablood
Dec 12 '18 at 20:50












$begingroup$
"which is true for all values of $|z|$." Which doesn't tell you anything, because what you've basically done is just confirming that the triangle inequality holds.
$endgroup$
– Arthur
Dec 12 '18 at 20:51




$begingroup$
"which is true for all values of $|z|$." Which doesn't tell you anything, because what you've basically done is just confirming that the triangle inequality holds.
$endgroup$
– Arthur
Dec 12 '18 at 20:51




1




1




$begingroup$
Basically that shows $|z| le 1+sqrt{5} le infty$. that's perfectly true. And you did nothing wrong. It just doesn't help us in the least bit.
$endgroup$
– fleablood
Dec 12 '18 at 20:52




$begingroup$
Basically that shows $|z| le 1+sqrt{5} le infty$. that's perfectly true. And you did nothing wrong. It just doesn't help us in the least bit.
$endgroup$
– fleablood
Dec 12 '18 at 20:52




1




1




$begingroup$
Suppose several people were to guess my brother's weight. One person puts him on a scale and says "He is 178 lbs and 3 oz". Another person weighs him against a cat, then a dog then a sheep then a seal. And says "He weighs between 120 lbs and 250 lbs". A third person weighs him against a battleship and says "He weighs less then 300,000 tons". What was wrong with the battleship method? Technically not a thing.
$endgroup$
– fleablood
Dec 12 '18 at 20:59




$begingroup$
Suppose several people were to guess my brother's weight. One person puts him on a scale and says "He is 178 lbs and 3 oz". Another person weighs him against a cat, then a dog then a sheep then a seal. And says "He weighs between 120 lbs and 250 lbs". A third person weighs him against a battleship and says "He weighs less then 300,000 tons". What was wrong with the battleship method? Technically not a thing.
$endgroup$
– fleablood
Dec 12 '18 at 20:59










2 Answers
2






active

oldest

votes


















4












$begingroup$

You can apply the triangle inequality this way:
$2 geq |z-frac{4}{z}| geq |z|-|frac{4}{z}|$, whence $|z|^2-2|z|-4 leq 0$ whence $|z| leq 1 + sqrt{5}$ and note(very important!) that equality is indeed attained for $z=1+sqrt{5}$






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    I was solving a similar problem in this question



    edit



    Assume $zneq 0.;$
    $left|z-frac{4}{z}right|$ is the distance of points representing $z$ and $frac{4}{z}.$ The maximum of $|z|$ is achieved when $0, z, frac 4z$ are collinear (see bellow) and we have to take the difference, not the sum of absolute values.



    Solution




    • If $z$ is real, then $z, frac 4z$ lie on the same half-line starting in $0$ and we have
      $$left|z-frac 4z right|=|z|-frac {4}{|z|}quad text{or} quad left| z-frac 4z right|=frac{4}{|z|}-|z|,$$
      and so $$2=|z|-frac {4}{|z|} quad text{or} quad 2=frac{4}{|z|}-|z|.$$


    Multiplying by $|z|$ and solving the quadratic equations gives positive solutions $|z|=sqrt 5 +1;$ from the first and $|z|=sqrt 5 -1;$ from the second one. Note that $sqrt 5 -1=frac{4}{sqrt 5 +1}.$




    • If $z=ib, bin mathbb{R},$ then $0$ lies on the segment with bounds $z, frac 4z$. The equation to solve is then $2=|z|+frac {4}{|z|}$ and doesn't have solution.


    • In all other cases, by triangle inequality is $|z|<sqrt 5 +1.$



    The maximal value of $|z|$ is $sqrt5 + 1,$ the only convenient numbers are $z=pm(sqrt 5 +1).$






    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%2f3037194%2fgreatest-value-of-z-given-that-leftz-frac-4z-right-2-why-does-usi%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      4












      $begingroup$

      You can apply the triangle inequality this way:
      $2 geq |z-frac{4}{z}| geq |z|-|frac{4}{z}|$, whence $|z|^2-2|z|-4 leq 0$ whence $|z| leq 1 + sqrt{5}$ and note(very important!) that equality is indeed attained for $z=1+sqrt{5}$






      share|cite|improve this answer









      $endgroup$


















        4












        $begingroup$

        You can apply the triangle inequality this way:
        $2 geq |z-frac{4}{z}| geq |z|-|frac{4}{z}|$, whence $|z|^2-2|z|-4 leq 0$ whence $|z| leq 1 + sqrt{5}$ and note(very important!) that equality is indeed attained for $z=1+sqrt{5}$






        share|cite|improve this answer









        $endgroup$
















          4












          4








          4





          $begingroup$

          You can apply the triangle inequality this way:
          $2 geq |z-frac{4}{z}| geq |z|-|frac{4}{z}|$, whence $|z|^2-2|z|-4 leq 0$ whence $|z| leq 1 + sqrt{5}$ and note(very important!) that equality is indeed attained for $z=1+sqrt{5}$






          share|cite|improve this answer









          $endgroup$



          You can apply the triangle inequality this way:
          $2 geq |z-frac{4}{z}| geq |z|-|frac{4}{z}|$, whence $|z|^2-2|z|-4 leq 0$ whence $|z| leq 1 + sqrt{5}$ and note(very important!) that equality is indeed attained for $z=1+sqrt{5}$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Dec 12 '18 at 21:05









          Sorin TircSorin Tirc

          1,755213




          1,755213























              1












              $begingroup$

              I was solving a similar problem in this question



              edit



              Assume $zneq 0.;$
              $left|z-frac{4}{z}right|$ is the distance of points representing $z$ and $frac{4}{z}.$ The maximum of $|z|$ is achieved when $0, z, frac 4z$ are collinear (see bellow) and we have to take the difference, not the sum of absolute values.



              Solution




              • If $z$ is real, then $z, frac 4z$ lie on the same half-line starting in $0$ and we have
                $$left|z-frac 4z right|=|z|-frac {4}{|z|}quad text{or} quad left| z-frac 4z right|=frac{4}{|z|}-|z|,$$
                and so $$2=|z|-frac {4}{|z|} quad text{or} quad 2=frac{4}{|z|}-|z|.$$


              Multiplying by $|z|$ and solving the quadratic equations gives positive solutions $|z|=sqrt 5 +1;$ from the first and $|z|=sqrt 5 -1;$ from the second one. Note that $sqrt 5 -1=frac{4}{sqrt 5 +1}.$




              • If $z=ib, bin mathbb{R},$ then $0$ lies on the segment with bounds $z, frac 4z$. The equation to solve is then $2=|z|+frac {4}{|z|}$ and doesn't have solution.


              • In all other cases, by triangle inequality is $|z|<sqrt 5 +1.$



              The maximal value of $|z|$ is $sqrt5 + 1,$ the only convenient numbers are $z=pm(sqrt 5 +1).$






              share|cite|improve this answer











              $endgroup$


















                1












                $begingroup$

                I was solving a similar problem in this question



                edit



                Assume $zneq 0.;$
                $left|z-frac{4}{z}right|$ is the distance of points representing $z$ and $frac{4}{z}.$ The maximum of $|z|$ is achieved when $0, z, frac 4z$ are collinear (see bellow) and we have to take the difference, not the sum of absolute values.



                Solution




                • If $z$ is real, then $z, frac 4z$ lie on the same half-line starting in $0$ and we have
                  $$left|z-frac 4z right|=|z|-frac {4}{|z|}quad text{or} quad left| z-frac 4z right|=frac{4}{|z|}-|z|,$$
                  and so $$2=|z|-frac {4}{|z|} quad text{or} quad 2=frac{4}{|z|}-|z|.$$


                Multiplying by $|z|$ and solving the quadratic equations gives positive solutions $|z|=sqrt 5 +1;$ from the first and $|z|=sqrt 5 -1;$ from the second one. Note that $sqrt 5 -1=frac{4}{sqrt 5 +1}.$




                • If $z=ib, bin mathbb{R},$ then $0$ lies on the segment with bounds $z, frac 4z$. The equation to solve is then $2=|z|+frac {4}{|z|}$ and doesn't have solution.


                • In all other cases, by triangle inequality is $|z|<sqrt 5 +1.$



                The maximal value of $|z|$ is $sqrt5 + 1,$ the only convenient numbers are $z=pm(sqrt 5 +1).$






                share|cite|improve this answer











                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  I was solving a similar problem in this question



                  edit



                  Assume $zneq 0.;$
                  $left|z-frac{4}{z}right|$ is the distance of points representing $z$ and $frac{4}{z}.$ The maximum of $|z|$ is achieved when $0, z, frac 4z$ are collinear (see bellow) and we have to take the difference, not the sum of absolute values.



                  Solution




                  • If $z$ is real, then $z, frac 4z$ lie on the same half-line starting in $0$ and we have
                    $$left|z-frac 4z right|=|z|-frac {4}{|z|}quad text{or} quad left| z-frac 4z right|=frac{4}{|z|}-|z|,$$
                    and so $$2=|z|-frac {4}{|z|} quad text{or} quad 2=frac{4}{|z|}-|z|.$$


                  Multiplying by $|z|$ and solving the quadratic equations gives positive solutions $|z|=sqrt 5 +1;$ from the first and $|z|=sqrt 5 -1;$ from the second one. Note that $sqrt 5 -1=frac{4}{sqrt 5 +1}.$




                  • If $z=ib, bin mathbb{R},$ then $0$ lies on the segment with bounds $z, frac 4z$. The equation to solve is then $2=|z|+frac {4}{|z|}$ and doesn't have solution.


                  • In all other cases, by triangle inequality is $|z|<sqrt 5 +1.$



                  The maximal value of $|z|$ is $sqrt5 + 1,$ the only convenient numbers are $z=pm(sqrt 5 +1).$






                  share|cite|improve this answer











                  $endgroup$



                  I was solving a similar problem in this question



                  edit



                  Assume $zneq 0.;$
                  $left|z-frac{4}{z}right|$ is the distance of points representing $z$ and $frac{4}{z}.$ The maximum of $|z|$ is achieved when $0, z, frac 4z$ are collinear (see bellow) and we have to take the difference, not the sum of absolute values.



                  Solution




                  • If $z$ is real, then $z, frac 4z$ lie on the same half-line starting in $0$ and we have
                    $$left|z-frac 4z right|=|z|-frac {4}{|z|}quad text{or} quad left| z-frac 4z right|=frac{4}{|z|}-|z|,$$
                    and so $$2=|z|-frac {4}{|z|} quad text{or} quad 2=frac{4}{|z|}-|z|.$$


                  Multiplying by $|z|$ and solving the quadratic equations gives positive solutions $|z|=sqrt 5 +1;$ from the first and $|z|=sqrt 5 -1;$ from the second one. Note that $sqrt 5 -1=frac{4}{sqrt 5 +1}.$




                  • If $z=ib, bin mathbb{R},$ then $0$ lies on the segment with bounds $z, frac 4z$. The equation to solve is then $2=|z|+frac {4}{|z|}$ and doesn't have solution.


                  • In all other cases, by triangle inequality is $|z|<sqrt 5 +1.$



                  The maximal value of $|z|$ is $sqrt5 + 1,$ the only convenient numbers are $z=pm(sqrt 5 +1).$







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Dec 13 '18 at 12:11

























                  answered Dec 12 '18 at 21:08









                  user376343user376343

                  3,6683827




                  3,6683827






























                      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%2f3037194%2fgreatest-value-of-z-given-that-leftz-frac-4z-right-2-why-does-usi%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

                      Quarter-circle Tiles

                      build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                      Mont Emei