代数表达式中的取整函数与上取整函数

在方程与恒等式中使用 ⌊x⌋ 和 ⌈x⌉；涉及阶梯行为、Hermite 恒等式以及利用小数部分 {x} 的估计方法。