如何在Python中计算三角函数得到非浮点型的精确分数根式结果

实现思路 #

直接使用Python的符号计算库SymPy即可完成需求，它不会对代数表达式做浮点近似，会保留精确的数学结构，完全满足你要的精确结果输出、以及拆分提取a/b/c三个参数的要求。

步骤1：安装依赖 #

执行命令安装SymPy：
pip install sympy

步骤2：基础精确计算示例 #

from sympy import sin, cos, pi

# 计算三角函数，输出为精确符号形式
sin_pi6 = sin(pi/6)
cos_pi4 = cos(pi/4)

print(sin_pi6) # 输出 1/2，和理论值完全一致
print(cos_pi4) # 输出 sqrt(2)/2，等价于你需要的 1/√2 形式

步骤3：拆分提取a、b、c参数 #

可以通过对SymPy表达式结构的解析，直接拆分得到a/(b√(c))格式对应的三个参数，示例代码如下：

from sympy import nsimplify, Rational

def get_abc_from_trig_expr(expr):
    # 标准化表达式为最简根式形式
    expr = nsimplify(expr)
    # 拆分分子、分母
    numerator, denominator = expr.as_numer_denom()
    
    a = int(numerator)
    b = 1
    c = 1
    
    # 解析分母中的整数部分和根式部分
    if denominator.is_Rational:
        # 分母不含根式，c为1
        b = int(denominator)
        c = 1
    else:
        for term in denominator.args:
            if term.is_Pow and term.exp == Rational(1,2):
                c = int(term.base)
            else:
                b *= int(term)
    return a, b, c

# 测试效果
a1, b1, c1 = get_abc_from_trig_expr(sin(pi/6))
print(f"sin(π/6)对应参数：a={a1}，b={b1}，c={c1}，格式输出为{a1}/({b1}√{c1})")
# 输出：sin(π/6)对应参数：a=1，b=2，c=1，格式输出为1/(2√1)

a2, b2, c2 = get_abc_from_trig_expr(cos(pi/4))
print(f"cos(π/4)对应参数：a={a2}，b={b2}，c={c2}，格式输出为{a2}/({b2}√{c2})")
# 输出：cos(π/4)对应参数：a=1，b=1，c=2，格式输出为1/(1√2)

补充说明 #

• 如果你需要做后续数值计算，随时可以调用float(expr)把精确符号值转换成浮点型使用
• 该方法对所有特殊角的三角函数都有效，比如tan(pi/3)会返回sqrt(3)，对应a=3、b=1、c=3，即3/(1√3)=√3

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