On two relations characterizing the golden ratio

Abstract

V.G. Zhuravlev found two relations associated with the golden ratio: $\tau=\frac{1+\sqrt{5}}{2}$: $[([i\tau]+1)\tau]=[i\tau^2]+1$ and $[[i\tau]\tau]+1=[i\tau^2]$. We give a new elementary proof of these relations and show that they give a characterization of the golden ratio. Further we consider satisfability of our relations for finite sets of $i$-s and establish some forcing property for this situation.