Irreducible polynomial over an algebraically closed field of characteristic distinct from 2 Let $k$ be an algebraically closed field such that $\textrm{char(k)} \neq 2$ and let $n$ be a fixed positive integer greater than $3$
Suppose that $m$ is a positive integer such that $3 \leq m \leq n$. 
Is it always true that $f(x_{1},x_{2},\ldots,x_{m})=x_{1}^{2}+x_{2}^{2}+\cdots+x_{m}^{2}$ is irreducible over $k[x_{1},x_{2},\ldots,x_{n}]$?
I think yes. For $m=3$ we need to check that $f(x,y,z)=x^{2}+y^{2}+z^{2}$ is irreducible, yes? can't we use Eisenstein as follows?
Note $y+iz$ divides $y^{2}+z^{2}$ and $y+iz$ is irreducible over $k[y,z]$ and $(y+iz)^{2}$ does not divide $y^{2}+z^{2}$.
Therefore $f(x,y,z)=x^{2}+y^{2}+z^{2}$ is irreducible. Now we induct on $m$. Suppose the result holds for $m$ and let us show
it holds for $m+1$.
So we must look at the polynomial $x_{1}^{2}+\cdots+x_{m}^{2}+x_{m+1}^{2}$. Consider the ring $k[x_{m+1}][x_{1},..,x_{m}]$, 
we have a monic polynomial and by hypothesis $x_{1}^{2}+\cdots+x_{m}^{2}$ is irreducible over $k[x_{1},\ldots,x_{m}]$ and $(x_{1}^{2}+\cdots+x_{m}^{2}
)^{2}$
does not divides $x_{1}^{2}+\cdots+x_{m}^{2}$ so Eisenstein applies again and we are done.
Question(s): Is this OK? In case not, can you please provide a proof?

Let $A$ be a UFD.
Let $a$ be a non-zero square-free non-unit element of $A$.
Then $X^n - a \in A[X]$ is irreducible by Eisenstein.
$Y^2 + Z^2 = (Y + iZ)(Y - iZ)$ is square-free in $k[Y, Z]$.
Hence $X^2 + Y^2 + Z^2$ is irreducible in $k[X, Y, Z]$ by the above result.
Let $m \gt 2$.
By the induction hypothesis, $X_{1}^{2}+\cdots+X_{m}^{2}$ is irreducible in $k[X_{1},\ldots,X_{m}]$.
Hence $X_{1}^{2}+\cdots+X_{m+1}^{2}$ is irreducible in $k[X_{1},\ldots,X_{m+1}]
 $by the above result.
