small degree polys don't intersect hyperplanes everywhere

Tags: #theorem

Statement

Let g∈R[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 cx1a1x2a2…xnan 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 n−1 variables and thus not identically zero, a contradiction.