Question

mathematica上的向量运算,怎么化简?

假设a,b是向量, |a+b|==|a-b|应该化简成a,b的向量积为0,这怎么用mathematica实现,我还没找到,用reduce,和simplicity,保持原样不变.

Answer 1

……Mathematica对抽象向量化简的支持还非常有限，并且目前似乎也没有看到“民间”有比较好的自主实现的方法。顺便就我所知别家的符号运算软件也没相应的支持，所以换软件也没用。

追问

Clear[a, b];
Reduce@TensorReduce[(a + b).(a + b) == (a - b).(a - b),
Assumptions -> {a \[Element] Vectors[2, Reals],
b \[Element] Vectors[2, Reals]}]

追答

于是，在这个问题上我似乎错了。我很高兴。