如何使用SymPy将实数（如0.25）表示为分数形式？

通用手动转换方法 #

有限小数 #

对于像0.25这类有限小数，转换逻辑很直接：

• 先把小数写成分母为10的n次方的分数，n是小数的位数。比如0.25有两位小数，写成25/100。
• 对分子分母约分，除以它们的最大公约数（GCD）。25和100的GCD是25，约分后得到1/4。

无限循环小数 #

如果是无限循环小数，比如0.(3)（即0.333...），可以用代数方法转换：

• 设x = 0.333...，则10x = 3.333...。
• 用后者减前者：10x - x = 3，即9x=3，解得x=1/3。

用SymPy实现实数到分数的转换 #

SymPy是Python的符号计算库，能轻松实现实数到分数的转换，还能处理浮点数精度问题。

基本步骤 #

1. 先安装SymPy（未安装的话执行）：

pip install sympy

2. 使用Rational或sympify函数完成转换：

from sympy import Rational, sympify

# 转换有限小数0.25
float_num = 0.25
# 用Rational转换
frac_from_float = Rational(float_num)
print(frac_from_float)  # 输出: 1/4

# 用sympify转换，效果一致
frac_from_sympify = sympify(float_num)
print(frac_from_sympify)  # 输出: 1/4

# 优先用字符串传入，避免浮点数精度问题
# 0.1作为浮点数是近似值，直接传会得到非预期结果
print(Rational(0.1))  # 输出: 3602879701896397/36028797018963968
# 传字符串则得到准确的1/10
print(Rational("0.1"))  # 输出: 1/10

# 处理无限循环小数的字符串形式
cyclic_num = "0.(3)"
print(sympify(cyclic_num))  # 输出: 1/3

注意事项 #

• 浮点数本身存在精度限制，直接传入Rational可能得到不直观的分数，建议优先使用字符串形式的数值作为输入，保证转换准确性。
• sympify函数支持更灵活的输入格式，包括循环小数的字符串表示（如0.(3)、0.1(6)）。

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