设b>a>0,证明存在一个c使a(e^b)+b(e^a)=(1-c)e^c(a-b)成立