1. We start by considering the given inequality:
i=1∑nai+biaibi−bi2≤∑i=1n(ai+bi)∑i=1nai⋅∑i=1nbi−(∑i=1nbi)2
2. First, we use the T2 Lemma (a form of the Cauchy-Schwarz inequality) to handle the term involving bi2:
i=1∑nai+bi−bi2≤∑i=1n(ai+bi)−(∑i=1nbi)2(⋆)
3. For brevity, let:
θ=i=1∑naiandΩ=i=1∑nbi
4. Next, we consider the term involving aibi:
i=1∑n4(ai+bi)(ai+bi)2−i=1∑nai+biaibi=i=1∑n4(ai−bi)2
5. Applying the T2 Lemma again, we get:
i=1∑n4(ai−bi)2≥θ+Ω(θ−Ω)2
6. Rearranging the above inequality, we obtain:
i=1∑nai+biaibi≤4θ+Ω−θ+Ω(θ−Ω)2
7. Simplifying the right-hand side:
4θ+Ω−θ+Ω(θ−Ω)2=θ+Ωθ⋅Ω
8. Thus, we have:
i=1∑nai+biaibi≤∑i=1n(ai+bi)∑i=1nai⋅∑i=1nbi(†)
9. Adding the inequalities from (⋆) and (†), we get:
i=1∑nai+biaibi−bi2≤∑i=1n(ai+bi)∑i=1nai⋅∑i=1nbi−(∑i=1nbi)2
10. The equality holds when ai=bi for all 1≤i≤n.
■