从定义 |PF_1| + |PF_2| = 2a 推导椭圆的标准方程。