用电脑做最不动脑的方法之一就是增量代换了，不妨设 x≤y≤z， y=x+a, z=x+a+b，则
左边-右边 = (6*a^2*b+10*a^2+6*a*b^2+30*a*b+28*a+10*b^2+28*b+18)/(a^2*b+a^2+a*b^2+3*a*b+2*a+b^2+2*b+1)*x^2+(8*a^3*b+12*a^3+12*a^2*b^2+46*a^2*b+36*a^2+4*a*b^3+34*a*b^2+56*a*b+24*a+8*b^3+20*b^2+12*b)/(a^2*b+a^2+a*b^2+3*a*b+2*a+b^2+2*b+1)*x+(3*a^4*b+4*a^4+6*a^3*b^2+18*a^3*b+12*a^3+4*a^2*b^3+20*a^2*b^2+25*a^2*b+8*a^2+a*b^4+10*a*b^3+17*a*b^2+8*a*b+2*b^4+4*b^3+2*b^2)/(a^2*b+a^2+a*b^2+3*a*b+2*a+b^2+2*b+1)
是关于x的二次函数。
Δ = -4*(2*a^6*b^2+6*a^6*b+4*a^6+6*a^5*b^3+26*a^5*b^2+36*a^5*b+16*a^5+8*a^4*b^4+42*a^4*b^3+81*a^4*b^2+68*a^4*b+20*a^4+6*a^3*b^5+42*a^3*b^4+94*a^3*b^3+96*a^3*b^2+48*a^3*b+8*a^3+2*a^2*b^6+26*a^2*b^5+81*a^2*b^4+96*a^2*b^3+48*a^2*b^2+10*a^2*b+6*a*b^6+36*a*b^5+68*a*b^4+48*a*b^3+10*a*b^2+4*b^6+16*b^5+20*b^4+8*b^3)/((a+1)^2*(b+1)^2*(a+b+1)^2) ≤ 0
（哈，括号里每一项都是正号）
左边-右边 = (6*a^2*b+10*a^2+6*a*b^2+30*a*b+28*a+10*b^2+28*b+18)/(a^2*b+a^2+a*b^2+3*a*b+2*a+b^2+2*b+1)*x^2+(8*a^3*b+12*a^3+12*a^2*b^2+46*a^2*b+36*a^2+4*a*b^3+34*a*b^2+56*a*b+24*a+8*b^3+20*b^2+12*b)/(a^2*b+a^2+a*b^2+3*a*b+2*a+b^2+2*b+1)*x+(3*a^4*b+4*a^4+6*a^3*b^2+18*a^3*b+12*a^3+4*a^2*b^3+20*a^2*b^2+25*a^2*b+8*a^2+a*b^4+10*a*b^3+17*a*b^2+8*a*b+2*b^4+4*b^3+2*b^2)/(a^2*b+a^2+a*b^2+3*a*b+2*a+b^2+2*b+1)
是关于x的二次函数。
Δ = -4*(2*a^6*b^2+6*a^6*b+4*a^6+6*a^5*b^3+26*a^5*b^2+36*a^5*b+16*a^5+8*a^4*b^4+42*a^4*b^3+81*a^4*b^2+68*a^4*b+20*a^4+6*a^3*b^5+42*a^3*b^4+94*a^3*b^3+96*a^3*b^2+48*a^3*b+8*a^3+2*a^2*b^6+26*a^2*b^5+81*a^2*b^4+96*a^2*b^3+48*a^2*b^2+10*a^2*b+6*a*b^6+36*a*b^5+68*a*b^4+48*a*b^3+10*a*b^2+4*b^6+16*b^5+20*b^4+8*b^3)/((a+1)^2*(b+1)^2*(a+b+1)^2) ≤ 0
（哈，括号里每一项都是正号）
