For positive real numbers α,β,γ,x,y,z, set αβγ=xyz=1,x,y,z∈[α,γ].
Since (α+β+γ)−(x+y+z)
={βγ(x−α)(z−α)+xz(γ−y)(y−β)⩾0,y⩾β,αβ(γ−x)(γ−z)+xz(y−α)(β−y)⩾0,y⩽β,
Therefore, □
x+y+z⩽α+β+γ
Define {α,β,γ}={ab,bc,ca},α⩽β⩽γ. Note that b+cc+a∈[min{bc,ca},max{bc,ca}]⊆[α,γ], and similar conclusions hold for c+aa+b,a+bb+c, so
b+cc+a+c+aa+b+a+bb+c⩽α+β+γ=ab+bc+ca.
Also, b+cb+a∈[min{ca,1},max{ca,1}]⊆[α,γ], and similar conclusions hold for c+ac+b,a+ba+c, so
b+cb+a+c+ac+b+a+ba+c⩽α+β+γ=ab+bc+ca.
Adding (1) and (2), and using a+b+c=1, we can rearrange to obtain the desired inequality.