个人觉得还是这种基础的推导方式比较有可读性……
另几个东西:
1、注意到2楼的最后一个结论,我们是可以写出0.75度的任意倍的三角函数值。
2、根据几何作图的理论,我们可以作出有理线段的2的k次扩张群的长度(就是加减乘除和L^[2^k] ,L∈Q,k∈Z),所以上面那些不带i的三角函数值我们都是可以尺规出来的,包括(π/17)等奇丑的角(这个好象就是高斯画正十七边形的理论依据)。
3、zzfwind2007 伙子提到的方程法,参看三次方程的盛金定理。实际上这类方程(用类n倍角公式的方程)一定是一个在实数范围内有n个解的高次方程。我们看到由盛金判定,这个三次方程的解中含有了一个sin(θ/3)和cos(θ/3)的东西,又把问题绕回去了,根本没有把要的关键的值求出来……我试了一下,没有代数解。