已知点P₁（a₁，b₁），P₂（a₂，b₂）．…Pn(an，bn)(n∈N*)都在函数y=1og

1

2

x的图象上．
（1）若数列{b_n}是等差数列，求证数列{a_n}是等比数列；
（2）若数列{a_n}的前n项和是Sn=1-2-n，过点P_n，P_n+1的值线与两坐标轴所围三角形面积为c_n，求最小的实数t使c_n≤t对n∈N^*恒成立；
（3）若数列{b_n}为由（2）中{a_n}得到的数列，在b_k与b_k+1之间插入3^k-1（k∈N^*）个3，得一新数列{d_n}，问是否存在这样的正整数m，使数列{d_n}的前m项的和S_m=2008，如果存在，求出m的值，如果不存在，请说明理由．

（2012•江西模拟）已知函数f（x）=ln（x+1）+mx，当x=0时，函数f（x）取得极大值．
（1）求实数m的值；
（2）已知结论：若函数f（x）=ln（x+1）+mx在区间（a，b）内导数都存在，且a＞-1，则存在x₀∈（a，b），使得f′(x0)=

f(b)-f(a)

b-a

．试用这个结论证明：若-1＜x₁＜x₂，函数g(x)=

f(x1)-f(x2)

x1-x2

(x-x1)+f(x1)，则对任意x∈（x₁，x₂），都有f（x）＞g（x）；
（3）已知正数λ₁，λ₂，…，λ_n，满足λ₁+λ₂+…+λ_n=1，求证：当n≥2，n∈N时，对任意大于-1，且互不相等的实数x₁，x₂，…，x_n，都有f（λ₁x₁+λ₂x₂+…+λ_nx_n）＞λ₁f（x₁）+λ₂f（x₂）+…+λ_nf（x_n）．

设x_n={1，2，…，n}（n∈N₊），对x_n的任意非空子集A，定义f（A）为A中的最小元素，当A取遍x_n的所有非空子集时，对应的f（A）的和为S_n．则①S₃=，②S_n．