>>651
複素数の中で因数分解を考えると
ｘ＾ｐ−２＾ｑがｒ次の有理数係数の因数を持つなら
２＾（ｑｒ／ｐ）は有理数。