问题五十九：怎么求一元六次方程在区间内的所有不相等的实根（1）

为什么要求一元六次方程在某区间的所有根？

原因是：

后面在用ray tracing画回旋体（rotational sweeping/ revolution）时，若侧面曲线是三次b样条曲线，求光线和回旋体的交点时会出现一元六次方程，而且我们要求的是离光线起点最近的交点，所有，我们需要先求出所有交点，然后选出最近的交点。

 

接下来，我们会分两步来做这个事情：

第一步：判断方程在区间内不相等的实根的总个数N；

第二步：求出所有N个不相等的实根

 

59.1判断一元六次方程在区间内不相等的实根的总数

59.1.1 理论分析

对于多项式方程在区间内不等实根总数的判断，我们可以参照Sturm's theorem。

维基百科：https://en.wikipedia.org/wiki/Sturm%27s_theorem

 

判断过程分两步:

（为什么要这么做？参考如上链接，研究一下“Sturm’s theorem”,我们这一章节的内容相当于“Sturm’s theorem”的一个实例）

 

首先，构造一个叫做“sturm序列”的东东。

 

 

关于“多项式长除法”，看这里：

https://en.wikipedia.org/wiki/Polynomial_long_division