cos(3n pi /17) = 0