Given n non-negative values. Their sum is k.
$x_1+x_2+⋯+x_n=k$
Given the constraints
$x_i \leq \sqrt{k}$ (thus, $n \geq \sqrt{k}$)
Is it possible to prove that
$x_1^2 + x_2^2 + ... + x_n^2 \leq k\sqrt{k}$
Thanks!
$\endgroup$ 13 Answers
$\begingroup$For all $1 \leq i \leq n$ we have:
$$x_i \leq \sqrt{k}$$
So (because $x_i$ is non-negative):
$$x_i^2 \leq x_i\sqrt{k}$$
Add inequalities for all $i$, we get:
$$x_1^2 + x_2^2 + ... + x_n^2 \leq (x_1 + x_2 + ... + x_n)\sqrt{k}=k\sqrt{k}$$
$\endgroup$ 2 $\begingroup$Holder's inequality gives for nonnegative values $$x_1 \cdot x_1 + \cdots + x_n \cdot x_n \leq \left( \max_i x_i \right) \left( x_1 + \cdots x_n \right)$$ from which the desired result clearly follows.
$\endgroup$ $\begingroup$Suppose $0<x_i\le x_j < \sqrt{k}$. Then $$x_i^2+x_j^2<(x_i-\varepsilon)^2+(x_j+\varepsilon)^2$$ whenever $\varepsilon$ is sufficiently small. This proves that we want to have as much $\sqrt{k}$ as we can, and $k\sqrt{k}$ is clearly the best case.
$\endgroup$
