证明：欲证不等式为（a+b）ⁿ-aⁿ-bⁿ≥2²ⁿ-2ⁿ⁺¹
（1）当n=1时，不等式左边=0，右边=0，不等式成立；
（2）假设n=k时，不等式成立，即（a+b）^k-a^k-b^k≥2^2k-2^k+1
由正实数a，b满足a＝

b

b−1

，可得a+b=ab
∵a＞0，b＞0，∴a+b≥2

ab

，∴ab≥4，a+b=ab≥4，∴akb+abk≥2

(ab)k+1

＝2k+2
则n=k+1时，不等式左边=（a+b）^k+1-a^k+1-b^k+1=（a+b）[（a+b）^k-a^k-b^k]+a^kb+ab^k
≥4（2^2k-2^k+1）+2^k+2=2^2k+2-2^k+2
即n=k+1时成立
由（1）（2）可知，正实数a，b满足a＝

b

b−1

，为（a+b）ⁿ-aⁿ-bⁿ≥2²ⁿ-2ⁿ⁺¹．