首先我也纯小白，不懂什么双元法那套东西，对于定积分没什么涉猎。
但是我仍然明确一个基本事实，分母不过只是一个分变形的高次多项式，只要我多阶式阶数齐次，高次多项式总是可以作因式分解的。所以一定有ABCD版本的分解（如果这个分母更复杂，无非就是因子式更多罢了）
如果这个分式是初等积分可表出的，则一定存在初等分式分解，且分式的分子一定是分母的导出多项式。这里导出多项式是指，构成分子的多项式的每一项都来自于分母多项式的导数中的项，故一定有如上形式（其实这里都设复杂了，这样的非正交多项式有初等解的条件只会更强）
