二次函数顶点式推导过程