在SymPy中定义符号单位向量

Question

假设我想要一个n分量的符号实数单位矢量，其中n可以是任何整数，假设n=3。那就是：

到目前为止，我的基本观点是： v = Matrix(symbols("v:3", real=True))

如何编码归一化条件？

Answer 1

SymPy不支持此类假设（平方和为1）。您只需要以某种方式使用公式Eq(v.norm(), 1)，无论计算的任何步骤需要使用v是单位矢量的信息。对于SymPy来说，使用Eq(v.norm()**2, 1)形式的方程式而不使用平方根可能会更容易。详细信息取决于您要使用该向量计算的内容。