已知函数f（x）=aln（1+e^x）-（a+1）x，（其中a＞0），点A（x₁，f（x₁），，B）C（x₃，f（x₃））从左到右依次是函数y=f（x）图象上的不同点，且x₁，x₂，x₃成等差数列．
（1）证明：函数f（x）在R上是单调递减函数；
（2）证明：△ABC为钝角三角形；
（3）请问△ABC能否成为等腰三角形？若能，求△ABC面积的最大值；若不能，说明理由．

已知函数f（x）=aln（1+e^x）-（a+1）x，（其中a＞0），点A（x₁，f（x₁），，B（x₂•f（x₂））C（x₃，f（x₃））从左到右依次是函数y=f（x）图象上的不同点，且x₁，x₂，x₃成等差数列．
（1）证明：函数f（x）在R上是单调递减函数；
（2）证明：△ABC为钝角三角形；
（3）请问△ABC能否成为等腰三角形？若能，求△ABC面积的最大值；若不能，说明理由．