Can I not use QM-AM inequality to solve this?How to prove this inequality in Euclidean space?Inequality QuestionTrigonometric Inequality. $sin1+sin2+ldots+sinn <2$ .Proof of inequality containing a function and its integralTrigonometric inequality - x domainInequality proof for real numbers $x geq 2x^2$Solve this inequality with nested radicals (possibly by induction)Solve inequalityHow can we not use Muirhead's Inequality for proving the following inequality?I made an inequality to solve myself, but someone pointed out my solution is wrong.
How do HK restaurants keep wok-fried scallops white, with no visible sear marks?
What is this yellow sticky substance Mulder puts in his vodka?
Does the horse hair in a bow all go in the same direction?
Is there any math conjecture that would cause a lot of damage if disproven?
How to determine minimum word length of regular language
Does a resurrected wizard remember his prepared spells?
Heavy condensation inside car during winter. Tried multiple things, but no results!
Grid Puzzle - Paint
Changing front forks
Does casting Inflict Wounds while concentrating on Vampiric Touch also siphon damage?
Conflict between a religious belief that accounts for the existence of transgender people vs. one that doesn't
Is there a text editor that can run shell scripts?
Does the coriolis force have an effect on the direction in which an aircraft travels?
Why is hydro-electric power still scarce in some places?
In Flanders Fields
NLP sentiment analysis in Norwegian
What is smallest addressable value in an octal number called?
Raised concerns about a security vulnerability to various managers, for more than a year, with no results. Should I mention it to external auditors?
Print out specific fields using regular expression in Linux
The lecturer supposed to grade my presentation fell asleep while I held it. Should I complain?
Getting the pdf from a Moment generating function
No download link for Adblock Plus
Is there a heavy usage of the word "bonfire" in English?
How to translate old German (before 1920)
Can I not use QM-AM inequality to solve this?
How to prove this inequality in Euclidean space?Inequality QuestionTrigonometric Inequality. $sin1+sin2+ldots+sinn <2$ .Proof of inequality containing a function and its integralTrigonometric inequality - x domainInequality proof for real numbers $x geq 2x^2$Solve this inequality with nested radicals (possibly by induction)Solve inequalityHow can we not use Muirhead's Inequality for proving the following inequality?I made an inequality to solve myself, but someone pointed out my solution is wrong.
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty
margin-bottom:0;
.everyonelovesstackoverflowposition:absolute;height:1px;width:1px;opacity:0;top:0;left:0;pointer-events:none;
$begingroup$
I was doing my inequality homework and I encountered the following problem:
Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$
I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).
But my problem is, can we not use the QM-AM inequality?
inequality alternative-proof
$endgroup$
|
show 2 more comments
$begingroup$
I was doing my inequality homework and I encountered the following problem:
Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$
I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).
But my problem is, can we not use the QM-AM inequality?
inequality alternative-proof
$endgroup$
$begingroup$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30
$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31
2
$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42
$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44
1
$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50
|
show 2 more comments
$begingroup$
I was doing my inequality homework and I encountered the following problem:
Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$
I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).
But my problem is, can we not use the QM-AM inequality?
inequality alternative-proof
$endgroup$
I was doing my inequality homework and I encountered the following problem:
Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$
I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).
But my problem is, can we not use the QM-AM inequality?
inequality alternative-proof
inequality alternative-proof
edited Aug 12 at 18:04
Parcly Taxel
53.4k13 gold badges81 silver badges120 bronze badges
53.4k13 gold badges81 silver badges120 bronze badges
asked Aug 12 at 8:16
Culver KwanCulver Kwan
2,1105 silver badges27 bronze badges
2,1105 silver badges27 bronze badges
$begingroup$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30
$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31
2
$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42
$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44
1
$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50
|
show 2 more comments
$begingroup$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30
$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31
2
$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42
$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44
1
$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50
$begingroup$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30
$begingroup$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30
$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31
$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31
2
2
$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42
$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42
$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44
$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44
1
1
$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50
$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50
|
show 2 more comments
4 Answers
4
active
oldest
votes
$begingroup$
Following the hint given in the comments, consider the following diagram:

The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.
$endgroup$
add a comment
|
$begingroup$
Here is a purely visual proof based on Michal Adamaszek's comment:

$endgroup$
add a comment
|
$begingroup$
By CS:
$left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$
$endgroup$
add a comment
|
$begingroup$
By using Hölder’s Inequality,
$$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
Similarly for others, and end it yourself
$endgroup$
4
$begingroup$
This is essentially the same proof.
$endgroup$
– Arnaud D.
Aug 12 at 8:40
$begingroup$
Sorry, there is a better answer. So I accepted it.
$endgroup$
– Culver Kwan
Aug 13 at 4:06
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/4.0/"u003ecc by-sa 4.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%2f3320778%2fcan-i-not-use-qm-am-inequality-to-solve-this%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$
Following the hint given in the comments, consider the following diagram:

The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.
$endgroup$
add a comment
|
$begingroup$
Following the hint given in the comments, consider the following diagram:

The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.
$endgroup$
add a comment
|
$begingroup$
Following the hint given in the comments, consider the following diagram:

The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.
$endgroup$
Following the hint given in the comments, consider the following diagram:

The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.
edited Aug 12 at 9:53
answered Aug 12 at 8:35
Parcly TaxelParcly Taxel
53.4k13 gold badges81 silver badges120 bronze badges
53.4k13 gold badges81 silver badges120 bronze badges
add a comment
|
add a comment
|
$begingroup$
Here is a purely visual proof based on Michal Adamaszek's comment:

$endgroup$
add a comment
|
$begingroup$
Here is a purely visual proof based on Michal Adamaszek's comment:

$endgroup$
add a comment
|
$begingroup$
Here is a purely visual proof based on Michal Adamaszek's comment:

$endgroup$
Here is a purely visual proof based on Michal Adamaszek's comment:

answered Aug 12 at 9:52
Toby MakToby Mak
6,3062 gold badges15 silver badges30 bronze badges
6,3062 gold badges15 silver badges30 bronze badges
add a comment
|
add a comment
|
$begingroup$
By CS:
$left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$
$endgroup$
add a comment
|
$begingroup$
By CS:
$left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$
$endgroup$
add a comment
|
$begingroup$
By CS:
$left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$
$endgroup$
By CS:
$left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$
answered Aug 12 at 8:32
AO1992AO1992
1,38310 bronze badges
1,38310 bronze badges
add a comment
|
add a comment
|
$begingroup$
By using Hölder’s Inequality,
$$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
Similarly for others, and end it yourself
$endgroup$
4
$begingroup$
This is essentially the same proof.
$endgroup$
– Arnaud D.
Aug 12 at 8:40
$begingroup$
Sorry, there is a better answer. So I accepted it.
$endgroup$
– Culver Kwan
Aug 13 at 4:06
add a comment
|
$begingroup$
By using Hölder’s Inequality,
$$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
Similarly for others, and end it yourself
$endgroup$
4
$begingroup$
This is essentially the same proof.
$endgroup$
– Arnaud D.
Aug 12 at 8:40
$begingroup$
Sorry, there is a better answer. So I accepted it.
$endgroup$
– Culver Kwan
Aug 13 at 4:06
add a comment
|
$begingroup$
By using Hölder’s Inequality,
$$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
Similarly for others, and end it yourself
$endgroup$
By using Hölder’s Inequality,
$$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
Similarly for others, and end it yourself
edited Aug 12 at 9:36
Bernard
137k7 gold badges43 silver badges126 bronze badges
137k7 gold badges43 silver badges126 bronze badges
answered Aug 12 at 8:36
Isaac YIU Math StudioIsaac YIU Math Studio
2,6061 silver badge26 bronze badges
2,6061 silver badge26 bronze badges
4
$begingroup$
This is essentially the same proof.
$endgroup$
– Arnaud D.
Aug 12 at 8:40
$begingroup$
Sorry, there is a better answer. So I accepted it.
$endgroup$
– Culver Kwan
Aug 13 at 4:06
add a comment
|
4
$begingroup$
This is essentially the same proof.
$endgroup$
– Arnaud D.
Aug 12 at 8:40
$begingroup$
Sorry, there is a better answer. So I accepted it.
$endgroup$
– Culver Kwan
Aug 13 at 4:06
4
4
$begingroup$
This is essentially the same proof.
$endgroup$
– Arnaud D.
Aug 12 at 8:40
$begingroup$
This is essentially the same proof.
$endgroup$
– Arnaud D.
Aug 12 at 8:40
$begingroup$
Sorry, there is a better answer. So I accepted it.
$endgroup$
– Culver Kwan
Aug 13 at 4:06
$begingroup$
Sorry, there is a better answer. So I accepted it.
$endgroup$
– Culver Kwan
Aug 13 at 4:06
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%2f3320778%2fcan-i-not-use-qm-am-inequality-to-solve-this%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$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30
$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31
2
$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42
$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44
1
$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50