For a1,⋯,an∈R,a1<a2<⋯<an
a1−a0n+a2−a1n−1+⋯+an−an−11≥k=1∑nakk2 After dividing both sides by right hand side
k=1∑nakk2a1−a0n+k=1∑nakk2a2−a1n−1+⋯+k=1∑nakk2an−an−11≥1 where
k=1∑nakk2a1−a0n=a112a1−a0n+a222a1−a0n+⋯+ann2a1−a0n
k=1∑nakk2a2−a1n−1=a112a2−a1n−1+a222a2−a1n−1+⋯+ann2a2−a1n−1
k=1∑nakk2an−an−11=a112an−an−11+a222an−an−11+⋯+ann2an−an−11 To show that left hand side equal or bigger then 1, it's suffices to show that at least one of
the summands bigger or equal to 1.
One can always choose such a summand.
Let it be :
k=1∑nakk2a1−a0n=a112a1−a0n+a222a1−a0n+⋯+ann2a1−a0n
dcba=bcad
⇓
k=1∑n(a1−a0)k2nak=(a1−a0)12na1+(a1−a0)22na2+⋯+(a1−a0)n2nan≥1 And again, it's enough to show that at least one of the summands bigger or equal to 1
for example first
(a1−a0)12na1≥1 where
n≥12 and a1≥(a1−a0)⟹(a1−a0)12na1≥1
Comments