有一点不明白

勇往直前dp

在网上看到这个不等式有点看不明白，①（1－a）∧2+②（1－b）∧2+③（1－c）∧2≥①a∧2（1－b∧2）（1－c∧2）／（a+bc)∧2  +②b∧2（1－a∧2）（1－c∧2)／（b+ac)∧2  +③c∧2（1－a∧2)（1－b2）／（c+ab）∧2.  分三式分析，左①－右①，左②－右②，左③－右③。先分析左①－右①得：2abc+（bc）∧2  +（ac)∧2+（ab）∧2－2a∧3－4（a∧2)bc－2a（bc）∧2  +2（a∧3）bc，联合左②－右②，左③－右③得：④2abc（a∧2 +b∧2 +c∧2－bc－ab－ac），⑤－2a∧3－2b∧3－2c∧3+6abc，⑥a∧4 +b∧4 +c∧4+3（ab）∧2+3（bc）∧2+3（ac）∧2 －4（a∧2）bc－4（b∧2）ac－4（c∧2）ab当0＜a，b，c＜1如果a，b，c小于10∧ˉ5且三数十分接近时，会不会⑤绝对值＞④+⑥
   这只是一种估算的方法，可以直接用数字输入验证，比如a＝0.000013  b＝0.000012  c＝0.00001，我们知道⑤式指数绝对值是最小的，当然④⑤⑥式里面的数还要再适当乘以不等式右边其中两式的分母

已进行了计算，当a＝0.00001  b＝0.0000100001  c＝0.0000100002  
⑤式绝对值减④大于零，因为⑤乘以（ab+ac+bc）减④仍然大于零，
而⑥式配方（a∧2－2bc）∧2＝a∧4－4a∧2bc+4（bc）∧2，当三数a,b,c十分接近时，等式的值可以看成等于（bc）∧2,同理（b∧2－2ac）∧2＝b∧4－4b∧2ac+4（bc）∧2＝（bc）2,（c∧2－2ac）∧2＝c∧4－4c∧2ab+4（ab）∧2＝（ab）∧2,所以⑥是接近于零的？这样关键看⑤－④的值有多大了，只是这样的微分式证法对不对，由此我认为不等式右边大于左边是没问题的，你看若⑤乘以a.b.c任一数时再乘以2，⑤的值缩小将近5000倍，而这时的值与⑥应该是接近的，又⑤乘以（ab+ac+bc）缩小3000倍左右.即只有原来值的三千万分之一  
如何证明⑤为负数呢，我们假设a＞b＞c而b是这三数的均值a－x=b  b－x=c   6abc＜6b∧3，而⑤式中的6abc是小于平均值6b∧3.⑤的6abc当成6b∧3很容易证明⑤为负数了
设a(1－0.01）=b  a(1－0.01）∧2=c  由⑤得⑦ 2 a∧3（b+ac）∧2（c+ab）∧2－2abc（b+ac）∧2（c+ab）∧2＞0
                                                                  ⑧2b∧3（c+ab）∧2（a+bc）∧2=2abc（c+ab）∧2（a+bc）∧2


⑨2c∧3（a+bc）∧2（b+ac）∧2－2abc（a+bc）∧2（b+ac）∧2＜0比较⑦⑨两绝对值大小即可，经计算⑦＞|⑨|