>>344
つまり、以下のようなことでしょうか？
y≠0とすると、√α=-x/yとなり、-x/y∈Kであり、
√α∈Kとなるが、これは√αがKに属していない
ことに矛盾する。よって、x=y=0である。
ご教授よろしくお願いします。