sind a, b, c, d, e ∈ Q, so gilt a+bs+cs2 +ds3 +es4 ∈ S, und a+bs+cs2 +ds3 +es4 ∈ Q
genau dann, wenn b + 2d = 0.
Seien also a, b, c, d, e ∈ Q und gilt a+bs+cs^2 +ds^3 +es^4 ∈ S
wegen s=√2 heißt das a+b√2 + c*2 + d*2*√2 + e*4 ∈ S
==> (a+2c + 4e) + ( b+2d)*√2 ∈ S
wenn das aus Q ist, muss also b+2d = 0 .
Ist umgekehrt b+2d = 0 , dann ist es natürlich in Q.