取整运算⌊a⌋, ⌈a⌉的一些数学理论的总结

最新推荐文章于 2024-05-10 13:19:30 发布

jiongjiongai

最新推荐文章于 2024-05-10 13:19:30 发布

阅读量2.6k

点赞数 4

本文链接：https://blog.csdn.net/phoenix198425/article/details/78279517

版权

本文总结了取整运算⌊a⌋和⌈a⌉的一些基本数学理论，包括其唯一性、不等式关系、性质以及相关证明，如整数的平方取整、负数的平方取整、乘法取整的性质等。

摘要由CSDN通过智能技术生成

$\forall a \in \mathbb R, \lfloor a \rfloor = \{ n \in \mathbb Z: n \le a \lt n + 1 \}$
唯一性证明：
$m \le a \lt m + 1, n \le a \lt n + 1 \Rightarrow m \le a \lt n + 1, n \le a \lt m + 1$
$\Rightarrow m \le n, n \le m \Rightarrow m = n$
$\forall a \in \mathbb R, \lceil a \rceil = \{ n \in \mathbb Z: n - 1 \lt a \le n\}$
唯一性证明：
$m - 1 \lt a \le m, n - 1 \lt a \le n \Rightarrow m - 1 \lt a \le n, n - 1 \lt a \le m$
$\Rightarrow m \le n, n \le m \Rightarrow m = n$
$\forall a \in \mathbb R, a - 1 \lt \lfloor a \rfloor \le a \le \lceil a \rceil \lt a + 1$
证明： $\lfloor a \rfloor \le a \lt \lfloor a \rfloor + 1, \lceil a \rceil - 1\lt a \le \lceil a \rceil$
$\forall a, b \in \mathbb R, a \le b \Rightarrow \lfloor a \rfloor \le \lfloor b \rfloor$
证明： $a \le b \Rightarrow \lfloor a \rfloor \le a \le b \lt \lfloor b \rfloor + 1$
$\forall a, b \in \mathbb R, a \le b \Rightarrow \lceil a \rceil \le \lceil b \rceil$
证明： $a \le b \Rightarrow \lceil a \rceil - 1 \lt a \le b \le \lceil b \rceil$
$\forall a \in \mathbb R, \forall n \in \mathbb Z, \lfloor a \rfloor \ge n \Leftrightarrow a \ge n, \lfloor a \rfloor \lt n \Leftrightarrow a \lt n$
证明： $a \ge n \Rightarrow \lfloor a \rfloor \ge \lfloor n \rfloor = n$
∀a∈R,∀n∈Z,⌈a⌉≤n⇔a≤