二次函数中b平方减4ac可以证明出什么