Prove: According to the AM-GM inequality, we have
1+b2ca=a−1+b2cab2c≥a−2bcab2c=a−2abc=a−2ba⋅ac≥a−4b(a+ac)
Based on this estimate, we have
cyc∑1+b2ca≥cyc∑a−41cyc∑ab−41cyc∑abc
Using the AM-GM inequality again, it is easy to get
cyc∑ab≤41(cyc∑a)2=4;cyc∑abc≤141(cyc∑a)3=4
Therefore
1+b2ca+1+c2db+1+d2ac+1+a2bd≥a+b+c+d−2=2