>>533
cos(8π/5)=cos(2π/5)
だから倍角でできると思うが半角でしなきゃいかんの?