Deje $(a_0,b_0,c_0,d_0)$ ser un punto en el dominio donde se $\sqrt{a} + \sqrt{b} + \sqrt{c} + \sqrt{d}$ está maximizada. Esto es suficiente para mostrar que $a_0 = 1$, $a_0 + b_0 = 5$, $a_0 + b_0 + c_0 = 14$, y $a_0 + b_0 + c_0 + d_0 = 30$ para, a continuación, se puede resolver para las cuatro variables para conseguir $(a_0,b_0,c_0,d_0) = (1,4,9,16)$.
Comenzamos con la última ecuación y proceder hacia atrás. Tenga en cuenta que si $a_0 + b_0 + c_0 + d_0$ eran estrictamente menor que $30$, se podría aumentar el$d_0$, ligeramente manteniendo el resto de variables fijas, y nos gustaría permanecer en el dominio todavía $\sqrt{a} + \sqrt{b} + \sqrt{c} + \sqrt{d}$ aumentaría, contradiciendo maximality de $\sqrt{a_0} + \sqrt{b_0} + \sqrt{c_0} + \sqrt{d_0}$. Así que debemos tener $a_0 + b_0 + c_0 + d_0 = 30$. Tenga en cuenta que desde $a_0 + b_0 + c_0 \leq 14$ esto significa $d_0 \geq 16$. En particular, $d_0 > c_0$ desde $c_0 \leq 14$.
Mover a la ecuación de $a_0 + b_0 + c_0 \leq 14$, si desigualdad estricta, celebrado aquí, entonces uno podría reemplazar a $c_0$ $c_0 + \epsilon$ $d_0$ $d_0 - \epsilon$ para algunos pequeños $\epsilon$ y nos quedaríamos en el dominio. Sin embargo, debemos tener $\sqrt{c_0 + \epsilon} + \sqrt{d_0 - \epsilon} > \sqrt{c_0} + \sqrt{d_0}$. Para ver por qué, el cuadrado de esta desigualdad que vemos es equivalente a
$$c_0 + d_0 + 2\sqrt{(c_0 + \epsilon)(d_0 - \epsilon)} > c_0 + d_0 + 2\sqrt{c_0d_0}$$
Restando $c_0 + d_0$ desde ambos lados y el cuadrado el resultado, vemos que esto es el mismo que
$$(c_0 + \epsilon)(d_0 - \epsilon) > c_0d_0$$
Equivalentemente,
$$(d_0 - c_0)\epsilon - \epsilon^2 > 0$$
Desde $d_0 \geq 16 > 14 \geq c_0$, esto mantendrá la si $\epsilon$ es lo suficientemente pequeño.
En resumen, si tuviéramos $a_0 + b_0 + c_0 < 14$, el ajuste de los $c_0$ $d_0$ como anteriormente, el resultado es un nuevo punto de $(a,b,c,d)$ en el dominio para el que $\sqrt{c} + \sqrt{d}$ es estrictamente mayor que $\sqrt{c_0} + \sqrt{d_0}$. Desde $a = a_0$ $b = b_0$ son invariables, $\sqrt{a} + \sqrt{b} + \sqrt{c} + \sqrt{d}$ es mayor que $\sqrt{a_0} + \sqrt{b_0} + \sqrt{c_0} + \sqrt{d_0}$, contradiciendo la maximality de $\sqrt{a_0} + \sqrt{b_0} + \sqrt{c_0} + \sqrt{d_0}$.
Llegamos a la conclusión de $a_0 + b_0 + c_0 = 14$. Para obtener las otras dos desigualdades, que acaba de repetir el procedimiento anterior para obtener $a_0 + b_0 = 5$, y, a continuación,$a_0 = 1$.