PF1+PF2=2a是第一定义，不与坐标有关，你说的把y方约掉是验证此方程是否满足定义。而不是推导。
根据两点间距离公式写出椭圆的方程移项平方把平方后的东西整理含二次根式的一边，不含二次根式的一边然后再平方
