当 a 属于开区间 (0, 1) 时，由 Bernoulli 不等式，(1 + a/b)^{1/a} > 1/b，所以 b^a > b/(a+b).

如果a=b，那么原式=2a^a，如果不等，假设a<b（否则ab换一下），那么原式<2a^a，所以原式大于等于2a^a
转化为求2a^a的极限，没法求导，先对数一下
ln(a^a)=alna，再求导，可以知道a=1/e时，a^a取得最小值e^(-1/e)，e≈2.71828，所以a^a最小值大约是0.69（这一步是函数计算器算的）所以原式≥0.69*2=1.38

如果a=b，那么原式=2a^a，如果不等，假设a<b（否则ab换一下），那么原式>2a^a，所以原式大于等于2a^a
转化为求2a^a的极限，没法求导，先对数一下
ln(a^a)=alna，再求导，可以知道a=1/e时，a^a取得最小值e^(-1/e)，e≈2.71828，所以a^a最小值大约是0.69（这一步是函数计算器算的）所以原式≥0.69*2=1.38

好吧，现在我知道了123，总之遇到的问题用倒数换掉不等式的方向就可以，但是注4我还不会。