sqrt(2+sqrt(2+sqrt(2))) 的最小多项式