您需要添加 I 作为代数扩展名：

You need to add I as an algebraic extension:

In [2]: factor(x**2 + 1, extension=[I])
Out[2]: (x - ⅈ)⋅(x + ⅈ)