proving a non-zero polynomial $f$ has a point where it's not $0$ (on a field with infinite elements) [duplicate]

Let $k$ be a field with infinite elements. Let $0 \not = f \in k [x_1, ..., x_n]$. I want to prove that there exists $P \in k^n$ such that $f(P) \not =0.$

I think I could do it if I use induction on the number of variables or degree of $f$ or something, but it looks like it gets a bit messy, and I am sure there is a "slicker" proof. Could someone please tell me such a proof (that is not too messy) if there is one out there? Thank you very much!

marked as duplicate by user26857 abstract-algebra StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Sep 30 '16 at 6:13

If $A$ is an integral domain and $f\in A[X]$ has infinitely many zeroes in $A$, then $f$ is the zero polynomial.
To see this, note that any zero $a\in A$ allows us to write $f(X)=(X-a)g(X)$ with $\deg g<\deg f$. Hence after factoring out $\deg f$ zeroes, we are lef with a degree zero factor, i.e., a constant: $f(X)=c(X-a_1)(X-a_2)\cdots (X-a_n)$. If we plug in yet another zero $a_{n+1}$, the right hand side is a product of $c$ and some non-zero factors. As $A$ is an integral domain, $f(a_{n+1})=0$ implies $c=0$, so $f=0$.
Now we can do a proof by induction: $k[X_1,\ldots,X_n]=A[X_n]$ where $A=k[X_1,\ldots,X_{n-1}]$ is an integral domain(!). So if $f\in A[X_n]$ is not the zero polynomial, there exists some $b_n\in k$ such that $f(b_n)$ is not the zero polynomial. But spelled out, this means that $g(X_1,\ldots,X_{n-1}):=f(X_1,\ldots, X_{n-1},b_n)\in k[X_1,\ldots,X_{n-1}]$ is not the zero polynomial. By induction hypothesis, there exists $(b_1,\ldots,b_{n-1})\in k^{n-1}$ with $g(b_1,\ldots,b_{n-1})\ne0$, i.e., $f(b_1,\ldots, b_n)\ne 0$.