【因式分解】x^n+1，当 n 为偶数，系数为实数域的因式分解

前言

• 
• 
• 
• $What$？？？ 这个因式分解的解答，可谓是杂草丛生。
  我搜了一下各个发布文章的网站，貌似我这个方法还是很少有人想到的？

分析

• 之前的人一直想把因式分解成下述样式：
  $$x^n+1=(x+1)(x^{n-1}-x^{n-2}+\cdots +1)$$
  这样一看的话，自然需要 $n$ 是奇数，这样最后的值就是正一，而不是负一。
• 但是我们可以分解成如下样式：
  $$(x^n+1)=(x^c+1)(x^{n-c}-x^{n-2c}+\cdots +1)\text{\hspace{1em}(1)}$$
  这样我们的需求就是：$c|n$，并且 $n/c$ 是一个偶数（否则最后一项就是负一了）
  从这里也可以看出，因式分解的方式可能有多种。

例子

• 例子1：
  $$\begin{array}{rlr}& 1+x^6=(1+x^2)(x^4-x^2+1)& 因为6=4+2,4/2是偶数\\ & 1+x^8\ne (1+x^4)(x^4-1)& 因为8=4+4,4/4是奇数\\ & 1+x^{18}=(1+x^2)(x^{16}-x^{14}+x^{12}-\cdots +1)& 分解方式一\\ & 1+x^{18}=(1+x^6)(x^{12}-x^6+1)& 分解方式二\end{array}$$
• 例子2：考虑 $1+x^{12}$ ，这里
  $$\begin{array}{rlr}& 12=11+1& 11/1是奇数，不行\\ & 12=10+2& 10/2是奇数，不行\\ & 12=9+3& 9/3是奇数，不行\\ & 12=8+4& 8/4是偶数，可行\\ & (1+x^{12})=(1+x^4)(x^8-x^4+1)& \end{array}$$

分析2

• 当 $n$ 为奇数是为什么一定可行？
  因为 $n=(n-1)+1$，当然 $1|(n-1)$，且 $(n-1)/1$ 当然是偶数。

分析3

• $1+x^4$ 怎么分解：使用上述的方法，发现无法成功拆解。
  事实上，这个是可以分解的，且也有人提出过了。
  我们设拆解因式为：
  $$(1+x^4)=(x^2+ax+1)(x^2+bx+1)=x^4+(a+b)x^3+(2+ab)x^2+(a+b)x+1$$
  于是，我们得到方程：
  $$\begin{gathered} a+b=0 \\ 2+ab=0 \end{gathered}$$
  解得：
  $$\begin{gathered} a=\sqrt{2} \\ b=-\sqrt{2} \end{gathered}$$
  得到：
  $$(1+x^4)=(x^2+\sqrt{2}x+1)(x^2-\sqrt{2}x+1)\text{\hspace{1em}(2)}$$
• 也就是说，我们可以设低次项为 $(x^2+ax+1)$，当然这在 $n$ 比较大的时候会非常难解。

分析4

• 我们利用程序，判断一下，使用 $(1)$ 式的情况下，有哪些情况是无法解出来的：

int main()
{
    int n = 2000;
    for(int i = 4;i <= n;i+=2){
        bool can = false;
        for(int j = 2;j < i;++j){
            int a = j;
            int b = i - j;
            if(a % b == 0 && (a / b) % 2 == 0){
                can = true;
                break;
            }
        }
        if(!can)show(i);
    }
    return 0;
}

• 输出如下：

[ 4 ] ,
[ 8 ] ,
[ 16 ] ,
[ 32 ] ,
[ 64 ] ,
[ 128 ] ,
[ 256 ] ,
[ 512 ] ,
[ 1024 ] ,

• 也就是说，当 $n=2^k$ 的情况下，$x^n+1$ 无法使用上述算法进行分解。
  注：$1+x^2$ 无法分解，我们只考虑为次方 $n>=4$ 的偶数
• 注意到 （$2$）式的启发，若 $n=4m$ ，则有下述拆分方法： ¹
  $$1+x^n=1+x^{4m}=(x^{2m}+\sqrt{2}{x}^m+1)(x^{2m}-\sqrt{2}{x}^m+1)$$
  而我们上述无法拆分的情况下，都是 $4$ 的倍数。

结论

• $1+x^n$ 因式分解 （$n$ 为大于 $2$ 的正整数）：
  若 $n=2^k$ ，其中 $k$ 为正整数，那么 $m=2^{k-2}$
  $$1+x^n=(x^{2m}+\sqrt{2}{x}^m+1)(x^{2m}-\sqrt{2}{x}^m+1)$$
  否则，则一定可以找到 $n=a+b$，其中 $a,b$ 都是正整数，且 $a|b$，且 $b/a$ 是偶数，那么可以划分成：
  $$(x^n+1)=(x^a+1)(x^{n-a}-x^{n-2a}+\cdots +1)$$
• 注：大部分情况下分解方法不唯一。
  一定可以划分：没有通过证明的方式，只通过程序在小范围内进行了验证，对于 $n<=10^5$ 情况下都是正确的。

参考

---

1. 来源百度教育：https://easylearn.baidu.com/edu-page/tiangong/questiondetail?id=1727876699940814542&fr=search ↩︎