x>0时,
2x+1/x^=x+x+1/x^>=3(x*x*1/x^)^(1/3)=3.12a^4>=a^+2a^3,<==>12a^4-(a^2+2a^3)=a^*(12a^-2a-1)=12a^*[a-(1+√13）/24][a-(1-√13)/24]>=0,a∈R时上式不成立，原式不成立。