向下取整除法计算器

Q: JS 里想要 floor 除法怎么办？

Math.floor(a/b) 得商，a − b×Math.floor(a/b) 得余数；或用 ((a % b) + b) % b 直接把 trunc 余数修正为 floor 余数（除数为正时）。

Q: 向下取整和「向负无穷取整」是一回事吗？

完全是。⌊x⌋ 的定义就是不大于 x 的最大整数，数轴上永远向左走：⌊3.2⌋ = 3，⌊−3.2⌋ = −4。「向负无穷取整」只是同一个动作的形象说法。

Q: 负数的 floor 除法为什么容易错？

直觉里 −7 // 2 「应该」是 −3（把 7//2=3 加个负号），但 floor 是向 −∞ 取整：⌊−3.5⌋ = −4。−3 是 trunc（向零）的答案。两种语义谁对？都对——只是定义不同，关键是知道你用的语言选了哪种。

Q: 恒等式 a = (a//b)b + a%b 有什么用？

它是除法-取余自洽性的检验标准：floor 语义下对任意 a、b（含负数）恒成立；trunc 语义下也成立但余数可负。两个数互相印证，手算或写代码后可用它一秒验错。

Q: 分页公式 (n−1)//k + 1 怎么推的？

页数 = ⌈n/k⌉（向上取整），而向上取整可用 floor 表示：⌈n/k⌉ = ⌊(n+k−1)/k⌋ = (n−1)//k + 1（整数算术）。避免浮点转换，是整数编程的标准技巧。

Q: 为什么哈希分桶用 floor 而不是 trunc？

负键值场景下 floor 的桶号连续性更好：桶号 = ⌊key/bucketSize⌋ 在负数区间依然单调无缝衔接，trunc 会在 0 附近产生「双零桶」断裂。一致性哈希与范围分片实现都偏好 floor。

Q: floor、trunc、int、cast 有什么区别？

floor 向 −∞ 取整；trunc/int（多数语言）向零取整；类型强转 (int)x 在 C/Java 中是 trunc。正数时三者相同，负数分化：⌊−2.5⌋ = −3、trunc(−2.5) = −2。面试高频陷阱。

Q: 数学里的 ⌊x⌋ 记号谁发明的？

高斯最早用 [x] 表示「不超过 x 的最大整数」，称高斯符号；1962 年 Kenneth Iverson 引入 ⌊x⌋⌈x⌉ 这对现代记号（floor/ceiling 一词由他命名），后由 Knuth 在《具体数学》中推广普及。

Q: floor 除法在日期计算里怎么用？

计算「第几个星期几」：某月 1 日的偏移 + 目标天数，用 (offset + day − 1) // 7 得第几周；判断闰年周期、儒略日换算、两个日期相差的完整周数，都是 floor 除法把连续时间折叠成离散周期。

什么是向下取整除法计算器？

向下取整除法（floor division）定义商 q = ⌊a/b⌋（不大于真商的最大整数），余数 r = a − b·q。这个定义让余数永远与除数同号：除数为正时余数恒非负。−17 // 5 = ⌊−3.4⌋ = −4，余数 −17 − 5×(−4) = 3。Python 的 // 和 % 运算符、数学中的欧几里得除法都采用这一口径。

截断除法（truncating division）定义商 q = trunc(a/b)（向 0 取整），余数与被除数同号：−17 / 5 = −3，余数 −2。C、C++、Java、JavaScript 的整数除法与 % 都是这一口径。两种语义在被除数为负时分道扬镳：商差 1、余数差一个除数。本工具并排显示两种结果，写跨语言代码时一查便知。

日常应用中向下取整更「符合直觉」的场景居多：楼层编号（地下 −1 层的下一层是 0 层）、日历推算（公元前 1 年之后是公元 1 年）、网格坐标分块。凡是「跨越 0 点还要保持周期连续」的问题，向下取整都是正确答案。

「整数除法结果怎么取整」看似细节，实则每门编程语言都必须回答的设计题。Python 之父 Guido 选择 floor 语义（向负无穷取整）的理由是数学美感：floor 语义下 a % b 的结果与 b 同号，恒等式 a = (a//b)×b + (a%b) 对负数依然成立，且 a % b 与 b%a 等运算拥有优雅的周期性质——这也是数学同余理论需要的形式。

floor 除法与取整函数 ⌊x⌋（下取整）一体两面：a // b = ⌊a/b⌋。它的周期折叠能力极强——把连续编号折叠成组号（第 i 个元素属于第 ⌊i/k⌋ 组）、把时间戳折叠成天（timestamp // 86400）、把像素坐标折叠成瓦片坐标，是分桶、分页、哈希分片的原子操作。

floor：q = ⌊a/b⌋，r = a − b·q（r 与 b 同号）；trunc：q = trunc(a/b)，r = a − b·q（r 与 a 同号）

例：7 // 2 = 3（⌊3.5⌋），−7 // 2 = −4（⌊−3.5⌋ 向负无穷而非向零）；对应余数 r = a − b·q：−7 // 2 的余数 = −7 − 2×(−4) = 1，与除数 2 同号。

四种取整除法语义对比（以 ±7 ÷ 2 为例）
语义	7÷2	−7÷2	余数符号	代表语言
floor（向下取整）	3	−4	与除数同号	Python //、Ruby
trunc（向零取整）	3	−3	与被除数同号	C、Java、JS 整数除法
ceil（向上取整）	4	−3	与除数异号	数学分析中偶用
round（四舍五入）	4	−3	不定	银行家舍入变体

如何使用向下取整除法计算器

1
输入被除数 a 与除数 b（整数，b ≠ 0）。
2
点击计算，并排比较两种取整语义的商与余数。

计算示例

例 1负被除数

−17 ÷ 5：向下取整商 −4、余数 3（−17 = 5×(−4)+3）；截断商 −3、余数 −2（−17 = 5×(−3)+(−2)）。

例 2正数无分歧

17 ÷ 5：两种语义结果相同——商 3、余数 2。分歧只在被除数为负且不整除时出现。

例 3分页计算

共 95 条记录每页 10 条：总页数 = ⌈95/10⌉ = 10（用 floor 写法 (95−1)//10 + 1 = 10）；第 95 条在第 (95−1)//10 + 1 = 10 页。分页公式是 floor 除法最高频应用。

例 4时间戳转日期桶

Unix 时间戳 1759507200 秒按天聚合：1759507200 // 86400 = 20341，即第 20341 天桶。时序数据按小时/天/周分桶统计，全靠 floor 除法折叠。

例 5网格寻址

一维数组模拟 8×8 棋盘，索引 37 对应行 37 // 8 = 4、列 37 % 8 = 5（0 起计）。行 = idx // 宽、列 = idx % 宽，是二维结构一维存储的标准换算。

注意事项

整除时（余数 0）两种语义完全一致，分歧只出现在负被除数且不整除的情形。
Python 的 // 是 floor、C/Java/JS 是 trunc——移植取模逻辑时这是高频 bug 源。
向下取整的余数与除数同号，截断的余数与被除数同号，记「跟谁姓」就不会混。
数学上的「余数」默认指非负的那个（floor 口径，正除数）。
JS 没有 // 运算符：Math.floor(a/b) 处理负数才是 floor 语义；Math.trunc(a/b) 或 (a/b)|0 是向零语义，两者在负数下结果差 1。
floor 语义下余数与「除数」同号，trunc 语义下与「被除数」同号——记忆口诀：floor 跟除数走，trunc 跟被除数走。
浮点 floor 除法有精度坑：0.3 // 0.1 在 IEEE 754 下是 2.0 而非 3.0（0.3/0.1 = 2.9999999999999996），金额等场景先转整数再算。

常见问题

Guido van Rossum 的解释：为了让 a % b 与 b 同号，使得「取模 + 向下取整除法」构成的数论体系自洽（a = b·(a//b) + a%b 且 0 ≤ a%b < b）。时钟算术、周期序列索引在这种语义下写起来不需要任何特判。