small degree polys don't intersect hyperplanes everywhere

Tags: #theorem

Statement

Let gR[x1,,xn] be a polynomial in n variables over some ring R. If

Proof

Suppose g(x1,,xn)0, so there is a term of the form cx1a1x2a2xnan in g. In particular, a1++an<n, so there is some i such that ai=0. Now consider setting xi=0. This term would still survive, so g|xi=0 is some nonzero polynomial in n1 variables and thus not identically zero, a contradiction.