>>951
tan(1°)は代数的無理数である。よって、>>942に注意すると、或る自然数 n≧2 が存在して、
f(X) は tan(1°) についてのn次の有理係数の最小多項式となる。
定義から、f(X) は tan(1°) を根に持つから、f( tan(1°) )=0。