(1)证明:易知对任意n∈N*,a n>0,b n>0
由a≠b,可知
,即a 1>b 1
同理,
,即a 2>b 2
可知对任意n∈N*,a n>b n
所以数列{a n}是递减数列
所以数列{b n}是递增数列。
(2)证明:
。
(3)由
可得
若存在常数C>0,使得对任意n∈N*,有|a n-b n|>C,
则对任意n∈N*,
即
对任意n∈N*成立,
即
对任意n∈N*成立,
设[x]表示不超过x的最大整数,
则有
即当
时,
与
对任意n∈N*成立矛盾
所以,不存在常数C>0,使得对任意n∈N*,有|a n-b n|>C。