Why does $(x-2)^2geq 1$ imply that $|x-2|geqsqrt1$ or $|x-2|leq -sqrt1$?Does $y(y+1) leq (x+1)^2$ imply $y(y-1) leq x^2$?Does $neg(x > y)$ imply that $y geq x$?Does $a leq b + c $ imply $a^2 leq (b+c)^2 + (b-c)^2$?Does $Pr(Xleq x)geqPr(Yleq x)$ imply $Pr(Xleq Y)=1$?What does $x^2 geq y^2$ imply?Why does $n geq 2$ imply that $frac n 2 < n$?Does $logvarLambda leq - log(b)$ imply $logvarLambda leq - fraclog(b)12$?Does Cauchy-Schwarz imply $|x^Ty| leq |x|_p|y|_p$ for any $p geq 1$?Why does strong convexity imply this inequality?

Non-visual Computers - thoughts?

Why were the crew so desperate to catch Truman and return him to Seahaven?

Would this system work to purify water?

What is this symbol: semicircles facing each other?

Is there any practical application for performing a double Fourier transform? ...or an inverse Fourier transform on a time-domain input?

Who was president of the USA?

Singleton Design Pattern implementation in a not traditional way

Does norwegian.no airline overbook flights?

Identify a problem where a potentially winning move draws because of the 50 move rule

Understanding Parallelize methods

Sci fi film similar to Village of the Damned

Would it be possible to have a GMO that produces chocolate?

Slitherlink Fillomino hybrid

How would one country purchase another?

Why is my Earth simulation slower than the reality?

How to respectfully refuse to assist co-workers with IT issues?

Efficiently pathfinding many flocking enemies around obstacles

Which note goes on which side of the stem?

Disambiguation of "nobis vobis" and "nobis nobis"

French abbreviation for comparing two items ("vs")

Why did this happen to Thanos's ships at the end of "Avengers: Endgame"?

Thank God it's Friday, tomorrow is THE weekend. Why the definite article?

Is immersion of utensils (tevila) valid before koshering (hagala)?

Why do all fields in a QFT transform like *irreducible* representations of some group?



Why does $(x-2)^2geq 1$ imply that $|x-2|geqsqrt1$ or $|x-2|leq -sqrt1$?


Does $y(y+1) leq (x+1)^2$ imply $y(y-1) leq x^2$?Does $neg(x > y)$ imply that $y geq x$?Does $a leq b + c $ imply $a^2 leq (b+c)^2 + (b-c)^2$?Does $Pr(Xleq x)geqPr(Yleq x)$ imply $Pr(Xleq Y)=1$?What does $x^2 geq y^2$ imply?Why does $n geq 2$ imply that $frac n 2 < n$?Does $logvarLambda leq - log(b)$ imply $logvarLambda leq - fraclog(b)12$?Does Cauchy-Schwarz imply $|x^Ty| leq |x|_p|y|_p$ for any $p geq 1$?Why does strong convexity imply this inequality?






.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 sqrt1$ or $| x - 2 | leq - sqrt1$



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











$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
    Aug 11 at 19:21







  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:24










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:57










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    Aug 11 at 20:06


















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 sqrt1$ or $| x - 2 | leq - sqrt1$



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











$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
    Aug 11 at 19:21







  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:24










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:57










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    Aug 11 at 20:06














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 sqrt1$ or $| x - 2 | leq - sqrt1$



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











$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 sqrt1$ or $| x - 2 | leq - sqrt1$



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















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 12 at 6:34









Asaf Karagila

316k35 gold badges454 silver badges789 bronze badges




316k35 gold badges454 silver badges789 bronze badges










asked Aug 11 at 19:17









BatmathsBatmaths

545 bronze badges




545 bronze badges










  • 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
    Aug 11 at 19:21







  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:24










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:57










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    Aug 11 at 20:06













  • 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
    Aug 11 at 19:21







  • 1




    $begingroup$
    perhaps you're confusing with $y^2ge1iff|y|ge1$
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:24










  • $begingroup$
    When you wrote $p$ did you mean $x$?
    $endgroup$
    – J. W. Tanner
    Aug 11 at 19:57










  • $begingroup$
    Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
    $endgroup$
    – Batmaths
    Aug 11 at 20:06








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
Aug 11 at 19:21





$begingroup$
$y^2ge1implies yge1 $ or $yle-1$; $|x-2|ge0gt-1$ so $|x-2|le-1$ doesn't make sense
$endgroup$
– J. W. Tanner
Aug 11 at 19:21





1




1




$begingroup$
perhaps you're confusing with $y^2ge1iff|y|ge1$
$endgroup$
– J. W. Tanner
Aug 11 at 19:24




$begingroup$
perhaps you're confusing with $y^2ge1iff|y|ge1$
$endgroup$
– J. W. Tanner
Aug 11 at 19:24












$begingroup$
When you wrote $p$ did you mean $x$?
$endgroup$
– J. W. Tanner
Aug 11 at 19:57




$begingroup$
When you wrote $p$ did you mean $x$?
$endgroup$
– J. W. Tanner
Aug 11 at 19:57












$begingroup$
Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
$endgroup$
– Batmaths
Aug 11 at 20:06





$begingroup$
Yes - sorry. I meant "x" not "p". But your other 2 comments didn't help much
$endgroup$
– Batmaths
Aug 11 at 20:06











4 Answers
4






active

oldest

votes


















2













$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 $$sqrtx^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
    Aug 11 at 22:25










  • $begingroup$
    @Batmaths A difference of two squares $a^2-b^2$ can always be factored as $(a-b)(a+b).$ That was what I applied.
    $endgroup$
    – Allawonder
    Aug 12 at 12:48






  • 1




    $begingroup$
    True that! Thanks
    $endgroup$
    – Batmaths
    Aug 12 at 13:44


















3













$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 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 quadtextorquad -(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$

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










      • 2




        $begingroup$
        I would say $|x-2|le-1$ is impossible, not that it's redundant
        $endgroup$
        – J. W. Tanner
        Aug 11 at 19:26










      • $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
        Aug 11 at 19:34











      • $begingroup$
        I see what you mean now; "or $|x-2|le-1$" is redundant
        $endgroup$
        – J. W. Tanner
        Aug 11 at 19:39











      • $begingroup$
        Ok - Got it. Good to also clarify this point. Thanks
        $endgroup$
        – Batmaths
        Aug 11 at 20:16













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



      );













      draft saved

      draft discarded


















      StackExchange.ready(
      function ()
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3320340%2fwhy-does-x-22-geq-1-imply-that-x-2-geq-sqrt1-or-x-2-leq-sqrt1%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$

      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 $$sqrtx^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
        Aug 11 at 22:25










      • $begingroup$
        @Batmaths A difference of two squares $a^2-b^2$ can always be factored as $(a-b)(a+b).$ That was what I applied.
        $endgroup$
        – Allawonder
        Aug 12 at 12:48






      • 1




        $begingroup$
        True that! Thanks
        $endgroup$
        – Batmaths
        Aug 12 at 13:44















      2













      $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 $$sqrtx^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
        Aug 11 at 22:25










      • $begingroup$
        @Batmaths A difference of two squares $a^2-b^2$ can always be factored as $(a-b)(a+b).$ That was what I applied.
        $endgroup$
        – Allawonder
        Aug 12 at 12:48






      • 1




        $begingroup$
        True that! Thanks
        $endgroup$
        – Batmaths
        Aug 12 at 13:44













      2














      2










      2







      $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 $$sqrtx^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 $$sqrtx^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 Aug 11 at 20:31









      AllawonderAllawonder

      4,4498 silver badges19 bronze badges




      4,4498 silver badges19 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
        Aug 11 at 22:25










      • $begingroup$
        @Batmaths A difference of two squares $a^2-b^2$ can always be factored as $(a-b)(a+b).$ That was what I applied.
        $endgroup$
        – Allawonder
        Aug 12 at 12:48






      • 1




        $begingroup$
        True that! Thanks
        $endgroup$
        – Batmaths
        Aug 12 at 13:44
















      • $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
        Aug 11 at 22:25










      • $begingroup$
        @Batmaths A difference of two squares $a^2-b^2$ can always be factored as $(a-b)(a+b).$ That was what I applied.
        $endgroup$
        – Allawonder
        Aug 12 at 12:48






      • 1




        $begingroup$
        True that! Thanks
        $endgroup$
        – Batmaths
        Aug 12 at 13:44















      $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
      Aug 11 at 22:25




      $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
      Aug 11 at 22:25












      $begingroup$
      @Batmaths A difference of two squares $a^2-b^2$ can always be factored as $(a-b)(a+b).$ That was what I applied.
      $endgroup$
      – Allawonder
      Aug 12 at 12:48




      $begingroup$
      @Batmaths A difference of two squares $a^2-b^2$ can always be factored as $(a-b)(a+b).$ That was what I applied.
      $endgroup$
      – Allawonder
      Aug 12 at 12:48




      1




      1




      $begingroup$
      True that! Thanks
      $endgroup$
      – Batmaths
      Aug 12 at 13:44




      $begingroup$
      True that! Thanks
      $endgroup$
      – Batmaths
      Aug 12 at 13:44













      3













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



















        3













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

















          3














          3










          3







          $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 Aug 11 at 19:29

























          answered Aug 11 at 19:22









          LutzLLutzL

          68.5k4 gold badges22 silver badges61 bronze badges




          68.5k4 gold badges22 silver badges61 bronze badges
























              2













              $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 quadtextorquad -(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$



















                2













                $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 quadtextorquad -(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$

















                  2














                  2










                  2







                  $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 quadtextorquad -(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 quadtextorquad -(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 Aug 11 at 19:43









                  David KDavid K

                  59k4 gold badges46 silver badges133 bronze badges




                  59k4 gold badges46 silver badges133 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$










                      • 2




                        $begingroup$
                        I would say $|x-2|le-1$ is impossible, not that it's redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:26










                      • $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
                        Aug 11 at 19:34











                      • $begingroup$
                        I see what you mean now; "or $|x-2|le-1$" is redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:39











                      • $begingroup$
                        Ok - Got it. Good to also clarify this point. Thanks
                        $endgroup$
                        – Batmaths
                        Aug 11 at 20:16















                      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$










                      • 2




                        $begingroup$
                        I would say $|x-2|le-1$ is impossible, not that it's redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:26










                      • $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
                        Aug 11 at 19:34











                      • $begingroup$
                        I see what you mean now; "or $|x-2|le-1$" is redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:39











                      • $begingroup$
                        Ok - Got it. Good to also clarify this point. Thanks
                        $endgroup$
                        – Batmaths
                        Aug 11 at 20:16













                      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 Aug 11 at 19:21









                      Simply Beautiful ArtSimply Beautiful Art

                      53.5k6 gold badges85 silver badges195 bronze badges




                      53.5k6 gold badges85 silver badges195 bronze badges










                      • 2




                        $begingroup$
                        I would say $|x-2|le-1$ is impossible, not that it's redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:26










                      • $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
                        Aug 11 at 19:34











                      • $begingroup$
                        I see what you mean now; "or $|x-2|le-1$" is redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:39











                      • $begingroup$
                        Ok - Got it. Good to also clarify this point. Thanks
                        $endgroup$
                        – Batmaths
                        Aug 11 at 20:16












                      • 2




                        $begingroup$
                        I would say $|x-2|le-1$ is impossible, not that it's redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:26










                      • $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
                        Aug 11 at 19:34











                      • $begingroup$
                        I see what you mean now; "or $|x-2|le-1$" is redundant
                        $endgroup$
                        – J. W. Tanner
                        Aug 11 at 19:39











                      • $begingroup$
                        Ok - Got it. Good to also clarify this point. Thanks
                        $endgroup$
                        – Batmaths
                        Aug 11 at 20:16







                      2




                      2




                      $begingroup$
                      I would say $|x-2|le-1$ is impossible, not that it's redundant
                      $endgroup$
                      – J. W. Tanner
                      Aug 11 at 19:26




                      $begingroup$
                      I would say $|x-2|le-1$ is impossible, not that it's redundant
                      $endgroup$
                      – J. W. Tanner
                      Aug 11 at 19:26












                      $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
                      Aug 11 at 19:34





                      $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
                      Aug 11 at 19:34













                      $begingroup$
                      I see what you mean now; "or $|x-2|le-1$" is redundant
                      $endgroup$
                      – J. W. Tanner
                      Aug 11 at 19:39





                      $begingroup$
                      I see what you mean now; "or $|x-2|le-1$" is redundant
                      $endgroup$
                      – J. W. Tanner
                      Aug 11 at 19:39













                      $begingroup$
                      Ok - Got it. Good to also clarify this point. Thanks
                      $endgroup$
                      – Batmaths
                      Aug 11 at 20:16




                      $begingroup$
                      Ok - Got it. Good to also clarify this point. Thanks
                      $endgroup$
                      – Batmaths
                      Aug 11 at 20:16

















                      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%2f3320340%2fwhy-does-x-22-geq-1-imply-that-x-2-geq-sqrt1-or-x-2-leq-sqrt1%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

                      Grendel Contents Story Scholarship Depictions Notes References Navigation menu10.1093/notesj/gjn112Berserkeree

                      Area configuration aggregation error after install Porto themeMagento 2.1 CE Installed but front/backend not loading/workingCSS not loading on page within Magento 2 pageCannot install module in Magento 2no commands defined in the “setup” namespace. in Magento2Magento 2: Static files are present but shows 404Why do i have to always run the commands to clean cache in Magento 2.1.8?Failure reason: 'Unable to unserialize value.'Error 500 after magento migrationIn production mode the site does not loadMagento 2 : Error 500 after installing

                      Middle Expansion Olielle Resaix Definition: Uttering songs of triumph shouting with joy triumphant exulting Sejunction Journal 붙다 달 고급 품목 외출 The stretch trades the screeching tin. Definition: The act of speaking with a drawl a drawl Cough Sand Definition: An uproar a quarrel a noisy outbreak Shake Iron Publicize Horse House Baby 사과 Resaix Flaggy Jelly Temporary Unequaled Puppet A drop in the bucket Shrew 성격 회원 성질 미팅 The burn frames the tacky quality. Materialistic The smoke reduces the way. Yammoe Nondescript Cheek 얼굴 배 약하다 날리다 타다 The illegal country shows the iron. Help Rule Drearien Smoke Teaching Meaty Wasp Abraham Lincoln Jaws 진심 수리하다 Size Cork Idea Convert Think Lark John Lennon 거울 청소 군 추천하다 아이스크림