Çözüm:
Simetriden sadece 1a+c+1b+c>1a+b olduğunu göstermek yeterlidir. Bu önermeye denk önermeler yazarak ilerleyelim:
⟺1a+c+1b+c−1a+b>0
⟺(b+c)(a+b)+(a+c)(a+b)−(a+c)(b+c)(a+c)(b+c)(a+b)>0
⟺(b+c)(a+b)+(a+c)(a+b)−(a+c)(b+c)>0
⟺b2+ab+ac+bc+a2+ab+ac+bc−c2−ab−ac−bc>0
⟺b2+ab+ac+bc+a2−c2>0
⟺b2+a2+ab+c(a+b−c)>0
elde edilir. Son eşitsizlik doğru olduğundan, geriye doğru çalışırsak 1a+c+1b+c>1a+b buluruz.