Show that $sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
$begingroup$
How can one show that $sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
Assuming that :
$sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
So
$(sqrt{x-1}+sqrt{y-1})^2leq xy$
$sqrt{(x-1)(y-1)} leq xy-x-y+2$
$ (y-1)(x-1)+3 leq sqrt{(x-1)(y-1)}$
Here I'm stuck !
algebra-precalculus inequality radicals
$endgroup$
add a comment |
$begingroup$
How can one show that $sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
Assuming that :
$sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
So
$(sqrt{x-1}+sqrt{y-1})^2leq xy$
$sqrt{(x-1)(y-1)} leq xy-x-y+2$
$ (y-1)(x-1)+3 leq sqrt{(x-1)(y-1)}$
Here I'm stuck !
algebra-precalculus inequality radicals
$endgroup$
$begingroup$
$LaTeX$ hint: If you put braces around everything that belongs under the square root sign, the top bar extends to cover it. Putting sqrt {x-1} between dollar signs gives $sqrt {x-1}$
$endgroup$
– Ross Millikan
Nov 8 '15 at 21:13
$begingroup$
Assuming what needs to be proved is never a good idea. (A valid method of proof is proof by contradiction, which would begin by assuming the opposite of what needs to be proved, and reach a contradiction from there.)
$endgroup$
– user147263
Nov 8 '15 at 21:25
add a comment |
$begingroup$
How can one show that $sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
Assuming that :
$sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
So
$(sqrt{x-1}+sqrt{y-1})^2leq xy$
$sqrt{(x-1)(y-1)} leq xy-x-y+2$
$ (y-1)(x-1)+3 leq sqrt{(x-1)(y-1)}$
Here I'm stuck !
algebra-precalculus inequality radicals
$endgroup$
How can one show that $sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
Assuming that :
$sqrt{x-1}+sqrt{y-1}leq sqrt{xy}$
So
$(sqrt{x-1}+sqrt{y-1})^2leq xy$
$sqrt{(x-1)(y-1)} leq xy-x-y+2$
$ (y-1)(x-1)+3 leq sqrt{(x-1)(y-1)}$
Here I'm stuck !
algebra-precalculus inequality radicals
algebra-precalculus inequality radicals
edited Nov 8 '15 at 21:25
user147263
asked Nov 8 '15 at 21:10
user233658user233658
66649
66649
$begingroup$
$LaTeX$ hint: If you put braces around everything that belongs under the square root sign, the top bar extends to cover it. Putting sqrt {x-1} between dollar signs gives $sqrt {x-1}$
$endgroup$
– Ross Millikan
Nov 8 '15 at 21:13
$begingroup$
Assuming what needs to be proved is never a good idea. (A valid method of proof is proof by contradiction, which would begin by assuming the opposite of what needs to be proved, and reach a contradiction from there.)
$endgroup$
– user147263
Nov 8 '15 at 21:25
add a comment |
$begingroup$
$LaTeX$ hint: If you put braces around everything that belongs under the square root sign, the top bar extends to cover it. Putting sqrt {x-1} between dollar signs gives $sqrt {x-1}$
$endgroup$
– Ross Millikan
Nov 8 '15 at 21:13
$begingroup$
Assuming what needs to be proved is never a good idea. (A valid method of proof is proof by contradiction, which would begin by assuming the opposite of what needs to be proved, and reach a contradiction from there.)
$endgroup$
– user147263
Nov 8 '15 at 21:25
$begingroup$
$LaTeX$ hint: If you put braces around everything that belongs under the square root sign, the top bar extends to cover it. Putting sqrt {x-1} between dollar signs gives $sqrt {x-1}$
$endgroup$
– Ross Millikan
Nov 8 '15 at 21:13
$begingroup$
$LaTeX$ hint: If you put braces around everything that belongs under the square root sign, the top bar extends to cover it. Putting sqrt {x-1} between dollar signs gives $sqrt {x-1}$
$endgroup$
– Ross Millikan
Nov 8 '15 at 21:13
$begingroup$
Assuming what needs to be proved is never a good idea. (A valid method of proof is proof by contradiction, which would begin by assuming the opposite of what needs to be proved, and reach a contradiction from there.)
$endgroup$
– user147263
Nov 8 '15 at 21:25
$begingroup$
Assuming what needs to be proved is never a good idea. (A valid method of proof is proof by contradiction, which would begin by assuming the opposite of what needs to be proved, and reach a contradiction from there.)
$endgroup$
– user147263
Nov 8 '15 at 21:25
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
There are some errors in your calculation, e.g. a missing factor 2 in
$$
(sqrt{x-1}+sqrt{y-1})^2 = x - 1 + y - 1 + 2sqrt{x-1}sqrt{y-1}
$$
and in the last step the inequality sign is in the wrong direction and
the number $3$ is wrong.
For $x ge 1$, $y ge 1$ you can square the inequality (since both
sides are non-negative):
$$
sqrt{mathstrut x-1}+sqrt{mathstrut y-1}leq sqrt{mathstrut xy} \
Longleftrightarrow (x-1) + (y-1) + 2 sqrt{mathstrut x-1}sqrt{mathstrut y-1} le xy \
Longleftrightarrow 0 le xy - x - y + 2 - 2 sqrt{mathstrut (x-1)(y-1)} \
Longleftrightarrow 0 le (x-1)(y-1) - 2 sqrt{mathstrut (x-1)(y-1)} + 1
$$
With $t := sqrt{(x-1)(y-1)}$ the right-hand side is
$$
t^2 - 2 t + 1 = (t-1)^2 ge 0 , .
$$
so that the inequality is true.
It follows also that equality holds if and only if $t = 1$,
i.e. if $(x-1)(y-1) = 1$.
$endgroup$
$begingroup$
Thank you so much for the answer ! :)
$endgroup$
– user233658
Nov 8 '15 at 21:38
$begingroup$
@user233658: You are welcome!
$endgroup$
– Martin R
Nov 8 '15 at 21:43
add a comment |
$begingroup$
Starting with “Assuming that $X$” when $X$ is the thing to be proved is not the right thing to do. You can make your computations easier if you set
$$
t=sqrt{x-1},quad u=sqrt{y-1}
$$
so $x=t^2+1$ and $y=u^2+1$. The inequality to be proved becomes
$$
t+ulesqrt{(t^2+1)(u^2+1)}
$$
that has a single radical. Since $t+uge0$, the inequality is equivalent to
$$
(t+u)^2le(t^2+1)(u^2+1)
$$
that is,
$$
t^2+2tu+u^2le t^2u^2+t^2+u^2+1
$$
and so equivalent to
$$
0le t^2u^2-2tu+1
$$
(by transporting terms to the right-hand side) which becomes
$$
0le(tu-1)^2
$$
which is true.
Don't forget the $2$ when you square! You basically did $(a+b)^2=a^2+ab+b^2$ and this is where you got stuck.
$endgroup$
add a comment |
$begingroup$
WLOG $sqrt x=sec A,sqrt y=sec B$ where $0<A,B<dfracpi2$
$sqrt{x-1}+sqrt{y-1}=tan A+tan B=dfrac{sin(A+B)}{cos Acos B}lesqrt{sec Asec B}=?$
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f1519682%2fshow-that-sqrtx-1-sqrty-1-leq-sqrtxy%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
There are some errors in your calculation, e.g. a missing factor 2 in
$$
(sqrt{x-1}+sqrt{y-1})^2 = x - 1 + y - 1 + 2sqrt{x-1}sqrt{y-1}
$$
and in the last step the inequality sign is in the wrong direction and
the number $3$ is wrong.
For $x ge 1$, $y ge 1$ you can square the inequality (since both
sides are non-negative):
$$
sqrt{mathstrut x-1}+sqrt{mathstrut y-1}leq sqrt{mathstrut xy} \
Longleftrightarrow (x-1) + (y-1) + 2 sqrt{mathstrut x-1}sqrt{mathstrut y-1} le xy \
Longleftrightarrow 0 le xy - x - y + 2 - 2 sqrt{mathstrut (x-1)(y-1)} \
Longleftrightarrow 0 le (x-1)(y-1) - 2 sqrt{mathstrut (x-1)(y-1)} + 1
$$
With $t := sqrt{(x-1)(y-1)}$ the right-hand side is
$$
t^2 - 2 t + 1 = (t-1)^2 ge 0 , .
$$
so that the inequality is true.
It follows also that equality holds if and only if $t = 1$,
i.e. if $(x-1)(y-1) = 1$.
$endgroup$
$begingroup$
Thank you so much for the answer ! :)
$endgroup$
– user233658
Nov 8 '15 at 21:38
$begingroup$
@user233658: You are welcome!
$endgroup$
– Martin R
Nov 8 '15 at 21:43
add a comment |
$begingroup$
There are some errors in your calculation, e.g. a missing factor 2 in
$$
(sqrt{x-1}+sqrt{y-1})^2 = x - 1 + y - 1 + 2sqrt{x-1}sqrt{y-1}
$$
and in the last step the inequality sign is in the wrong direction and
the number $3$ is wrong.
For $x ge 1$, $y ge 1$ you can square the inequality (since both
sides are non-negative):
$$
sqrt{mathstrut x-1}+sqrt{mathstrut y-1}leq sqrt{mathstrut xy} \
Longleftrightarrow (x-1) + (y-1) + 2 sqrt{mathstrut x-1}sqrt{mathstrut y-1} le xy \
Longleftrightarrow 0 le xy - x - y + 2 - 2 sqrt{mathstrut (x-1)(y-1)} \
Longleftrightarrow 0 le (x-1)(y-1) - 2 sqrt{mathstrut (x-1)(y-1)} + 1
$$
With $t := sqrt{(x-1)(y-1)}$ the right-hand side is
$$
t^2 - 2 t + 1 = (t-1)^2 ge 0 , .
$$
so that the inequality is true.
It follows also that equality holds if and only if $t = 1$,
i.e. if $(x-1)(y-1) = 1$.
$endgroup$
$begingroup$
Thank you so much for the answer ! :)
$endgroup$
– user233658
Nov 8 '15 at 21:38
$begingroup$
@user233658: You are welcome!
$endgroup$
– Martin R
Nov 8 '15 at 21:43
add a comment |
$begingroup$
There are some errors in your calculation, e.g. a missing factor 2 in
$$
(sqrt{x-1}+sqrt{y-1})^2 = x - 1 + y - 1 + 2sqrt{x-1}sqrt{y-1}
$$
and in the last step the inequality sign is in the wrong direction and
the number $3$ is wrong.
For $x ge 1$, $y ge 1$ you can square the inequality (since both
sides are non-negative):
$$
sqrt{mathstrut x-1}+sqrt{mathstrut y-1}leq sqrt{mathstrut xy} \
Longleftrightarrow (x-1) + (y-1) + 2 sqrt{mathstrut x-1}sqrt{mathstrut y-1} le xy \
Longleftrightarrow 0 le xy - x - y + 2 - 2 sqrt{mathstrut (x-1)(y-1)} \
Longleftrightarrow 0 le (x-1)(y-1) - 2 sqrt{mathstrut (x-1)(y-1)} + 1
$$
With $t := sqrt{(x-1)(y-1)}$ the right-hand side is
$$
t^2 - 2 t + 1 = (t-1)^2 ge 0 , .
$$
so that the inequality is true.
It follows also that equality holds if and only if $t = 1$,
i.e. if $(x-1)(y-1) = 1$.
$endgroup$
There are some errors in your calculation, e.g. a missing factor 2 in
$$
(sqrt{x-1}+sqrt{y-1})^2 = x - 1 + y - 1 + 2sqrt{x-1}sqrt{y-1}
$$
and in the last step the inequality sign is in the wrong direction and
the number $3$ is wrong.
For $x ge 1$, $y ge 1$ you can square the inequality (since both
sides are non-negative):
$$
sqrt{mathstrut x-1}+sqrt{mathstrut y-1}leq sqrt{mathstrut xy} \
Longleftrightarrow (x-1) + (y-1) + 2 sqrt{mathstrut x-1}sqrt{mathstrut y-1} le xy \
Longleftrightarrow 0 le xy - x - y + 2 - 2 sqrt{mathstrut (x-1)(y-1)} \
Longleftrightarrow 0 le (x-1)(y-1) - 2 sqrt{mathstrut (x-1)(y-1)} + 1
$$
With $t := sqrt{(x-1)(y-1)}$ the right-hand side is
$$
t^2 - 2 t + 1 = (t-1)^2 ge 0 , .
$$
so that the inequality is true.
It follows also that equality holds if and only if $t = 1$,
i.e. if $(x-1)(y-1) = 1$.
edited Nov 8 '15 at 22:30
answered Nov 8 '15 at 21:23
Martin RMartin R
27.8k33255
27.8k33255
$begingroup$
Thank you so much for the answer ! :)
$endgroup$
– user233658
Nov 8 '15 at 21:38
$begingroup$
@user233658: You are welcome!
$endgroup$
– Martin R
Nov 8 '15 at 21:43
add a comment |
$begingroup$
Thank you so much for the answer ! :)
$endgroup$
– user233658
Nov 8 '15 at 21:38
$begingroup$
@user233658: You are welcome!
$endgroup$
– Martin R
Nov 8 '15 at 21:43
$begingroup$
Thank you so much for the answer ! :)
$endgroup$
– user233658
Nov 8 '15 at 21:38
$begingroup$
Thank you so much for the answer ! :)
$endgroup$
– user233658
Nov 8 '15 at 21:38
$begingroup$
@user233658: You are welcome!
$endgroup$
– Martin R
Nov 8 '15 at 21:43
$begingroup$
@user233658: You are welcome!
$endgroup$
– Martin R
Nov 8 '15 at 21:43
add a comment |
$begingroup$
Starting with “Assuming that $X$” when $X$ is the thing to be proved is not the right thing to do. You can make your computations easier if you set
$$
t=sqrt{x-1},quad u=sqrt{y-1}
$$
so $x=t^2+1$ and $y=u^2+1$. The inequality to be proved becomes
$$
t+ulesqrt{(t^2+1)(u^2+1)}
$$
that has a single radical. Since $t+uge0$, the inequality is equivalent to
$$
(t+u)^2le(t^2+1)(u^2+1)
$$
that is,
$$
t^2+2tu+u^2le t^2u^2+t^2+u^2+1
$$
and so equivalent to
$$
0le t^2u^2-2tu+1
$$
(by transporting terms to the right-hand side) which becomes
$$
0le(tu-1)^2
$$
which is true.
Don't forget the $2$ when you square! You basically did $(a+b)^2=a^2+ab+b^2$ and this is where you got stuck.
$endgroup$
add a comment |
$begingroup$
Starting with “Assuming that $X$” when $X$ is the thing to be proved is not the right thing to do. You can make your computations easier if you set
$$
t=sqrt{x-1},quad u=sqrt{y-1}
$$
so $x=t^2+1$ and $y=u^2+1$. The inequality to be proved becomes
$$
t+ulesqrt{(t^2+1)(u^2+1)}
$$
that has a single radical. Since $t+uge0$, the inequality is equivalent to
$$
(t+u)^2le(t^2+1)(u^2+1)
$$
that is,
$$
t^2+2tu+u^2le t^2u^2+t^2+u^2+1
$$
and so equivalent to
$$
0le t^2u^2-2tu+1
$$
(by transporting terms to the right-hand side) which becomes
$$
0le(tu-1)^2
$$
which is true.
Don't forget the $2$ when you square! You basically did $(a+b)^2=a^2+ab+b^2$ and this is where you got stuck.
$endgroup$
add a comment |
$begingroup$
Starting with “Assuming that $X$” when $X$ is the thing to be proved is not the right thing to do. You can make your computations easier if you set
$$
t=sqrt{x-1},quad u=sqrt{y-1}
$$
so $x=t^2+1$ and $y=u^2+1$. The inequality to be proved becomes
$$
t+ulesqrt{(t^2+1)(u^2+1)}
$$
that has a single radical. Since $t+uge0$, the inequality is equivalent to
$$
(t+u)^2le(t^2+1)(u^2+1)
$$
that is,
$$
t^2+2tu+u^2le t^2u^2+t^2+u^2+1
$$
and so equivalent to
$$
0le t^2u^2-2tu+1
$$
(by transporting terms to the right-hand side) which becomes
$$
0le(tu-1)^2
$$
which is true.
Don't forget the $2$ when you square! You basically did $(a+b)^2=a^2+ab+b^2$ and this is where you got stuck.
$endgroup$
Starting with “Assuming that $X$” when $X$ is the thing to be proved is not the right thing to do. You can make your computations easier if you set
$$
t=sqrt{x-1},quad u=sqrt{y-1}
$$
so $x=t^2+1$ and $y=u^2+1$. The inequality to be proved becomes
$$
t+ulesqrt{(t^2+1)(u^2+1)}
$$
that has a single radical. Since $t+uge0$, the inequality is equivalent to
$$
(t+u)^2le(t^2+1)(u^2+1)
$$
that is,
$$
t^2+2tu+u^2le t^2u^2+t^2+u^2+1
$$
and so equivalent to
$$
0le t^2u^2-2tu+1
$$
(by transporting terms to the right-hand side) which becomes
$$
0le(tu-1)^2
$$
which is true.
Don't forget the $2$ when you square! You basically did $(a+b)^2=a^2+ab+b^2$ and this is where you got stuck.
answered Nov 8 '15 at 22:01
egregegreg
180k1485202
180k1485202
add a comment |
add a comment |
$begingroup$
WLOG $sqrt x=sec A,sqrt y=sec B$ where $0<A,B<dfracpi2$
$sqrt{x-1}+sqrt{y-1}=tan A+tan B=dfrac{sin(A+B)}{cos Acos B}lesqrt{sec Asec B}=?$
$endgroup$
add a comment |
$begingroup$
WLOG $sqrt x=sec A,sqrt y=sec B$ where $0<A,B<dfracpi2$
$sqrt{x-1}+sqrt{y-1}=tan A+tan B=dfrac{sin(A+B)}{cos Acos B}lesqrt{sec Asec B}=?$
$endgroup$
add a comment |
$begingroup$
WLOG $sqrt x=sec A,sqrt y=sec B$ where $0<A,B<dfracpi2$
$sqrt{x-1}+sqrt{y-1}=tan A+tan B=dfrac{sin(A+B)}{cos Acos B}lesqrt{sec Asec B}=?$
$endgroup$
WLOG $sqrt x=sec A,sqrt y=sec B$ where $0<A,B<dfracpi2$
$sqrt{x-1}+sqrt{y-1}=tan A+tan B=dfrac{sin(A+B)}{cos Acos B}lesqrt{sec Asec B}=?$
answered Jan 1 at 4:03
lab bhattacharjeelab bhattacharjee
224k15156274
224k15156274
add a comment |
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%2f1519682%2fshow-that-sqrtx-1-sqrty-1-leq-sqrtxy%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
$begingroup$
$LaTeX$ hint: If you put braces around everything that belongs under the square root sign, the top bar extends to cover it. Putting sqrt {x-1} between dollar signs gives $sqrt {x-1}$
$endgroup$
– Ross Millikan
Nov 8 '15 at 21:13
$begingroup$
Assuming what needs to be proved is never a good idea. (A valid method of proof is proof by contradiction, which would begin by assuming the opposite of what needs to be proved, and reach a contradiction from there.)
$endgroup$
– user147263
Nov 8 '15 at 21:25