当对负数调用 math.Sqrt 时，Go 会返回 NaN（Not a Number），因为实数范围内平方根无定义；本文详解其原理、调试方法及安全求根的完整实现。
当对负数调用 `math.sqrt` 时，go 会返回 `nan`（not a number），因为实数范围内平方根无定义；本文详解其原理、调试方法及安全求根的完整实现。
在 Go 中，math.Sqrt(x) 仅对非负实数 x ≥ 0 有定义。若传入负数（如 -23），函数将返回 NaN —— 这并非 Go 特有行为，而是 IEEE 754 浮点标准的通用约定，表示“该操作在实数域内无意义”。
以你的二次方程求根代码为例：
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
✅ 正确做法是：先判断判别式符号，再分支处理：
func solveQuadratic(a, b, c float64) (realRoots []float64, complexRoots []complex128, err error) {
discriminant := b*b - 4*a*c
if discriminant > 0 {
// 两个不同实根
sqrtD := math.Sqrt(discriminant)
r1 := (-b + sqrtD) / (2 * a)
r2 := (-b - sqrtD) / (2 * a)
realRoots = []float64{r1, r2}
} else if discriminant == 0 {
// 一个重根
r := -b / (2 * a)
realRoots = []float64{r}
} else {
// 无实根，返回复数解（使用内置 complex128）
sqrtD := cmplx.Sqrt(complex(discriminant, 0))
z1 := complex(-b, 0)/complex(2*a, 0) + sqrtD/complex(2*a, 0)
z2 := complex(-b, 0)/complex(2*a, 0) - sqrtD/complex(2*a, 0)
complexRoots = []complex128{z1, z2}
}
return
}
⚠️ 注意事项：
- 不要盲目对判别式取 math.Abs() 再开方（如 math.Sqrt(math.Abs(discriminant))），这会掩盖数学逻辑错误，导致错误的“实根”输出；
- 使用 float64 进行中间计算时，注意整数溢出风险（如大整数 b*b 超出 int 范围）；
- 若仅需实数解，务必显式检查 discriminant >= 0，避免 NaN 污染后续计算；
- 导入 "math/cmplx" 包可支持复数运算，使程序具备完整数学鲁棒性。
总结：NaN 是 Go 对无效数学运算的明确信号，而非 bug。善用判别式分支、区分实/复数解场景，才是构建可靠数值计算程序的关键。
