>>696
半直線だとして線形変換したらそれはx=y=0,z≧0にできるから
F(x,y,z)=0がこれを表すとしてよろしい
多項式f(z)=F(0,0,z)=0がz≧0と同値となるが次数以上の零点を持つことからf(z)≡0でz≧0と同値にはなり得ない