Let $a>b$ and $ab=1$ show that $frac{a^2+b^2}{a-b} geq 2sqrt{2}$
up vote
0
down vote
favorite
Let $a>b$ and $ab=1$. Show that $$frac{a^2+b^2}{a-b} geq 2sqrt{2}$$
My attempt:
$a-b>0$
$$a^2+b^2geq 2sqrt{2}(a-b)$$
$$frac{a^2+b^2}{2}geq sqrt{2}(a-b)$$
By AG inequality we know that $$frac{a^2+b^2}{2}geq sqrt{a^2b^2}=ab=1$$
But this isn't very helpful.
inequality proof-writing
add a comment |
up vote
0
down vote
favorite
Let $a>b$ and $ab=1$. Show that $$frac{a^2+b^2}{a-b} geq 2sqrt{2}$$
My attempt:
$a-b>0$
$$a^2+b^2geq 2sqrt{2}(a-b)$$
$$frac{a^2+b^2}{2}geq sqrt{2}(a-b)$$
By AG inequality we know that $$frac{a^2+b^2}{2}geq sqrt{a^2b^2}=ab=1$$
But this isn't very helpful.
inequality proof-writing
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $a>b$ and $ab=1$. Show that $$frac{a^2+b^2}{a-b} geq 2sqrt{2}$$
My attempt:
$a-b>0$
$$a^2+b^2geq 2sqrt{2}(a-b)$$
$$frac{a^2+b^2}{2}geq sqrt{2}(a-b)$$
By AG inequality we know that $$frac{a^2+b^2}{2}geq sqrt{a^2b^2}=ab=1$$
But this isn't very helpful.
inequality proof-writing
Let $a>b$ and $ab=1$. Show that $$frac{a^2+b^2}{a-b} geq 2sqrt{2}$$
My attempt:
$a-b>0$
$$a^2+b^2geq 2sqrt{2}(a-b)$$
$$frac{a^2+b^2}{2}geq sqrt{2}(a-b)$$
By AG inequality we know that $$frac{a^2+b^2}{2}geq sqrt{a^2b^2}=ab=1$$
But this isn't very helpful.
inequality proof-writing
inequality proof-writing
edited Nov 19 at 9:07
greedoid
36.4k114592
36.4k114592
asked Nov 19 at 8:44
Lovro Sindičić
264216
264216
add a comment |
add a comment |
4 Answers
4
active
oldest
votes
up vote
4
down vote
accepted
You may proceed as follows using AM-GM:
$$frac{a^2+b^2}{a-b} = frac{a^2+b^2 - 2ab + 2}{a-b} = frac{(a-b)^2 + 2}{a-b}= (a-b)+ frac{2}{a-b} stackrel{AM-GM}{geq}2sqrt{2}$$
add a comment |
up vote
0
down vote
Consider the map$$begin{array}{rccc}fcolon&(1,infty)&longrightarrow&mathbb R\&a&mapsto&dfrac{a^2+frac1{a^2}}{a-frac1a}.end{array}$$Then$$f'(a)=frac{left(a^2+1right) left(a^4-4 a^2+1right)}{a^2left(a^2-1right)^2}.$$You can easily deduce from this that the minimum of $f$ is attained when $a=sqrt{2+sqrt3}$. But $fleft(sqrt{2+sqrt3}right)=2sqrt2$.
add a comment |
up vote
0
down vote
Without applying any of the inequality identities, you can do it the tedious way using calculus from $b=1/a$ to give $$frac{a^2+b^2}{a-b}=frac{a^2+1/a^2}{a-1/a}=frac{a^4+1}{a(a^2-1)}$$ The stationary point of this occurs when the derivative is zero; that is, $$frac{4a^4(a^2-1)-(a^4+1)(3a^2-1)}{a^2(a^2-1)^2}=0$$ so $$4a^6-4a^4-3a^6+a^4-3a^2+1=a^6-3a^4-3a^2+1=0.$$ Note that $ane0,pm1$ as $a>b$. The roots of the above are equivalent to the square roots of the roots of the corresponding cubic; that is, $$a^2=-1,2-sqrt3,2+sqrt3$$ so $a=sqrt{2+sqrt3}$ and $b=sqrt{2-sqrt3}$ as $a>b$. It is possible to find the second derivative to show that it is a minimum. Hence $$frac{a^2+b^2}{a-b}gefrac{2+sqrt3+2-sqrt3}{sqrt{2+sqrt3}-sqrt{2-sqrt3}}=2sqrt2$$ as required.
add a comment |
up vote
0
down vote
Let $x=a-b>0$, then we have to prove $$(b+x)^2+b^2 geq 2xsqrt{2}$$
or $$2b^2+2bx+x^2geq 2xsqrt{2}$$
Since $1=ab = b^2+bx$ we have to prove$$2+x^2geq 2xsqrt{2}$$
which is the same as $$(x-sqrt{2})^2geq 0$$
and we are done.
add a comment |
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
accepted
You may proceed as follows using AM-GM:
$$frac{a^2+b^2}{a-b} = frac{a^2+b^2 - 2ab + 2}{a-b} = frac{(a-b)^2 + 2}{a-b}= (a-b)+ frac{2}{a-b} stackrel{AM-GM}{geq}2sqrt{2}$$
add a comment |
up vote
4
down vote
accepted
You may proceed as follows using AM-GM:
$$frac{a^2+b^2}{a-b} = frac{a^2+b^2 - 2ab + 2}{a-b} = frac{(a-b)^2 + 2}{a-b}= (a-b)+ frac{2}{a-b} stackrel{AM-GM}{geq}2sqrt{2}$$
add a comment |
up vote
4
down vote
accepted
up vote
4
down vote
accepted
You may proceed as follows using AM-GM:
$$frac{a^2+b^2}{a-b} = frac{a^2+b^2 - 2ab + 2}{a-b} = frac{(a-b)^2 + 2}{a-b}= (a-b)+ frac{2}{a-b} stackrel{AM-GM}{geq}2sqrt{2}$$
You may proceed as follows using AM-GM:
$$frac{a^2+b^2}{a-b} = frac{a^2+b^2 - 2ab + 2}{a-b} = frac{(a-b)^2 + 2}{a-b}= (a-b)+ frac{2}{a-b} stackrel{AM-GM}{geq}2sqrt{2}$$
answered Nov 19 at 8:49
trancelocation
8,7571521
8,7571521
add a comment |
add a comment |
up vote
0
down vote
Consider the map$$begin{array}{rccc}fcolon&(1,infty)&longrightarrow&mathbb R\&a&mapsto&dfrac{a^2+frac1{a^2}}{a-frac1a}.end{array}$$Then$$f'(a)=frac{left(a^2+1right) left(a^4-4 a^2+1right)}{a^2left(a^2-1right)^2}.$$You can easily deduce from this that the minimum of $f$ is attained when $a=sqrt{2+sqrt3}$. But $fleft(sqrt{2+sqrt3}right)=2sqrt2$.
add a comment |
up vote
0
down vote
Consider the map$$begin{array}{rccc}fcolon&(1,infty)&longrightarrow&mathbb R\&a&mapsto&dfrac{a^2+frac1{a^2}}{a-frac1a}.end{array}$$Then$$f'(a)=frac{left(a^2+1right) left(a^4-4 a^2+1right)}{a^2left(a^2-1right)^2}.$$You can easily deduce from this that the minimum of $f$ is attained when $a=sqrt{2+sqrt3}$. But $fleft(sqrt{2+sqrt3}right)=2sqrt2$.
add a comment |
up vote
0
down vote
up vote
0
down vote
Consider the map$$begin{array}{rccc}fcolon&(1,infty)&longrightarrow&mathbb R\&a&mapsto&dfrac{a^2+frac1{a^2}}{a-frac1a}.end{array}$$Then$$f'(a)=frac{left(a^2+1right) left(a^4-4 a^2+1right)}{a^2left(a^2-1right)^2}.$$You can easily deduce from this that the minimum of $f$ is attained when $a=sqrt{2+sqrt3}$. But $fleft(sqrt{2+sqrt3}right)=2sqrt2$.
Consider the map$$begin{array}{rccc}fcolon&(1,infty)&longrightarrow&mathbb R\&a&mapsto&dfrac{a^2+frac1{a^2}}{a-frac1a}.end{array}$$Then$$f'(a)=frac{left(a^2+1right) left(a^4-4 a^2+1right)}{a^2left(a^2-1right)^2}.$$You can easily deduce from this that the minimum of $f$ is attained when $a=sqrt{2+sqrt3}$. But $fleft(sqrt{2+sqrt3}right)=2sqrt2$.
answered Nov 19 at 8:55
José Carlos Santos
145k22115214
145k22115214
add a comment |
add a comment |
up vote
0
down vote
Without applying any of the inequality identities, you can do it the tedious way using calculus from $b=1/a$ to give $$frac{a^2+b^2}{a-b}=frac{a^2+1/a^2}{a-1/a}=frac{a^4+1}{a(a^2-1)}$$ The stationary point of this occurs when the derivative is zero; that is, $$frac{4a^4(a^2-1)-(a^4+1)(3a^2-1)}{a^2(a^2-1)^2}=0$$ so $$4a^6-4a^4-3a^6+a^4-3a^2+1=a^6-3a^4-3a^2+1=0.$$ Note that $ane0,pm1$ as $a>b$. The roots of the above are equivalent to the square roots of the roots of the corresponding cubic; that is, $$a^2=-1,2-sqrt3,2+sqrt3$$ so $a=sqrt{2+sqrt3}$ and $b=sqrt{2-sqrt3}$ as $a>b$. It is possible to find the second derivative to show that it is a minimum. Hence $$frac{a^2+b^2}{a-b}gefrac{2+sqrt3+2-sqrt3}{sqrt{2+sqrt3}-sqrt{2-sqrt3}}=2sqrt2$$ as required.
add a comment |
up vote
0
down vote
Without applying any of the inequality identities, you can do it the tedious way using calculus from $b=1/a$ to give $$frac{a^2+b^2}{a-b}=frac{a^2+1/a^2}{a-1/a}=frac{a^4+1}{a(a^2-1)}$$ The stationary point of this occurs when the derivative is zero; that is, $$frac{4a^4(a^2-1)-(a^4+1)(3a^2-1)}{a^2(a^2-1)^2}=0$$ so $$4a^6-4a^4-3a^6+a^4-3a^2+1=a^6-3a^4-3a^2+1=0.$$ Note that $ane0,pm1$ as $a>b$. The roots of the above are equivalent to the square roots of the roots of the corresponding cubic; that is, $$a^2=-1,2-sqrt3,2+sqrt3$$ so $a=sqrt{2+sqrt3}$ and $b=sqrt{2-sqrt3}$ as $a>b$. It is possible to find the second derivative to show that it is a minimum. Hence $$frac{a^2+b^2}{a-b}gefrac{2+sqrt3+2-sqrt3}{sqrt{2+sqrt3}-sqrt{2-sqrt3}}=2sqrt2$$ as required.
add a comment |
up vote
0
down vote
up vote
0
down vote
Without applying any of the inequality identities, you can do it the tedious way using calculus from $b=1/a$ to give $$frac{a^2+b^2}{a-b}=frac{a^2+1/a^2}{a-1/a}=frac{a^4+1}{a(a^2-1)}$$ The stationary point of this occurs when the derivative is zero; that is, $$frac{4a^4(a^2-1)-(a^4+1)(3a^2-1)}{a^2(a^2-1)^2}=0$$ so $$4a^6-4a^4-3a^6+a^4-3a^2+1=a^6-3a^4-3a^2+1=0.$$ Note that $ane0,pm1$ as $a>b$. The roots of the above are equivalent to the square roots of the roots of the corresponding cubic; that is, $$a^2=-1,2-sqrt3,2+sqrt3$$ so $a=sqrt{2+sqrt3}$ and $b=sqrt{2-sqrt3}$ as $a>b$. It is possible to find the second derivative to show that it is a minimum. Hence $$frac{a^2+b^2}{a-b}gefrac{2+sqrt3+2-sqrt3}{sqrt{2+sqrt3}-sqrt{2-sqrt3}}=2sqrt2$$ as required.
Without applying any of the inequality identities, you can do it the tedious way using calculus from $b=1/a$ to give $$frac{a^2+b^2}{a-b}=frac{a^2+1/a^2}{a-1/a}=frac{a^4+1}{a(a^2-1)}$$ The stationary point of this occurs when the derivative is zero; that is, $$frac{4a^4(a^2-1)-(a^4+1)(3a^2-1)}{a^2(a^2-1)^2}=0$$ so $$4a^6-4a^4-3a^6+a^4-3a^2+1=a^6-3a^4-3a^2+1=0.$$ Note that $ane0,pm1$ as $a>b$. The roots of the above are equivalent to the square roots of the roots of the corresponding cubic; that is, $$a^2=-1,2-sqrt3,2+sqrt3$$ so $a=sqrt{2+sqrt3}$ and $b=sqrt{2-sqrt3}$ as $a>b$. It is possible to find the second derivative to show that it is a minimum. Hence $$frac{a^2+b^2}{a-b}gefrac{2+sqrt3+2-sqrt3}{sqrt{2+sqrt3}-sqrt{2-sqrt3}}=2sqrt2$$ as required.
answered Nov 19 at 9:03
TheSimpliFire
11.8k62257
11.8k62257
add a comment |
add a comment |
up vote
0
down vote
Let $x=a-b>0$, then we have to prove $$(b+x)^2+b^2 geq 2xsqrt{2}$$
or $$2b^2+2bx+x^2geq 2xsqrt{2}$$
Since $1=ab = b^2+bx$ we have to prove$$2+x^2geq 2xsqrt{2}$$
which is the same as $$(x-sqrt{2})^2geq 0$$
and we are done.
add a comment |
up vote
0
down vote
Let $x=a-b>0$, then we have to prove $$(b+x)^2+b^2 geq 2xsqrt{2}$$
or $$2b^2+2bx+x^2geq 2xsqrt{2}$$
Since $1=ab = b^2+bx$ we have to prove$$2+x^2geq 2xsqrt{2}$$
which is the same as $$(x-sqrt{2})^2geq 0$$
and we are done.
add a comment |
up vote
0
down vote
up vote
0
down vote
Let $x=a-b>0$, then we have to prove $$(b+x)^2+b^2 geq 2xsqrt{2}$$
or $$2b^2+2bx+x^2geq 2xsqrt{2}$$
Since $1=ab = b^2+bx$ we have to prove$$2+x^2geq 2xsqrt{2}$$
which is the same as $$(x-sqrt{2})^2geq 0$$
and we are done.
Let $x=a-b>0$, then we have to prove $$(b+x)^2+b^2 geq 2xsqrt{2}$$
or $$2b^2+2bx+x^2geq 2xsqrt{2}$$
Since $1=ab = b^2+bx$ we have to prove$$2+x^2geq 2xsqrt{2}$$
which is the same as $$(x-sqrt{2})^2geq 0$$
and we are done.
edited Nov 19 at 9:06
answered Nov 19 at 8:55
greedoid
36.4k114592
36.4k114592
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3004661%2flet-ab-and-ab-1-show-that-fraca2b2a-b-geq-2-sqrt2%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