根号(ab)≤(a+b)/2
a,b
是正数；不是变量,是定值；当且仅当a,b相等等号是成立