数论函数与数论恒等式

数论函数与数论恒等式

---

1. 取整函数

$$r=\lfloor r\rfloor +\{r\}, \lfloor r\rfloor\in Z,\{r\}\in [0,1)$$

$$r = \lceil r\rceil-c,\lceil r\rceil\in Z,c\in [0,1)$$

几个不等式：

插入/删除取整号

1. $r<n\iff \lfloor r\rfloor < n$
   证明：
   

   $$r<n\iff n-\lfloor r\rfloor>\{r\}\ge 0\iff \lfloor r\rfloor<n$$
   同理有：
   $$r > n \iff \lceil r\rceil>n$$

2. $r\le n\iff \lceil r\rceil\le n$
   证明:
   

   $$r\le n\iff \lceil r\rceil-c\le n\iff \lceil r\rceil-n\le c<1\\\iff \lceil r\rceil<n+1\iff \lceil r\rceil\le n$$
   同理有：
   $$r\ge n\iff\lfloor r\rfloor\ge n$$

整除边界值

$$\left\lfloor \frac p i\right\rfloor=\left\lfloor \frac p k\right\rfloor\Rightarrow k\le \left\lfloor \frac p {\left\lfloor \frac p i\right\rfloor}\right\rfloor$$

证明：

由于：

pi=⌊pi⌋+c1