二元一次方程的顶点式是如何推理来的