What is AM-CM inequality?What's a good book for a beginner in high school math competitions?Inequality (related to Hölder's inequality?)Require help with Inequality problemsOlympiad Inequality $sumlimits_cyc fracx^48x^3+5y^3 geqslant fracx+y+z13$Why does this inequality hold? (IMO'09 problem)IMO 2013, Problem C8Doubt in a solution provided to IMO Shortlist 2013Understanding a technique mentioned in 2016 IMO ShortlistHow to prove that the required number of guesses suffice?IMO 2016 Problem G2 — projective geometry
kids pooling money for Lego League and taxes
Unethical behavior : should I report it?
USA: Can a witness take the 5th to avoid perjury?
401(k) investment after being fired. Do I own it?
Why was Sauron preparing for war instead of trying to find the ring?
Weed in Massachusetts: underground roots, skunky smell when bruised
Problem in styling a monochrome plot
Why are so many countries still in the Commonwealth?
How to judge a Ph.D. applicant that arrives "out of thin air"
Explain why watch 'jobs' does not work but watch 'ps' work?
What is "I bet" in German?
High income, sudden windfall
Does the Intel 8086 CPU have user mode and kernel mode?
Iterate over non-const variables in C++
Trapped in an ocean Temple in Minecraft?
Word for showing a small part of something briefly to hint to its existence or beauty without fully uncovering it
How can I receive packages while in France?
Keeping an "hot eyeball planet" wet
Terence Tao–type books in other fields?
Is dd if=/dev/urandom of=/dev/mem safe?
Is it legal to use cash pulled from a credit card to pay the monthly payment on that credit card?
Can two figures have the same area, perimeter, and same number of segments have different shape?
Examples of simultaneous independent breakthroughs
Expansion with *.txt in the shell doesn't work if no .txt file exists
What is AM-CM inequality?
What's a good book for a beginner in high school math competitions?Inequality (related to Hölder's inequality?)Require help with Inequality problemsOlympiad Inequality $sumlimits_cyc fracx^48x^3+5y^3 geqslant fracx+y+z13$Why does this inequality hold? (IMO'09 problem)IMO 2013, Problem C8Doubt in a solution provided to IMO Shortlist 2013Understanding a technique mentioned in 2016 IMO ShortlistHow to prove that the required number of guesses suffice?IMO 2016 Problem G2 — projective geometry
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
$begingroup$
There's AM-GM inequality. But I've bumped into AM-CM inequality in official solutions for IMO 2018 problems. Here:

This is A7 problem, solution 1 from here: https://www.imo-official.org/problems/IMO2018SL.pdf
I attempted to use AM-GM inequality in case they simply misspelled, but AM-GM doesn't seem to work here.
Any ideas?
inequality contest-math
$endgroup$
add a comment |
$begingroup$
There's AM-GM inequality. But I've bumped into AM-CM inequality in official solutions for IMO 2018 problems. Here:

This is A7 problem, solution 1 from here: https://www.imo-official.org/problems/IMO2018SL.pdf
I attempted to use AM-GM inequality in case they simply misspelled, but AM-GM doesn't seem to work here.
Any ideas?
inequality contest-math
$endgroup$
2
$begingroup$
CM probably stands for cubic mean.
$endgroup$
– Kezer
8 hours ago
add a comment |
$begingroup$
There's AM-GM inequality. But I've bumped into AM-CM inequality in official solutions for IMO 2018 problems. Here:

This is A7 problem, solution 1 from here: https://www.imo-official.org/problems/IMO2018SL.pdf
I attempted to use AM-GM inequality in case they simply misspelled, but AM-GM doesn't seem to work here.
Any ideas?
inequality contest-math
$endgroup$
There's AM-GM inequality. But I've bumped into AM-CM inequality in official solutions for IMO 2018 problems. Here:

This is A7 problem, solution 1 from here: https://www.imo-official.org/problems/IMO2018SL.pdf
I attempted to use AM-GM inequality in case they simply misspelled, but AM-GM doesn't seem to work here.
Any ideas?
inequality contest-math
inequality contest-math
asked 8 hours ago
user75619user75619
3981 silver badge13 bronze badges
3981 silver badge13 bronze badges
2
$begingroup$
CM probably stands for cubic mean.
$endgroup$
– Kezer
8 hours ago
add a comment |
2
$begingroup$
CM probably stands for cubic mean.
$endgroup$
– Kezer
8 hours ago
2
2
$begingroup$
CM probably stands for cubic mean.
$endgroup$
– Kezer
8 hours ago
$begingroup$
CM probably stands for cubic mean.
$endgroup$
– Kezer
8 hours ago
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
The AM-CM inequality likely denotes the Arithmetic mean - Cubic mean inequality which is a specific instance of the Generalized mean inequality. This inequality follows directly from Jensen's inequality mentioned in other answers.
$endgroup$
add a comment |
$begingroup$
Given what is going on, what they are using is the fact that if a function $f:Itomathbb R$ is convex (here $Isubsetmathbb R$ is an interval), and $x,yin I$, then
$$fleft(fracx+y2right)leqfracf(x)+f(y)2$$
or, equivalently, if $f:Itomathbb R$ is concave, then
$$fracf(x)+f(y)2leq fleft(fracx+y2right).$$
Some people take the statement as the definition of a convex function, and then a function $f$ is concave if $-f$ is convex.
I imagine the "C" in AM-CM stands for either "convex" or "concave".
$endgroup$
$begingroup$
See also Jensen's inequality.
$endgroup$
– Peter Foreman
8 hours ago
add a comment |
$begingroup$
Elementary approach: no Jensen's inequality or AM-GM inequality (or even AM-CM inequality). BTW I warmly recommend the REAL Shortlist 2018.
It suffices to show that if $a,bgeq 0$ then
$$left(fraca+b2right)^3leq fraca^3+b^32tag1$$
which is equivalent to
$$0leq a^3+b^3-a^2b-ab^2=(a+b)(a-b)^2$$
that trivially holds.
Then apply (1) by letting $a=sqrt[3]fracx+t+147$ and $b=sqrt[3]fracy+t+147$.
$endgroup$
$begingroup$
Thanks for the REAL Shortlist! :)
$endgroup$
– user75619
3 hours ago
add a comment |
$begingroup$
They appear to be using Jensen's inequality with (Wikipedia's notation) $x_1 = fracx+t+147$, $x_2=fracy+z+147$ and $a_1 = a_2 = 1$ and $varphi(x) = sqrt[3]x$.
$endgroup$
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%2f3305699%2fwhat-is-am-cm-inequality%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 AM-CM inequality likely denotes the Arithmetic mean - Cubic mean inequality which is a specific instance of the Generalized mean inequality. This inequality follows directly from Jensen's inequality mentioned in other answers.
$endgroup$
add a comment |
$begingroup$
The AM-CM inequality likely denotes the Arithmetic mean - Cubic mean inequality which is a specific instance of the Generalized mean inequality. This inequality follows directly from Jensen's inequality mentioned in other answers.
$endgroup$
add a comment |
$begingroup$
The AM-CM inequality likely denotes the Arithmetic mean - Cubic mean inequality which is a specific instance of the Generalized mean inequality. This inequality follows directly from Jensen's inequality mentioned in other answers.
$endgroup$
The AM-CM inequality likely denotes the Arithmetic mean - Cubic mean inequality which is a specific instance of the Generalized mean inequality. This inequality follows directly from Jensen's inequality mentioned in other answers.
answered 8 hours ago
Peter ForemanPeter Foreman
12.5k1 gold badge5 silver badges28 bronze badges
12.5k1 gold badge5 silver badges28 bronze badges
add a comment |
add a comment |
$begingroup$
Given what is going on, what they are using is the fact that if a function $f:Itomathbb R$ is convex (here $Isubsetmathbb R$ is an interval), and $x,yin I$, then
$$fleft(fracx+y2right)leqfracf(x)+f(y)2$$
or, equivalently, if $f:Itomathbb R$ is concave, then
$$fracf(x)+f(y)2leq fleft(fracx+y2right).$$
Some people take the statement as the definition of a convex function, and then a function $f$ is concave if $-f$ is convex.
I imagine the "C" in AM-CM stands for either "convex" or "concave".
$endgroup$
$begingroup$
See also Jensen's inequality.
$endgroup$
– Peter Foreman
8 hours ago
add a comment |
$begingroup$
Given what is going on, what they are using is the fact that if a function $f:Itomathbb R$ is convex (here $Isubsetmathbb R$ is an interval), and $x,yin I$, then
$$fleft(fracx+y2right)leqfracf(x)+f(y)2$$
or, equivalently, if $f:Itomathbb R$ is concave, then
$$fracf(x)+f(y)2leq fleft(fracx+y2right).$$
Some people take the statement as the definition of a convex function, and then a function $f$ is concave if $-f$ is convex.
I imagine the "C" in AM-CM stands for either "convex" or "concave".
$endgroup$
$begingroup$
See also Jensen's inequality.
$endgroup$
– Peter Foreman
8 hours ago
add a comment |
$begingroup$
Given what is going on, what they are using is the fact that if a function $f:Itomathbb R$ is convex (here $Isubsetmathbb R$ is an interval), and $x,yin I$, then
$$fleft(fracx+y2right)leqfracf(x)+f(y)2$$
or, equivalently, if $f:Itomathbb R$ is concave, then
$$fracf(x)+f(y)2leq fleft(fracx+y2right).$$
Some people take the statement as the definition of a convex function, and then a function $f$ is concave if $-f$ is convex.
I imagine the "C" in AM-CM stands for either "convex" or "concave".
$endgroup$
Given what is going on, what they are using is the fact that if a function $f:Itomathbb R$ is convex (here $Isubsetmathbb R$ is an interval), and $x,yin I$, then
$$fleft(fracx+y2right)leqfracf(x)+f(y)2$$
or, equivalently, if $f:Itomathbb R$ is concave, then
$$fracf(x)+f(y)2leq fleft(fracx+y2right).$$
Some people take the statement as the definition of a convex function, and then a function $f$ is concave if $-f$ is convex.
I imagine the "C" in AM-CM stands for either "convex" or "concave".
answered 8 hours ago
AweyganAweygan
15.9k2 gold badges17 silver badges43 bronze badges
15.9k2 gold badges17 silver badges43 bronze badges
$begingroup$
See also Jensen's inequality.
$endgroup$
– Peter Foreman
8 hours ago
add a comment |
$begingroup$
See also Jensen's inequality.
$endgroup$
– Peter Foreman
8 hours ago
$begingroup$
See also Jensen's inequality.
$endgroup$
– Peter Foreman
8 hours ago
$begingroup$
See also Jensen's inequality.
$endgroup$
– Peter Foreman
8 hours ago
add a comment |
$begingroup$
Elementary approach: no Jensen's inequality or AM-GM inequality (or even AM-CM inequality). BTW I warmly recommend the REAL Shortlist 2018.
It suffices to show that if $a,bgeq 0$ then
$$left(fraca+b2right)^3leq fraca^3+b^32tag1$$
which is equivalent to
$$0leq a^3+b^3-a^2b-ab^2=(a+b)(a-b)^2$$
that trivially holds.
Then apply (1) by letting $a=sqrt[3]fracx+t+147$ and $b=sqrt[3]fracy+t+147$.
$endgroup$
$begingroup$
Thanks for the REAL Shortlist! :)
$endgroup$
– user75619
3 hours ago
add a comment |
$begingroup$
Elementary approach: no Jensen's inequality or AM-GM inequality (or even AM-CM inequality). BTW I warmly recommend the REAL Shortlist 2018.
It suffices to show that if $a,bgeq 0$ then
$$left(fraca+b2right)^3leq fraca^3+b^32tag1$$
which is equivalent to
$$0leq a^3+b^3-a^2b-ab^2=(a+b)(a-b)^2$$
that trivially holds.
Then apply (1) by letting $a=sqrt[3]fracx+t+147$ and $b=sqrt[3]fracy+t+147$.
$endgroup$
$begingroup$
Thanks for the REAL Shortlist! :)
$endgroup$
– user75619
3 hours ago
add a comment |
$begingroup$
Elementary approach: no Jensen's inequality or AM-GM inequality (or even AM-CM inequality). BTW I warmly recommend the REAL Shortlist 2018.
It suffices to show that if $a,bgeq 0$ then
$$left(fraca+b2right)^3leq fraca^3+b^32tag1$$
which is equivalent to
$$0leq a^3+b^3-a^2b-ab^2=(a+b)(a-b)^2$$
that trivially holds.
Then apply (1) by letting $a=sqrt[3]fracx+t+147$ and $b=sqrt[3]fracy+t+147$.
$endgroup$
Elementary approach: no Jensen's inequality or AM-GM inequality (or even AM-CM inequality). BTW I warmly recommend the REAL Shortlist 2018.
It suffices to show that if $a,bgeq 0$ then
$$left(fraca+b2right)^3leq fraca^3+b^32tag1$$
which is equivalent to
$$0leq a^3+b^3-a^2b-ab^2=(a+b)(a-b)^2$$
that trivially holds.
Then apply (1) by letting $a=sqrt[3]fracx+t+147$ and $b=sqrt[3]fracy+t+147$.
edited 7 hours ago
answered 8 hours ago
Robert ZRobert Z
107k10 gold badges76 silver badges149 bronze badges
107k10 gold badges76 silver badges149 bronze badges
$begingroup$
Thanks for the REAL Shortlist! :)
$endgroup$
– user75619
3 hours ago
add a comment |
$begingroup$
Thanks for the REAL Shortlist! :)
$endgroup$
– user75619
3 hours ago
$begingroup$
Thanks for the REAL Shortlist! :)
$endgroup$
– user75619
3 hours ago
$begingroup$
Thanks for the REAL Shortlist! :)
$endgroup$
– user75619
3 hours ago
add a comment |
$begingroup$
They appear to be using Jensen's inequality with (Wikipedia's notation) $x_1 = fracx+t+147$, $x_2=fracy+z+147$ and $a_1 = a_2 = 1$ and $varphi(x) = sqrt[3]x$.
$endgroup$
add a comment |
$begingroup$
They appear to be using Jensen's inequality with (Wikipedia's notation) $x_1 = fracx+t+147$, $x_2=fracy+z+147$ and $a_1 = a_2 = 1$ and $varphi(x) = sqrt[3]x$.
$endgroup$
add a comment |
$begingroup$
They appear to be using Jensen's inequality with (Wikipedia's notation) $x_1 = fracx+t+147$, $x_2=fracy+z+147$ and $a_1 = a_2 = 1$ and $varphi(x) = sqrt[3]x$.
$endgroup$
They appear to be using Jensen's inequality with (Wikipedia's notation) $x_1 = fracx+t+147$, $x_2=fracy+z+147$ and $a_1 = a_2 = 1$ and $varphi(x) = sqrt[3]x$.
answered 8 hours ago
ploosu2ploosu2
4,81510 silver badges25 bronze badges
4,81510 silver badges25 bronze badges
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%2f3305699%2fwhat-is-am-cm-inequality%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
2
$begingroup$
CM probably stands for cubic mean.
$endgroup$
– Kezer
8 hours ago