使用条件sympy检查相等性

Question

我想证明（x / a）^ 2 +（y / b）^ 2 +（z / c）^ 2 == 1，如果条件x / a + y / b + z / c == 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提出解决方案。

我想证明（x / a）^ 2 +（y / b）^ 2 +（z / c）^ 2 == 1，如果条件x / a + y / b + z / c == 1给出a / x + b / y + c / z == 0。我知道，例如，在Maple中，我可以简单地写eq1：= x / a + y / b + ...

Answer 1

在不失一般性的情况下，让x <= x / a，依此类推...