两个给定的多项式的和恒大于零,能推出这两个多项式至少有个一恒大于零吗?