cos(360ﾟ/17) = (√17 - 1 + √(34-2√17) + 2√(17+3√17-√(34-2√17)-2√(34+2√17)) / 16
のほうがsin1ﾟよりもきれいだ。