(i) Since x, y are positive real numbers, we have:
x+y4≤x1+y1⇔x+y4≤xyx+y⇔(x+y)2≥4xy⇔(x−y)2≥0.
(ii)
Let
x=(α+γ)(β+δ)+4αγ,y=(α+γ)(β+δ)+4βδ,
and thus:
x+y(α+β)(γ+δ)+(β+γ)(α+δ)=2(α+γ)(β+δ)+4(αγ+βδ)=αγ+αδ+βγ+βδ+αβ+βδ+αγ+γδ=(αβ+αδ+βγ+γδ)+2(αγ+βδ)=(α+γ)(β+δ)+2(αγ+βδ)=2x+y
Therefore the inequality becomes
x+y4≤x1+y1,
which is valid because of (i).
The equality holds if and only if x=y⇔x−y=0⇔αγ=βδ.