1994 USAMO Problems/Problem 4: Difference between revisions
Created page with 'Since each <math>a_{i}</math> is positive, by Muirhead's inequality, <math>2(\sum a_{i}^2) \ge (\sum a)^2 \ge n</math>. Now we claim that <math> \frac{n}{2}> (\frac{1}{4})*(1+..…' |
No edit summary |
||
| Line 1: | Line 1: | ||
Since each <math>a_{i}</math> is positive, by Muirhead's inequality, | Since each <math>a_{i}</math> is positive, by Muirhead's inequality, | ||
<math>2(\sum a_{i}^2) \ge (\sum a)^2 \ge n</math>. Now we claim that <math> \frac{n}{2}> | <math>2(\sum a_{i}^2) \ge (\sum a)^2 \ge n</math>. Now we claim that <math> \frac{n}{2}> frac{1}{4}(1+...\frac{1}{n)}</math> | ||
<math>n=1</math>, giving <math>1/2>1/4</math> works, but we set the base case <math>n=2</math>, which gives <math>1>3/8</math>. Now assume that it works for <math>n</math>. | <math>n=1</math>, giving <math>1/2>1/4</math> works, but we set the base case <math>n=2</math>, which gives <math>1>3/8</math>. Now assume that it works for <math>n</math>. | ||
By our assumption, now we must prove that, for <math>n+1</math> case, | By our assumption, now we must prove that, for <math>n+1</math> case, <math>1/2>\frac{1}{n+1}</math>, which is clearly true for <math>n>1</math>. So we are done. | ||
Revision as of 23:41, 11 April 2011
Since each
is positive, by Muirhead's inequality,
. Now we claim that
, giving
works, but we set the base case
, which gives
. Now assume that it works for
.
By our assumption, now we must prove that, for
case,
, which is clearly true for
. So we are done.