Python中如何实现带根式的分数且保留运算精度？

问题根源 #

• 你当前使用的第三方fraction包的Fraction类仅支持传入整数作为分子、分母参数，传入np.sqrt(2)这类浮点近似值时，会被错误截断取整为整数1，最终得到1/2的错误结果，本质上是浮点转整数过程的精度丢失
• 这类常规分数类（包括Python标准库自带的fractions模块）仅支持有理数的精确存储与运算，本身不具备保留无理数根式的能力，直接传入开方结果只会得到浮点近似的有理分数，无法满足保留√2/2这类表达式的需求
• 你搜索不到的fractions是Python3内置的标准库模块，不需要单独通过pip安装，直接导入即可使用，它同样无法处理带根式的表达

可行实现路径 #

1. 借助符号计算库（最省事、无精度损失） #

直接使用专门处理符号数学的sympy库，它支持全程保留根式、有理数的精确形式，不会做浮点近似：

• 安装方式：直接执行pip install sympy安装即可
• 基础用法示例：

from sympy import sqrt, Rational
# 直接构造带根式的精确表达，不会做浮点转近似
expr = sqrt(2) / 2
# 输出结果就是你需要的√2/2形式
# 复杂运算全程保持精确：
# 比如 1/2 * √2 + 1/3 * √2 会自动合并为 5√2/6
calc_result = Rational(1,2)*sqrt(2) + Rational(1,3)*sqrt(2)

这种方式下所有代数运算都是基于符号规则推导的，完全不会引入浮点精度损失，也能直接输出带根号的可读形式。

2. 自定义轻量结构（无第三方依赖） #

如果不需要复杂的符号运算，只需要存储和简单合并同类根式，可以自己实现极简的存储结构：

• 把每一个带根式的项拆成两部分存储：一是前面的有理系数（可以用标准库fractions.Fraction存，保证系数的精度），二是根号内的整数部分值
• 比如√2/2 可以存为 系数=1/2，根内值=2；遇到运算时，只要根内值相同，就直接合并对应的有理系数即可，完全不需要做开方的浮点计算

注意事项 #

• 不要把np.sqrt(2)这类已经经过浮点近似的开方结果传入任何分数类，因为浮点值本身已经丢失了√2的精确信息，无论怎么转换都只能得到该近似值对应的有理分数，无法还原出√2/2的原始精确形式

内容的提问来源于stack exchange，提问作者Ana-Maria