二次函数的性质诸如:顶点公式等等是怎样推导出来的?