不等式a(x平方)+bx+a0)的解集是空集
推出： b*b - 4*a*a0,
推出：a>0,b>0 （2）
由（1）和（2）
推出：0 =b*b/4 + b*b -4b
=5b*b/4-4b
=5/4 * (b*b - 16b/5)
=5/4 * [(b - 8/5)(b - 8/5) - 64/25]
>=-16/5
当b=8/5 , a=4/5的时候,等号成立