条件充分性判断 x²/a²+y²/b²+z²/c²=1成立