sin(2π/17)を求めよ