基本不等式的公式变形推导