>>617
cos(5/18π) = cos(23/18π - π) = cos(23/18π)cos(π)　+ sin(23/18π)sin(π) = - a
なんでないか？
ついでに、sin(5/18π)　= √(1-(cos(5/18π))^2)　なんじゃないか？