当某式子大于零恒成立,判别式是大于零还是小于零呢?如果是小于零恒成立呢?