Generalized AM-GM Inequality
I was discussing means with my friend, and I tried to illustrate the concept of geometric mean using the following idea:
Suppose we have two positive quantities $x,y>0$. The simplest geometric object we can make out of those is an $x times y$ rectangle. What if we want a regular rectangle (i.e., a square) that "best approximates this rectangle"?
One possibility is a square of side length $$ell_1 =frac{x+y}{2} ,$$
keeping the perimeter the same at $2x+2y$. Another candidate is
$$ell_2 =sqrt{xy} ,$$
this time keeping the area the same at $xy$.
I then realized I can generalize this idea to higher dimensions: If we have three positive numbers $x,y,z>0$, consider a $x times y times z$ rectangle, and a cube whose side $ell$ is to be decided:
- Keeping the 1-dimensional "length-of-the-skeleton" the same we get
$$4x+4y+4z=12 ell_1 implies ell_1=frac{x+y+z}{3}. $$
- Keeping the 2-dimensional area of the faces the same we get
$$2xy+2xz+2yz=6ell_2^2 implies ell_2=sqrt{frac{xy+xz+yz}{3}}.$$
- Keeping the 3-dimensional volume the same we get
$$x y z =ell_3^3 implies ell_3=sqrt[3]{x y z}.$$
Notice that among the usual arithmetic and geometric means, a different kind of mean has popped up.
This idea can go further, using "$n$-orthotopes" or hyperrectangles, producing $n$ distinct means from any sequence $x_1,dots,x_n$ of positive quantities:
For $1 leq d leq n$ let $e_d(x_1,dots, x_n)$ denote the elementary symmetric polynomial on $n$ symbols of degree $d$. We define
$$ell_d(x_1,dots,x_n) := sqrt[d]{frac{e_d(x_1,dots,x_n)}{binom{n}{d}}}.$$
I have two questions about this:
- Is this concept already known?
- I believe that the AM-GM inequality generalizes to $ell_1 geq ell_2 geq cdots geq ell_n$. Is this correct?
Thank you!
geometry inequality average means
add a comment |
I was discussing means with my friend, and I tried to illustrate the concept of geometric mean using the following idea:
Suppose we have two positive quantities $x,y>0$. The simplest geometric object we can make out of those is an $x times y$ rectangle. What if we want a regular rectangle (i.e., a square) that "best approximates this rectangle"?
One possibility is a square of side length $$ell_1 =frac{x+y}{2} ,$$
keeping the perimeter the same at $2x+2y$. Another candidate is
$$ell_2 =sqrt{xy} ,$$
this time keeping the area the same at $xy$.
I then realized I can generalize this idea to higher dimensions: If we have three positive numbers $x,y,z>0$, consider a $x times y times z$ rectangle, and a cube whose side $ell$ is to be decided:
- Keeping the 1-dimensional "length-of-the-skeleton" the same we get
$$4x+4y+4z=12 ell_1 implies ell_1=frac{x+y+z}{3}. $$
- Keeping the 2-dimensional area of the faces the same we get
$$2xy+2xz+2yz=6ell_2^2 implies ell_2=sqrt{frac{xy+xz+yz}{3}}.$$
- Keeping the 3-dimensional volume the same we get
$$x y z =ell_3^3 implies ell_3=sqrt[3]{x y z}.$$
Notice that among the usual arithmetic and geometric means, a different kind of mean has popped up.
This idea can go further, using "$n$-orthotopes" or hyperrectangles, producing $n$ distinct means from any sequence $x_1,dots,x_n$ of positive quantities:
For $1 leq d leq n$ let $e_d(x_1,dots, x_n)$ denote the elementary symmetric polynomial on $n$ symbols of degree $d$. We define
$$ell_d(x_1,dots,x_n) := sqrt[d]{frac{e_d(x_1,dots,x_n)}{binom{n}{d}}}.$$
I have two questions about this:
- Is this concept already known?
- I believe that the AM-GM inequality generalizes to $ell_1 geq ell_2 geq cdots geq ell_n$. Is this correct?
Thank you!
geometry inequality average means
In 1979 I found a very nice proof of the Maclaurin's inequality. The idea of the proof you can see here: math.stackexchange.com/questions/197955
– Michael Rozenberg
22 hours ago
add a comment |
I was discussing means with my friend, and I tried to illustrate the concept of geometric mean using the following idea:
Suppose we have two positive quantities $x,y>0$. The simplest geometric object we can make out of those is an $x times y$ rectangle. What if we want a regular rectangle (i.e., a square) that "best approximates this rectangle"?
One possibility is a square of side length $$ell_1 =frac{x+y}{2} ,$$
keeping the perimeter the same at $2x+2y$. Another candidate is
$$ell_2 =sqrt{xy} ,$$
this time keeping the area the same at $xy$.
I then realized I can generalize this idea to higher dimensions: If we have three positive numbers $x,y,z>0$, consider a $x times y times z$ rectangle, and a cube whose side $ell$ is to be decided:
- Keeping the 1-dimensional "length-of-the-skeleton" the same we get
$$4x+4y+4z=12 ell_1 implies ell_1=frac{x+y+z}{3}. $$
- Keeping the 2-dimensional area of the faces the same we get
$$2xy+2xz+2yz=6ell_2^2 implies ell_2=sqrt{frac{xy+xz+yz}{3}}.$$
- Keeping the 3-dimensional volume the same we get
$$x y z =ell_3^3 implies ell_3=sqrt[3]{x y z}.$$
Notice that among the usual arithmetic and geometric means, a different kind of mean has popped up.
This idea can go further, using "$n$-orthotopes" or hyperrectangles, producing $n$ distinct means from any sequence $x_1,dots,x_n$ of positive quantities:
For $1 leq d leq n$ let $e_d(x_1,dots, x_n)$ denote the elementary symmetric polynomial on $n$ symbols of degree $d$. We define
$$ell_d(x_1,dots,x_n) := sqrt[d]{frac{e_d(x_1,dots,x_n)}{binom{n}{d}}}.$$
I have two questions about this:
- Is this concept already known?
- I believe that the AM-GM inequality generalizes to $ell_1 geq ell_2 geq cdots geq ell_n$. Is this correct?
Thank you!
geometry inequality average means
I was discussing means with my friend, and I tried to illustrate the concept of geometric mean using the following idea:
Suppose we have two positive quantities $x,y>0$. The simplest geometric object we can make out of those is an $x times y$ rectangle. What if we want a regular rectangle (i.e., a square) that "best approximates this rectangle"?
One possibility is a square of side length $$ell_1 =frac{x+y}{2} ,$$
keeping the perimeter the same at $2x+2y$. Another candidate is
$$ell_2 =sqrt{xy} ,$$
this time keeping the area the same at $xy$.
I then realized I can generalize this idea to higher dimensions: If we have three positive numbers $x,y,z>0$, consider a $x times y times z$ rectangle, and a cube whose side $ell$ is to be decided:
- Keeping the 1-dimensional "length-of-the-skeleton" the same we get
$$4x+4y+4z=12 ell_1 implies ell_1=frac{x+y+z}{3}. $$
- Keeping the 2-dimensional area of the faces the same we get
$$2xy+2xz+2yz=6ell_2^2 implies ell_2=sqrt{frac{xy+xz+yz}{3}}.$$
- Keeping the 3-dimensional volume the same we get
$$x y z =ell_3^3 implies ell_3=sqrt[3]{x y z}.$$
Notice that among the usual arithmetic and geometric means, a different kind of mean has popped up.
This idea can go further, using "$n$-orthotopes" or hyperrectangles, producing $n$ distinct means from any sequence $x_1,dots,x_n$ of positive quantities:
For $1 leq d leq n$ let $e_d(x_1,dots, x_n)$ denote the elementary symmetric polynomial on $n$ symbols of degree $d$. We define
$$ell_d(x_1,dots,x_n) := sqrt[d]{frac{e_d(x_1,dots,x_n)}{binom{n}{d}}}.$$
I have two questions about this:
- Is this concept already known?
- I believe that the AM-GM inequality generalizes to $ell_1 geq ell_2 geq cdots geq ell_n$. Is this correct?
Thank you!
geometry inequality average means
geometry inequality average means
asked yesterday
user1337
16.6k43391
16.6k43391
In 1979 I found a very nice proof of the Maclaurin's inequality. The idea of the proof you can see here: math.stackexchange.com/questions/197955
– Michael Rozenberg
22 hours ago
add a comment |
In 1979 I found a very nice proof of the Maclaurin's inequality. The idea of the proof you can see here: math.stackexchange.com/questions/197955
– Michael Rozenberg
22 hours ago
In 1979 I found a very nice proof of the Maclaurin's inequality. The idea of the proof you can see here: math.stackexchange.com/questions/197955
– Michael Rozenberg
22 hours ago
In 1979 I found a very nice proof of the Maclaurin's inequality. The idea of the proof you can see here: math.stackexchange.com/questions/197955
– Michael Rozenberg
22 hours ago
add a comment |
1 Answer
1
active
oldest
votes
Yes, that relationship between the elementary symmetric polynomials holds, it is known as Maclaurin's inequality, and a consequence of Newton's inequalities.
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%2f3061481%2fgeneralized-am-gm-inequality%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Yes, that relationship between the elementary symmetric polynomials holds, it is known as Maclaurin's inequality, and a consequence of Newton's inequalities.
add a comment |
Yes, that relationship between the elementary symmetric polynomials holds, it is known as Maclaurin's inequality, and a consequence of Newton's inequalities.
add a comment |
Yes, that relationship between the elementary symmetric polynomials holds, it is known as Maclaurin's inequality, and a consequence of Newton's inequalities.
Yes, that relationship between the elementary symmetric polynomials holds, it is known as Maclaurin's inequality, and a consequence of Newton's inequalities.
answered yesterday
Martin R
27.3k33254
27.3k33254
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%2f3061481%2fgeneralized-am-gm-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
In 1979 I found a very nice proof of the Maclaurin's inequality. The idea of the proof you can see here: math.stackexchange.com/questions/197955
– Michael Rozenberg
22 hours ago