The function f(x)=1−x1, 0≤x<1, is strictly convex on [0,1), and so, if αi, i=1,2,…,n are non-negative numbers that sum to 1, then
f(i=1∑nαiai)≤i=1∑nαif(ai).
Solution 1. In particular, with αi=ai,
1−∑i=1nai21=f(i=1∑naiai)≤i=1∑naif(ai)=i=1∑n1−aiai.
But, by the Cauchy-Schwarz inequality,
1=(i=1∑nai)2≤ni=1∑nai2,
with equality iff ai=1/n, i=1,2,…,n. In other words,
n−1n≤1−∑i=1nai21≤i=1∑n1−aiai,
with equality iff ai=1/n, i=1,2,…,n.
Solution 2. Using αi=1/n, convexity gives
n−1n=f(n1)=f(n1i=1∑nai)≤n1i=1∑nf(ai),
with equality iff the ai are equal to each other. Hence
n+n−1n=n−1n2≤i=1∑nf(ai)=i=1∑n(1+1−aiai)=n+i=1∑n1−aiai
and this is equivalent to the desired inequality. Moreover, the inequality is strict unless the ai are equal to each other.