5、.2函数单调性的证明方法(1)定义法:q任取x1,x2GDr且x10,
6、Jl-Xj2AO,/•当x2>x{>0时,x,+x2>0,那么/(x,)>/(x2).当0>兀2>兀1时,^!+<0,那么/(石)</(兀2).故/(x)=V^7在区间[-1,0]上是增函数,在区间[o,i]上是减函数.例3已知函数f(x)=—用单调性定义证明:几兀)在(-00,1)上为增函数;S-1)「解设西5<1,/(»/(小牛一吧丁丐)“(西-1)(忑-1)所以/(兀)在(-00,1)±为增函数.例4证明函数夬兀)=2兀一£在(一8,0)上是增函数.设X1,兀2是区间(・00,0)上的任意两个自变量的值,且X
7、<X2.则几可)=2X1--^-,几七)
8、=2七-7,心X2炉)-尢2)=@「£)-@2-£)=2(Q*2)+g・£二("7)(2+^)由于兀02<0,所以兀1・兀2<0,2+」7>0,兀I兀2因此金1)・心2)<0,即/(兀1)勺任2),故刃力在(・8,0)上是增函数・例5函数几r)的定义域为(0,+8),且对一切尤>0,)>o都有剧=/(兀)一爪),当兀>1时,有yw>o.(1)求夬1)的值;(2)判断y(兀)的单调性并加以证明;(3)若人4)=2,求尢)在[1,⑹上的值域.解:(1)・・・当兀>0,y>0B寸,点)二沧)・Av),・•・令"护0,则用)二沧)・7U)=0.⑵设兀I,兀2丘(0
9、,+8),且兀1<尤2,•••兀2>兀1>0.・•.晋>1,・/(^)>o.・・・yu2)gi),即yw在(o,+8)上是增函数.⑶由⑵知几丫)在[1,16]上是增函数.•••./Wmin二夬1)=0,A-V)nm=A16),V^4)=2,由=fix)・血),知.(学)=/(16)・./(4),・・談16)=岑⑷=4…・・问在[1,16]上的值域为[0,4]・例6定义在R上的函数人兀)满足:对任意实数m,77,总有Jg+ii)=伸n)J(町,11当x>0时,0(x)10、+n)-fi/nj-fiji)中,令tn=1,n=0,得用)=/(