Question

已知函數f（x）=8ln（1+e^x）-9x．
（1）證明：函數f（x）對于定義域內任意x₁，x₂（x₁≠x₂）都有：f(

x1+x2

2

)＜

f(x1)+f(x2)

2

成立．
（2）已知△ABC的三個頂點A、B、C都在函數y=f（x）的圖象上，且橫坐標依次成等差數列，求證：△ABC是鈍角三角形，但不可能是等腰三角形．

Answer 1

分析：（1）化簡f(x1)+f(x2)-2f(

x1+x2

2

) 為 8[1n(1+ex1+ex2+ex1+x2)-1n(1+2•e

x1+x2

2

+ex1+x2)]，由x₁≠x₂，可得e^x₁+e^x₂＞2

ex1+x2

=2•e

x1+x2

2

，得到 f(x1)+f(x2)-2f(

x1+x2

2

)＞0，即可得到結論．
（2）由f′（x）＜0恒成立，得到f（x）在（-∞，+∞）上單調遞減，根據條件化簡可得

BA

•

BC

＜0，故角B為鈍角．若△ABC是等腰三角形，則只可能是

|BA|

=|

BC|

，由此推出f(

x1+x2

2

)=

f(x1)+f(x2)

2

，這與（1）結論矛盾，結論得證．

解答：解：（1）∵f（x）=8ln（1+e^x）-9x，
∴f(x1)+f(x2)-2f(

x1+x2

2

)=8[ln(1+ex1)-9x1+ln(1+ex2)-9x2-2ln(1+e

x1+x2

2

)+9(x1+x2)]
=8[ln(1+ex1)(1+ex2)-ln(1+e

x1+x2

2

)2] 
=8[ln(1+ex1+ex2+ex1+x2)-ln(1+2•e

x1+x2

2

+ex1+x2)]．
∵x₁≠x₂，∴e^x₁+e^x₂＞2

ex1+x2

=2•e

x1+x2

2

，∴f(x1)+f(x2)-2f(

x1+x2

2

)＞0，
∴f(

x1+x2

2

)＜

f(x1)+f(x2)

2

．
（2）∵f′（x）=

8ex

1+ex

-9=

-9-ex

1+ex

＜0恒成立，∴f（x）在（-∞，+∞）上單調遞減，
設A（x₁，f（x₁）），B（x₂，f（x₂）），C（x₃，f（x₃）），且x₁＜x₂＜x₃．
∴f（x₁）＞f（x₂）＞f（x₃），x₂=

x1+x3

2

，
∴

BA

•

BC

=(x1-x2)(x3-x2)+[f(x1)-f(x2)]•[f(x3)-f(x2)] 
∵x₁-x₂＜0，x₃-x₂＞0，f（x₁）-f（x₂）＞0，f（x₃）-f（x₂）＜0，∴

BA

•

BC

＜0，
故B為鈍，△ABC為鈍角三角形．  若△ABC是等腰三角形，則只可能是

|BA|

=|

BC|

，
即（x₁-x₂）²+[f（x₁）-f（x₂）]²=（x₃-x₂）²+[f（x₃）-f（x₂）]²
∵x₂=

x1+x3

2

，∴有[f（x₁）-f（x₂）]²=[f（x₃）-f（x₂）]²，∴f（x₁）-f（x₂）=f（x₂）-f（x₃），
即：f（x₂）=

f(x1)+f(x3)

2

即：f(

x1+x2

2

)=

f(x1)+f(x2)

2

，這與（1）結論矛盾，∴△ABC不能為等腰三角形．

點評：本題考查比較兩個式子大小的方法，利用導數研究函數的單調性，兩個向量的數量積公式，用反證法證明數學命題，式子的變形化簡，是解題的難點，屬于中檔題．