拡大次数

\(\alpha\)が作図可能であるための必要十分条件は以下が成り立つような整数\(n\)と、実数列\(\sqrt{\alpha_0}, \sqrt{\alpha_1}, \cdots, \sqrt{\alpha_{n-1}}\)が存在す...