Thread: Problem 21
View Single Post
  #15  
Old April 22nd, 2007, 09:32 AM
ecMathGeek's Avatar
ecMathGeek ecMathGeek is offline
Senior Member
 
Join Date: Mar 2007
Posts: 436
Country:
Thanks: 29
Thanked 151 Times in 142 Posts
ecMathGeek will become famous soon enoughecMathGeek will become famous soon enough
Default

Quote:
Originally Posted by CaptainBlack View Post
As f(x)>0 for all x>=0 all roots are negative. Let these be -b1, -b2, .. -bn,
with all the b's >0.

Then:

f(x) =(x+b1)(x+b2) ..(x+bn)

Also as the constant term is 1 we know that b1.b2. .. bn = 1.

Now 2 + bk = 1 + 1 + bk >= 3 cuberoot(1.1.bk), by the Arithmetic-Geometric
mean inequality. So (2+bk) >= 3cuberoot(bk)

So for x=2:

f(2) = (2+b1)(2+b2) ...(2+bn) >= 3^n cuberoot(b1.b2. .. bn) = 3^n

RonL
Was my proof wrong?