Sign changes after taking the square root inequality. Why?Confused where and why inequality sign changes when...

Double redundancy for the Saturn V LVDC computer memory, how were disagreements resolved?

Is this curved text blend possible in Illustrator?

What does this double-treble double-bass staff mean?

In a 2 layer PCB with a top layer densely populated, from an EMI & EMC point of view should the ground plane be on top, bottom or both and why?

What are the conventions for transcribing Semitic languages into Greek?

What game uses dice with sides powers of 2?

Is it legal for a company to enter an agreement not to hire employees from another company?

Can a fight scene, component-wise, be too complex and complicated?

Continuous vertical line using booktabs in tabularx table?

Why is transplanting a specific intact brain impossible if it is generally possible?

Does a code snippet compile? Or does it get compiled?

Is there a standardised way to check fake news?

How does 'AND' distribute over 'OR' (Set Theory)?

How should an administrative assistant reply to student addressing them as "Professor" or "Doctor"?

Why does Intel's Haswell chip allow FP multiplication to be twice as fast as addition?

What happens if I delete an icloud backup?

Is there a way to unplug the Raspberry pi safely without shutting down

How can Radagast come across Gandalf and Thorin's company?

If "more guns less crime", how do gun advocates explain that the EU has less crime than the US?

Why do funding agencies like the NSF not publish accepted grants?

Is refreshing multiple times a test case for web applications?

Is Texas Instrument wrong with their pin number on TO-92 package?

Are differences between uniformly distributed numbers uniformly distributed?

Tikzpicture - finish drawing a curved line for a cake slice



Sign changes after taking the square root inequality. Why?


Confused where and why inequality sign changes when proving probability inequalityQuestion regarding inequality sign changes and negative divisorsInequality involving Square RootInequality with a square rootInequality involving square root exponentsWhat would be the result of taking the square root of this inequality?Square root inequality revisitedSquare root inequality cyclic






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}







1












$begingroup$


I want to improve my theoretical background to make it rock solid.



Given



$(x - 2)^2 geq 1$



O learnt that taking the square root of boot sides yields



$| x -2| geq sqrt{1}$ or $| x - 2 | leq - sqrt{1}$



Here, I have two questions:





  1. Why does taking the square root transforms it from $(something)^2$ to $|something|$? Why the "module" symbols?



    I believe this is redundant, not really necessary. Am I right?




and





  1. Why does the sign change direction?



    I know this is because $x$ can be $ le 0$, so I need to go into a little bit more depth about the theory on swapping signs. As far as I can tell we only swap inequality sign when dividing or multiplying by a negative number




Thanks a lot in advance!










share|cite|improve this question









New contributor



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






$endgroup$










  • 1




    $begingroup$
    $y^2ge1implies yge1 $ or $yle-1$; $|x-2|ge0gt-1$ so $|x-2|le-1$ doesn't make sense
    $endgroup$
    – J. W. Tanner
    10 hours ago








  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    10 hours ago










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    9 hours ago










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    9 hours ago




















1












$begingroup$


I want to improve my theoretical background to make it rock solid.



Given



$(x - 2)^2 geq 1$



O learnt that taking the square root of boot sides yields



$| x -2| geq sqrt{1}$ or $| x - 2 | leq - sqrt{1}$



Here, I have two questions:





  1. Why does taking the square root transforms it from $(something)^2$ to $|something|$? Why the "module" symbols?



    I believe this is redundant, not really necessary. Am I right?




and





  1. Why does the sign change direction?



    I know this is because $x$ can be $ le 0$, so I need to go into a little bit more depth about the theory on swapping signs. As far as I can tell we only swap inequality sign when dividing or multiplying by a negative number




Thanks a lot in advance!










share|cite|improve this question









New contributor



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






$endgroup$










  • 1




    $begingroup$
    $y^2ge1implies yge1 $ or $yle-1$; $|x-2|ge0gt-1$ so $|x-2|le-1$ doesn't make sense
    $endgroup$
    – J. W. Tanner
    10 hours ago








  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    10 hours ago










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    9 hours ago










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    9 hours ago
















1












1








1





$begingroup$


I want to improve my theoretical background to make it rock solid.



Given



$(x - 2)^2 geq 1$



O learnt that taking the square root of boot sides yields



$| x -2| geq sqrt{1}$ or $| x - 2 | leq - sqrt{1}$



Here, I have two questions:





  1. Why does taking the square root transforms it from $(something)^2$ to $|something|$? Why the "module" symbols?



    I believe this is redundant, not really necessary. Am I right?




and





  1. Why does the sign change direction?



    I know this is because $x$ can be $ le 0$, so I need to go into a little bit more depth about the theory on swapping signs. As far as I can tell we only swap inequality sign when dividing or multiplying by a negative number




Thanks a lot in advance!










share|cite|improve this question









New contributor



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






$endgroup$




I want to improve my theoretical background to make it rock solid.



Given



$(x - 2)^2 geq 1$



O learnt that taking the square root of boot sides yields



$| x -2| geq sqrt{1}$ or $| x - 2 | leq - sqrt{1}$



Here, I have two questions:





  1. Why does taking the square root transforms it from $(something)^2$ to $|something|$? Why the "module" symbols?



    I believe this is redundant, not really necessary. Am I right?




and





  1. Why does the sign change direction?



    I know this is because $x$ can be $ le 0$, so I need to go into a little bit more depth about the theory on swapping signs. As far as I can tell we only swap inequality sign when dividing or multiplying by a negative number




Thanks a lot in advance!







inequality






share|cite|improve this question









New contributor



Batmaths 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 question









New contributor



Batmaths 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 question




share|cite|improve this question








edited 9 hours ago







Batmaths













New contributor



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








asked 10 hours ago









BatmathsBatmaths

475 bronze badges




475 bronze badges




New contributor



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




New contributor




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













  • 1




    $begingroup$
    $y^2ge1implies yge1 $ or $yle-1$; $|x-2|ge0gt-1$ so $|x-2|le-1$ doesn't make sense
    $endgroup$
    – J. W. Tanner
    10 hours ago








  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    10 hours ago










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    9 hours ago










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    9 hours ago
















  • 1




    $begingroup$
    $y^2ge1implies yge1 $ or $yle-1$; $|x-2|ge0gt-1$ so $|x-2|le-1$ doesn't make sense
    $endgroup$
    – J. W. Tanner
    10 hours ago








  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    10 hours ago










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    9 hours ago










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    9 hours ago










1




1




$begingroup$
$y^2ge1implies yge1 $ or $yle-1$; $|x-2|ge0gt-1$ so $|x-2|le-1$ doesn't make sense
$endgroup$
– J. W. Tanner
10 hours ago






$begingroup$
$y^2ge1implies yge1 $ or $yle-1$; $|x-2|ge0gt-1$ so $|x-2|le-1$ doesn't make sense
$endgroup$
– J. W. Tanner
10 hours ago






1




1




$begingroup$
perhaps you're confusing with $y^2ge1iff|y|ge1$
$endgroup$
– J. W. Tanner
10 hours ago




$begingroup$
perhaps you're confusing with $y^2ge1iff|y|ge1$
$endgroup$
– J. W. Tanner
10 hours ago












$begingroup$
When you wrote $p$ did you mean $x$?
$endgroup$
– J. W. Tanner
9 hours ago




$begingroup$
When you wrote $p$ did you mean $x$?
$endgroup$
– J. W. Tanner
9 hours ago












$begingroup$
Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
$endgroup$
– Batmaths
9 hours ago






$begingroup$
Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
$endgroup$
– Batmaths
9 hours ago












4 Answers
4






active

oldest

votes


















2












$begingroup$

The chain of equivalent transformations should progress first to
$$
|x-2|gesqrt1=1
$$

and then to
$$
x-2le -1text{ or }x-2ge 1.
$$





If $|u|ge a$, then




  • either $uge 0$ and $u=|u|ge a$.

  • or $u<0$ and $-u=|u|ge aiff ule -a$.




You can go from $u^2ge a^2$, $a>0$, to $|u|ge a$ because the square function is strictly monotonically increasing on the positive half-axis. Or just simply because in $$0le u^2-a^2=(|u|-a)(|u|+a)$$ you can divide out the positive second factor.






share|cite|improve this answer











$endgroup$























    1












    $begingroup$

    $|x-2|le-sqrt1$ is redundant, since absolute values are never negative.



    As for why the module, look at the graph of $x^2$. What values of $x$ give $x^2>1$, for example?



    As for how you get a sign change, notice that $|x|>1$ means $x>1$ or $-x>1$, but the latter becomes $x<-1$ when you multiply both sides by $-1$, resulting in a sign change..






    share|cite|improve this answer









    $endgroup$











    • 1




      $begingroup$
      I would say $|x-2|le-1$ is impossible, not that it's redundant
      $endgroup$
      – J. W. Tanner
      10 hours ago










    • $begingroup$
      shrugs I would say "$x$ or false" has a redundant "or false" part. But really the wording is mostly to match the OP.
      $endgroup$
      – Simply Beautiful Art
      9 hours ago












    • $begingroup$
      I see what you mean now; "or $|x-2|le-1$" is redundant
      $endgroup$
      – J. W. Tanner
      9 hours ago












    • $begingroup$
      Ok - Got it. Good to also clarify this point. Thanks
      $endgroup$
      – Batmaths
      9 hours ago



















    1












    $begingroup$

    The absolute value of a positive number $n$ is $n.$
    The absolute value of a negative number $n$ is $-n,$ which is a positive number.
    (For example, $lvert -2rvert = -(-2) = 2.$)
    The absolute value of zero is zero.



    No matter what you start out with, you end up with a non-negative number
    (that is, zero or positive).
    You might have to use a negative sign ($-n$ instead of $n$) in order to get a result that isn't negative.
    (If you start with zero, the negative sign doesn't matter, since $-0=0.$)



    So $lvert x-2rvert,$ the absolute value of the number $x-2,$ is either
    $x - 2$ or $-(x-2),$ whichever one of those is non-negative.



    From $(p - 2)^2 geq 1$ you can conclude that
    $lvert x-2rvert geq sqrt1 = 1,$ full stop.
    That is one of the other properties of the absolute value.
    There is no case where $lvert x-2rvert leq -sqrt1 = -1,$
    because that would say that there is some number whose absolute value is negative, which cannot happen.



    From the fact that $lvert x-2rvert geq 1,$ since you know that $lvert x-2rvert$
    is actually either $x-2$ or $-(x-2),$ you know that one of the following two statements is true:



    $$ x-2 geq 1 quadtext{or}quad -(x-2) geq 1. $$



    If you like, you can rewrite $-(x-2) geq 1$ as $x-2 leq -1$;
    reversing the signs on both sides of an inequality also reverses the direction of the inequality. Or you could write $-x + 2 geq 1$ and proceed from there.






    share|cite|improve this answer









    $endgroup$























      1












      $begingroup$


      1. The key lies in understanding the square root function, which by definition should give a unique value. Unfortunately, there are always two candidates satisfying the equation $x^2=y,$ where $y> 0$ is given. Mathematicians have convened to choose the positive root satisfying this equation as the result of the square root operation. Thus taking the square root of a nonnegative quantity, say $x^2,$ always gives a nonnegative result. This operation is often symbolised by $sqrt{},$ so that we always have $$sqrt{x^2}=|x|,$$ by definition. Thus, $sqrt 4 = 2,$ and not $-2.$ Hence, whenever you take the square root of an expression of the form $E(x,y,z,ldots)^2,$ you must have the result to be $|E(x,y,z,ldots)|.$


      2. The sign does not change direction. If you have an inequality of the form $$x^2ge y,$$ where $yge 0,$ then you may take the square root of both sides (and the inequality is respected since the square-root function is monotonic), to get $$|x|ge sqrt y,$$ and the right hand side is uniquely defined by (1), so there's no negative value at all. Thus, applying this to your inequality, namely $$(x-2)^2ge 1,$$ we obtain $$|x-2|ge 1.$$ But if you want to solve this inequality, you don't need to take square roots at all. Just transpose and factor, to get $$(x-2)^2-1ge 0,$$ which gives $(x-2-1)(x-2+1)=(x-3)(x-1)ge 0,$ and so on.







      share|cite|improve this answer









      $endgroup$















      • $begingroup$
        Great - Fully understood about the module. Didn't quite understand why you get $( x -2 -1)(x -2 +1)$ tho. I just don't know where the $+1$ came from. Nonetheless (x-3)(x-1) is another way to resolve the initial equation, so it makes sense.
        $endgroup$
        – Batmaths
        7 hours ago














      Your Answer








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


      }
      });






      Batmaths is a new contributor. Be nice, and check out our Code of Conduct.










      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3320340%2fsign-changes-after-taking-the-square-root-inequality-why%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      4 Answers
      4






      active

      oldest

      votes








      4 Answers
      4






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      2












      $begingroup$

      The chain of equivalent transformations should progress first to
      $$
      |x-2|gesqrt1=1
      $$

      and then to
      $$
      x-2le -1text{ or }x-2ge 1.
      $$





      If $|u|ge a$, then




      • either $uge 0$ and $u=|u|ge a$.

      • or $u<0$ and $-u=|u|ge aiff ule -a$.




      You can go from $u^2ge a^2$, $a>0$, to $|u|ge a$ because the square function is strictly monotonically increasing on the positive half-axis. Or just simply because in $$0le u^2-a^2=(|u|-a)(|u|+a)$$ you can divide out the positive second factor.






      share|cite|improve this answer











      $endgroup$




















        2












        $begingroup$

        The chain of equivalent transformations should progress first to
        $$
        |x-2|gesqrt1=1
        $$

        and then to
        $$
        x-2le -1text{ or }x-2ge 1.
        $$





        If $|u|ge a$, then




        • either $uge 0$ and $u=|u|ge a$.

        • or $u<0$ and $-u=|u|ge aiff ule -a$.




        You can go from $u^2ge a^2$, $a>0$, to $|u|ge a$ because the square function is strictly monotonically increasing on the positive half-axis. Or just simply because in $$0le u^2-a^2=(|u|-a)(|u|+a)$$ you can divide out the positive second factor.






        share|cite|improve this answer











        $endgroup$


















          2












          2








          2





          $begingroup$

          The chain of equivalent transformations should progress first to
          $$
          |x-2|gesqrt1=1
          $$

          and then to
          $$
          x-2le -1text{ or }x-2ge 1.
          $$





          If $|u|ge a$, then




          • either $uge 0$ and $u=|u|ge a$.

          • or $u<0$ and $-u=|u|ge aiff ule -a$.




          You can go from $u^2ge a^2$, $a>0$, to $|u|ge a$ because the square function is strictly monotonically increasing on the positive half-axis. Or just simply because in $$0le u^2-a^2=(|u|-a)(|u|+a)$$ you can divide out the positive second factor.






          share|cite|improve this answer











          $endgroup$



          The chain of equivalent transformations should progress first to
          $$
          |x-2|gesqrt1=1
          $$

          and then to
          $$
          x-2le -1text{ or }x-2ge 1.
          $$





          If $|u|ge a$, then




          • either $uge 0$ and $u=|u|ge a$.

          • or $u<0$ and $-u=|u|ge aiff ule -a$.




          You can go from $u^2ge a^2$, $a>0$, to $|u|ge a$ because the square function is strictly monotonically increasing on the positive half-axis. Or just simply because in $$0le u^2-a^2=(|u|-a)(|u|+a)$$ you can divide out the positive second factor.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 10 hours ago

























          answered 10 hours ago









          LutzLLutzL

          67.7k4 gold badges22 silver badges61 bronze badges




          67.7k4 gold badges22 silver badges61 bronze badges




























              1












              $begingroup$

              $|x-2|le-sqrt1$ is redundant, since absolute values are never negative.



              As for why the module, look at the graph of $x^2$. What values of $x$ give $x^2>1$, for example?



              As for how you get a sign change, notice that $|x|>1$ means $x>1$ or $-x>1$, but the latter becomes $x<-1$ when you multiply both sides by $-1$, resulting in a sign change..






              share|cite|improve this answer









              $endgroup$











              • 1




                $begingroup$
                I would say $|x-2|le-1$ is impossible, not that it's redundant
                $endgroup$
                – J. W. Tanner
                10 hours ago










              • $begingroup$
                shrugs I would say "$x$ or false" has a redundant "or false" part. But really the wording is mostly to match the OP.
                $endgroup$
                – Simply Beautiful Art
                9 hours ago












              • $begingroup$
                I see what you mean now; "or $|x-2|le-1$" is redundant
                $endgroup$
                – J. W. Tanner
                9 hours ago












              • $begingroup$
                Ok - Got it. Good to also clarify this point. Thanks
                $endgroup$
                – Batmaths
                9 hours ago
















              1












              $begingroup$

              $|x-2|le-sqrt1$ is redundant, since absolute values are never negative.



              As for why the module, look at the graph of $x^2$. What values of $x$ give $x^2>1$, for example?



              As for how you get a sign change, notice that $|x|>1$ means $x>1$ or $-x>1$, but the latter becomes $x<-1$ when you multiply both sides by $-1$, resulting in a sign change..






              share|cite|improve this answer









              $endgroup$











              • 1




                $begingroup$
                I would say $|x-2|le-1$ is impossible, not that it's redundant
                $endgroup$
                – J. W. Tanner
                10 hours ago










              • $begingroup$
                shrugs I would say "$x$ or false" has a redundant "or false" part. But really the wording is mostly to match the OP.
                $endgroup$
                – Simply Beautiful Art
                9 hours ago












              • $begingroup$
                I see what you mean now; "or $|x-2|le-1$" is redundant
                $endgroup$
                – J. W. Tanner
                9 hours ago












              • $begingroup$
                Ok - Got it. Good to also clarify this point. Thanks
                $endgroup$
                – Batmaths
                9 hours ago














              1












              1








              1





              $begingroup$

              $|x-2|le-sqrt1$ is redundant, since absolute values are never negative.



              As for why the module, look at the graph of $x^2$. What values of $x$ give $x^2>1$, for example?



              As for how you get a sign change, notice that $|x|>1$ means $x>1$ or $-x>1$, but the latter becomes $x<-1$ when you multiply both sides by $-1$, resulting in a sign change..






              share|cite|improve this answer









              $endgroup$



              $|x-2|le-sqrt1$ is redundant, since absolute values are never negative.



              As for why the module, look at the graph of $x^2$. What values of $x$ give $x^2>1$, for example?



              As for how you get a sign change, notice that $|x|>1$ means $x>1$ or $-x>1$, but the latter becomes $x<-1$ when you multiply both sides by $-1$, resulting in a sign change..







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered 10 hours ago









              Simply Beautiful ArtSimply Beautiful Art

              53.4k6 gold badges85 silver badges194 bronze badges




              53.4k6 gold badges85 silver badges194 bronze badges











              • 1




                $begingroup$
                I would say $|x-2|le-1$ is impossible, not that it's redundant
                $endgroup$
                – J. W. Tanner
                10 hours ago










              • $begingroup$
                shrugs I would say "$x$ or false" has a redundant "or false" part. But really the wording is mostly to match the OP.
                $endgroup$
                – Simply Beautiful Art
                9 hours ago












              • $begingroup$
                I see what you mean now; "or $|x-2|le-1$" is redundant
                $endgroup$
                – J. W. Tanner
                9 hours ago












              • $begingroup$
                Ok - Got it. Good to also clarify this point. Thanks
                $endgroup$
                – Batmaths
                9 hours ago














              • 1




                $begingroup$
                I would say $|x-2|le-1$ is impossible, not that it's redundant
                $endgroup$
                – J. W. Tanner
                10 hours ago










              • $begingroup$
                shrugs I would say "$x$ or false" has a redundant "or false" part. But really the wording is mostly to match the OP.
                $endgroup$
                – Simply Beautiful Art
                9 hours ago












              • $begingroup$
                I see what you mean now; "or $|x-2|le-1$" is redundant
                $endgroup$
                – J. W. Tanner
                9 hours ago












              • $begingroup$
                Ok - Got it. Good to also clarify this point. Thanks
                $endgroup$
                – Batmaths
                9 hours ago








              1




              1




              $begingroup$
              I would say $|x-2|le-1$ is impossible, not that it's redundant
              $endgroup$
              – J. W. Tanner
              10 hours ago




              $begingroup$
              I would say $|x-2|le-1$ is impossible, not that it's redundant
              $endgroup$
              – J. W. Tanner
              10 hours ago












              $begingroup$
              shrugs I would say "$x$ or false" has a redundant "or false" part. But really the wording is mostly to match the OP.
              $endgroup$
              – Simply Beautiful Art
              9 hours ago






              $begingroup$
              shrugs I would say "$x$ or false" has a redundant "or false" part. But really the wording is mostly to match the OP.
              $endgroup$
              – Simply Beautiful Art
              9 hours ago














              $begingroup$
              I see what you mean now; "or $|x-2|le-1$" is redundant
              $endgroup$
              – J. W. Tanner
              9 hours ago






              $begingroup$
              I see what you mean now; "or $|x-2|le-1$" is redundant
              $endgroup$
              – J. W. Tanner
              9 hours ago














              $begingroup$
              Ok - Got it. Good to also clarify this point. Thanks
              $endgroup$
              – Batmaths
              9 hours ago




              $begingroup$
              Ok - Got it. Good to also clarify this point. Thanks
              $endgroup$
              – Batmaths
              9 hours ago











              1












              $begingroup$

              The absolute value of a positive number $n$ is $n.$
              The absolute value of a negative number $n$ is $-n,$ which is a positive number.
              (For example, $lvert -2rvert = -(-2) = 2.$)
              The absolute value of zero is zero.



              No matter what you start out with, you end up with a non-negative number
              (that is, zero or positive).
              You might have to use a negative sign ($-n$ instead of $n$) in order to get a result that isn't negative.
              (If you start with zero, the negative sign doesn't matter, since $-0=0.$)



              So $lvert x-2rvert,$ the absolute value of the number $x-2,$ is either
              $x - 2$ or $-(x-2),$ whichever one of those is non-negative.



              From $(p - 2)^2 geq 1$ you can conclude that
              $lvert x-2rvert geq sqrt1 = 1,$ full stop.
              That is one of the other properties of the absolute value.
              There is no case where $lvert x-2rvert leq -sqrt1 = -1,$
              because that would say that there is some number whose absolute value is negative, which cannot happen.



              From the fact that $lvert x-2rvert geq 1,$ since you know that $lvert x-2rvert$
              is actually either $x-2$ or $-(x-2),$ you know that one of the following two statements is true:



              $$ x-2 geq 1 quadtext{or}quad -(x-2) geq 1. $$



              If you like, you can rewrite $-(x-2) geq 1$ as $x-2 leq -1$;
              reversing the signs on both sides of an inequality also reverses the direction of the inequality. Or you could write $-x + 2 geq 1$ and proceed from there.






              share|cite|improve this answer









              $endgroup$




















                1












                $begingroup$

                The absolute value of a positive number $n$ is $n.$
                The absolute value of a negative number $n$ is $-n,$ which is a positive number.
                (For example, $lvert -2rvert = -(-2) = 2.$)
                The absolute value of zero is zero.



                No matter what you start out with, you end up with a non-negative number
                (that is, zero or positive).
                You might have to use a negative sign ($-n$ instead of $n$) in order to get a result that isn't negative.
                (If you start with zero, the negative sign doesn't matter, since $-0=0.$)



                So $lvert x-2rvert,$ the absolute value of the number $x-2,$ is either
                $x - 2$ or $-(x-2),$ whichever one of those is non-negative.



                From $(p - 2)^2 geq 1$ you can conclude that
                $lvert x-2rvert geq sqrt1 = 1,$ full stop.
                That is one of the other properties of the absolute value.
                There is no case where $lvert x-2rvert leq -sqrt1 = -1,$
                because that would say that there is some number whose absolute value is negative, which cannot happen.



                From the fact that $lvert x-2rvert geq 1,$ since you know that $lvert x-2rvert$
                is actually either $x-2$ or $-(x-2),$ you know that one of the following two statements is true:



                $$ x-2 geq 1 quadtext{or}quad -(x-2) geq 1. $$



                If you like, you can rewrite $-(x-2) geq 1$ as $x-2 leq -1$;
                reversing the signs on both sides of an inequality also reverses the direction of the inequality. Or you could write $-x + 2 geq 1$ and proceed from there.






                share|cite|improve this answer









                $endgroup$


















                  1












                  1








                  1





                  $begingroup$

                  The absolute value of a positive number $n$ is $n.$
                  The absolute value of a negative number $n$ is $-n,$ which is a positive number.
                  (For example, $lvert -2rvert = -(-2) = 2.$)
                  The absolute value of zero is zero.



                  No matter what you start out with, you end up with a non-negative number
                  (that is, zero or positive).
                  You might have to use a negative sign ($-n$ instead of $n$) in order to get a result that isn't negative.
                  (If you start with zero, the negative sign doesn't matter, since $-0=0.$)



                  So $lvert x-2rvert,$ the absolute value of the number $x-2,$ is either
                  $x - 2$ or $-(x-2),$ whichever one of those is non-negative.



                  From $(p - 2)^2 geq 1$ you can conclude that
                  $lvert x-2rvert geq sqrt1 = 1,$ full stop.
                  That is one of the other properties of the absolute value.
                  There is no case where $lvert x-2rvert leq -sqrt1 = -1,$
                  because that would say that there is some number whose absolute value is negative, which cannot happen.



                  From the fact that $lvert x-2rvert geq 1,$ since you know that $lvert x-2rvert$
                  is actually either $x-2$ or $-(x-2),$ you know that one of the following two statements is true:



                  $$ x-2 geq 1 quadtext{or}quad -(x-2) geq 1. $$



                  If you like, you can rewrite $-(x-2) geq 1$ as $x-2 leq -1$;
                  reversing the signs on both sides of an inequality also reverses the direction of the inequality. Or you could write $-x + 2 geq 1$ and proceed from there.






                  share|cite|improve this answer









                  $endgroup$



                  The absolute value of a positive number $n$ is $n.$
                  The absolute value of a negative number $n$ is $-n,$ which is a positive number.
                  (For example, $lvert -2rvert = -(-2) = 2.$)
                  The absolute value of zero is zero.



                  No matter what you start out with, you end up with a non-negative number
                  (that is, zero or positive).
                  You might have to use a negative sign ($-n$ instead of $n$) in order to get a result that isn't negative.
                  (If you start with zero, the negative sign doesn't matter, since $-0=0.$)



                  So $lvert x-2rvert,$ the absolute value of the number $x-2,$ is either
                  $x - 2$ or $-(x-2),$ whichever one of those is non-negative.



                  From $(p - 2)^2 geq 1$ you can conclude that
                  $lvert x-2rvert geq sqrt1 = 1,$ full stop.
                  That is one of the other properties of the absolute value.
                  There is no case where $lvert x-2rvert leq -sqrt1 = -1,$
                  because that would say that there is some number whose absolute value is negative, which cannot happen.



                  From the fact that $lvert x-2rvert geq 1,$ since you know that $lvert x-2rvert$
                  is actually either $x-2$ or $-(x-2),$ you know that one of the following two statements is true:



                  $$ x-2 geq 1 quadtext{or}quad -(x-2) geq 1. $$



                  If you like, you can rewrite $-(x-2) geq 1$ as $x-2 leq -1$;
                  reversing the signs on both sides of an inequality also reverses the direction of the inequality. Or you could write $-x + 2 geq 1$ and proceed from there.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 9 hours ago









                  David KDavid K

                  58.7k4 gold badges46 silver badges132 bronze badges




                  58.7k4 gold badges46 silver badges132 bronze badges


























                      1












                      $begingroup$


                      1. The key lies in understanding the square root function, which by definition should give a unique value. Unfortunately, there are always two candidates satisfying the equation $x^2=y,$ where $y> 0$ is given. Mathematicians have convened to choose the positive root satisfying this equation as the result of the square root operation. Thus taking the square root of a nonnegative quantity, say $x^2,$ always gives a nonnegative result. This operation is often symbolised by $sqrt{},$ so that we always have $$sqrt{x^2}=|x|,$$ by definition. Thus, $sqrt 4 = 2,$ and not $-2.$ Hence, whenever you take the square root of an expression of the form $E(x,y,z,ldots)^2,$ you must have the result to be $|E(x,y,z,ldots)|.$


                      2. The sign does not change direction. If you have an inequality of the form $$x^2ge y,$$ where $yge 0,$ then you may take the square root of both sides (and the inequality is respected since the square-root function is monotonic), to get $$|x|ge sqrt y,$$ and the right hand side is uniquely defined by (1), so there's no negative value at all. Thus, applying this to your inequality, namely $$(x-2)^2ge 1,$$ we obtain $$|x-2|ge 1.$$ But if you want to solve this inequality, you don't need to take square roots at all. Just transpose and factor, to get $$(x-2)^2-1ge 0,$$ which gives $(x-2-1)(x-2+1)=(x-3)(x-1)ge 0,$ and so on.







                      share|cite|improve this answer









                      $endgroup$















                      • $begingroup$
                        Great - Fully understood about the module. Didn't quite understand why you get $( x -2 -1)(x -2 +1)$ tho. I just don't know where the $+1$ came from. Nonetheless (x-3)(x-1) is another way to resolve the initial equation, so it makes sense.
                        $endgroup$
                        – Batmaths
                        7 hours ago
















                      1












                      $begingroup$


                      1. The key lies in understanding the square root function, which by definition should give a unique value. Unfortunately, there are always two candidates satisfying the equation $x^2=y,$ where $y> 0$ is given. Mathematicians have convened to choose the positive root satisfying this equation as the result of the square root operation. Thus taking the square root of a nonnegative quantity, say $x^2,$ always gives a nonnegative result. This operation is often symbolised by $sqrt{},$ so that we always have $$sqrt{x^2}=|x|,$$ by definition. Thus, $sqrt 4 = 2,$ and not $-2.$ Hence, whenever you take the square root of an expression of the form $E(x,y,z,ldots)^2,$ you must have the result to be $|E(x,y,z,ldots)|.$


                      2. The sign does not change direction. If you have an inequality of the form $$x^2ge y,$$ where $yge 0,$ then you may take the square root of both sides (and the inequality is respected since the square-root function is monotonic), to get $$|x|ge sqrt y,$$ and the right hand side is uniquely defined by (1), so there's no negative value at all. Thus, applying this to your inequality, namely $$(x-2)^2ge 1,$$ we obtain $$|x-2|ge 1.$$ But if you want to solve this inequality, you don't need to take square roots at all. Just transpose and factor, to get $$(x-2)^2-1ge 0,$$ which gives $(x-2-1)(x-2+1)=(x-3)(x-1)ge 0,$ and so on.







                      share|cite|improve this answer









                      $endgroup$















                      • $begingroup$
                        Great - Fully understood about the module. Didn't quite understand why you get $( x -2 -1)(x -2 +1)$ tho. I just don't know where the $+1$ came from. Nonetheless (x-3)(x-1) is another way to resolve the initial equation, so it makes sense.
                        $endgroup$
                        – Batmaths
                        7 hours ago














                      1












                      1








                      1





                      $begingroup$


                      1. The key lies in understanding the square root function, which by definition should give a unique value. Unfortunately, there are always two candidates satisfying the equation $x^2=y,$ where $y> 0$ is given. Mathematicians have convened to choose the positive root satisfying this equation as the result of the square root operation. Thus taking the square root of a nonnegative quantity, say $x^2,$ always gives a nonnegative result. This operation is often symbolised by $sqrt{},$ so that we always have $$sqrt{x^2}=|x|,$$ by definition. Thus, $sqrt 4 = 2,$ and not $-2.$ Hence, whenever you take the square root of an expression of the form $E(x,y,z,ldots)^2,$ you must have the result to be $|E(x,y,z,ldots)|.$


                      2. The sign does not change direction. If you have an inequality of the form $$x^2ge y,$$ where $yge 0,$ then you may take the square root of both sides (and the inequality is respected since the square-root function is monotonic), to get $$|x|ge sqrt y,$$ and the right hand side is uniquely defined by (1), so there's no negative value at all. Thus, applying this to your inequality, namely $$(x-2)^2ge 1,$$ we obtain $$|x-2|ge 1.$$ But if you want to solve this inequality, you don't need to take square roots at all. Just transpose and factor, to get $$(x-2)^2-1ge 0,$$ which gives $(x-2-1)(x-2+1)=(x-3)(x-1)ge 0,$ and so on.







                      share|cite|improve this answer









                      $endgroup$




                      1. The key lies in understanding the square root function, which by definition should give a unique value. Unfortunately, there are always two candidates satisfying the equation $x^2=y,$ where $y> 0$ is given. Mathematicians have convened to choose the positive root satisfying this equation as the result of the square root operation. Thus taking the square root of a nonnegative quantity, say $x^2,$ always gives a nonnegative result. This operation is often symbolised by $sqrt{},$ so that we always have $$sqrt{x^2}=|x|,$$ by definition. Thus, $sqrt 4 = 2,$ and not $-2.$ Hence, whenever you take the square root of an expression of the form $E(x,y,z,ldots)^2,$ you must have the result to be $|E(x,y,z,ldots)|.$


                      2. The sign does not change direction. If you have an inequality of the form $$x^2ge y,$$ where $yge 0,$ then you may take the square root of both sides (and the inequality is respected since the square-root function is monotonic), to get $$|x|ge sqrt y,$$ and the right hand side is uniquely defined by (1), so there's no negative value at all. Thus, applying this to your inequality, namely $$(x-2)^2ge 1,$$ we obtain $$|x-2|ge 1.$$ But if you want to solve this inequality, you don't need to take square roots at all. Just transpose and factor, to get $$(x-2)^2-1ge 0,$$ which gives $(x-2-1)(x-2+1)=(x-3)(x-1)ge 0,$ and so on.








                      share|cite|improve this answer












                      share|cite|improve this answer



                      share|cite|improve this answer










                      answered 9 hours ago









                      AllawonderAllawonder

                      3,7578 silver badges18 bronze badges




                      3,7578 silver badges18 bronze badges















                      • $begingroup$
                        Great - Fully understood about the module. Didn't quite understand why you get $( x -2 -1)(x -2 +1)$ tho. I just don't know where the $+1$ came from. Nonetheless (x-3)(x-1) is another way to resolve the initial equation, so it makes sense.
                        $endgroup$
                        – Batmaths
                        7 hours ago


















                      • $begingroup$
                        Great - Fully understood about the module. Didn't quite understand why you get $( x -2 -1)(x -2 +1)$ tho. I just don't know where the $+1$ came from. Nonetheless (x-3)(x-1) is another way to resolve the initial equation, so it makes sense.
                        $endgroup$
                        – Batmaths
                        7 hours ago
















                      $begingroup$
                      Great - Fully understood about the module. Didn't quite understand why you get $( x -2 -1)(x -2 +1)$ tho. I just don't know where the $+1$ came from. Nonetheless (x-3)(x-1) is another way to resolve the initial equation, so it makes sense.
                      $endgroup$
                      – Batmaths
                      7 hours ago




                      $begingroup$
                      Great - Fully understood about the module. Didn't quite understand why you get $( x -2 -1)(x -2 +1)$ tho. I just don't know where the $+1$ came from. Nonetheless (x-3)(x-1) is another way to resolve the initial equation, so it makes sense.
                      $endgroup$
                      – Batmaths
                      7 hours ago










                      Batmaths is a new contributor. Be nice, and check out our Code of Conduct.










                      draft saved

                      draft discarded


















                      Batmaths is a new contributor. Be nice, and check out our Code of Conduct.













                      Batmaths is a new contributor. Be nice, and check out our Code of Conduct.












                      Batmaths is a new contributor. Be nice, and check out our Code of Conduct.
















                      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%2f3320340%2fsign-changes-after-taking-the-square-root-inequality-why%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

                      Taj Mahal Inhaltsverzeichnis Aufbau | Geschichte | 350-Jahr-Feier | Heutige Bedeutung | Siehe auch |...

                      Baia Sprie Cuprins Etimologie | Istorie | Demografie | Politică și administrație | Arii naturale...

                      Nicolae Petrescu-Găină Cuprins Biografie | Opera | In memoriam | Varia | Controverse, incertitudini...