>>587
まぁそれがほぼ想定解です。
しかしさすがに飛びすぎ。

実数tにおいてある自然数kにおいてt^kが有理数、かつQ(t)がQ上のアーベル拡大のときt^2が有理数である事を示せ。

です。