在某些几何软件的开发中,会要求写出一个向量方程的微分公式。对我而言,手工推导繁琐而且容易出错。
早就听说Mathematica, Maple这样的软件可以自动进行符号公式的推导,一直没有时间研究。最近终于应用了一把,发现还是挺简单的。现以求一个“点到直线距离”的方程微分为例,展示一下怎么样用Maple推导向量方程的微分。
首先看一下我们的问题:求一个“点到直线距离”方程关于点的x坐标的微分。
空间一直线由一点S和一个单位向量V表示,空间一点由P表示。所以点到直线的距离可用如下图中的向量方程表示。
我们要推导的是d关于P的x坐标变量的微分,即