Prvo rješenje:
Kako je xi∈[0,1], imamo xi≥xi2, tj.
4(x1+⋯+xn)≥4(x12+⋯+xn2).
Uvedimo oznaku S=x1+⋯+xn. Zbog gornje ocjene dovoljno je dokazati
(S+1)2≥4S.
Ta nejednakost očito vrijedi jer je ekvivalentna s (S−1)2≥0.
Drugo rješenje:
Dokažimo nejednakost indukcijom po n∈N.
Baza indukcije, n=1:
(x1+1)2≥4x12⟺(1−x1)(3x1+1)≥0.
Pretpostavka indukcije: pretpostavimo da za svaki izbor brojeva x1,…,xn∈[0,1] vrijedi
(x1+⋯+xn+1)2≥4(x12+⋯+xn2).
Korak indukcije: dokažimo da analogna tvrdnja vrijedi i za izbor brojeva x1,…,xn,xn+1∈[0,1]. Budući da je nejednakost simetrična, bez smanjenja općenitosti pretpostavimo da je xn+1 najmanji među njima. Tada je
xn+1=n1(xn+1+⋯+xn+1)≤n1(x1+⋯+xn).
Uvedimo oznaku S=x1+⋯+xn. Slijedi xn+1≤S/n, odnosno S≥nxn+1. Prema pretpostavci indukcije dobivamo
(S+xn+1+1)2=(S+1)2+2(S+1)xn+1+xn+12≥4i=1∑nxi2+2Sxn+1+2xn+1+xn+12≥4i=1∑nxi2+2nxn+12+2xn+1+xn+12=4i=1∑nxi2+(2n+1)xn+12+2xn+1≥4i=1∑nxi2+(2n+3)xn+12≥4i=1∑nxi2+4xn+12=4(i=1∑nxi2+xn+12).
Pri tome smo koristili xn+1≥xn+12 i činjenicu da za svaki prirodan broj n vrijedi 2n+3≥4. Prema principu matematičke indukcije tvrdnja vrijedi za sve prirodne brojeve n.