均值不等式要满足一正二定三相等,但很多题目只有a>0,b>0,但为什么化简出来的2ab也算定值?