Nie popełniam jakiegoś idiotycznego błędu
Odnotujmy, że jeśli
\(\displaystyle{ 0<a_{k}<a_{j}, \ k, j\in \NN^{+}, \ k<j}\), to
\(\displaystyle{ ja_{j}+ka_{k}>ja_{k}+ka_{j}\Leftrightarrow (j-k)(a_{j}-a_{k})>0}\)
co jest oczywiste. Przeto wystarczy rozważyć przypadek
\(\displaystyle{ a_{1}\ge a_{2}\ge \ldots a_{n}}\)
Wtenczas nierówność przyjmuje formę:
\(\displaystyle{ 2a_{1}\sum_{j=1}^{n}ja_{j}\ge \left(\sum_{j=1}^{n}a_{j}\right)^{2}}\)
Udowodnimy indukcyjnie że gdy
\(\displaystyle{ a_{1}\ge a_{2}\ldots \ge a_{n}>0}\), to
\(\displaystyle{ 2a_{1}\sum_{j=1}^{n}ja_{j}\ge \left(\sum_{j=1}^{n}a_{j}\right)^{2}}\)
Dla
\(\displaystyle{ n=2}\) nasza nierówność ma formę:
\(\displaystyle{ 2a_{1}(a_{1}+2a_{2})\ge (a_{1}+a_{2})^{2}\\a_{1}^{2}+2a_{1}a_{2}\ge a_{2}^{2}}\)
ale z założeń zadania wynika
\(\displaystyle{ a_{1}^{2}+2a_{1}a_{2}>a_{1}^{2}\ge a_{2}^{2}}\)
Teraz krok indukcyjny. Przypuśćmy, że dla pewnego
\(\displaystyle{ n\in\NN^{+}}\) i dowolnych
\(\displaystyle{ a_{1}\ge a_{2}\ge \ldots\ge a_{n}>0}\) zachodzi nierówność
\(\displaystyle{ 2a_{1}\sum_{j=1}^{n}ja_{j}\ge\left(\sum_{j=1}^{n}a_{j}\right)^{2}}\)
Niech teraz
\(\displaystyle{ a_{1}\ge a_{2}\ldots \ge a_{n}\ge a_{n+1}>0}\).
Chcemy wykazać, że
\(\displaystyle{ 2a_{1}\left(\sum_{j=1}^{n+1}ja_{j}\right)\ge \left(\sum_{j=1}^{n+1}a_{j}\right)^{2}}\)
Z założenia indukcyjnego mamy
\(\displaystyle{ 2a_{1}\sum_{j=1}^{n}ja_{j}\ge \left(\sum_{j=1}^{n}a_{j}\right)^{2}}\), wystarczy więc wykazać, że
\(\displaystyle{ 2a_{1}\cdot (n+1)a_{n+1}\ge \left(\sum_{j=1}^{n+1}a_{j}\right)^{2}-\left(\sum_{j=1}^{n}a_{j}\right)^{2}}\)
Ze wzoru skróconego mnożenia na różnicę kwadratów dostajemy:
\(\displaystyle{ \left(\sum_{j=1}^{n+1}a_{j}\right)^{2}-\left(\sum_{j=1}^{n}a_{j}\right)^{2}=a_{n+1}\left(a_{n+1}+2\sum_{j=1}^{n}a_{j}\right)}\)
i mamy
\(\displaystyle{ 2a_{1}\cdot (n+1)a_{n+1}\ge a_{n+1}\left(a_{n+1}+2\sum_{j=1}^{n}a_{j}\right)\\\Leftrightarrow (2n+2)a_{1}\ge a_{n+1}+2\sum_{j=1}^{n}a_{j}\Leftrightarrow a_{1}+(a_{1}-a_{n+1})+2\sum_{j=1}^{n}\left(a_{1}-a_{j}\right)\ge 0}\)
a to jest oczywiste i zachodzi nawet ostra nierówność. to kończy krok indukcyjny i cały dowód.
Takie banalne, popełniam błąd w rozwiązaniu, czy po prostu zadanie niechlujnie zapisane i chodziło o coś innego?