# Difference between revisions of "Muirhead's Inequality"

ComplexZeta (talk | contribs) |
(Wiki-fied and moved majorization definition) |
||

Line 1: | Line 1: | ||

− | + | '''Muirhead's Inequality''' states that if a sequence <math>A</math> [[Majorization|majorizes]] a sequence <math>B</math>, then given a set of positive integers <math>\displaystyle x_1,x_2,\cdots,x_n</math>: | |

− | + | <math>\displaystyle \sum_{sym} {x_1}^{a_1}{x_2}^{a_2}\cdots {x_n}^{a_n}\geq \sum_{sym} {x_1}^{b_1}{x_2}^{b_2}\cdots {x_n}^{b_n}</math> | |

− | |||

− | |||

− | |||

− | |||

− | + | === Example === | |

− | + | The inequality is easier to understand given an example. Since the sequence <math>\displaystyle (5,1)</math> majorizes <math>\displaystyle (4,2)</math>, Muirhead's inequality states that for any positive <math>\displaystyle x,y</math>, | |

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

− | |||

<math>\displaystyle x^5y^1+y^5x^1\geq x^4y^2+y^4x^2</math> | <math>\displaystyle x^5y^1+y^5x^1\geq x^4y^2+y^4x^2</math> | ||

+ | === Usage on Olympiad Problems === | ||

+ | A common [[Brute forcing|bruteforce]] technique with inequalities is to clear denominators, multiply everything out, and apply Muirhead's or [[Schur's Inequality|Schur's]]. However, it is worth noting that any inequality that can be proved directly with Muirhead can also be proved using the [[Arithmetic mean-geometric mean | Arithmetic Mean-Geometric Mean]] inequality. In fact, [[International Mathematics Olympiad | IMO]] gold medalist [[Thomas Mildorf]] says it is unwise to use Muirhead in an Olympiad solution; one should use an application of AM-GM instead. Thus, it is suggested that Muirhead be used only to verify that an inequality ''can'' be proved with AM-GM before demonstrating the full AM-GM proof. | ||

− | + | As an example, the above inequality can be proved using AM-GM as follows: | |

− | |||

− | As an example, | ||

<math>\displaystyle \frac{x^4+x^4+x^4+y^4}{4}\geq\sqrt[4]{x^{12}y^4}=x^3y</math> | <math>\displaystyle \frac{x^4+x^4+x^4+y^4}{4}\geq\sqrt[4]{x^{12}y^4}=x^3y</math> | ||

Line 35: | Line 19: | ||

<math>\displaystyle \frac{x^4+y^4+y^4+y^4}{4}\geq\sqrt[4]{x^4y^{12}}=xy^3</math> | <math>\displaystyle \frac{x^4+y^4+y^4+y^4}{4}\geq\sqrt[4]{x^4y^{12}}=xy^3</math> | ||

− | Adding these, | + | Adding these, |

<math>\displaystyle x^4+y^4\geq x^3y+xy^3</math> | <math>\displaystyle x^4+y^4\geq x^3y+xy^3</math> | ||

− | Multiplying both sides | + | Multiplying both sides by <math>\displaystyle xy</math> (as both <math>\displaystyle x</math> and <math>\displaystyle y</math> are positive), |

<math>\displaystyle x^5y+xy^5\geq x^4y^2+x^2y^4</math> | <math>\displaystyle x^5y+xy^5\geq x^4y^2+x^2y^4</math> | ||

as desired. | as desired. | ||

− | |||

− |

## Revision as of 21:38, 25 June 2006

**Muirhead's Inequality** states that if a sequence majorizes a sequence , then given a set of positive integers :

### Example

The inequality is easier to understand given an example. Since the sequence majorizes , Muirhead's inequality states that for any positive ,

### Usage on Olympiad Problems

A common bruteforce technique with inequalities is to clear denominators, multiply everything out, and apply Muirhead's or Schur's. However, it is worth noting that any inequality that can be proved directly with Muirhead can also be proved using the Arithmetic Mean-Geometric Mean inequality. In fact, IMO gold medalist Thomas Mildorf says it is unwise to use Muirhead in an Olympiad solution; one should use an application of AM-GM instead. Thus, it is suggested that Muirhead be used only to verify that an inequality *can* be proved with AM-GM before demonstrating the full AM-GM proof.

As an example, the above inequality can be proved using AM-GM as follows:

Adding these,

Multiplying both sides by (as both and are positive),

as desired.