展开 二元一次方程化为顶点式的推导过