No label defined (Q4384849)

Two sequences \(A= a_1< a_2<\dots\), \(B= b_1< b_2<\dots\) of positive integers are said to be complementary if every positive integer is a member of exactly one of these sequences. A classical example of such sequences is \[ A= ([\alpha n])_{n=1}^\infty, \qquad B=([\beta n])_{n=1}^\infty \tag \(*\) \] (\([t]\) denotes the integer part of \(t\)), \(\alpha,\beta\) being positive irrational numbers with \(\alpha^{-1}+ \beta^{-1}=1\). In this paper such complementary sequences \(A,B\) are investigated that satisfy one of the conditions: (1) \(b_n= a_n+ kn+ l\), (2) \(a_n+ b_n= kn+l\) \((n=1,2,\dots)\), \(k,l\) being integers. Among the sequences \((*)\) the sequences corresponding to the values \(\alpha= \sqrt{2}\), \(\alpha= \frac{1+\sqrt{5}}{2}\) satisfy the condition (1) with \(k=2\), \(l=0\) and \(k=1\), \(l=0\), respectively.