`math.isqrt()` 是 Python 标准库 `math` 模块中自 **Python 3.8 起引入**的一个专用数学函数，用于**对非负整数执行精确的、向下取整的平方根运算（即整数平方根，floor square root）**，其结果严格为整数，且不涉及浮点数精度误差 [ref_1][ref_2][ref_6]。 --- ### 🔍 问题解构 | 维度 | 说明 | |------|------| | **本质定义** | `math.isqrt(n)` 返回满足 `k² ≤ n < (k+1)²` 的唯一非负整数 `k`，等价于 `floor(sqrt(n))`，但**仅接受非负整数输入，且全程在整数域运算**。 | | **设计动机** | 避免 `int(math.sqrt(n))` 因浮点舍入导致的错误（如 `n = 4503599761588224` 在某些系统上会误判为 `67108865` 而非正确值 `67108864`）[ref_3]。 | | **关键限制** | 输入必须为 `int` 类型且 `≥ 0`；传入负数或浮点数将抛出 `ValueError` 或 `TypeError` [ref_6]。 | --- ### 🧩 方案推演：对比传统方式 vs `isqrt()` 下表清晰展示 `math.isqrt()` 相较于其他常见平方根取整方式的核心优势： | 方法 | 示例代码 | 是否安全？ | 精度风险 | 输入类型要求 | 备注 | |--------|-----------|-------------|------------|----------------|------| | `math.isqrt(n)` | `math.isqrt(100)` → `10` | ✅ 安全 | ❌ 无（纯整数算法） | `int ≥ 0` | 推荐用于整数场景 [ref_1][ref_5] | | `int(math.sqrt(n))` | `int(math.sqrt(100))` → `10` | ⚠️ 风险高 | ✅ 存在（尤其大数） | `float` 兼容 | 浮点中间态易失真 [ref_3] | | `math.floor(math.sqrt(n))` | `math.floor(math.sqrt(100))` → `10.0` | ⚠️ 风险高 | ✅ 同上 | `float` 兼容 | 返回 `float`，需额外 `int()` 转换 | | `round(math.sqrt(n))` | `round(math.sqrt(99))` → `10` | ❌ 错误语义 | ✅ 且逻辑错误（向上/四舍五入） | `float` 兼容 | 不满足“向下取整”需求 | > ✅ **结论**：当目标是**获取非负整数 `n` 的最大整数平方根 `k`（即 `k² ≤ n`）**，`math.isqrt()` 是**唯一兼具正确性、安全性与性能的官方推荐方案** [ref_2][ref_5]。 --- ### 💡 实际用法与示例代码 ```python import math # ✅ 正确使用：非负整数输入 print(math.isqrt(0)) # → 0 print(math.isqrt(1)) # → 1 print(math.isqrt(16)) # → 4 print(math.isqrt(17)) # → 4 （因为 4²=16 ≤ 17 < 25=5²） print(math.isqrt(100)) # → 10 # ❌ 错误使用：触发异常 try: math.isqrt(-1) # ValueError: isqrt() argument must be nonnegative except ValueError as e: print(f"错误：{e}") try: math.isqrt(10.5) # TypeError: 'float' object cannot be interpreted as an integer except TypeError as e: print(f"错误：{e}") ``` --- ### 🌟 典型应用场景 1. **完全平方数判定** ```python def is_perfect_square(n): if n < 0: return False root = math.isqrt(n) return root * root == n print(is_perfect_square(144)) # True print(is_perfect_square(145)) # False ``` 2. **素数判定优化（试除法上限）** ```python def is_prime(n): if n < 2: return False if n == 2: return True if n % 2 == 0: return False # 只需试除到 sqrt(n)，用 isqrt 避免浮点误差 for i in range(3, math.isqrt(n) + 1, 2): if n % i == 0: return False return True ``` 3. **密码学/算法竞赛中的大整数开方** 对超大整数（如 `10**30` 级别），`math.isqrt()` 基于高效整数算法（如牛顿法变种），比 `int(math.sqrt())` 更稳定可靠 [ref_1][ref_2]。 --- 综上，`math.isqrt()` 并非简单“取整”，而是**专为整数平方根设计的、语义明确、数值鲁棒、性能优越的原生函数**，是 Python 数值计算能力现代化的重要体现 [ref_5][ref_6]。