如果条件x / a + y / b + z / c ==，我想证明（x / a）^ 2 +（y / b）^ 2 +（z / c）^ 2 == 1给出1和a / x + b / y + c / z == 0。我知道，例如，在Maple中，我可以简单地写
eq1 := x/a + y/b + z/c = 1;
eq2 := a/x + b/y + c/z = 0;
f := x^2/a^2 + y^2/b^2 + z^2/c^2 = 1;
simplify(lhs(f)-rhs(f),{eq1,eq2});
但是我正在努力使用sympy提出解决方案。