(1)⇔P=i=1∑nai≥(n−1)i=1∑nai1⇔(a1+a2+...+an)+(a11+a21+...+an1)≥≥n(a11+a21+...+an1)⇔a11+a12+a21+a22+...+an1+an2≥≥n(a11+a21+...+an1)
Sử dụng bất đẳng thức AM - GM:
(a11+a12+a21+a22+...+an1+an2)..(1+a12a1+1+a22a2+...+1+an2an)≥n2 (2)
Không mất tính tổng quát, giả sử a1≥a2≥...≥an>0⇒a11≤a21≤...≤an1
Ta có: 1+ak2ak−1+a2k+1ak+1=(1+ak2)(1+a2k+1)(ak−ak+1)(1−akak+1)≤0, suy ra 1+a12a1≤1+a22a2≤...≤1+an2an
Sử dụng bất đẳng thức Chebyshev cho 2 dãy đơn điệu cùng chiều:
(1+a12a1+1+a22a2+...+1+an2an)(a11+a21+...+an1)≤≤n(1+a12a1.a11+1+a22a2.a21+...+1+an2an.an1)=n(1+a121+1+a221+...+1+an21)=n⇒1+a12a1+1+a22a2+...+1+an2an≤a11+a21+...+an1n(3)
Từ (2) và (3) suy ra
(a11+a12+a21+a22+...+an1+an2)≥≥1+a12a1+1+a22a2+...+1+an2ann2≥a11+a21+...+an1nn2=n(a11+a21+...+an1)⇒a11+a21+...+an1≤n−1P