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;
$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:
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
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
$endgroup$
add a comment |
$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:
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
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
$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
add a comment |
$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:
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
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
$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:
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
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
inequality
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
add a comment |
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
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
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)|.$
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.
$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
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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..
$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
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$begingroup$
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)|.$
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.
$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
add a comment |
$begingroup$
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)|.$
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.
$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
add a comment |
$begingroup$
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)|.$
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.
$endgroup$
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)|.$
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.
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
add a comment |
$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
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
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
add a comment |
add a comment |
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
answered Aug 11 at 19:43
David KDavid K
59k4 gold badges46 silver badges133 bronze badges
59k4 gold badges46 silver badges133 bronze badges
add a comment |
add a comment |
$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..
$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
add a comment |
$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..
$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
add a comment |
$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..
$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..
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
add a comment |
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
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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