work 013 – Huygen’s Inequality


Prove that for non-negative reals x_1,x_2,.....,x_n ,

(1+x_1)(1+x_2)....(1+x_n) \ge (1+(x_1x_2x_3...x_n)^{\frac{1}{n}})^{n}


By AM-GM we have ,

\sum \frac{x_1}{1+x_1} \ge n(\frac{x_1x_2x_3...x_n}{(1+x_1)(1+x_2)....(1+x_n)})^{\frac{1}{n}}

and also ,

\sum \frac{1}{1+x_1} \ge n[\frac{1}{(1+x_1)(1+x_2)...(1+x_n)}]^{\frac{1}{n}}.

Adding the two inequalities we get the desired.

Equality occurs when all the variables are equal.



  1. Aravind Srinivas · · Reply

    Ram, this is the Hugen’s inequality. Also try for a proof by Jensen’s inequality. Darij posted that proof in

  2. cool…so does it mean i proved a theorem? .. 😀

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: