jialin

I only know that a regular n-gon is constructible if and only if the Euler phi-function phi(n) is a power of two. As for a regular 17-gon, phi(17) = 16 because 17 is a prime number. 16 is two to the fourth power. Thus a 17-gon is constructible.