定义一种新运算*，满足n*k=nλk-1（n，k∈N*λ为非零常数）．（1）对于任意给定的k，设an=n*k（n=1，2，3，…），证明：数列{an}是等差数列

题型：不详难度：来源：

定义一种新运算*，满足n*k=nλ^k-1（n，k∈N^*λ为非零常数）．
（1）对于任意给定的k，设a_n=n*k（n=1，2，3，…），证明：数列{a_n}是等差数列；
（2）对于任意给定的n，设b_k=n*k（k=1，2，3…），证明：数列{b_k}是等比数列；
（3）设c_n=n*n（n=1，2，3，..），试求数列{c_n}的前n项和S_n．

答案

（1）证明：∵n*k=nλ^k-1（n，k∈N^*λ为非零常数），
∴a_n=n*k=nλ^k-1（n=1，2，3，…），
∴a_n+1-a_n=（n+1）λ^k-1-nλ^k-1=λ^k-1．
∵k，λ为非零常数，∴数列{a_n}是等差数列．
（2）证明：∵n*k=nλ^k-1（n，k∈N^*，λ为非零常数），
∴b_k=n*k=nλ^k-1（k=1，2，3，…），
∴

bk+1

bk

=

nλk

nλk-1

=λ．
∵λ为非零常数，
∴数列{b_k}是等比数列．
（3）∵n*k=nλ^k-1（n，k∈N^*，λ为非零常数），
∴n*n=nλ^n-1．
则S_n=c₁+c₂+…+c_n=λ⁰+2λ+3λ²+…+nλ^n-1，
①当λ=1时，Sn=1+2+3+…+n=

n(n+1)

2

．
②当λ≠1时，λS_n=λ+2λ²+3λ³+…+nλⁿ．
①-②得：（1-λ）S_n=1+λ+λ²+…+λ^n-1-nλⁿ，
∴S_n=

1-λn

(1-λ)2

-

nλn

1-λ

，
综上可知，S_n=

n(n+1) 2 ，当λ=1时 1-λn (1-λ)2 - nλn 1-λ ，当λ≠1时

．