nは自然数，iは虚数単位√(-1)，C[n,k]は二項係数である．kは1≦kをみたす整数として固定し，nをk≦nの範囲で動かすとき，
　{(1+i√3)/2}^C[n,k]
が実数となるようなすべてのnの集合をA[k]とする．A[k]の要素を小さいものから並べると等差数列になるためのkのみたすべき条件を求めよ