Note on the sequence \(\sqrt n\) (mod 1). (Q2586279)

Alle auftretenden Zahlen sind reell; die Ungleichung \(|a|< b\) (mod 1) bzw. \(|a|\geqq b\) (mod 1) bedeutet, daß es ein bzw. kein ganzes \(q\) mit \(|a-q|<b\) gibt; analog für die Zeichen \(\leqq\), \(>\), \(=\). Resultate: I. Ist \(\xi\) irrational, \(\varepsilon> 0\), so gibt es unendlichviele natürliche \(x\) mit \[ |\xi-\sqrt x|<\frac{1+\varepsilon}{2\sqrt 5x} \pmod 1. \] II. Es gibt ein \(c > 0\), so daß es zu jedem irrationalen \(\xi\) und jedem \(\eta\) unendlichviele natürliche \(x\) mit \[ |\xi-\sqrt{x+\eta}| < \frac cx \pmod 1 \] gibt. Der Beweis von I, II beruht auf dem \textit{Khintchine}schen Satze (Math. Ann., Berlin, 111 (1935), 631-637; JFM 61.0182.*): Sind \(\varepsilon > 0\), \(\theta\), \(\beta\), \(\gamma\) gegeben (\(\theta\) irrational), so gibt es ganze \(x\), \(y\) mit \[ |\theta x-y-\beta|<\frac {1+\varepsilon}{\sqrt 5x}, \quad x>\gamma. \] III. Ist \(\xi\) rationai, so gibt es ein \(c(\xi)> 0\) mit folgender Eigenschaft: Für jades natürliche \(x\) ist \[ \text{entweder} \;\;|\xi-\sqrt x|\geqq \frac c{\sqrt x} \pmod 1 \;\;\text{oder} \;\;\xi-\sqrt x=0 \pmod 1. \]