とりあえず、式変形を繰り返して、ようやく答えにはたどり着きましたが。すごくテクニカルになってしまった。mixiの数学コミュでは、円分法でπの有利数倍になるから出る値は代数的数であるから代数方程式の解として求めることが出来るとかいう議論になってき…