A theorem on lattice points. (Q5967685)

Man ziehe im ebenen Punktgitter (Punkte mit ganzzahligen Koordinaten im rechtwinkligen Koordinatensystem) einen \textit{möglichst breiten} geraden unendlichen ``Weg'', der mit der Abszissenachse den Winkel \(\text{arctg}x\) einchließt. Die Breite dieses Weges mit \(f(x)\) bezeichnet, ist \[ \begin{aligned} f(x)&=0,\;\text{wenn}\;x\;\text{irrational},\\ f(x)&=\frac{1}{\sqrt{p^2+q^2}},\;\text{wenn}\;x\;\text{rational }=\frac{p}{q},\end{aligned} \] wo \(p\) und \(q\) teilerfremde ganze Zahlen sind; die Funktion \(f(x)\sqrt{1+x^2}\) ist ein oft benütztes Beispiel der reellen Funktionentheorie.