>>415
＞定理
＞cos(2π/n) が実のべき根(いわゆるⁿ√a (a>0、n∈ℕ)の形の実数)を順次添加して得られる体の元であるには
＞[ℚ(cos(2π/n)):ℚ] が2べきであることが必要十分

この定理は全くその通り

で？>>391の「べき根で表せる」という記述だけで
「実のべき根」と勝手に妄想する根拠は何？