>>398
ａ∈Ｑ（√ｒ）＝｛ｆ（√ｒ）/ｇ（√ｒ）｜ｆ（ｘ），ｇ（ｘ）∈Ｑ[ｘ]
　　　　　　　　　　　　　　　　　　　　　　　　　　ｇ（ｘ）≠０　｝
とすると
ａ＝ｆ（√ｒ）/ｇ（√ｒ）　（∃ｆ（ｘ），ｇ（ｘ）∈Ｑ[ｘ]，ｇ（ｘ）≠０）
　　∈ｆ（Ｑ（√ｓ））/ｇ（Ｑ（√ｓ））
∴ａ＝ｆ（ｉ（√ｓ）/ｈ（√ｓ））／ｇ（ｋ（√ｓ）/ｊ（√ｓ））
（∃ｈ（ｘ），ｉ（ｘ），ｊ（ｘ），ｋ（ｘ）∈Ｑ[ｘ]）

ここからどのようにａ∈Ｑ（√ｓ）をいえばよいのか分かりません。
Ｑ（ｘ）は有理関数体ということを使うと思うのですが、けっこう複雑に
なっているので、それをどこで使えば良いのかよく分かりません。
単にｆ（ｘ），ｇ（ｘ）∈Ｑ[ｘ]とおくのではなく，
ｆ（ｘ）＝ａ_0＋ａ_1ｘ＋ａ_2ｘ^2＋・・・・・＋ａ_nｘ^n
（ａ_i∈Ｑ　（０≦i≦ｎ））　というように具体化して考えた方が良いので
しょうか？