Eşitsizliğin ispatı için, $$\dfrac{ab+ac+bc}{ab+2c^{2}+2c}+\dfrac{ab+ac+bc}{bc+2a^{2}+2a}+\dfrac{ab+ac+bc}{ca+2b^{2}+2b}\ge 1$$ olduğunu göstereceğiz. Bunun için, önce $$\dfrac{ab+ac+bc}{ab+2c^{2}+2c}\ge \dfrac{ab}{ab+bc+ac}$$ olduğunu gösterelim.Bu eşitsizlik $$a^2b^2+b^2c^2+c^2a^2+2abc(a+b+c)\ge a^2b^2+2abc^2+2abc$$ eşitsizliğine denktir. $(a+b+c)=1$ olduğundan dolayı,bu eşitsizliği de $$b^2c^2+c^2a^2 \ge 2abc^2$$
biçiminde yazabiliriz. $A.O.\ge G.O.$ eşitsizliğine göre $$\dfrac{b^2c^2+c^2a^2}{2} \ge \sqrt{b^2c^2c^2a^2} $$ olduğundan bu eşitsizlik doğrudur.
Benzer şekilde, $$\dfrac{ab+ac+bc}{bc+2a^{2}+2a}\ge \dfrac{bc}{ab+bc+ac}$$ $$\dfrac{ab+ac+bc}{ca+2b^{2}+2b}\ge \dfrac{ca}{ab+bc+ac}$$ olduğu gösterilerek, bulunan bu üç eşitsizlik taraf tarafa toplanırsa, istenilen eşitsizlik elde edilecektir.
Kaynak:
Doç. Dr. Mustafa Özdemir (Matematik Olimpiyatlarına Hazırlık 5 sayfa 319)