Question

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

x1+x2

2

)＜

f(x1)+f(x2)

2

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

Answer 1

分析：（1）化簡(jiǎn)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，即可得到結(jié)論．
（2）由f′（x）＜0恒成立，得到f（x）在（-∞，+∞）上單調(diào)遞減，根據(jù)條件化簡(jiǎn)可得

BA

•

BC

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

|BA|

=|

BC|

，由此推出f(

x1+x2

2

)=

f(x1)+f(x2)

2

，這與（1）結(jié)論矛盾，結(jié)論得證．

解答：解：（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）在（-∞，+∞）上單調(diào)遞減，
設(shè)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）結(jié)論矛盾，∴△ABC不能為等腰三角形．

點(diǎn)評(píng)：本題考查比較兩個(gè)式子大小的方法，利用導(dǎo)數(shù)研究函數(shù)的單調(diào)性，兩個(gè)向量的數(shù)量積公式，用反證法證明數(shù)學(xué)命題，式子的變形化簡(jiǎn)，是解題的難點(diǎn)，屬于中檔題．