On a conjecture of Chowla and Chowla (Q1233882)

Seien \(r\) verschiedene natürliche Zahlen \(a_1, a_2,\dots, a_r\) vorgegeben; \textit{P. Chowla} und \textit{S. Chowla} [J. Number Theory 8, 280--281 (1976; Zbl 0336.10002)] vermuteten, daß eine nur von \(a_1,\dots, a_r\) abhängige Konstante \(C\) existiert, so daß die Kongruenz \[ y^2 \equiv x(x + a_1)(x + a_2)\cdots(x + a_r) \mathrm{ modulo }p \] eine ganzzahlige Lösung \(x,y\) mit \(1\leq x\leq C\) besitzt. Der Verf. gibt einen kurzen, eleganten Beweis für diese Vermutung; er zeigt, daß \[ C = \exp[2 \log 2 \cdot \max\{a_1,\dots, a_r\}] \] gesetzt werden kann. Ist speziell \(a_i=i\) für \(i =1,\dots,r\), so ist \[ C(1,2,\dots,r) = (r+1)^2 -(r+ 1) + 1, \] und dieses Ergebnis ist bestmöglich.