(MOR1) Denote by [x] the greatest integer not exceeding x . For all real k>1 , define two sequences:
an(k)=[nk] and bn(k)=[k−1nk]
If A(k)={an(k):n∈N} and B(k)={bn(k):n∈N} , prove that A(k) and B(k) form a partition of N if and only if k is irrational.