Let n be a positive integer. Prove that the inequality ni=1∑nj=1∑nk=1∑naiaj+ajak+akai3≥(j=1∑nk=1∑naj+ak2)2 holds for any positive real numbers a1,a2,…,an.
Solution
It is well known (the nine-greater-than-eight inequality) that 9(aj+ak)(ak+ai)(ai+aj)≥8(ai+aj+ak)(ajak+akai+aiaj). Hence the left-hand side is at least 38ni,j,k=1∑n(aj+ak)(ak+ai)(ai+aj)ai+aj+ak=34ni,j,k=1∑n((ak+ai)(ai+aj)1+(ai+aj)(aj+ak)1+(aj+ak)(ak+ai)1)=4ni,j,k=1∑n(ak+ai)(ai+aj)1. Let Si=∑ℓ=1nai+aℓ1. By the Cauchy-Schwarz inequality we get 4ni,j,k=1∑n(ak+ai)(ai+aj)1=4ni=1∑nSi2≥(i=1∑n2Si)2=i,l=1∑nai+al22=R.H.S., and thus the original proposition holds. □
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement translated into English from zh; metadata (topic, difficulty) added by this project.