設(shè)f(x)=4^(x-1)-x-log<2>x,x>=2,則
f'(x)=4^(x-1)*ln4-1-1/(xln2)
>=f'(2)=4ln4-1-1/ln4>0,
∴f(x)是增函數(shù),
∴f(x)>=f(2)=4-2-1=1>0,
∴命題成立.f'(x)=4^(x-1)*ln4-1-1/(xln2)
>=f'(2)=4ln4-1-1/ln4>0
為什么這一定成立？f'(x)是x的增函數(shù)。