I have $f_k(x)=kx-\lfloor kx \rfloor$, where $k\in \mathbb N$ and $x\in\{0,1\}$ and $x\in \mathbb Q$. When I plug in some numbers it seems obvious that $$ f_k(x)+f_k(1-x)=1 $$ for example $k=28, x=\frac{21}{38}$ gives $$ 28\frac{21}{38} - \lfloor 28\frac{21}{38} \rfloor + 28\frac{17}{38} - \lfloor 28\frac{17}{38} \rfloor = \frac{294}{19} - 15 + \frac{238}{19} - 12 = \frac{532}{19} -27=1 $$ but I have trouble to prove this in general. I get $$ (x+(1-x))k-\lfloor kx\rfloor - \lfloor k(1-x)\rfloor=k -\lfloor kx\rfloor- \lfloor k(1-x)\rfloor $$ How to continue?
2026-03-27 07:47:53.1774597673
Problem with Floor Function
141 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
Continuing your calculation: \begin{align}k-\lfloor kx\rfloor-\lfloor k-kx\rfloor=k-\lfloor kx\rfloor-k-\lfloor-kx\rfloor=-\lfloor-kx\rfloor-\lfloor kx\rfloor=\lceil kx\rceil-\lfloor kx\rfloor\end{align} So it's $0$ if $kx\in\mathbb Z$, else it's $1$.