应该还有条件,x,y>0吧?
因为α*β= αx + βy
即 (x/y)^α>= α (x/y) + 1-α
令t=x/y
就是 t^α-1>=α(t-1)
而在 α>=1时
令 f(t)=t^α-1-α(t-1)
f(0)=0
f'(t)=αt^(α-1)-α=α(t^(α-1)-1)>=0 (α>=1)
即f(t)是增函数,所以 有 f(t)>=f(0)=0
从而原结论得证.
应该还有条件,x,y>0吧?
因为α*β= αx + βy
即 (x/y)^α>= α (x/y) + 1-α
令t=x/y
就是 t^α-1>=α(t-1)
而在 α>=1时
令 f(t)=t^α-1-α(t-1)
f(0)=0
f'(t)=αt^(α-1)-α=α(t^(α-1)-1)>=0 (α>=1)
即f(t)是增函数,所以 有 f(t)>=f(0)=0
从而原结论得证.