Encuentra todas las tuplas ordenadas de números enteros positivos $(a_1,a_2,a_3,\ldots,a_n)$ tal que $\frac{1}{a_1}+\frac{2}{a_2}+\frac{3}{a_3}+\cdots+\frac{n}{a_n}=\frac{a_1+a_2+a_3+\cdots+a_n}{2}$
Lo único que he podido pensar es en el uso de las desigualdades. Me han tratado de aplicar AM-GM, Titu del lema etc.. de Cauchy-Schwarz da lo siguiente:
$$(\frac{1}{a_1}+\frac{2}{a_2}+\frac{3}{a_3}+\cdots+\frac{n}{a_n})(a_1+\cdots a_n) \ge \sqrt{1}+\sqrt{2}+\cdots \sqrt{n}$$
$$(a_1+\cdots a_n)^2\ge 2(\sqrt{1}+\cdots \sqrt {n})$$
que en realidad no nos ayudan en absoluto.
También he tratado de considerar los casos más pequeños. Para $n=2$,
$$a_1a_2(a_1+a_2)=4a_1+2a_2$$ which tells us that $2a_2=ka_1$ and $8a_1=pa_2=ka_1p\implica kp=8$. Esto debe ahora nos da todas las soluciones mediante la comprobación de todos los casos.
Entonces, ¿cómo podemos siquiera comenzar a atacar este problema?