>>234
Hint: 2cos(aπ)は代数的整数