r,s∈Q^×(:=Q−{0})に対して
Q(√r)=Q(√s)⇔∃t∈Q^×:r=st^2 を示せという問題
なのですが,
←の証明は 仮定より √(st^2)=±t√s∈Q(√s)
∴√r∈Q(√s)∩Q(√r)
ここからどのように示せばいいのかよく分かりません。
Q(√r)⊂Q(√s)とQ(√r)⊃Q(√s)を示せばよいの
だと思うのですが、これはどのようにすれば示せるのでしょうか?
よろしくお願いします。