这个证明需要用到抽象代数里面的Galoris理论,证明比较专门了.
顺便说下,如果允许在尺子上做标记,是可以三等分任意角的,不过这个不是严格的尺规作图