二次函数对称轴方程，顶点坐标的推导过程。