Posted by haifeng on 2012-06-07 11:38:38 last update 2017-01-19 10:47:04 | Answers (2) | 收藏
设 $n$ 是正整数, $x$ 是实数, 证明: $\Bigl[\frac{[nx]}{n}\Bigr]=[x]$.
Hint: 如果 $x$ 是有理数, 则也可以利用下面的性质:
\[ \Bigl[\frac{[\frac{m}{a}]}{b}\Bigr]=\bigl[\frac{m}{ab}\bigr]. \]