MathDB

For a given number

\alpha{}

let

f_\alpha

be a function defined as

f_\alpha(x)=\left\lfloor\alpha x+\frac{1}{2}\right\rfloor.

Let

\alpha>1

and

\beta=1/\alpha

. Prove that for any natural

n{}

the relation

f_\beta(f_\alpha(n))=n

holds.
Proposed by I. Dorofeev

M2618