已知命题：“若数列{a_n}是等比数列，且a_n＞0，则数列bn=

k

a1a2…an

(n∈N*)也是等比数列”．可类比得关于等差数列的一个性质为．

我们把y=x^m（m∈Q）叫做幂函数．幂函数y=x^m（m∈Q）的一个性质是：当m＞0时，在（0，+∞）上是增函数；当m＜0时，在（0，+∞）上是减函数．设幂函数f（x）=xⁿ（n≥2，n∈N）．
（1）若g_n（x）=f（x）+f（a-x），x∈（0，a），证明：

an

2n-1

≤gn(x)＜an
（2）若g_n（x）=f（x）-f（x-a），对任意n≥a＞0，证明：g_n′（n）≥n!a．

（本小题满分14分）我们把叫做幂函数。幂函数的一个性质是，当时，在上是增函数；当时，在上是减函数。     设幂函数

   （1）若，证明：当时，有；

   （2）若，对任意的，证明；

   （3）在（2）的条件下，证明：