>>843
>>816のベクトル v_k の前半4成分は、8cos(2kπ/15)　を
a*1 + b*√5 + c*√(30+6√5) + d*√(30-6√5)
と表した時の整数a,b,c,dを
後半4成分は、16sin(2π/15)sin(2kπ/15)　を
e*1 + f*√5 + g*√(30+6√5) + h*√(30-6√5)
と表した時の整数e,f,g,hを並べています