Partindo do nada pode ser um exercício complicado. Mas pode ser feito facilmente usando a
desigualda de Jensen, relativa à função convexa \(f(x)= x^{-k}\), do seguinte modo:
\(\left(\frac{1}{n}\right)^{-k}=f\left(\frac{x_1+\cdots +x_n}{n}\right)\le \frac{f(x_1)+\cdots +f(x_n)}{n}=\frac{x_1^{-k}+\cdots +x_n^{-k}}{n}
\Rightarrow x_1^{-k}+\cdots +x_n^{-k}\ge n^{k+1}\)
Também dá para mostrar recorrendo à
desigualdade das médias generalizadas: \(M_p(x_1,\dots,x_n)\le M_q(x_1,\dots,x_n)\) sempre que \(p<q\), onde \(M_p(x_1,\dots,x_n)=\left(\frac{x_1^p+\cdots +x_n^p}{n}\right)^{\frac{1}{p}}\). Neste caso, é tomar a desigualdade \(M_{-k}(x_1,\dots,x_n)\le M_1(x_1,\dots,x_n)\) e fazer umas manipulações algébricas para chegar ao pretendido.