假定a和b都有是按公式定义的,你所推导出的式子在本质上与基本公式一致,只不过你中间加了一步：(a+b)/2=(a+b)/4+(a+b)/4 ≥ (a+b)/4+√(ab)/2=(√a+√b)^2 /4,这中间有一处使用了不等号就是就用基本公式得来的.
基本公式的变形在很多时候还很有用的,三角函数中倍角的余弦公式、梯形的面积等于两底和之半乘高除以2与其中线长度乘2、圆的面积лr^2与лd^2/4、余弦定理中的求边与求角公式等.即便如本问中的不等式,也分作调和平均数、几何平均数、算术平均数和均方根若干比较式,它们导出都依存于基本公式.我用基本不等式(a+b)/4 ≥√(ab)/2两边同时加了个(a+b)/4，那不等式应该还是等价的啊，但为什么会出现不等价的式子还有你说的‘这中间有一处使用了不等号就是就用基本公式得来的’是神马意思不等式还是原来意义上的不等式，你所导出的式子难道与原式不等价？是变成等式了还是变成反向不等号了？、或者是变得无法比较了吗？一个平衡的天秤两端同样加码还是平衡的，一个不平衡的天秤两边同样加码无论零星加还是倍加它也不会出现平衡状况，这是其本质决定的，非因你计量单位变化或起了个不一样的名字就鹿马互变。至于你推导过程有没有使用原基本不等式不是一目了然吗，“两端同时加上a、b ”，是在原不等式基础上加的，相加后你为啥不写成等号或小于号？是你自然相信“等式两端等量增加仍为等式，不等式两端等量相加仍为不等式”，心底里已首先承认和使用了基本不等式结论，然后才有然后，不然哪有然后。