证明：∵bn=

a1+2a2+3a3+…+nan

1+2+3+…+n

，∴b_n+1=

a1+2a2+3a3+…+nan+(n+1)an

1+2+3+…+n+(n+1)

，

∴

n(n+1)

2

b_n=a₁+2a₂+3a₃+…+na_n ①，

(n+1)(n+2)

2

b_n+1=a₁+2a₂+3a₃+…+na_n+（n+1）a_n+1．②

②减去①可得

(n+1)(n+2)

2

b_n+1-

n(n+1)

2

b_n=（n+1）a_n+1．

两边同时除以n+1可得

n+2

2

b_n+1-

n

2

b_n=a_n+1 ③，

∴

n+1

2

b_n-

n-1

2

b_n-1=a_n  ④．

③减去④可得 a_n+1 -a_n=（

n+2

2

 b_n+1 -

n+1

2

 b_n ）-（

n

2

 b_n -

n-1

2

b_n-1 ）

=

n

2

b_n+1 +b_n+1 -

n

2

b_n-

1

2

b_n-

n

2

b_n+

n

2

 b_n-1-

1

2

b_n-1 

=

n

2

（b_n+1-b_n ）+

1

2

（b_n+1-b_n ）+

1

2

 （b_n-b_n-1）-

n

2

（b_n-b_n-1）

=

n+1

2

（b_n+1-b_n ）+

1

2

（b_n+1-b_n ）-

n-1

2

（b_n-b_n-1）．

由于{b_n}为等差数列的充要条件是 b_n+1-b_n=b_n-b_n-1=常数d，

此时a_n+1 -a_n=

n+1

2

d+

1

2

d-

n-1

2

d=

3

2

d，是个常数．

故：{b_n}为等差数列的充要条件是{a_n}为等差数列．