>>941
このやり方に不満があるなら、より小さい次数の最小多項式 f(X) があったとして、
f( tan(1°) ) を計算して、有理数体Q上線型独立なベキ根についての線型代数の問題に帰着させればいい。