A recurrent pattern in the list of quadratic residues mod a prime and in the values of the Liouville \(\lambda\) function (Q1137056)

Es sei \(\lambda\) eine absolut multiplikative zahlentheoretische Funktion, die nur die Werte \(+1\) und \(-1\) annimmt. Dann besitzt das Gleichungssystem \[ \lambda(n) = \lambda(n-1) = \lambda(n-4) =1 \] für alle \(A>0\) eine Lösung mit \(A\leq n\leq (16A +134)^2 -A\). Dieser Satz ist z.B. auf das Legendre-Symbol and die Liouvillesche Funktion anwendbar. Im übrigen ist es bemerkenswert, daß der Beweis völlig elementar geführt werden kann.