好问题！numpy.roots确实只支持标准多项式（非负整数指数），但带负指数的有理函数方程其实可以通过通分转化为多项式方程来处理，而你提到的字典格式（键为指数、值为系数）刚好能帮我们高效完成这个转化。下面是具体的思路和实现步骤：

核心思路：把有理函数转化为多项式 #

带负指数的项本质是分母为x^k的分式，比如x^-1就是1/x，x^-2就是1/x²。我们只需要把方程两边乘以x^m（m是所有负指数中绝对值最大的那个），就能把所有项都变成非负指数的多项式，这样就可以用numpy.roots求解了。

举个例子：你的方程y = x² + 2x + 3 - x^-1，两边乘以x^1（因为最小指数是-1，m=1），得到x³ + 2x² + 3x - 1 = 0，这就是标准多项式，直接用numpy.roots求解即可。

用字典自动完成转化的实现 #

我们可以写一个函数，接收你定义的系数字典，自动完成转化、求解、过滤增根的流程：

import numpy as np

def solve_rational_eq(coefficient_dict):
    # 找出最负的指数，确定需要乘以x的次数
    min_exponent = min(coefficient_dict.keys())
    multiply_power = -min_exponent
    
    # 把所有指数加上multiply_power，转化为非负指数的多项式项
    poly_terms = [(exp + multiply_power, coeff) for exp, coeff in coefficient_dict.items()]
    
    # 按指数从高到低排序，匹配numpy.roots的输入要求（最高次系数在前）
    poly_terms_sorted = sorted(poly_terms, key=lambda x: -x[0])
    poly_coeffs = [coeff for _, coeff in poly_terms_sorted]
    
    # 求解多项式根
    poly_roots = np.roots(poly_coeffs)
    
    # 过滤增根：原方程中x不能为0，且必须满足原方程
    valid_roots = []
    for root in poly_roots:
        # 跳过x=0的情况（原方程有负指数项，x=0无意义）
        if np.isclose(root, 0):
            continue
        # 验证根是否满足原方程（浮点数计算允许微小误差）
        eq_value = sum(coeff * (root ** exp) for exp, coeff in coefficient_dict.items())
        if np.isclose(eq_value, 0, atol=1e-8):
            valid_roots.append(root)
    
    return valid_roots

# 测试你的示例方程
coeff_dict = {2: 1, 1: 2, 0: 3, -1: -1}
roots = solve_rational_eq(coeff_dict)
print("原方程的根：", roots)

关键注意事项 #

• 增根过滤：通分后得到的多项式根可能包含原方程的增根（比如x=0，或者代入原方程不成立的根），所以必须验证每个根是否满足原方程。
• 复数根处理：numpy.roots会返回复数根，如果只需要实数根，可以再加一层过滤：[root for root in valid_roots if np.isreal(root)]。
• 兼容标准多项式：如果你的字典里没有负指数项，这个函数也能正常工作，相当于直接调用numpy.roots。

内容的提问来源于stack exchange，提问作者Weilory