x=2^(1/2)-i　為一根的最低有理係數方程式，
必有另外 2^(1/2)+i , -2^(1/2)+i , -2^(1/2)-i 這三根，
其原因似乎不是 兩個共軛定理 合起來解釋的通！