证明: f(x) = ax^2 + bx + c 顶点的横坐标是根(当存在时)的平均值。