Go 中正确计算二次方程根的方法

Go 的 math.Sqrt 函数对负数输入返回 NaN，因为实数范围内平方根无定义；本文详解原因，并提供安全计算判别式、支持实数与复数解的完整二次方程求解方案。

Go 的 `math.Sqrt` 函数对负数输入返回 NaN，因为实数范围内平方根无定义；本文详解原因，并提供安全计算判别式、支持实数与复数解的完整二次方程求解方案。

在 Go 中调用 math.Sqrt(x) 时，若 x < 0，函数将严格返回 NaN（Not a Number），这是 IEEE 754 浮点标准的明确规定，并非 Go 特有行为，而是所有遵循该标准的语言（如 Python、C、Java）的共同设计。你提供的代码中：

b := 3
a := 4
c := 2
b2 := float64(b*b) // 9.0
ac := float64(4) * float64(a) * float64(c) // 32.0
q := math.Sqrt(b2 - ac) // math.Sqrt(-23.0) → NaN

判别式 Δ = b² − 4ac = 9 − 32 = −23 为负数，因此 math.Sqrt(−23) 在实数域无解，Go 正确返回 NaN。

✅ 正确做法：先判断判别式符号

应显式检查 Δ 的正负，再分支处理：

func solveQuadratic(a, b, c float64) {
    delta := b*b - 4*a*c
    fmt.Printf("判别式 Δ = %.1f\n", delta)

    if delta > 0 {
        // 两个不同实根
        sqrtDelta := math.Sqrt(delta)
        x1 := (-b + sqrtDelta) / (2 * a)
        x2 := (-b - sqrtDelta) / (2 * a)
        fmt.Printf("两个实根: x₁ = %.4f, x₂ = %.4f\n", x1, x2)
    } else if delta == 0 {
        // 一个重根
        x := -b / (2 * a)
        fmt.Printf("重根: x = %.4f\n", x)
    } else {
        // Δ < 0：两个共轭复根（需使用 complex128）
        realPart := -b / (2 * a)
        imagPart := math.Sqrt(-delta) / (2 * a)
        fmt.Printf("复根: x₁ = %.4f + %.4fi, x₂ = %.4f - %.4fi\n",
            realPart, imagPart, realPart, imagPart)
    }
}

⚠️ 注意事项：

• 不要盲目用 math.Abs 包裹判别式（如 math.Sqrt(math.Abs(delta))），这会掩盖数学逻辑错误，导致结果失去物理/代数意义；
• 整数系数（如 a=4, b=3, c=2）应显式转为 float64 或直接声明为 float64，避免整数溢出或精度隐式转换问题；
• 若需复数解，务必导入 "math/cmplx" 并使用 complex128 类型（上述示例为手动分解，更推荐 cmplx.Sqrt）。

✅ 推荐：使用 math/cmplx 支持全场景

import "math/cmplx"

func solveWithComplex(a, b, c complex128) {
    delta := b*b - 4*a*c
    sqrtDelta := cmplx.Sqrt(delta)
    x1 := (-b + sqrtDelta) / (2 * a)
    x2 := (-b - sqrtDelta) / (2 * a)
    fmt.Printf("复数解: x₁ = %v, x₂ = %v\n", x1, x2)
}

调用 solveWithComplex(4, 3, 2) 将输出精确复数解：
x₁ = (-0.375+0.6614378277661477i), x₂ = (-0.375-0.6614378277661477i)

总结：NaN 不是 bug，而是 Go 对无效数学运算的健壮反馈。编写数值计算程序时，必须前置验证输入有效性——尤其在求根、对数、除法等操作前，养成检查边界条件的习惯，才能写出可靠、可维护的工程代码。